基于S曲线模型的航空装备嵌入式软件量化安全评估

软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数。对AML理论进行了拓展,讨论了转折点的选取原则。最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析。     

异噁酰草胺高效液相色谱分析

采用高效液相色谱法,以乙腈+水(含0.1%乙酸,体积比为58∶42)为流动相,使用CNW Athena–WP C18色谱柱和二极管阵列检测器,在251 nm波长下对异噁酰草胺进行定量分析。结果表明,异噁酰草胺线性相关系数为0.9999,标准偏差为0.31,变异系数为0.32%,平均回收率为99.85%。     

氯氟氰菊酯的气液色谱分析

关于氯氟氰菊酯的分析测试,I.C.I公司采用毛细管色谱法和液相色谱法,我们对其气液色谱分析进行了研究,得到了较为满意的结果。 一、仪器与试剂 仪器:北分SP-3402气相色谱仪,具氢火焰离子化检测器。配 HP-3394A积分仪。 试剂:氯氟氰菊酯纯品(I.C.I)公司提供);邻苯二甲酸二壬酯(经色谱鉴定无干扰杂质);二氯甲烷(分析纯)。     

三乙胺冷芯盒制芯工艺经验介绍

介绍了三乙胺冷芯盒制芯工艺的经验,包括对原砂的要求,以及混砂、制芯工艺.分析了常见缺陷的原因,如砂芯终强度低、固化时间太长及脱模时不硬化、砂芯射不实或不满、芯砂的可使用时间短等,并提出了相应的解决措施.最后指出,提高压缩空气的干燥程度、合理设置排气塞的位置,制芯成品率可以得到很大提高.     

磺酸酯在HPLC上的手性分离及测定

采用直链多糖类HPLC手性固定相（CSP）。对L（ ）-2-（O-对甲-基苯磺酸基-丙酸乙酯（磺酸酯）的光学异构体进行手性分离及定量分析。本方法的标准偏差：0.6195;平均回收率：99.21%;线性相关系统0.9991。方法操作简便,定量准确。     

溴乐菊酯乳油中溴氰菊酯和乐果含量的测定

本文采用具有分离手段的薄层层析，选择合适的展开剂，经分离后，分别刮下溴乐乳油中溴氰菊酯和乐果斑条，采用紫外分光光度法在波长276的纳米处理进行溴氰菊酯含量测定，采用化学溴化法进行乐果含量测定，该法简便，准确可靠，重复性好，可作为产品质量控制和检测方法。     

基于威布尔分布的嵌入式软件安全性量化分析

基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。     

三氯吡氧乙酸丁氧基乙酯的合成研究

综述了三氯吡氧乙酸丁氧基乙酯的主要合成途径,并选择了以三氯吡啶醇钠为主要原料,经与氯乙酸甲酯合成2-(3,5,6-三氯-2-吡啶氧基)乙酸甲酯,再与乙二醇单丁醚进行酯交换反应合成目标产物的工艺路线。该合成工艺以三氯乙酰氯计,5步反应总收率大于72%,产品色泽淡黄,质量分数在98.0%以上。该工艺具有三废量较少和成本较低的特点,适合大规模工业化生产。     

52.5%嘧菌酯·肟菌酯·环菌唑水分散粒剂液相色谱分析

介绍采用高效液相色谱法,以乙腈、甲醇、水为流动相,以Agilent C18色谱柱和二极管阵列检测器,在225 nm波长下对试样进行定量分析。结果表明嘧菌酯、肟菌酯、环菌唑线性相关系数分别为0.9999,0.9998,0.9998;变异系数分别为0.76%,0.37%,0.43%;平均回收率分别为99.9%,99.7%,99.9%。     

基于Web的故障品管理系统的研究与开发

相对于产品的采购、销售和库存管理而言,产品的售后服务特别是次品及故障修理品的管理往往缺少系统管理。而基于Web的故障品管理系统则借助网络的信息共享、信息传递、信息分布等优势,提供系统的产品售后服务,使故障品的管理具有便捷、及时、统一、低成本、高效率等特性。该文首先概述了一个基于Web的故障品管理系统的设计;其次,在系统实现的基础上总结了一些技术上的要点,对几个技术问题作了详尽的阐述:包括如何解决RedhatLinux和O-racle8i的冲突问题,如何在PHP中实现数据库接口的统一问题等。