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.     

R-拟连续模的不可分分解

设R是环,M是R-拟连续左R-模.如果R关于形如l（m）,m∈M的左理想满足升链条件,则M可写成一致子模的直和.     

不完全信息群体决策专家权重的集结

本文对于属性权重信息和属性效用信息都不完全的群体多属性决策问题，通过构造属性值区间和运用系统聚类分析法，对群体决策中的专家进行分类，并确定每位专家的权重．     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

解奇异非光滑方程组的牛顿法和不精确牛顿法

本文主要解决奇异非光滑方程组的解法。应用一种新的次微分的外逆，我们提出了牛顿法和不精确牛顿法，它们的收敛性同时也得到了证明。这种方法能更容易在一引起实际应用中实现。这种方法可以看作是已存在的解非光滑方程组的方法的延伸。     

平面交叉口的安全设计

本文对平面交叉口的类型选择,设计时应考虑的因素,设计过程和设计原则等方面进行了较为详细的阐述,旨在说明如何设计交叉口才能最大限度地保证交通安全,提高通行能力.     

关于渠化平交灯控路口中左转绕岛候驶的初步探讨

本文介绍一种采取左转车绕渠化岛候驶，变左轮为直行的交通组织方式，并举出三种型式示例且对其运行左转车的过程、基本计算式、计算步骤与方法提出初步探讨。     

海森伯—量子力学的奠基人之一

沃纳·海森伯是被公认为 2 0世纪最具创新能力的思想家之一 ,他从修改经典分析力学的途径创立了量子力学的矩阵形式 ,并提出了著名的“不确定原理”.通过对海森伯在量子力学领域这两项重要发现过程的描述 ,来展示这位伟大思想家敏锐的思维历程和独特的科研风格 .     

凸序列不等式的控制证明

利用控制不等式理论简洁地证明了一类凸序列不等式 (包括著名的 Nanson不等式的几个推广 ) ,并给出若干应用 .