-
题名可信编译器构造的翻译确认方法简述
被引量：2
- 1
-
-
作者
刘洋
杨斐
石刚
闫鑫
王生原
董渊
-
机构
清华大学计算机科学与技术系
新疆大学信息科学与工程学院
太原理工大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第S1期334-338,共5页
-
基金
国家自然基金项目(61170051
612702086
90818019)资助
-
文摘
编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可信编译器的构造中。一种方法是对编译器本身进行形式化验证,经过严密的证明,可杜绝误编译的发生。然而,这种方法可能"冻结"编译器的设计,阻碍编译器未来可能的优化和完善。翻译确认是另外一种用于可信编译器构造的形式化方法,它避免了对编译器自身的验证,有很好的可重用性,近年来在编译器验证领域得到了广泛研究,已取得令人瞩目的成果。介绍了翻译确认方法的概念及研究进展。
-
关键词
可信编译器
形式化验证方法
翻译确认
确认器
-
Keywords
Trusted compiler,Formal verification method,Translation validation,Validator
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名简易“确认器”在气管插管中的应用
- 2
-
-
作者
王晓兰
-
机构
河南省商丘市第一人民医院急救中心
-
出处
《中国实用护理杂志》
北大核心
2004年第8期13-13,共1页
-
-
关键词
确认器
气管插管
临床应用
呼吸音听诊法
-
分类号
R472
[医药卫生—护理学]
-
-
题名顺序控制操作在110kV变电站中的应用研究
- 3
-
-
作者
崔心愿
陈雨濛
-
机构
国网商洛供电公司
-
出处
《中国新技术新产品》
2025年第7期59-62,共4页
-
文摘
本文旨在探讨如何通过顺序控制操作来提高变电站的运行效率。本文针对顺序控制操作对一次设备、二次设备、监控系统及操作软件的技术要求,分析智能变电站与常规变电站在防误闭锁方面的异同。提出顺序控制操作方案并优化相关方案,重点分析防误系统及双确认机制的优化方法,以降低操作风险,提高系统可靠性。研究结论表明,合理的顺序控制操作方案显著提高了变电站的操作安全性,减少了误操作的可能性。本文为110kV变电站的顺序控制操作提供了技术支持,促进了电力系统的智能化、自动化发展,提高了电力输配的安全性、可靠性。
-
关键词
顺序控制操作
防误闭锁
断路器双确认
-
分类号
TM63
[电气工程]
-
