基于模型的软件测试

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

含酰胺基团氯化稀土配合物的合成和表征

合成了未见文献报道的氯化稀土丙烯胺配合物（ＬｎＣｌ３·３ＰＡ），剖析了ＬｎＣｌ３·３ＰＡ和聚（苯乙烯－丙烯酰胺）负勒氯化稀土配合物（ＳＡＡ·ＬｎＣｌ３）的红外光谱和电子能谱。结果表明，含酰胺基团的配体均通过与羰基氧与稀土离子配位。     

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

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

嵌段聚酯型聚脲氨酯弹性体的合成与表征

本研究首先利用先本体预聚后溶液扩散链聚合的两步法合成了基于MDl,乙二胺和聚已二酸丁二醇酯(分子量1975和1228)的两系列嵌段聚酯型聚脲氨酯(PUU)弹性体,接着用元素分析,力学试验,GPC,IR,WAXD和SEM等技术对样品进行了全面表征.结果表明:PUU材料具有优异的力学性能.由WAXD和SEM研究发现:PUU中的软、硬段都是部分结晶的,晶体的尺寸依赖于硬段含量和软段分子量的变化.认为:PUU中存在着软、硬段两相微区,硬段微区被分散在由软段形成的基体中充当物理交联作用使材料表现出橡胶弹性性质.     

稀土硅铁孕育处理对铬—钼—铜马氏体白口铸铁组织与性能的影响

本文研究了稀土硅铁孕育处理对Cr—Mo—Cu马氏体白口铸铁组织与性能的影响。研究结果表明:采用稀土硅铁进行炉前孕育处理,将会导致含硫量降低与含硅量增高,且使夹杂物数量增多;同时可使其共晶碳化物由连续网状分布转变为断续网状分布,由莱氏体形态转变为板条状,且使晶粒细化,但使索氏体量增多。同时表明:采用稀土硅铁孕育处理,对Cr—Mo—Cu马氏体白口铸铁的抗弯强度极限与硬度影响不大;对挠度稍有增加;但对冲击韧性与抗磨粒磨损耐磨性,如加入适量稀土硅铁孕育则有显著提高,此一适宜量约为1.0％左右,超过此一适宜量将导致冲击韧性与耐磨性的下降。     

3G模拟网络终端接入测试研究

借助CMU200模拟3G网络，Motorola 3G终端，Gemplus USIM Card以及GemXplore Admin应用软件，对3G核心技术--鉴权做了详细分析，对终端接入3G模拟网络进行研究，并成功接入3G网络。     

β—环糊精—环氧氯丙烷高聚物的交联度和亲水性分析

通过改变合成条件，制备一系列具有不同交联度的β－环糊精－环氧氯丙烷高聚物，以元素分析法确定聚合物中β－环糊精单体含量，以标准方法测定聚合物有吸水率用以表征亲水性和交闻度，该聚合物的吸水率和摩尔交联度两个参数之间的数学关系可近似地用线性方程表示。     

工艺装备设计课程中学生自主学习能力培养初探

当今社会，随着科技和经济的飞速发展，社会竞争不断加剧。如何培养出高素质、高技能型人才，以满足社会的需要，这是摆在现代职业教育面前的一个严峻问题，而仅仅依靠课堂教育是很难实现这一目标。为此，在高职院校中开展自主学习，培养学生自主学习能力具有现实而重要的意义。只有具备自主学习能力的人，才能实现自身价值，更好地适应未来社会的发展需要。