In this article, an original algebraic method is used for the estimation of state variables. The estimation is used to implement a position control scheme for DC motors. In addition, the estimation of the Coulomb’s friction coefficient of the servo motor model is also investigated. The approach is based on elementary algebraic manipulations which lead to specific formulaes for the unmeasured st...

First, we formulate the mixed initial boundary value problem in the theory of thermoelastic microstretch bodies having certain internal state variables. Then by using some approachable computing techniques and the known Gronwall’s inequality we will prove that the presence of internal state variables do not influence the uniqueness of solution of the mixed problem. The purpose of the theory of ...

purpose: this research seeks to determine the level of knowledge sharing, the absorptive capacity, and the innovation capability at the central libraries of the state universities of tehran in 1393. besides, it seeks to identify the relationship between knowledge sharing and innovation capability in the library. methodology: this applied research is carried out using survey method – correlation...

A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.

Away is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also ...

In this paper we propose higher-order rewrite systems without bound variables. In order to prove their connuence under the assumption of orthogonality, we study a simple proof method which employs a characterization of the diamond property of a parallel reduction. By an application of the proof method, we obtain a new connuence result for orthogonal higher-order conditional rewrite systems.

Every theory we will consider will be in a language that has a name ṅ for each n ∈ ω. For example, the name for 2 ∈ ω in the language LΩ of arithmetic is the term “1 + 1”. The results stated will only apply to countable languages. This requirement is implicit in the hypothesis of the existence of an enumeration of all formulas with one free variable, for example. We also assume that formulas an...

In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...

We consider the identification of a Markov process {Wt, X ∗ t } for t = 1, 2, ..., T when only {Wt} for t = 1, 2, ..., T is observed. In structural dynamic models, Wt denotes the sequence of choice variables and observed state variables of an optimizing agent, while X∗ t denotes the sequence of serially correlated unobserved state variables. The Markov setting allows the distribution of the uno...