确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

FeS2-H2O系综合平衡电势-pH图及其应用

根据综合平衡原理,建立和讨论了一种新型的ＦｅＳ２－Ｈ２Ｏ系电势－ｐＨ图及该体系中溶液态物质的浓度分布函数单质硫只有较小的稳定区且依赖于溶液中含硫物种总浓度Ｃｔ（Ｓ）和Ｈ２Ｓ气体的分压大小,当Ｃｔ（Ｓ）固定时,分压小于某临界值后单质硫的稳定区将消失Ｆｅ２Ｏ３（Ｓ）和ＦｅＳ２（Ｓ）的稳定区均很大,Ｆｅ２Ｏ３的稳定性与溶液中含铁总浓度Ｃｔ（Ｆｅ）有关,而ＦｅＳ２的稳定性与Ｃｔ（Ｓ）、Ｃｔ（Ｆｅ）及Ｈ２Ｓ气体的分压均有关图３,表３,参４     

父母的信念对其子女信念影响的调查和研究

采用自编的信念调查表对289名高中一、二年级的学生及其父亲或母亲进行了测查。测查结果表明子女的信念得分与其父母的信念得分有显著相关(r=0.2889, P<0.001)。父母对子女信念的影响中母亲的影响作用较父亲明显;父母对女儿信念的影响较对儿子的影响更为明显。     

热致相变材料C10Cu-C12Cu二元体系相图

合成了2种具有层状钙钛矿结构的热致相变材料四溴合铜酸癸铵(n C10H21NH3)2CuBr4(简记C10Cu)和四溴合铜酸十二铵(n -C12H25NH3)2CuBr4(简记C12Cu),并在2种材料的乙酸溶液中结晶出一系列C10Cu -C12Cu二元体系.利用差热分析(DTA)和X射线衍射(XRD)构筑了C10Cu -C12Cu二元体系相图.在实验相图中确定了新的稳定化合物C10C12Cu的存在和2个不变的共晶点,共晶点温度分别为35 ℃和30 ℃.与同类体系的其他相图相比,在此相图的左右边界和中间区域存在3个显著的固溶区.     

螺杆泵宏观控制图研究

针对传统螺杆泵宏观控制图存在的将合理的井判别为不合理井,参数偏大区在图中所占的份额过小,有可能造成落在该区的井过于密集的缺点等一系列问题,提出了宏观动态控制图的无量纲化,弥补了传统控制图的不足之处。通过计算机编程软件Visual Basic 6.0进行理论验证。计算结果表明,无量纲化后的宏观动态控制图采用无量纲流压判定螺杆泵井工况要比传统的方法更加准确合理。     

轴向载荷、转动惯量和剪切变形对简支梁固有频率的影响

利用能量法研究了简支梁在轴向载荷作用下固有频率与轴向载荷的关系,讨论了轴向载荷、转动惯量和剪切变形对简支梁固有频率的影响,对梁的结构设计,特别是对强迫振动下的实时控制,在工程中具有一定的实用价值。     

遗传算法的线性混合模型的影响分析

讨论了遗传算法的限制极大似然估计(RMLE)的计算问题,采用极大似然估计法,利用方差分量无偏估计对模型分量参数进行影响分析.     

基于BDD的考虑共因失效的故障树可靠性分析

通过分析显式和隐式方法在求解考虑共因失效的大型故障树可靠性时的不足,提出了一种基于二元决策图的考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为二元决策图,求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.最后,针对单调关联故障树和非单调关联故障树两种情况分别给出了它们的详细算例.     

根据普通紧前工序表绘制最优箭线式网络图的程序化方法

提出了一种根据普通紧前工序表绘制最优箭线式网络图的程序化方法 ,并例举了一个应用该方法绘制最优箭线式网络图的实例.     

混凝土搅拌楼电子叠加器方案设计

通过对混凝土搅拌楼电子叠加器的设计,讨论搅拌楼各料叠加的控制方式,阐述利用PLC(Programmable Logic Controler)可编程序控制器设计一个工程项目的全过程,对现有电气设备的自动化改造提供了方法,实现了混凝土搅拌楼的三料自动叠加.