【摘 要】
：
AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心,中国航空无线电电子研究所
【基金项目】
：
国家重点基础研究发展计划(973计划)项目(2014CB744900)。
论文部分内容阅读
AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for
其他文献
对高校基础音乐教育进行分析,总结“互联网+”背景下基础音乐教育创新的必要性。认识到当前基础音乐教育所面临的问题,旨在通过各项影响因素的分析,完善“互联网+”背景下基
文章从专业技术能力、作战运用能力和教学业务能力三个方面,研究了特种机雷达专业教员队伍实战化教学能力的建设问题。首先阐述并分析了特种机雷达专业教员队伍实战化教学能
高等继续教育作为高等教育的重要组成部分,充分挖掘其专业课程中的思想政治教育资源,运用专业课程所蕴含的思想政治教育元素和所承载的教育功能,针对高等继续教育学生特点和
小巧精致、方便携带 与市面上的同类产品十分相似，C570在外形上采用了长条形设计。不过，从侧面来看，C570并非平面设计，而是在线材一侧采用了圆弧形的突起设计，这便于用户插拔设备时有更好的着力点。 出于耐用性和散热方面的需求，C570的外壳由铝合金制成，并辅以阳极氧化工艺，可轻松导出热量、有效防止产品刮花。同时，C570为天空灰与雅典黑撞色搭配，不易沾染指纹且显得沉稳精致。C570的尺寸为12
[摘 要] 腐败亚文化是与清正廉洁主文化完全对立的一种反文化。我国的腐败亚文化是在20世纪80年代后期逐渐形成、演变和发展而来，主要以权力腐败、职务腐败为主。作为一种文化，腐败亚文化不仅有很强的渗透性和扩散性，同时还有极强的变异性和隐蔽性，因而对其的治理也是一个长期的过程。要完全消除腐败亚文化，首先要继续高举从严惩腐的利剑，以法治方式清除奉行腐败亚文化的顽固主体;其次，要不断细化完善法律法规，彰
《创业基础》是湖南中医药大学所有本科专业大一学生的公共必修课程,学生人数众多且专业不一。在新冠肺炎疫情防控背景下,《创业基础》课程积极响应“停课不停学”号召,结合
针对目前人员救助存在的消防响应时间利用率低,救助人员与被困人员信息交互匮乏的问题,提出基于物联网的火场人员救助方法。基于物联网,建立消防救助人员、被困人员、指挥人员、应急设施等全方位、多通道的信息采集、融合、反馈交互系统。被困人员通过手机等终端反馈位置等信息。控制中心根据火灾现场信息、天气信息、被困人员位置等信息规划安全逃生路径,发出救助指令,指挥被困人员逃生,同时调动救生舱完成人员救助。提出人员
发挥三全育人背景下湖湘红色文化在大学生理想信念教育中的育人价值,分析"三全育人"、湖湘红色文化、理想信念的关系,构建凝聚育人主体合力的全员育人、衔接育人全过程的全程
版权是一种法律赋予的民事权利,等同于著作权。从宋朝起,统治机构就已经开始对书籍进行正式的版权保护。新中国的第一部《著作权法》颁布后的三十年内,中国在版权法制体系上
掺杂不同含量的石墨烯、碳纳米管、纳米银、银包铝粉作为导电增强相制备铝浆,将其印刷在氧化锌基片上并在680℃烧结得到铝电极,研究不同导电增强相对铝电极的导电性和附着力