【摘 要】
：
Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错
【机 构】
：
北京大学数学科学学院,西安电子科技大学计算机学院
【基金项目】
：
国家自然科学基金(61772038,61532019).
论文部分内容阅读
Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错误,从而提高编码的可靠性,同时缩短模型开发周期。介绍一种从Mediator模型到SystemC代码的自动生成工具,该工具旨在将基于特定平台的模型转换为能直接仿真运行的代码。首先对Mediator语言的语法语义进行分析,选择合适的SystemC代码组织形式,然后针对Mediator模型的每一个组成部分设计生成规则,其中重点对类型生成
其他文献
意大利阿莱尼亚．马基公司（Alenia Aermacchi）对专门为M-346喷气式教练机研制的新型头盔显示器（HMD）进行了飞行试验。
模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程
法国米其林公司根据我国道路状况专门设计的ENERGYXM2韧悦轮胎正式推出。其采用了多项米其林创新技术，在安全性和坚韧性方面表现尤为出色。
从2009年5月15日起，中国新一代极轨气象卫星“风云”三号卫星数据存档与服务系统正式对外提供服务。用户和社会公众可以通过数据分发系统或登陆共享服务网站、国家卫星气象中
基于动态身份信息ID的远程用户身份认证方案,在保证远程用户身份匿名性及不可追踪性的前提下,可实现远程用户与服务器端的双向身份认证。对Yang提出的基于动态ID的远程用户身
世界水资源的过度利用和滥用，已造成全球范围内无污染淡水供应的持续紧张。积极寻找替代水资源的解决方案，成为愈来愈多国家的重要议事日程。目前，经济上可行的替代水资源主要有
随着问题规模的增大和对实时性要求的提高,SIMD向量处理器尤其是带有向量运算单元的处理器在业界得到广泛应用。处理器上程序的运行状态一般由编译器通过堆栈进行管理。已有
美国国家航空航天局的新型“全球鹰”无人机将跨越太平洋，进行它的首次航行。据报道．新型“全球鹰”无人机的设计飞行高度约达2万米．持续飞行时间超过30小时。该无人机可实现远
数据中心租户使用的遗留设备中仍存在没有实现显式拥塞通知ECN的情况,导致数据中心网络中存在ECN流抢占非ECN流带宽资源的不公平现象。虚拟拥塞控制方法通过修改数据包接收窗