【摘 要】
：
构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了
【机 构】
：
广西大学计算机与电子信息学院,中国科学院软件研究所
论文部分内容阅读
构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨.
其他文献
摘要：学生作文是作业批阅中耗时最长，效果最差的一门作业。学生的一篇作文，老师往往呕心沥血地改半天才有些眉目，结果到了学生手中，不少学生看也不看就扔到一边去了。老师的评价也常常因为不够及时也失去了应有的促进作用。因此，初中作文批改费时多、收效少，成为长期困扰语文教师的问题之一。那么，如何指导初中学生进行互批互改呢？ 关键词：初中语文；互批互改；会批会改；写作习惯 中图分类号：G633 文献标识
摘要：当前，我国社会在人才的需求问题上对中职学生的技术水平和综合素质提出了越来越高的要求。针对中职学校模拟电子技术教学方面尚存的一些问题，引入探究式教学的教学模式可以促进中职学校达成更好的教学效果。 关键词：中职教育；模拟电子技术；探究式教学；多元化 中图分类号：F230-4 文献标识码：A 文章编号：1674-7712 （2012） 16-0155-01 一、前言 当前，随着我国社会
通信企业是服务行业，客户是企业的生命线，拥有高忠诚度的客户是企业可持续发展的动力，失去了客户的信任，企业就没有了生存的空间。尤其是在蛋糕就那么大，三家运营商激烈竞争，民营资
GB/T 4338-2006《金属材料拉伸试验第2部分：高温试验方法》已于2016年6月1日正式实施。该标准适用于温度在高于室温条件下金属材料拉伸性能的测定,规定了温度在高于室温条件下
介绍了aDSP处理器中地址生成单元的设计。详细讨论了位倒序寻址模式、模块循环寻址模式和快速判零逻辑的设计实现，并使用门控时钟的方法来解决这些复杂结构引起的功耗增加问题
目前XRD内标法定量相分析存在标样难以获取、成本高,试验过程不一致导致不同实验室测试结果没有可比性等问题。针对该问题,笔者提出以晶体结构数据为依据,通过理论计算获得XR
某拖拉机限位杆连接叉在进行空载提升试验时发生断裂,通过宏观观察、扫描电镜观察、金相检验、硬度测试、拉伸试验等方法对限位杆连接叉的断裂原因进行了分析。结果表明：限位
摘要：本文从中等职业学校办学实际出发，根据中职示范校建设对专业建设的要求，着重从电子商务专业定位、人才培养目标、课程体系等方面进行了改革探索，提出专业建设服从社会需要，依托学校优势资源，发挥主导作用的建设思路，进行电子商务专业培养方向的细化和明确，进行了卓有成效的探索和實践。 关键词：电子商务；专业方向；医药营销
土地储备是我国土地使用制度改革的产物，是经济市场化进程中土地制度的创新。为社会经济可持续发展提供用地保障起到了积极作用。本文从土地规划、土地征收和房屋拆迁三方面阐
历来演艺圈都是＂只见新人笑,谁闻旧人哭＂,＂过气＂一词对于演艺人员来说就像事业被判了死刑。曾经耀眼的明星,在流逝的时光中逐渐被人淡忘;曾经的影帝,现在却人前人后跑龙套……现