图形化 Lustre 代码生成器 - 北京广利核 ACG

与文本主题有关的更多信息,可参考北京广利核张智慧《核安全级控制算法描述语言的可信编译研究》(2021)。

国内与 Lustre 编译器相关的工作,在核电行业,除了核动力院的 NASCG[1] 外,还有北京广利核的 ACG Lustre 代码生成器。

ACG 代码生成器的输入为图形化标记法表示的 Lustre 语言,其被命名为 G-Lustre(注1)。ACG 的输出为 Clight 代码。Clight 为符合 Compcert C 编译器输入要求的 C 代码。对 ACG 的结构组成,由两部分构成:

  • G2L。该部分工作将图形化标记法形式的 G-Lustre 转化为文本 Lustre 程序。
  • L2C。该部分工作实际为清华王生原 L2C(Lustre to C) 的工作。该部分采用定义证明 Coq 技术,通过形式化技术实现 Lustre 编译器。

对 ACG 设计实现的更多细节,可参考广利核张智慧《核安全级控制算法描述语言的可信编译研究》

注1:在作者所引用的 Lustre 语言参考材料中,没有出现 G-Lustre 术语。因此这里对 G-Lustre 的引用没有找到依据,可能是作者自己对图形化标记法表达的 Lustre 语法的命名。

[1]: Lustre 代码生成器 - 中国核动力研究设计院(核动力院)NASCG 实现, https://zhuanlan.zhihu.com/p/697149941

  • 2
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
智慧校园整体解决方案是响应国家教育信息政策,结合教育改革和技术创新的产物。该方案以物联网、大数据、人工智能和移动互联技术为基础,旨在打造一个安全、高效、互动且环保的教育环境。方案强调从数字校园向智慧校园的转变,通过自动数据采集、智能分析和按需服务,实现校园业务的智能管理。 方案的总体设计原则包括应用至上、分层设计和互联互通,确保系统能够满足不同用户角色的需求,并实现数据和资源的整合与共享。框架设计涵盖了校园安全、管理、教学、环境等多个方面,构建了一个全面的校园应用生态系统。这包括智慧安全系统、校园身份识别、智能排课及选课系统、智慧学习系统、精品录播教室方案等,以支持个性学习和教学评估。 建设内容突出了智慧安全和智慧管理的重要性。智慧安全管理通过分布式录播系统和紧急预案一键启动功能,增强校园安全预警和事件响应能力。智慧管理系统则利用物联网技术,实现人员和设备的智能管理,提高校园运营效率。 智慧教学部分,方案提供了智慧学习系统和精品录播教室方案,支持专业级学习硬件和智能网络管理,促进个性学习和教学资源的高效利用。同时,教学质量评估中心和资源应用平台的建设,旨在提升教学评估的科学性和教育资源的共享性。 智慧环境建设则侧重于基于物联网的设备管理,通过智慧教室管理系统实现教室环境的智能控制和能效管理,打造绿色、节能的校园环境。电子班牌和校园信息发布系统的建设,将作为智慧校园的心和入口,提供教务、一卡通、图书馆等系统的集成信息。 总体而言,智慧校园整体解决方案通过集成先进技术,不仅提升了校园的信息水平,而且优了教学和管理流程,为学生、教师和家长提供了更加便捷、个性的教育体验。
经导师精心指导并认可、获 98 分的毕业设计项目!【项目资源】:微信小程序。【项目说明】:聚焦计算机相关专业毕设及实战操练,可作课程设计与期末大作业,含全部源码,能直用于毕设,经严格调试,运行有保障!【项目服务】:有任何使用上的问题,欢迎随时与博主沟通,博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目!【项目资源】:微信小程序。【项目说明】:聚焦计算机相关专业毕设及实战操练,可作课程设计与期末大作业,含全部源码,能直用于毕设,经严格调试,运行有保障!【项目服务】:有任何使用上的问题,欢迎随时与博主沟通,博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目!【项目资源】:微信小程序。【项目说明】:聚焦计算机相关专业毕设及实战操练,可作课程设计与期末大作业,含全部源码,能直用于毕设,经严格调试,运行有保障!【项目服务】:有任何使用上的问题,欢迎随时与博主沟通,博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目!【项目资源】:微信小程序。【项目说明】:聚焦计算机相关专业毕设及实战操练,可作课程设计与期末大作业,含全部源码,能直用于毕设,经严格调试,运行有保障!【项目服务】:有任何使用上的问题,欢迎随时与博主沟通,博主会及时解答。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值