![基于NuSMV的SysML模型形式化验证]()
论文摘要航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,...
![结构分析与BIM平台化的双向互用系统开发]()
论文摘要为促进建筑设计行业向集约、高效、精确的方向发展,国家大力推进BIM技术的应用。复杂、精细、非标准化的模型不断涌现,传统结构分析软件中的建模方式已无法满足广大用户的需求。...
![纵扭超声铣削残余应力三维有限元仿真与试验]()
论文摘要针对钛合金等航空难加工材料,提出采用纵扭复合超声振动辅助铣削的加工方法以实现压应力抗疲劳制造。根据侧铣-顺铣加工特性,基于热力耦合作用建立了钛合金铣削等效三维有限元仿真...
![BIM与GIS集成下的建筑物语义模型转换研究]()
论文摘要实现现代城市建筑物室内外一体化建模技术一直以来都是推进智慧城市建设的核心。常规的测绘手段只能获取建筑物的几何轮廓,忽略了模型的语义和拓扑关系,仅可用于三维可视化,无法满...
![OSGB模型自动转换为DWG的三维模型]()
论文摘要针对AutoCAD软件不能直接使用OSGB模型数据的问题,分析了OSGB与DWG模型的组织方式,利用OSG和ObjectARX二次开发包,完成了OSGB数据的解析,进一...
![基于XSLT的可靠性模型的自动转换方法]()
论文摘要AADL已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台OSATE为AADL提供建模、验证与分析工具。但AADL作为一种半形式化建模语言,不能满足严格分析...
