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.     

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

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

应用程序用户界面设计

随着计算机软、硬件技术的发展，应用程序用户界面的重要性与日俱增，而在设计程序时如何合理的编排、处理界面元素，设计出美观实用的用户界面，本文将作出论述。     

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

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

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

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

一维核废料污染问题的一个二阶格式

利用降价法研究了多孔介质中一维核废料污染问题，此模型由一非线性抛物－椭圆耦合偏微分方程组的初边值问题来描述，对此问题给出了一个关于时间和空间均具有二阶精度的差分格式，并进行了理论分析。     

从中西方文化冲突看文化对司法制度的影响

一个国家，一个民族在长期的历史发展中，形成了自己特定的文化传统，人们的思想观念，价值取向甚至法律制度都植根于其文化传统之中，本文从律师在社会生活中的作用，司法公正的价值取向，证人出庭作证制度，打官司与打“关系”等方面分析了文化传统对司法制度的影响。     

控制光子流动的晶体:光子晶体

二十世纪五十年代开始的以半导体为代表的电子带隙材料导致了微电子革命 ,其核心就在于采用这种能够操纵电子流动的电子带隙材料。我们所处的时代从某种意义上说是半导体时代 ,半导体的出现带来了从日常生活到高科技革命性的影响 :大规模集成电路、计算机、信息高速公路等等这些甚至连小学生都耳熟能详的东西都是由半导体带来的。几乎所有的半导体器体都是围绕如何利用和控制电子的运动 ,电子在其中起到决定作用。但集成的极限在可以看到的将来会出现 ,这是由电子的特性所决定的。而光子有着电子所没有的优势 :速度更快 ,没有相互作用。图为…     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.