基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

钢筋钢纤维高强混凝土箍筋梁剪切延性分析

根据13根钢筋钢纤维高强混凝土矩形梁的剪切破坏试验进行了梁的剪切延性研究.参照受弯构件的延性分析,定义了梁剪切延性指标和能量吸收比,定量分析了钢纤维、箍筋、混凝土强度等级和剪跨比对梁剪切延性的影响,并比较了钢纤维和箍筋提高梁剪切延性的效率.试验结果表明,钢纤维虽不足以在根本上改变梁剪切破坏的脆性,但可以使其延性得到显著提高,钢纤维在体积掺率低于0.5%的条件下提高剪切延性的能力等效于等量箍筋.     

机器人实时远程控制系统设计与实现

为了满足3P-6SS并联机构型机器人实时远程控制的需要,基于VisualC 和OpenGL开发了客户端的仿真指令控制台和服务器端的控制程序。实验表明,所开发的嵌入式Linux服务端与Windows客户端通过网络能够稳定运行,Windows客户端能够实时对3P-6SS并联机构型机器人进行远程界面控制,很好的满足了操作者对机器人交互的需要。     

AA／AMPS／DMDAAC三元共聚物阻垢分散剂的合成与性能研究

以丙烯酸（AA）、2-丙烯酰胺-2-甲基丙磺酸（AMPS）、二甲基二烯丙基氯化胺（DMDAAC）等为单体,亚硫酸氢钠一过硫酸铵为引发剂,采用水溶液聚合法,合成AA／AMPs／DMDAAc三元共聚物阻垢分散剂．研究结果表明,溶液中总单体质量分数为30％,引发剂质量分数为8％（占单体含量）,实验在弱碱性环境中进行,90℃下反应5h得到的共聚物有良好的阻垢分散性能．     

影响C60／C70产率因素的研究

本文介绍了直流电弧法合成Ｃ６０／Ｃ７０技术，测量了在拟和氩中，烟灰 产率和Ｃ６０／Ｃ７０提取率与气压及孤电流的关系。在１５０ｍｍＨｇ拟气氛和６５Ａ孤电流下，烟灰产率为３４％，从烟灰中提取Ｃ６０／Ｃ７０的产率为１７％。     

飞机维修工时概念的探讨

对飞机每飞行小时维修工时中“维修工时”的概念进行研究探讨，提出“综合勤务工时”概念，初步构建了相对于当前条件下的“维修工时概念体系”。     

求解常微分方程初值问题的自适应算法

在综合ＣＷＧｅａｒＷ Ｈ Ｅｎｒｉｇｈ，Ｔ ＥＨｕｌｌ，Ｂ Ｍ Ｆｅｌｌｉｎ和Ａ Ｅ Ｓｅｄｇｅｗｉｃｈ等人提出的一系列求解常微分方程初值问题的方法的基础上，给出了一收敛速度快，精度高，计算稳定的自适应算法。     

水热条件下二氧化钛晶体同质变体的形成

以二氧化钛为对象,对水热条件下晶体同质变体的形成过程进行了研究. 根据实验结果和理论分析,可将水热条件下晶体同质变体的形成过程概括为一个“基元过程”,它包括了生长基元的形成、生长基元之间的聚合反应导致晶核的形成、晶粒的生长等基本阶段. 环境相与生长条件对同质变体形成的作用主要体现于生长基元结构的不同. 例如,改变反应介质的酸碱度,水热反应体系中稳定能最高的生长基元的结构不同,这是不同水热条件下可以制得二氧化钛不同变体的原因. 生长基元在不同晶面族上的吸附、运动、结晶或脱附主要与晶相结构有关. 晶相内部缺陷的形成又与过程受到干扰有关.     

非等间距GM(1,1)模型背景值构造方法及应用

背景值是影响灰色系统理论建模精度的重要因素之一。为提高灰色模型的预测精度,对非等间距GM(1,1)模型中的背景值构造进行了研究,提出了用x(1)(t)在区间[ki,ki 1]上的中点实际值作为背景值。该背景值计算简洁,适应性强,提高了非等间距GM(1,1)模型精度,拓广了非等间距GM(1,1)模型的适用范围。并应用改进的非等间距GM(1,1)对钛合金疲劳强度随温度变化的关系进行建模,取得了满意的效果,数据拟合精度高达98.8%。建模结果表明了该文提出的方法的有效性。     

反训对原型范畴理论的补充

反训作为传统训诂学的一种语言现象,与原型范畴理论有诸多的不"兼容",集中体现在对立性上,这也引起了国内学者的颇多争议。反训在原型、语义链和家族相似性等方面弥补了原型范畴理论的不足。汉民族的思维方式和生存方式是反训存在的缘由。