Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

Sliding mode identifier for parameter uncertain nonlinear dynamic systems with nonlinear input

This paper presents a sliding mode(SM) based identifier to deal with the parameter idenfification problem for a class of parameter uncertain nonlinear dynamic systems with input nonlinearity. A sliding mode controller (SMC) is used to ensure the global reaching condition of the sliding mode for the nonlinear system;an identifier is designed to identify the uncertain parameter of the nonlinear system. A numerical example is studied to show the feasibility of the SM controller and the asymptotical convergence of the identifier.     

Improved genetic operator for genetic algorithm

The mutation operator has been seldom improved because ressearchers hardly suspect its ability to prevent genetic algorithm(GA) from converging prematurely.Due to its importance to GA,the authors of this paper study influence on the diversity of genes in the same locus,and point out that traditional mutation,to some extent,can result in premature convergence of genes(PCG) in the same locus.The above drawback of the traditional mutation operator causes the loss of critical alleles.Inspired by digital technique,we introduce two kinds of boolean operation into GA to develop a novel mutation operator and discuss its contribution of preventing the loss of critical alleles.The experimental results of function optimizatioin show that the improved mutation operator can effectively prevent premature convegence,and can provide a wide selection range of control parameters for GA.     

现代警察PPC比赛与心理控制研究

在PPC比赛场上技术实力不相上下的选手，比赛时的成绩会出现明显的悬殊，其主要原因在于他们心理素质上的差异，这是由射击项目特点决定的。由于心理因素与射击技术紧密渗透，并制约射击比赛中的技术发挥，所以，必须分析比赛中心理紧张的原因和克服紧张的方法。     

非酸催化法合成2，4，4—三甲基—1—戊烯的研究

采用异丁醇为原料，以Ti(SO4)2/Al2O3为催化剂，合成了2，4，4－三甲基－1－戊烯。对影响反应的因素进行了讨论，用红外光谱及核磁共振光谱对结构进行了表征。标题化合物的收率为80％以上。     

有关勾股定理、射影定理的研究性论题

本文对勾股定理、射影定理的研究性论题进行了研究。     

织机电子送经与电子卷取运动的同步控制

采用主，从单片机控制织机的电子送取运动，通过主单片机输入和修改织机有关参数，该方案具有自动化程度高，织机同步性能好的优点。     

随机控制序在保险决策中的应用

通过介绍随机控制序的概念和性质 ,从而探讨了随机控制序在保险决策问题中的应用 ,得到了很有意义的结果     

变系数对流扩散方程的交替分段显-隐式方法

应用交替分段显－隐方法求解变系数对流扩散方程，此方法具有很好的并行性且无条件稳定。