-
题名翻译确认方法在核安全级GCG中的应用研究
被引量：2
- 1
-
-
作者
闫鑫
张智慧
任保华
齐敏
-
机构
北京广利核系统工程有限公司
-
出处
《自动化博览》
2018年第4期71-75,共5页
-
文摘
在核安全级数字化仪控系统中,人机交互安全控制显示装置的显示内容和控制逻辑由图形化组态工具实现。由于显示内容规模庞大,结构复杂,如何保证实现从图形到C转换的图形代码生成器(GCG)的正确性是一个难题,通过引入形式化验证方法对GCG生成过程的正确性进行验证。本文在对两种形式化验证技术比较并结合应用场景分析之后,选取了翻译确认方法,并通过示例说明了方法的可行性,为之后图形代码生成器的形式化验证工作奠定了基础。
-
关键词
图形代码生成器
形式化验证方法
翻译确认
求值流图
-
Keywords
graphic code generator
Formal verification method
Translation validation
value flow graph
-
分类号
TM623
[电气工程—电力系统及自动化]
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于抽象解释的二进制代码测试方法
- 2
-
-
作者
周林
孙玉龙
甘水滔
秦晓军
-
机构
数学工程与先进计算国家重点实验室
-
出处
《信息工程大学学报》
2016年第1期77-82,共6页
-
基金
国家863计划资助项目(2012AA7111043)
-
文摘
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。
-
关键词
值集分析
静态分析
抽象解释
符号执行
脆弱点
控制流程图
-
Keywords
value set analysis
static analysis
abstract interpretation
symbolic execution
vulnerability point
control flow graph
-
分类号
TN918.1
[电子电信—通信与信息系统]
-
-
题名基于可持续价值流图的环境成本内部化管控分析
- 3
-
-
作者
朱炜
孙雨兴
-
机构
山东财经大学会计学院
-
出处
《山东财经大学学报》
2017年第6期13-19,共7页
-
基金
国家自然科学基金项目"农工一体化企业的价值增值机理与价值链会计研究"(71172045)
山东省社会科学规划研究项目"可持续制造的企业成本核算与管理:基于山东省的实地研究"(15CKJJ05)
山东省高校人文社科研究计划项目"基于网络治理的价值链成本管理与集群竞争优势创新研究"(J15WB12)
-
文摘
环境外部不经济是环境问题频发的根源,内部化企业环境成本以消除环境负外部性效应,是改善环境质量的重要途径之一。基于可持续价值流图创新环境成本内部化管控分析方法,有利于企业核算各流程发生的资源耗用成本、环境保护成本和环境污染损害成本,实现全部环境成本的内部化管控。研究以制造企业为研究对象,在分析现有企业环境成本内部化管控模式的基础上,从可持续价值流图视角设计企业主导的环境成本内部化管控分析方法——环境成本流图的基本思路和具体步骤。
-
关键词
环境成本流图
环境成本内部化
成本管控
可持续价值流图
-
Keywords
environmental cost flow chart
environmental cost internalization
cost control
sustainable value flow graph
-
分类号
F234.3
[经济管理—会计学]
-
