简介:摘 要 针对目前军用软件系统级测试实施的问题和难点,从系统级测试类型、系统级测试环境构建、系统级测试充分性评价等方面提出系统级测试实施的要点和方法,为开展军用软件系统级测试提供技术支撑。
简介:摘要:核电站数字化控制系统是保障核电厂安全运行的核心,尤其是安全级DCS。结合目前核电站安全级DCS的工程实践,为了提高安全级DCS软件的安全性,根据IEEE1012等相关标准的要求,对安全级DCS应用软件的开发过程进行验证和确认(V&V)活动,对应用软件开发过程中的危险进行分析。
简介:摘要:PCR温度控制系统的软件设计是PCR仪设计中非常重要的部分之一,其控温效果的好坏直接影响PCR仪基因扩增的成功与否。因而本文主要针对芯片级PCR中温度控制系统软件进行研究。关键词:聚合酶链式反应温度控制SOPC模糊自整定PID一、软件系统工作原理PCR仪中,最重要的部分是对反应温度的控制。PCR仪系统根据用户预先设定的参数来控制变温系统的反应温度。系统首先采集变温系统的当前温度,将当前温度和用户设定的变性温度进行对比,通过控制控制器的运算得到一个输出,将此输出加到被控对象上,使其温度上升至变性温度,达到变性温度后,根据输入的变性温度持续时间,控制变温系统温度持续时间。当此时间到达之后,进入下个反应的温度控制即退火温度的控制。执行完退火阶段温度控制后进入延伸阶段的温度控制。当执行完三个反应的温度控制后,一个循环周期结束,进入下一个循环周期。系统不断的重复控制三个温区的温度,当达到用户给定的循环次数后,反应结束……
简介:由于目前大多数级进模设计是建立在二维平面设计的基础上,因此,只能设计简单钣金零件的级进模(例如电机的矽钢片级进模等),很难与其他生产环节相关联,实现数据模型无缝共享.法国Missler公司在TopSolid的基础上,推出完全集成的TopSolid/Progress级进模设计模块,该模块遵循级进模设计规范,实现了产品数据模型的共享,使得级进模设计过程更加形象直观、方便高效.下面就针对TopSolid/Progress级进模设计模块作简单介绍.