A new approach to the decomposition of Boolean functions by the method of <Emphasis Type="Italic">q</Emphasis>-partitions. III. Joint decomposition of a function system

The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated by examples. Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007.     

透水性沥青面层材料设计新法及应用

本文提出了一种根据主骨料空隙率设计透水性面层沥青混合料级配的新方法，根据这一方法设计的透水性沥青面层具有良好的路面使用功能，应用前景广阔。     

加权算术平均与几何平均关系式的新证法

利用函数极小点的性质,得到了若干个正数的加权算术平均与几何平均关系式的新证法     

非线性动态系统“黑箱”建模方法的研究

本文研究弱非线性动态系统“黑箱”建模的理论和方法，并简要给出根据此方法建模的结果。     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

Stability of impulsive stochastic functional differential systems in terms of two measures via comparison approach

Comparison principles for general impulsive stochastic functional differential systems are established.Employing the comparison principles and the theory of differential inequalities,stability and instability,involving two measures,of impulsive stochastic functional differential systems are investigated.Several stability and instability criteria are obtained,and two examples are also given to illustrate our results.     

处理器验证激励在线筛选技术

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.     

基于激光多普勒测速法的2×106m/s2高冲击校准技术

在高冲击传感器动态性能校准中,实现高量程、宽脉冲激励是目前高冲击校准急需解决的问题。采用速度改变法校准原理,以气炮为激励源,利用激光多普勒测速方法测量砧体运动速度,建立高冲击校准系统。分析碰撞系统的作用原理,提出调整和控制激励脉宽的方法;分析测速误差,提出双光束差动侧向测速方法。实验结果表明:高冲击校准系统校准量程为2×106m/s2,激励脉宽在2×106m/s2时大于100μs,校准冲击灵敏度的扩展不确定度小于5%(k=2)。     

城市水土保持区划及功能性评价研究——以宜昌市为例

目前全国地级市水土保持区划工作滞后,宜昌市作为湖北省域副中心城市,城市水土流失严重。为突出地方特色、因地制宜地指导地方水土保持区划工作的落地实施,以宜昌市为例,在国家、省级水土保持区划成果的基础上,紧密结合宜昌市地方特点,逐步进行细化,形成宜昌市水土保持四级区划,并对区划成果进行基本功能分析评价。 宜昌市水土保持区划使用四级分区体系,前三级区划沿用国家水土保持区划中一级、二级、三级分区范围;四级区被分为6个水土保持片区:沿江平原丘陵农田防护区、香溪河山地生态维护区、三峡库区山地丘陵保土区、沮漳河山地丘陵保土区、清江山地水源涵养保土区以及中心城区人居环境维护区。全市共涉及5个水土保持基本功能,分别为农田防护、生态维护、土壤保持、水源涵养和人居环境维护。地级市水土保持区划分区既要在国家、省级水土保持区划基础上进行,同时还需突出地方特点,因地制宜。宜昌市水土流失治理应坚持预防为主,保护水源,并加强水土保持重点监管。     

Robust pole assignment for incomplete nonlinear decoupling applied to robots

A robustness analysis and synthesis for incomplete nonlinear decoupling for a class of nonlinear systems is discussed. Rigid and elastic-joint robot models belong to this class. For the elastic case, a transformation facilitates the robustness analysis under a weak assumption. Charts with H ₁- and H - norms of closed-loop disturbance transfer functions of the nonlinear-decoupled system are presented for a robust pole assignment.