The paper presents a formal semantics for distributed inference in the family of intelligent systems based on distributed frame hierarchy model. A formal semantics for a subclass of frame-production systems is presented, based on denoting a knowledgebase by a frame world state function W, and then defining an operational semantics for logical inference in terms of transformations of this functi...

It is shown that proportional-integral (PI) control in the synchronously rotating (d, q)-reference frame and proportional-resonant (PR) control in the stationary (α, β)-reference frame, both with anti-windup, are equivalent if and only if their implementation is done correctly in state space and the controller parameters and the initial values are identical. It is shown that an equivalence in t...

The validity of using the limp model for porous materials is addressed in this paper. The limp model is derived from the poroelastic Biot model assuming that the frame has no bulk stiffness. Being an equivalent fluid model accounting for the motion of the frame, it has fewer limitations than the usual equivalent fluid model assuming a rigid frame. A criterion is proposed to identify the porous ...

Kracht formulas are first-order correspondents of modal Sahlqvist formulas. In this paper we present a model-theoretic characterization of Kracht formulas similar to Van Benthem’s theorem saying that a first-order formula is equivalent to a modal formula iff it is invariant under bisimulation. Our characterization yields a method to prove that a given first-order formula is not equivalent to an...

in this paper we introduce and study besselian $g$-frames. we show that the kernel of associated synthesis operator for a besselian $g$-frame is finite dimensional. we also introduce $alpha$-dual of a $g$-frame and we get some results when we use the hilbert-schmidt norm for the members of a $g$-frame in a finite dimensional hilbert space.

This paper proposes an MP-CELP (Multi-Pulse-based CELP) speech coding at 6.4 kb/s with 10 ms frame. In MP-CELP, amplitudes or signs of multi-pulse excitation are simultaneously vector quantized (VQ). A combination search between multiple pulse location candidates and VQ codebook remarkably improves the quantization performance. In order to improve speech quality for background noise conditions,...

In this paper we study the Feichtinger Conjecture in frame theory, which was recently shown to be equivalent to the 1959 Kadison-Singer Problem in C-Algebras. We will show that every bounded Bessel sequence can be decomposed into two subsets each of which is an arbitrarily small perturbation of a sequence with a finite orthogonal decomposition. This construction is then used to answer two open ...

This paper presents two simple and very useful techniques for the efficiency optimization of the indirect vector-controlled induction motor drives. In the synchronously rotating reference frame the flux-producing current is controlled until the power at the dc link is minimum. Of the two techniques, the first method controls the flux-producing current in a regular and smooth manner. The second ...

In the present study, potential of finite element based molecular structural mechanics (MSM) for evaluating stress concentration factor of single-layered graphene sheets (SLGSs) with elliptical vacancies is successfully addressed. The MSM approach mimics the interatomic forces of the nanostructure by defining an equivalent frame structure containing beam elements. To obtain the mechanical and c...

Abstract: Masonry infill is considered as a non-structural element in all type of buildings where masonry use. But, masonry infill walls are mainly used to increase initial stiffness and strength of reinforced concrete (RC) frame buildings. This Open First storey is also termed as “Soft Storey”. The upper storeys have brick infilled wall panels with various opening percentage in it. In many cit...