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.     

“百万元效益奖”—清华大学科研成果推广模式

一、“百万元效益奖”的缘由科学技术和经济的紧密结合及协调发展是当代发展的总趋势。但长期以来,由于种种原因,我国的科学技术和经济建设间存在着很大距离。为此,国家正采取各种措施,推动科学技术和经济的结合。清华大学为促进学校的科研成果转化为现实生产力,鼓励科技人员到生产第一线推广应用其成果,积极为社会主义“四化”建设多做贡献,于1983年设立了“清华大学科研成果推广应用效益显著专项奖”,简称“百万元效益奖”。     

关于非奇异模的若干结果

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

多通道微创经皮肾镜取石术后并发症的护理

总结69例多通道微创经皮肾镜取石术后及术后并发症的护理经验.探讨了微创经皮肾镜下治疗肾结石术后护理.结果显示,63例行1次PCNL,6例行2次PCNL,1例行2次PCNL后仍有残留结石,经体外冲击波碎石后全部清除结石.术后发生并发症6例,其中出血1例、尿外渗2例、感染性休克1例、双J管移位或脱落2例.通过引流、抗感染、...     

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

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

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

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

DISA线高硫铁水的型内球化

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

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

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