【摘要】蒙特卡罗粒子输运计算程序FLUKA已广泛应用于加速器设计、探测器设计、医学物理、高能物理等多个领域。FLUKA几何模型的描述不直观,导致用户不能直观地对几何模型快速查错、编辑、重用和迭代设计,很大程度上限制了FLUKA在诸多领域的应用。目前核领域的许多大型复杂模型均是在CAD几何模型的基础上进行修改和重用,同时国内已经发展了可将CAD几何模型转换为FLUKA几何模型的建模软件,现有的FLU […]

【摘要】从机器语言诞生到各种软件开发方法的提出,软件模型不断更新,软件系统的灵活性和可伸缩性不断提升。软件系统开发的复杂程度越来越高,软件的生产率也需要极大的提升。传统的软件开发通常采用文本和UML图表的方式描述需求分析和设计过程,产生大量的文本文档,给维护造成极大的困难,加上文档与代码存在不同步的问题,软件的可靠性越来越难以保证,传统的软件开发已经不能满足实际开发的需要。随着软件工程概念的逐渐普 […]

【摘要】信息物理融合系统是一个物理系统、信息系统和控制逻辑深度融合的复杂嵌入式系统,能实现大型工程系统的实时感知、动态控制和信息服务,具有实时、安全可靠、高效的特点,涉及物理学、力学、电子、通信、计算机、机械、控制等诸多学科。信息物理融合系统的复杂性使系统中存在很多动态的、不确定的因素,在这些因素的影响下,如何对信息物理融合系统进行分析与设计以保证系统的实时性和安全可靠性等非功能属性是当前信息物理 […]

【摘要】针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现U […]