SIGNAL模型多线程代码生成研究

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:sheng45724575
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码自动生成。面向多时钟同步语言SIGNAL,提出了一种SIGNAL模型到多线程Java代码生成过程。该代码生成过程基于以下3种中间结构:同步时钟卫式操作、卫式操作和带划分的卫式操作。将整个代码生成过程分为4个主要转化步骤,给出每一步转化规则。最后对空客A340的警报系统进行实例分析,评估生成代
其他文献
本文介绍建筑工程材料质量检测计算机管理系统的研制和应用。
2009年2月11日,Acer在北京发布了其旗下第二款超便携笔记本Aspire one D150,这无疑为竞争已经白热化的上网本市场又投入了一员猛将,使得Acer欲将领跑市场之势愈加明显。
目的分析P27kip1、cyclinE与结肠癌生物学行为和预后的关系.方法采用S-P法免疫组化观察71例结肠癌与21例正常肠粘膜组织的P27kipl和cyclinE的表达情况.结果P27kip1、cyclinE
目前区块链的容量受到网络里存储空间最小的节点的限制,提出了区块链存储容量可扩展模型,该模型将一条完整的区块链副本进行分片处理,并将分片数据保存在一定比例的节点中。
夯扩桩是一种双管施工的沉管灌注桩,通过柴油锤锤击内夯管,把外管内预先灌入的一定量的混凝土夯击挤出套管下端,形成平底扩大头,从而提高单桩承载力。夯扩桩在浅埋持力层地区得到
随着病理诊断技术发展,各种内窥镜检查及针吸检查的普遍应用,尤其是针吸组织标本也逐渐增多,这些标本因涂片难以显示细胞间质,组织学结构等.故对肿瘤的分类、分型诊断的准确
目的探讨鼻咽癌组织中MMP-9表达情况和CollV分布形式及其意义.方法应用免疫组化S-P法,对经福尔马林固定、石蜡包埋的41例鼻咽癌标本和30例慢性鼻咽炎(对照组)标本进行了检测.
为运动员教育基金捐赠金币与其他歌手举办演唱会时多半邀请圈中好友站台不同,陈奕迅的北京演唱会邀请的嘉宾居然是六位体操奥运冠军——刘璇、黄旭、李小鹏、邢傲伟、肖钦、
近年来,在规划设计领域内相继出现某些似是而非的模糊概念。本文结合实例就几个重要概念谈谈笔者的理解,希望对提高规划设计水平有所帮助。
清瘦的车永莉走在人群中或许会被你一笑而过,但她严谨认真、干脆利落和玩命的精神一定会让你记忆深刻。就像素淡的茉莉花,她没有绚丽的异彩,没有妩媚的花姿,但珠圆玉洁,仪态