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.     

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.     

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.     

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.     

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.     

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.     

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.     

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.     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。     

风电机组电动变桨距控制系统的优化研究

由于风速的随机性、不稳定性及气动效应的影响,使得风力发电机组变桨距控制系统具有非线性、参数时变性、强耦合等特点,难于实现高精度控制,导致风电机组输出电能质量较差。为了改善系统在恒功率输出运行区域内的动态性能,分析了风电机组变桨距控制系统的现状,建立了整个风电机组模型,提出了优化的变桨距控制策略,并设计了基于模糊控制的变桨距控制器。仿真结果表明,独立变桨距控制技术的控制效果比统一变桨距好,实现了风力机各叶片的优化独立变桨距控制,优化了风力发电系统在超过额定风速时的恒功率控制,具有抗干扰能力强、控制精度高的特点。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Recursive solution of number of reachable states of a simple subclass of FMS

This paper aims to compute the number of reachable (forbidden, live and deadlock) states for flexible manufacturing systems (FMS) without the construction of reachability graph. The problem is nontrivial and takes, in general, an exponential amount of time to solve. Hence, this paper focusses on a simple version of Systems of Simple Sequential Processes with Resources (S³PR), called kth-order system, where each resource place holds one token to be shared between two processes. The exact number of reachable (forbidden, live and deadlock) states can be computed recursively.     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

课程表自动编排系统的再开发

根据课程表自动编排系统运行过程中的需求变化,应用敏捷软件开发思想重构系统,对系统再分析。     

On estimation of the probability of absence of collisions of some random mappings

Let X and Y be finite sets and φ: (X,Y) →Y be a mapping. Consider a random mapping i → φ(x_i,y_i), where x_i are arbitrarily chosen from the set X, whereas (y_i) is a random sample from Y without replacement. A two-sided bound is derived for the probability of absence of collisions of this mapping. A case of mapping, defined as φ(x, y)=x+ y modulo n, is considered in particular. The results may be used in the selection of identification codes. Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 132–137, January–February, 2000.