-
题名新型节能炉衬在齐鲁石化乙烯装置裂解炉上的应用
被引量：3
- 1
-
-
作者
王笑克
耿焕凤
-
机构
中国石油化工股份有限公司齐鲁分公司
山东鲁阳股份有限公司
-
出处
《乙烯工业》
CAS
2014年第1期49-52,共4页
-
文摘
裂解炉是乙烯装置的耗能大户,降低其能耗是企业降低生产成本的重要途径。降低裂解炉能耗的途径有多种,实施衬里的节能化改造是裂解炉节能减排的措施之一。介绍了齐鲁石化分公司BA-101裂解炉,通过选用新型高效的炉衬材料,确定合理的衬里结构方式,处理好衬里的关键散热点等措施,从而达到了降低外壁温度和散热损失的目的,取得了较好的节能降耗效果。
-
关键词
裂解炉
节能炉衬
微孔纳米隔热材料
-
Keywords
Ethylene Cracking Furnace
Energy-saving Furnace Lining
Microporous Insulation Material
-
分类号
TQ221.211
[化学工程—有机化工]
F426.7
[经济管理—产业经济]
-
-
题名基于交易序列分层变异的EVM模糊测试
- 2
-
-
作者
周潮晖
赵易如
刘佩
王笑克
童铃皓
赵磊
-
机构
武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室
-
出处
《计算机系统应用》
2023年第9期257-264,共8页
-
基金
国家自然科学基金(62172305)
湖北省重点研发计划(2021BAA027)。
-
文摘
以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.针对上述问题,提出了一种以太坊虚拟机运行全过程的缺陷检测方法 (ETHCOV).ETHCOV首先结合权重策略指导智能合约、合约接口参数输入和交易序列按不同粒度变异,然后将其与区块状态以及世界状态打包作为测试用例,最后将测试用例输入到以太坊虚拟机中触发运行并对比检验运行结果,以此来检测以太坊虚拟机的漏洞缺陷.基于上述方法实现了一个原型系统,并以2万多个真实智能合约作为为输入对以太坊虚拟机进行缺陷检测测试.实验结果表明,相较于现有工具EVMFuzzer, ETHCOV的测试效率提升了339%,代码覆盖率提升了125%,并检测出3组用例的不一致输出.这些结果表明ETHCOV能有效检测以太坊虚拟机的缺陷.
-
关键词
以太坊虚拟机
模糊测试
智能合约
交易序列
-
Keywords
Ethereum virtual machine(EVM)
fuzzer
smart contract
transaction sequence
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名二进制比对技术:场景、方法与挑战
- 3
-
-
作者
胡梦莹
王笑克
赵磊
-
机构
武汉大学国家网络安全学院
-
出处
《信息安全学报》
2025年第2期48-66,共19页
-
基金
国家自然科学基金(No.62172305)资助。
-
文摘
二进制比对技术通过比较两段二进制代码片段的特征来识别它们之间的相似度和差异性,其在安全领域应用广泛,包括漏洞搜索、补丁分析、恶意软件检测等,在各个应用场景下也伴随着不同的技术挑战。尽管已有研究对二进制比对技术进行了调研分类,然而现有研究无法准确描述二进制比对技术的特点、不同挑战对二进制代码特征的具体影响以及二进制比对技术的比较基准。为弥补上述缺失,对二进制比对工作进行了大规模的调研,发现目前以应用场景对二进制比对技术进行分类的方式不足以精确描述二进制比对技术的特点,并且大部分工作没有明确其应用场景,因此提出了二进制比对的通用描述模型,该模型由二进制比对的比较对象、预期目标、技术挑战和方法特征4个维度构成,通过该模型可以更精确描述二进制比对技术。进而,论述了各技术挑战对二进制代码特征的影响,具体包括编译配置、语义修改以及代码混淆对二进制代码的句法特征、结构特征和语义特征的影响。与此同时,提出了一种二进制比对技术的比较基准并通过实验进行了验证,实验结果表明,在选择比较基准时,应考虑不同方法的比较对象、预期目标、解决的挑战是否一致。当比较对象、预期目标、解决的挑战不一致时,对它们之间的对比没有意义;当比较对象、预期目标、解决的挑战一致时,对它们之间的对比更有意义。最后,结合研究发现给出了下一步的建议研究方向。
-
关键词
二进制比对
软件安全
比较实验
-
Keywords
binary comparision
software security
comparative experiment
-
分类号
TP311
[自动化与计算机技术]
-
