论文部分内容阅读
计算机辅助工程(CAE)软件规模越来越大,也越来越复杂.软件形式方法可用于开发CAE软件.本文简述了形式方法和Z规格说明语言,以三维空间中的节点序列及其操作为例,介绍了用形式方法开发CAE软件的过程.本文还对形式方法的相关技术进行了讨论.
用形式方法开发CAE软件
【摘 要】
：
计算机辅助工程(CAE)软件规模越来越大,也越来越复杂.软件形式方法可用于开发CAE软件.本文简述了形式方法和Z规格说明语言,以三维空间中的节点序列及其操作为例,介绍了用形式
【机 构】
：
上海大学,计算机工程与科学学院上海,200072
【出 处】
：
中国科学院技术科学论坛第二十三次学术报告会议(CAE自主创新发展战略)
【发表日期】
：
2006年期
其他文献
本文系统回顾了国内外爆炸力学计算方法及程序/软件的发展过程、现状及发展趋势,指出了国内在该领域存在的主要问题,并提出了相应的解决途径,最后对本学科组在计算爆炸力学软
本文从山区填土地基特点出发,根据山区填土地基的特点,研究山区填土地基的处理方法与检测技术,在研究常规岩土工程检测技术的同时,还研究物探测试方法,将物探测试技术应用到
本文首先简要介绍机械系统动力学仿真软件与计算多体系统动力学的关系与现状,重点介绍计算多体系统动力学的理论、计算方法与软件开发方面的主要成果.最后对我国机械系统动力
本文从先进复合材料的数据问题和虚拟仿真问题这两个侧面入手,立足先进复合材料国防科技重点实验室的创新实践,论述了国内外有关的进展,介绍我们自己及其合作伙伴的工作,适当
本文论述了车身冲压部件设计及模具制造的特点和技术要求,以及应用CAE冲压成形技术在车身部件设计及工艺设计分析中的重要作用.在此基础上,基于全量塑性理论的板材成形过程有
会议
案情rn2016年4月,A省食品药品监管局开展保健食品监督抽检,其中C县某药店经营的某品牌葡萄糖酸钙口服液经检验总糖、菌落总数、酵母菌含量不符合食品安全国家标准.A省局通过B
期刊
一年一度的诺贝尔奖颁发是国际学术界的一大盛事.每一位诺贝尔奖得主都值得我们学习.不仅是他们的科学贡献,而且他们的研究历程都有许多可圈可点之处.rn
针对非定常多尺度复杂流动的数值模拟,分析了尺度分辨率与数值方法精度之间的关系.简要介绍了我课组近年来构造的高精度差分格式的基本思想和自主研制的高精度计算流体力学并
在过去的十年内,西北工业大学中法并行工程/中比宇航计算技术联合实验室围绕结构优化设计,特别是结构拓扑优化设计方法投入了大量的研究精力.本文以实验室所开展的各项优化设
会议
在极端加载条件下,物质将发生很大的变形,导致网格畸变,给数值模拟造成很大的困难.近年来发展起来的无网格法直接利用离散点构造近似函数,有效地克服了因网格畸变而产生的求
会议