共查询到20条相似文献,搜索用时 31 毫秒
1.
S. BARNETT 《International journal of control》2013,86(4):823-831
In previous papers classical theorems on location of zeros of a polynomial with respect to the left half plane Γ1 or the unit circle Γ2 have been reformulated more simply in terms of appropriate companion matrices. It is shown how this work can be extended to the problem of zero location with respect to more general regions Γ of the complex plane. The first approach is to apply the bilinear transformation to the given polynomial, so that for example Γ1 can be mapped into Γ2 and a matrix representation of this is derived. An alternative method is discussed which relies on transformation of Γ into Γ2. Some examples illustrate how any theorem involving Hurwitz-typc minors can be expressed in companion matrix terms, with a consequent halving of the orders of the determinants involved. 相似文献
2.
MARTIN SCHETZEN 《International journal of control》2013,86(3):251-263
A method of measuring the Volterra kernels of a finite-order non-linear system is presented. The kernels are obtained individually as a multi-dimensional impulse response. The multi-dimensional kernel transforms also can be obtained by the method described. As an extension, a technique of obtaining the Volterra kernels from a multi-dimensional step response is presented. This technique is useful for non-linear systems which can be considered to be of a given finite order for only a limited range of input amplitudes. 相似文献
3.
The principle of the fire alarm system and the implementation techniques of its computer graphic display are presented. With the help of the designing thoughts and technology of OOP, a Fire Alarm System (FAS) has been developed by using visual C++ language. The system has been put into use in many important buildings and has played an important role in monitoring and controlling the fire. 相似文献
4.
《Computer Aided Geometric Design》1997,14(4):299-311
Changing the aspect-ratio (scale) of a graphical plot significantly affects the “messages” getting across to a viewer. This is true also for curvature plots and other graphs currently used in Curve & Surface Modeling to evaluate fairness. In particular, the sharp corners appearing in such graphs, employed as local fairness indicators by current practices, are significantly affected by nonuniform scaling. A detailed study of this phenomenon is presented offering specific guidelines for correctly “reading” curvature plots. 相似文献
5.
H. B. KEKRE 《International journal of control》2013,86(4):347-352
Evaluation of the Fourior transform of the system impulse response is an important aspect of the design of control systems. A method suggested hero requires only one cycle of sine or cosine wave to be applied as an input to the system. It is proved that the sum of the sampled values of the output response, at the sampling interval equal to the period of the input wave, directly yields the sign and cosine transforms respectively. The procedure is generalized to any number of complete cycles of input wave, as well as to n/2 cycles whore n is any odd positive integer. 相似文献
6.
7.
An equivalent definition of hypermatrices is introduced. The matrix expression of hypermatrices is proposed. Using permutation matrices, the conversion between different matrix expressions is revealed. The various kinds of contracted products of hypermatrices are realized by semi-tensor products (STP) of matrices via matrix expressions of hypermatrices. 相似文献
8.
John Slaney 《Journal of Automated Reasoning》2002,29(1):59-66
This paper reports results and some new problems in one of the domains to which automatic first-order theorem provers have been most successfully applied: axiomatics of nonclassical propositional logics. It is well known that one of the standard axioms of the denumerable-valued pure implication logic of ukasiewicz becomes derivable from the remainder in the presence of negation. Here it is shown that the same axiom is similarly derivable using conjunction and disjunction instead of negation. This closes a problem left open by Harris and Fitelson (Journal of Automated Reasoning 27, 2001). Related problems are discussed, and five such open problems are proposed as challenges to the automated reasoning community. 相似文献
9.
Xu Shuruen 《计算机科学技术学报》1988,3(4):306-309
In[1],a definition of computation was given.In[3],we have clarified the necessity of thedefinition.Here we prove the equivalence between the definition and some models ofcomputation.Hence the sufficiency of the definition is clear abundantly. 相似文献
10.
ANTONY JAMESON 《International journal of control》2013,86(3):409-421
For the sake of simplicity it is often desirable to restrict the number of feedbacks in a controller. In this case the optimal feedbacks depend on the disturbance to which the system is subjected. Using a quadratic error integral as a measure of the response, three criteria of optimization are considered :
-
The response to a given initial disturbance.
-
The worst response to an initial disturbance of given magnitude.
-
The worst comparison with the unconstrained optimal system.
11.
The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems concerned are of (generalized) switched Byrnes-Isidori canonical form, which has all switched models in (generalized) Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization problem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to (generalized) switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated. 相似文献
12.
Abstract This paper describes (1) an indoor measurement method to sludy backscattering characteristics of trees and (2) the result of the measurements made on two kinds of conifers, Sugi (Japanese cedar) and Sawara (Japanese cypress), at C- and X-bands for polarization combinations of HH, VV, HV and VH. The discussions on the backscattering and penetration characteristics of the trees using the measured ground truth data indicate the usefulness of this method to study microwave signatures of trees. 相似文献
13.
By MARTIN SCHETZEN 《International journal of control》2013,86(5):401-414
A problem in the practical application of the Volterra series to nonlinear theory is the synthesis of systems with a given set of Volterra kernels. In this article we present a method of determining whether a given Volterra kernel can be synthesized exactly by using only a finite number of multipliers. A method for the synthesis of such kernels is also presented. The use of the techniques discussed here is illustrated by examples. 相似文献
14.
A simple abstract model of Eiffel is introduced,and its denotational semantics is defined using VDM style.A static analysis approach is presented to treat multiple inheritance and renaming mechanism.Within the framework of denotational semantics introduced in this paper,the key features of Eiffel,such as identification,classification,multiple inheritance,polymorphism and dynamic binding,can be adequately characterized. 相似文献
15.
We present an approach for generating a sort of fractal graphs by a simple probabilistic logic neuron network and show that the graphs can be represented by a set of compressed codings.An algorithm for quickly finding the codings,i.e.,recognizing the corresponding graphs,is given.The codings are shown to be optimal.The results above possibly give us the clue for studying image compression and pattern recognition. 相似文献
16.
Numerical Treatment of the Loss of Hyperbolicity of?the?Two-Layer Shallow-Water System 总被引:1,自引:0,他引:1
M. J. Castro-D��az E. D. Fern��ndez-Nieto J. M. Gonz��lez-Vida C. Par��s-Madro?al 《Journal of scientific computing》2011,48(1-3):16-40
This article is devoted to the numerical solution of the inviscid two-layer shallow water system. This system may lose the hyperbolic character when the shear between the layer is big enough. This loss of hyperbolicity is related to the appearance of shear instabilities that leads, in real flows, to intense mixing of the two layers that the model is not able to simulate. The strategy here is to add some extra friction terms, which are supposed to parameterize the loss of mechanical energy due to mixing, to get rid of this difficulty. The main goal is to introduce a technique allowing one to add locally and automatically an ??optimal?? amount of shear stress to make the flow to remain in the hyperbolicity region. To do this, first an easy criterium to check the hyperbolicity of the system for a given state is proposed and checked. Next, we introduce a predictor/corrector strategy. In the predictor stage, a numerical scheme is applied to the system without extra friction. In the second stage, a discrete semi-implicit linear friction law is applied at any cell in which the predicted states are not in the hyperbolicity region. The coefficient of this law is calculated so that the predicted states are driven to the boundary of the hyperbolicity region according to the proposed criterium. The numerical scheme to be used at the first stage has to be able to advance in time in presence of complex eigenvalues: we propose here a family of path-conservative numerical scheme having this property. Finally, some numerical tests have been performed to assess the efficiency of the proposed strategy. 相似文献
17.
For the problem with H-criterion and uncertain nonlinear block with a regular part of the perturbation vector, equations of a class of controllers were obtained. These controllers can exert a sufficiently small influence of the regular component on the given output process. 相似文献
18.
A Form-Correcting System of Chinese Characters Using a Model of Correcting Procedures of Calligraphists
下载免费PDF全文
![点击此处可从《计算机科学技术学报》网站下载免费的PDF全文](/ch/ext_images/free.gif)
A support system for form-correction of Chinese Characters is developed based upon a generation model SAM,and its feasibility is evaluated.SAM is excellent as a model for generating Chinese characters,but it is difficult to determine appropriate parameters because the use of calligraphic knowledge is needed.by noticing that calligraphic knowledge of calligraphists is included in their corrective actions, we adopt a strategy to acquire calligraphic knowledge by monitoring,recording and analyzing corrective actions of calligraphists,and try to realize an environment under which calligraphists can easily make corrections to character forms and which can record corrective actions of calligraphists without interfering with them.In this paper,we first construct a model of correcting procedures of calligraphists,which is composed of typical correcting procedures that are acquired by extensively observing their corrective actions and interviewing them,and develop a form-correcting system for brush-written Chinese characters by using the model.Secondly,through actual correcting experiments,we demonstrate that parameters within SAM can be easily corrected at the level of character patterns by our system,and show that it is effective and easy for calligraphists to be used by evaluating effectiveness of the correcting model,sufficiency of its functions and execution speed. 相似文献
19.
This paper put forward a kind of new supervisory system of computer - the distribution supervisory system of computer. The system is arranged through scattering, stratified control, which is developmental, and with powerful mutual oper-ating ness etc. The practical experience of the system for three years in Huajia (Henan) indicated that the system is reliable, safety, real-time and economy. 相似文献
20.
By J. E. RUBIO 《International journal of control》2013,86(1):69-78
The uniqueness of the solution of the differential equations derived from Pontryagin's Maximum Principle is considered for a general control problem with a freo right end of the trajectory and fixed terminal time. Under several restrictive conditions on the controlled system and performance criterion, it is proved that those equations have a unique solution. This is done by embedding the problem into a class of similar problems by means of the introduction of a positive parameter ? multiplying the performance criterion, and then making use of the uniqueness properties of an associated autonomous system together with the continuity of the solutions of the differential equations with respect to the parameter ? An example that illustrates the range of applicability of the theorems proved is also presented. 相似文献