实时编程语言RTS/Java设计

来源 :电子学报 | 被引量 : 0次 | 上传用户：wanyuequn

【摘要】

：

实时编程语言是有时间约束的系统描述语言.已有语言在时态机制方面存在不同程度的缺点.因此,本文提出了基于Java的实时语言RTS/Java,用于解决TGM模型到RT-Actor模型的映射.文

【作者】

：

桂先洲黄卫东

【机构】

：

国防科技大学航天学院

【出处】

：

电子学报

【发表日期】

：

2002年2期

【关键词】

：

实时任务时态约束 Java 建模语言

【基金项目】

：

国家自然科学基金 (No 60 0 730 0 3) ;国防预研项目 (No 41 32 0 0 70 1 0 4 )

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

实时编程语言是有时间约束的系统描述语言.已有语言在时态机制方面存在不同程度的缺点.因此,本文提出了基于Java的实时语言RTS/Java,用于解决TGM模型到RT-Actor模型的映射.文章详细定义了RTS/Java类和方法及其约束,设计了方法的激发机制.此激发机制解决了Allen教授提出的时态约束.RTS/Java语言支持多前端资源共享,也成功地描述了三星实时侦察仿真系统.

其他文献

英雄气与儿女情的兼容自洽

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

报纸

siRNA干扰VRK1表达对食管癌细胞BANF1蛋白表达及增殖迁移能力的抑制作用

目的探讨小干扰RNA干扰VRK1表达对食管癌细胞株BANF1蛋白的表达及其增殖迁移能力的影响。方法将VRK1siRNA转染EC109和EC1细胞系干扰VRK1的表达,Westernblot法检测VRK1siRNA干

期刊

食管鳞状细胞癌牛痘病毒相关性激酶1屏障自整合因子1

颅内静脉窦血栓形成的临床诊断治疗分析

目的分析颅内静脉窦血栓形成的，临床特征、影像诊断、肝素联合华法林治疗。方法分析我院2008年7月以来收治的35例静脉窦血栓形成患者的临床诊断反经肝素联合华法林及溶栓治疗

期刊

颅内静脉窦血栓MR及CT诊断抗凝治疗

共生和约束:红星照耀下的生态足迹

红军时期,中国共产党创建的根据地大都位于偏僻落后的山区农村,需要从自然生态系统和与自然环境密切联系的人工生态系统中获取给养、兵源。同时,良好的自然和人工生态系统也

期刊

红军时期生态系统执政

一山一水大美世界

期刊

山水美学形态美学意境美学原则

精密滤芯在磷酸西格列汀工艺中的应用研究

介绍了磷酸西格列汀的基本情况,阐述了生产过程中过滤设备的选择过程。使之操作简便,适合于工业化生产。

期刊

磷酸西格列汀工艺滤芯

挂职感悟（二）

产业集群的魅力　　　　到芜湖县后，对全县工业经济状况一了解才发现，前几年正是该县工业发展的低谷期。上世纪70年代、80年代，该县的国有企业、城镇集体企业和乡镇企业都发展得较好，但到后来，随着国家宏观政策的变化和国内市场竞争的加剧，10多户国有企业全部停产，部分已经倒闭。乡镇企业除部分转为民营企业仍发展较好外，其余也名存实亡。现有的民营企业主要分布在机械加工、粮油加工、木器包装三个行业。　　一开始，

期刊

感悟挂职产业集群地方政府规模

不同轮作制度下不同氮肥运筹对水稻产量和稻米品质的影响

为探究不同轮作制度下最优化的施肥措施,在光明米业试验农场进行了在稻-麦、稻-油、稻-绿肥三种不同轮作制度下,不同氮肥施用对水稻产量和品质的影响试验。结果表明,以稻-绿

期刊

轮作制度氮肥运筹水稻干物质积累产量精米率

实时编程语言RTS/Java设计

其他学术论文