复杂陈述式仿真模型的相容性分析

来源 :软件学报 | 被引量 : 0次 | 上传用户:zkl_2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型的相容性分析是复杂产品多领域建模面临的一个关键问题.研究了陈述式基于方程仿真模型的方程系统过约束或欠约束判定、检测与修正策略.首先,将方程系统表示为二部图,通过二部图分解判定模型的相容性,并分离出方程系统的过约束和欠约束部分.然后,通过检测、判定与缩减过程,自动判别出过约束或欠约束发生的大致范围,并给出修正方案.所提出的策略与算法能够显著地提高用户发现与排除过约束或欠约束问题的效率,已在多领域物理系统混合建模与仿真平台MWorks中实现.
其他文献
采用可移动式承重架进行出水阀室吊车梁以上边顶拱混凝土浇筑,可以在垂直方向上部空间和下部空间同时进行作业,实现多个工作面同时施工,缩短了工程施工工期,为工程赶工奠定坚
德厚水库提水管线跨河拱管所在位置地势较为复杂,两岸为悬崖峭壁且跨河拱管跨度较长,为输水钢拱管,河面至拱管起拱线约60+m,无有利施工便道及机械操作平台,通过采用缆索吊装
分析了变异操作对微粒群算法(particle swarmoptimization,简称PSO)的影响,针对收敛速度慢、容易陷入局部极小等缺点,结合生物界中物种发现生存密度过大时会自动分家迁移的习
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指
2019年教师节前夕,在云南省水力发电工程学会秘书长李静涛的指导和安排下,云南省水力发电工程学会丁世泽、李怡萱、李明莉、李幼兰到楚雄市武定县咪西村咪西小学进行扶贫捐赠
3月20日,鲁甸红石岩工程溢洪洞进口段闸室储门槽混凝土开仓浇筑,溢洪洞土建施工新阶段开始.项目部承建的右岸溢洪洞土建工程溢洪洞布置于右岸,由闸室段、无压洞段及出口鼻坎
通过对新疆叶尔羌河流域堤防工程设计分析,坡面浆砌石防护+坡前卵石格宾石笼防冲刷方案不但抗冲性能好,施工难度低, 施工方法简便、工序少、施工效率高、质量易保证,而且可以
阿尔塔什水利枢纽是以灌溉、防洪、生态、发电为开发目标的控制性水利枢纽工程.引水隧洞利用河道型的地形条件, 裁弯取直布置,在右岸平行布置二条发电引水系统,发电进水口由
以国外某水电站设计为依托,在国内外不同技术标准下,同时结合工程特点考虑了国外业主及咨询要求,对重力坝抗滑稳定从荷载计算、组合工况、计算采用公式参数以及计算结果等方
高效地选取可见面,对于复杂场景的快速绘制是非常重要的.提出一种可见面的选择方法,能将基于图像空间或基于物体空间的可见面选择进行高效的结合,实现可见面的快速高精度的选取.首先,它对场景中的面片进行基于法向的分类,并根据面片的空间位置,为每一类面片分别建立一种层次形式的索引结构进行管理;然后在绘制过程中,基于像素驱动对可见面片进行由近及远的选取.由于索引结构对面片进行了有序的管理,这种选取计算很快,并