【摘 要】
:
同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非
【机 构】
:
南京航空航天大学计算机科学与技术学院
【基金项目】
:
国家自然科学基金(U1533130)
论文部分内容阅读
同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lus
其他文献
<正> 随着社会的发展,人口老龄化速度正在加快。目前,全世界60岁以上人口有5.9亿,至2002年可能突破10亿大关。中国60岁以上人口1998年已达1.2亿,并以年均3.2%的速度递增,大大
回顾2015年值得关注的11种药物的上市和销售情况。重点介绍2016年值得关注的7种药物的适应证、上市申请、临床开发情况以及市场前景展望等。
Review the listing and sales
采用激光熔覆的方法在高速钢刀具4Cr5MoSiV1钢表面制备了不同TiC体积分数的复合熔覆层,对比分析了4种复合熔覆层的显微形貌、常温拉伸力学性能和断口形貌。结果表明,随着熔覆
合成了新型阻燃剂中间体9,10-二氢-9-氧杂-10-磷杂菲-10-氧化物(DOP),并对适宜的合成条件进行实验研究。以三氯化磷和邻苯基苯酚(OPP)为起始原料,路易斯酸为催化剂,先制得6-
目的:通过分析髋关节疾病引起冠状面骨盆倾斜(pelvic tilt, PT)的原因和临床特点,研究其发生的规律性,探讨符合此类疾病特征的骨盆倾斜的分类方法。方法:回顾性分析昆明医科大
<正> 1.根况2000年我院承担的“长江中游安徽江段及巢湖水患区地质环境调查评价”地质大调查项目,已取得丰富成果。为进一步查明巢湖周边水患区洪涝灾害生成的地质背景,根据
本文从分析行为的三个阶段着手,从刑法上的因果关系、犯罪中止的成立条件以及不作为犯罪的构成三个方面,界定一起丈夫服毒案件中妻子的行为是否构成故意杀人罪,强调不宜将道
国际货物运输中,《海牙规则》确立了承运人对航海过失造成的货物损失免责。而承运人应当妥善地、谨慎地装载、搬移、积载、运输、保管、照料和卸载所运货物。对管货过失造成
目的:肝癌发生发展是多因素、多步骤综合作用的结果,它是一个复杂的多基因疾病已成为共识。而作为目前生命科学研究热点的microRNA(miRNA),由于其在肝癌发生中具有癌基因及抑癌
应收账款是企业因赊销产品或提供劳务等应向购货单位收取的款项,属债权性资产。应收账款等效于提供了企业的资金给顾客,应收账款过大容易产生财务风险。本文针对几个常见问题