Some applications of matrices to location of zeros of polynomials†

In previous papers classical theorems on location of zeros of a polynomial with respect to the left half plane Γ₁ or the unit circle Γ₂ 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 Γ₁ can be mapped into Γ₂ and a matrix representation of this is derived. An alternative method is discussed which relies on transformation of Γ into Γ₂. 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.     

The Implementation of Graphic Display of FAS

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.     

Measurement of the Kernels of a Non-linear System of Finite Order†

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.     

Fault-tree Models of Accident Scenarios of RoPax Vessels

Ro-Ro vessels for cargo and passengers (RoPax) are a relatively new concept that has proven to be popular in the Mediterranean region and is becoming more widespread in Northern Europe. Due to its design characteristics and amount of passengers, although less than a regular passenger liner, accidents with RoPax vessels have far reaching consequences both for economical and for human life. The objective of this paper is to identify hazards related to casualties of RoPax vessels. The terminal casualty events chosen are related to accident and incident statistics for this type of vessel. This paper focuses on the identification of the basic events that can lead to an accident and the performance requirements. The hazard identification is carried out as the first step of a Formal Safety Assessment (FSA) and the modelling of the relation between the relevant events is made using Fault Tree Analysis (FTA). The conclusions of this study are recommendations to the later steps of FSA rather than for decision making (Step 5 of FSA). These recommendations will be focused on the possible design shortcomings identified during the analysis by fault trees throughout cut sets. Also the role that human factors have is analysed through a sensitivity analysis where it is shown that their influence is higher for groundings and collisions where an increase of the initial probability leads to the change of almost 90% of the accident occurrence.     

Stabilization of a class of switched nonlinear systems

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.     

Optimization of linear systems of constrained configuration†

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 :

1. The response to a given initial disturbance.

2. The worst response to an initial disturbance of given magnitude.

3. The worst comparison with the unconstrained optimal system.

It is shown that for each of these criteria the gradient with respect to the feedbacks can be calculated by a uniform method. The solution may then be found either directly or by a descent procedure. The method is illustrated by an example.     

On the Equivalence of Some Models of Computation

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.     

Evaluation of Fourier transform of impulse response of linear time invariant systems†

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.     

A Form-Correcting System of Chinese Characters Using a Model of Correcting Procedures of Calligraphists

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.     

Solution of the Problem of H∞-control in the Presence of Regular Nonlinearities

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.     

Contracted product of hypermatrices via STP of matrices

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.     

More Proofs of an Axiom of Łukasiewicz

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.     

Does the level of detail of UML diagrams affect the maintainability of source code?: a family of experiments

Although the UML is considered to be the de facto standard notation with which to model software, there is still resistance to model-based development. UML modeling is perceived to be expensive and not necessarily cost-effective. It is therefore important to collect empirical evidence concerning the conditions under which the use of UML makes a practical difference. The focus of this paper is to investigate whether and how the Level of Detail (LoD) of UML diagrams impacts on the performance of maintenance tasks in a model-centric approach. A family of experiments consisting of one controlled experiment and three replications has therefore been carried out with 81 students with different abilities and levels of experience from 3 countries (The Netherlands, Spain, and Italy). The analysis of the results of the experiments indicates that there is no strong statistical evidence as to the influence of different LoDs. The analysis suggests a slight tendency toward better results when using low LoD UML diagrams, especially if used for the modification of the source code, while a high LoD would appear to be helpful in understanding the system. The participants in our study also favored low LoD diagrams because they were perceived as easier to read. Although the participants expressed a preference for low LoD diagrams, no statistically significant conclusions can be drawn from the set of experiments. One important finding attained from this family of experiments was that the participants minimized or avoided the use of UML diagrams, regardless of their LoD. This effect was probably the result of using small software systems from well-known domains as experimental materials.     

Synthesis of a Class of Non-linear Systems†

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.     

Measurement of scattering coefficient σ° of trees

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.     

The Generation of a Sort of Fractal Graphs

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.     

Denotational Semantics of a Simple Model of Eiffel

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.     

Numerical Treatment of the Loss of Hyperbolicity of?the?Two-Layer Shallow-Water System

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.     

The Application of the Distribution Supervisory system of Computer in Substation of 500 KV

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.