【摘 要】
:
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例,验证了实例系统
【基金项目】
:
国家自然科学基金项目(61802318,61672435,61811530327);
论文部分内容阅读
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试。
其他文献
<正>中国绘画的发展充盈了人们的生活,丰富了人们的精神世界。传统中国画中山水画无疑是最有艺术创造力的,但是在认识和研究某一画科的时候,我们应该注重这一画科的认知程式,谢赫在“六法论”中提到六法是创作的重要理论,这也是我们充分认知一幅作品的重要理论依据。只有充分认识创作者的创作意图,创作中运用的程式化语言,才能更好、更系统地认识山水画。山水画在魏晋时期崭露头角,随着初唐社会经济的发展,山水画逐步成为
融媒体时代,传统媒体与新媒体相互交织,为各级党委政府与基层群众之间的沟通交流提供了渠道支撑。在推动区域经济发展的过程中,为将新闻媒体的宣传作用充分发挥出来,需要做好相关政策的深度解读,对科学知识进行普及,对发展成果进行展示,从而为乡村振兴工作的实施提供助力。本文从阿拉村的基本情况出发,结合新媒体在新闻宣传中的应用情况,对新闻宣传助力乡村振兴的有效对策进行分析,以供相关人员参考。
生产调度管理是化工企业管理中的重中之重,生产调度管理直接关系企业安全生产、经济运营。提高生产调度管理工作效率,是实现化工企业管理优化,提高企业核心竞争力重要手段。本文叙述了浙大中控MES系统在煤化工,盐化工,精细化工一体的生产调度管理中的应用。
习近平主席指出,增强对外话语的创造力、感召力、公信力,讲好中国故事,传播好中国声音,展示真实、立体、全面的中国,是加强我国国际传播能力建设的重要任务。国际舆论反映了国际社会对东道国的综合评价,是东道国“软实力”的重要体现。伴随着改革开放和中国经济实力的不断增强,中国外商直接投资流入量多年位居发展中国家第一和世界前二,国际舆论对华关注度也在不断上升,但是报道内容却总体偏向负面。那么,国际舆论是否会影
<正>沈丕安教授系上海市名中医,全国著名的风湿病专家,曾任中华中医药学会风湿病分会主任委员。从医近50载,擅长运用中医药治疗自身免疫性疾病,尤其是在运用中药治疗系统性红斑狼疮方面,有着独到的见解和丰富的经验,并结合现代药理研究甄选出具
近年来建筑行业取得了较快的发展,而且在各项建筑工程施工中,混凝土作为施工中必不可少原材料,在科学技术快速发展的支撑下混凝土材料性能得以不断完善。当前混凝土空心砌块在建筑施工中应用十分广泛,不仅能够有效的提高施工质量,而且还能够降低材料成本,有利于推动建筑企业的健康、持续发展。
“互联网+”时代的到来及移动智能手机的普及,促进了学习环境的变化,对于新时代大学生,形式单一的课堂教学阻碍了其个性的发展及创新思维的培养,从而难以适应社会需求。以定积分的应用为例构建智慧学习环境下的新型教学模式,通过现代信息技术与数学教育的有机融合,加快传统数学教学模式的转型升级与发展,改善课堂教学效果,提高教学质量,更好地发挥数学在高职教育中的服务与育人功能。
针对传统企业文件存储管理FTP 服务器在细粒度的文件存储、文件传输、文件搜索、文件共享、权限控制、数据统计等功能上的在缺陷,阐述了如何使用SpringBoot和commons-net中的服务器接口技术,实现一个通用的FTP企业网盘系统。系统底层使用Linux上的vsftpd存储原始文件数据并使用MySQL存储文件信息、用户信息、权限信息等元数据。中间层使用SpringBoot的依赖注入和面向方法编