基于高阶π演算的构件演化模型研究*

为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系,建立演化冲突检测机制,定义互斥冲突、重复冲突、条件冲突和包含冲突等四类冲突,在分析冲突条件的基础上,设计了演化冲突检测算法,实现了构件演化的形式化分析。通过实例验证了模型的可行性。     

基于不透明谓词的软件抗动态逆向分析研究

传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析。通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析。引入一般和关键节点概念,提高谓词内部逻辑结构的复杂度并使用形式化方法进行描述。实验证明,成功检测出虚拟机和调试器并避开了受保护代码;在静态指令统计上与使用变形隐匿的方法对比,具有更好的隐匿效果。     

开放虚拟化格式规范概述

主要介绍开放虚拟化格式规范的背景和技术细节,OVF描述了一个用来封装和分发运行在虚拟机平台上虚拟系统的安全、开放、可移植、高效和可扩展的文本格式,通过该规范可以实现虚拟机在不同虚拟机平台之间的迁移。目前该规范已经成为国际标准ISO/IEC 17203:2011,并且在国内外得到广泛的支持和应用。对未来OVF的进一步发展提出展望。     

罗非鱼肠道蛋白酶的分离纯化及部分性质研究

目的:以罗非鱼加工下脚料肠道为原料,分离提取其中的蛋白酶,并对其部分性质进行研究,旨在提供一种简便的食品级蛋白酶制备方法.方法:用茶多酚络合沉淀,Sephadex G-50分离纯化蛋白酶,SDS-PAGE检测分离效果及相对分子质量;以酪蛋白溶液为底物,采用Folin-酚法测定蛋白酶活力.结果:经茶多酚络合沉淀,得到一种复合蛋白酶,命名为TP-肠道蛋白酶;经Sephadex G-50凝胶层析除去茶多酚,得到游离肠道蛋白酶.TP-肠道蛋白酶的最适温度50℃,pH7.2～9.6,米氏常数Km=1.125×103mg/L;游离肠道蛋白酶的最适温度50℃,pH7.2～10.0,米氏常数Km=8.5×102mg/L.结论:TP-肠道蛋白酶和游离肠道蛋白酶均为复合蛋白酶,有望开发成食品级蛋白酶制剂.     

国际云计算标准化工作研究

通过收集、梳理、归类和分析已有16个国外云计算标准化组织和协会的40个输出物,对现有的国外标准化工作进展进行总结.以此为脉络,可以为我国云计算标准化工作的开展提供思路.     

油气管道纵断面图绘制软件的开发

文章介绍了根据勘察设计一体化、生产和规范要求,开发一款油气管道纵断面图绘制软件的过程,着重从纵断面图版式、中线数据提取、平面示意图拉直、绘制纵断面图、纵断面图线性内插等方面,介绍了该款软件开发的具体思路。     

基于CFL认证体制的区块链系统认证机制研究

针对现有区块链系统认证机制存在的单点失效、弱身份认证等问题,研究了基于CFL认证体制的区块链系统认证机制。在分析CFL体制基本原理的基础上,提出基于CFL的区块链系统认证技术;综合应用π演算理论,建立基于CFL认证体制的区块链系统认证模型CFL-BCAM。实验与分析结果表明,本方法能够为区块链系统提供正确的、安全的认证服务。     

火泥熔接在百威变电站中的应用

变电站接地网导体的连接要求稳定可靠,在铜接地网中显得更为重要,本文通过对火泥熔接的介绍,结合工程实例阐明了火泥熔接的特性及优点,并指出材料截面选择的合理性。     

聚氧乙烯氧丙烯无规聚醚／水体系的流变性能研究

本文研究了无规聚醚／水体系的粘温粘浓特性，并对其流变性及粘弹性质进行了讨论。