【摘 要】
：
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,由于AltaRica 3.0的结构模型S2ML(System Struc-ture Modeling Language)是描述真实系统的层次结构信息,无法进
【机 构】
：
南京航空航天大学 计算机科学与技术学院,南京211106软件新技术与产业化协同创新中心,南京210007;南京航空航天大学 计算机科学与技术学院,南京,211106;
论文部分内容阅读
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,由于AltaRica 3.0的结构模型S2ML(System Struc-ture Modeling Language)是描述真实系统的层次结构信息,无法进行模型的安全性分析,而AltaRica 3.0的语义模型GTS(Guarded Transition Systems)可以用来进行安全性分析,因此,将AltaRica 3.0的S2ML转换为语义等价GTS语义模型是最新的AltaRica 3.0中的一个关键技术.为此,本文提出了一种基于ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型平展化算法.首先,根据Block和Class对AltaRica 3.0模型进行分割分别获取对应的AST(Abstract Syntax Tree);然后设计相关的转换算法,在遍历AST时,对结点存储的AltaRica 3.0模型语言信息进行获取和转换,通过不断的递归过程获取到平展化后的文件.实验表明,设计的算法可以很好地完成AltaRica 3.0模型的平展化过程.
其他文献
ANU,ANU-II和LiCi算法是近几年相继被提出的新轻量级分组密码算法.由于采用比特级的设计理念,相比于传统字节级更具有结构轻巧、扩散灵活和实现效率高等优点,因而其安全性备
在经济日趋全球一体化的背景下，身处激烈动荡的经营环境之中的企业要想立足于不败之地，必须掌握并购这一谋求生存和发展的利器，及时做出理性明智的并购抉择，尽快通过并购扩大企业
为明确点蜂缘蝽为害对大豆植株“症青”发生及产量损失的影响,采用人工罩网接虫法,设置6个密度处理,分别为每株0,0.5,1.0,1.5,2.0,2.5头,分别于盛花期(R2)、盛荚期(R4)和满粒
为充分了解大豆菌核病菌丝侵染过程,促进大豆菌核病耐性品种筛选及致病机理研究,本研究以感病品种合丰25和耐病品种Mapple Arrow为材料,对离体叶片和茎秆菌丝接种后,采用扫描
为探究不同复合凝固剂条件下,全豆豆腐中主要营养品质差异及感官差异,本研究采用干法制浆工艺制作全豆豆腐,选取硫酸钙(CaSO4)、氯化镁(MgCl2)和葡萄糖酸-δ-内酯(GDL)分别与
为解决大量豆渣因营养丰富易腐败变质而造成的资源浪费问题,本文以纯豆渣为原料,以毛霉为发酵菌种,以中性蛋白酶活力为指标,采用单因素和响应面试验设计方法优化前发酵工艺;
伴随中国金融改革的不断深化，四大国有商业银行(中、农、工、建)纷纷撤离县域经济，导致农村资金外流，农村金融服务供给不足，农村金融市场出现“空心化”。在此背景下，国家提倡大力
像这个城市的其他路车一样,从早到晚,K15路埋头拼命追赶着时光和速度.rn我固执地相信,K15路的前身是一条蛇.那时它的肚皮贴紧温暖的泥土,尾梢有节奏地快乐甩动,头顶是绿油油
重化工业是我国国民经济发展中的重要基础产业,它在国民经济发展中占据着重要的地位。随着我国经济的发展和城市化进程的加快,重化工业迅速发展,我国进入新一轮的重化工业化
大豆霜霉病是影响大豆生产和品质的主要真菌类病害之一,广泛分布于我国的各个大豆产区,尤其以潮湿多雨地区更为严重,极大影响了大豆的品质和产量.目前,大豆抗霜霉病机制领域