【摘 要】
：
为了提高核安全级DCS系统控制算法的设计效率和打破关键建模软件完全依赖国外进口的局面,基于对图形化建模技术和形式化验证技术的研究,提出了一种集图形化建模和可信代码自
【机 构】
：
中国核动力研究设计院核反应堆系统设计技术重点实验室,哈尔滨工程大学
论文部分内容阅读
为了提高核安全级DCS系统控制算法的设计效率和打破关键建模软件完全依赖国外进口的局面,基于对图形化建模技术和形式化验证技术的研究,提出了一种集图形化建模和可信代码自动生成于一体的核安全级DCS系统控制算法的开发方法,将极大地提高核安全级DCS系统控制算法开发效率。主要介绍了图形化建模软件、XML文件数据提取方法和可信代码生成软件的设计,将这些软件集成后,为核安全级DCS系统控制算法开发,提供了一套由模型驱动代码自动生成的解决方案。
其他文献
在现代生活中,公共艺术已成为城市公共空间中的一部分,无论是从环境、文化、历史还是发展上,对城市公共空间的发展都有着重要的作用。人与公共空间的关系对公共艺术有着直接
渝东南地区定位为生态保护发展区,其环境质量状况值得高度关注。研究选取SO_2及COD作为特征污染物,分析计算得出渝东南地区大气环境容量为173739t,水环境容量为65723t。进一
人、动物和自然和谐共存己经是野生动物园普遍遵循的基本理念。现代动物园更加强调动物生活环境的生态自然性,把动物放在第一位,尊重动物本身的生活习性和心理需求,力求展示
随着多传感器数据融合技术在军事和民用等领域中的广泛应用，国内外学者对它的研究也在迅速升温然而目前研究较多的是同步数据融合问题，即假设各传感器同步对目标进行测量，并且同
随着经济和国际间合作的迅猛发展,商务信函在商务合作和沟通中的重要性不断深入和加强。商务信函广泛利用各种媒介手段传递信息已达到有效沟通的目的,它在信息交流和沟通方面
新一轮课程改革正以令世人瞩目的迅猛之势在全国顺利展开,而教育的改革和发展都要通过教师的实践才能得以实现,而教师的实践又受到教学观念的左右。因此教师教学观念的更新与
静脉输液外渗指输液过程中由于管理疏忽,刺激性药液和发疱剂或造成腐蚀性或液体进入了周围组织 [1] 。静脉药物外渗对患者产生的主要危害如下:肉体上引起患者局部疼痛、感染,