程序建模相关论文
为了使用形式化方法对PLC程序的正确性验证奠定基础，研究PLC程序语言的指称语义定义，以实现对PLC形式化定义和检测验证。基于程序建......
核电站在严重事故过程中,锆包壳会与蒸汽反应生成氢气,释放到安全壳内并发生聚集.为了模拟氢气在安全壳内的分布,本文开发了三维计......
本文以采用原型材料的OECD CCI-2实验为参考算例,在MEDICIS程序中通过合理假设、特定模型组合和敏感参数优化的方法,针对混合熔池......
由于同时支持软件测试和模型检测需求的程序建模比较少，为此提出了一种程序建模技术，该技术主要包括物理存储模型、可视化模型和代数......
由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代......
UML(标准建模语言)是面向对象技术的一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具.首先介绍了UML技术,然后就UML......
基于Simulink的冗余系统可靠性仿真，通过调用simulink模块及编写、调用S函数，采用子系统的封装技术，建立了指数分布，威布尔分布，负对数......
先进热工水力试验（ACME）台架是以CAP1400核电厂为原型、采用1/3高度的比例进行设计的非能动堆芯冷却系统整体性试验台架。本工作采用......
模式在软件开发过程中被总结和提炼,从而能够利用模式加速软件的设计与开发。在使用Java蓝图进行程序过程建模时,从大量的实例模型......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
电磁循迹小车是物联网技术发展到一定阶段的产物。电磁循迹小车的控制程序设计是电磁循迹小车正确行驶的关键因素,为了保证控制程......
根据叉车转向系统的几种布置方式,选用曲柄滑块式,模拟转向桥横置油缸式。通过编制软件建立转向机构模型,并用随机方向法根据最小......
