基于模型的软件测试

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

在非极性溶剂中杂多阴离子—CO络合物的电子光谱

合成了五种取代型杂多化合物：「ＳｉＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾６－，「ＧｅＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾６－，「ＰＷ１１Ｏ３９Ｃｏ（Ｈ２Ｏ）」＾５－，「Ｐ２Ｗ１７Ｏ６１Ｃｏ（Ｈ２Ｏ）」＾８－，「ＰｗＯ１８Ｏ６８Ｃｏ４（Ｈ２Ｏ）２」＾１０－，通过等离子体、ＩＲ、ＵＶ、极谱、热谱等测试手段对产物进行了表征、并首次报道它们在非极性溶剂中与ＣＯ小分子的作用，实验结果表明，取代型杂多化合物与ＣＯ形成了ＨＰ     

齐鲁二化肥丁辛醇废碱液治理可行性探索试验

探讨了用空气氧化治理丁辛醇废碱液的工艺条件，可使废碱的COD值降低75％。     

服装供应商制造周期效能的提高及案例分析:订单排程与投料管控

以服装供应商——牛仔服加工厂改善制造周期效能为例,着重分析生产订单排程与合理投料的流程改进与优化.通过合理的订单排程、确定缓冲时间、根据缓冲状态管理优先顺序、管控投料等方法,为服装供应商实现缩短生产周期、准时交货以及增加有效产出提供可行性实施方案.     

席夫碱型钯(II)配合物液晶的合成与表征

合成了带有端烯基的席夫碱型配体 (Schiff_C11C10 )及其含氯桥型的钯 (II)配合物 (Schiff_C11C10 _Pd) ,通过元素分析 ,摩尔电导 ,红外光谱 ,电子光谱 ,核磁共振等进行了表征 .配合物为中性配合物 ,配体与Pd(II)的摩尔比为 1∶1.配体和配合物均为热致型液晶 .配体和配合物介晶相皆为近晶相 ,配体的液晶态初步判定为镶嵌状织构 ,配合物的液晶态为破扇状织构 .     

基于CAN总线的车辆控制器现场升级系统

工程车辆控制器中各种带ISP功能的元件的大量使用,使得控制器具有利用CAN总线进行现场升级的能力.在讨论利用CAN总线对车辆控制器进行现场升级的模式以及通信协议后,以基于ISP的车栽设备作为升级实验对象验证了利用CAN总线升级车辆控制器的正确性与可行性.     

因果性、因果反常和快子

本阐述了物理学中因果性和因果反常的涵数，指出在闭合系里快子的存在可以和相对论因果性要求一致，但是适合作信号的快子实验的可能性必须被排除。     

不同干制方法对甘薯茎尖品质的影响

用热风干燥、微波干燥、真空干燥三种方法对甘薯茎尖进行干制,考察每种方法对产品复水性的影响,比较产品的复水率和维生素C保存率.结果表明,真空干燥(60℃,真空度0.06 MPa)下,复水性最好,复水率为396.49%,维生素C保存率最高,为71.67%.     

基于IRT的大动态反射系数微动目标检测算法

当雷达回波信号中同时存在强弱差异较大的微动目标时,弱反射目标分量常常会被噪声和强反射目标所掩盖,导致弱反射目标难以被检测。为解决该问题,提出一种大动态反射系数微动目标检测算法。首先该算法利用逆Radon变换(inverse Radon transform, IRT)来获取强微动分量的参数估计值,然后通过逐次消去强分量来增强弱分量,从而使得弱分量更容易被检测。本文算法能够实现反射系数差异较大的多个微动目标的检测,同时能够准确估计出其微动参数。仿真实验证明了本文算法的正确性，同时对本文算法的性能进行了分析。