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.     

关于非奇异模的若干结果

本文研究了模的非奇异性和闭性的关系,进而给出了半单环的一些新的刻划。最后,给出了一个关于Artin环的定理。     

基于3次样条插值的数控机床几何与热复合定位误差建模

通过分析机床整个温升直到热平衡的误差数据,总结误差分布的数学规律,将热误差和几何误差分离,运用基于压紧样条条件下的3次样条插值算法,以线性拟合后的余差为建模数据,建立了数控机床几何与热复合定位误差数学模型.实验结果表明,该数学模型能很好地拟合数控机床定位误差曲线,补偿后数控机床定位精度提高了80%以上.该方法可运用于不同时刻或不同机床温度下的机床定位误差补偿,建模原理明了、过程快速,模型适用性好.     

基于拉格朗日系统中约束力思想的编队卫星构形非线性控制方法

借鉴经典动力学中约束力的思想,提出了一种编队卫星构形精确保持的非线性控制方法．该方法首先将非线性和摄动条件下编队卫星构形保持问题转换为带有完整约束的拉格朗日动力学系统,然后将问题转换为一组微分代数方程,通过求解微分代数方程,确定编队卫星构形保持的非线性控制律．由于借鉴了约束力的思想,该方法自然地利用了编队卫星动力学系统的力学特性,具有节省能量和高精度的特点．通过对线性和非线性条件下空间圆编队卫星构形保持问题的仿真,验证了提出的非线性控制方法的这些特性．     

沉淀法制备超微粒过程中反应物浓度对样品粒度的影响

通过沉淀法制备了Ｆｅ３Ｏ４超微粒样品，应用ｘ－ｒａｙ衍射仪及透射电子显微镜对样品进行了测试分析，对制备样品过程中反应物浓度对超微粒样品粒度的影响进行了研究。     

DISA线高硫铁水的型内球化

在ＤＩＳＡ垂直分型线上对高硫铁水进行型内球化处理实验，球化剂系数（Ｓ·Ｆ）为０．０４７ｋｇ／ｓ·ｃｍ＾２，球化剂ＭｔＭｇ７－８合金加入量为１．０￣１．２％时得到了良好的效果。     

新时期土木工程专业实践教学管理探讨

分析了新时期土木工程专业实践教学外部环境和内部条件的变化,对土木工程专业实践教学进行了分类,并探讨了土木工程专业实践教学管理的主要内容。在上述基础上,探讨了新时期土木工程专业实践教学管理改革。     

我国科技法律体系建设的创新思路

1985年以来，我国已经逐步形成了一个初具规模的科技法律体系。但随着我国社会经济的快速持续发展，现行的科技法律体系已明显不能满足推进科技创新活动的现实需要。我国应尽快完善、修订《科学技术进步法》，创新科技立法机制和程序，整合各类科技法律资源，加强科技立法的前瞻性研究，为实现创新型国家提供强有力的法律支撑。