一种基于CIL静态分析的C#程序缺陷检测方法

通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率;另外,为便于实施别名分析,还提出一种基于内存区域的变量表示方法。基于所述分析方法,开发了一个C#源代码缺陷静态检测系统,并对实际开源项目进行了检测。实验结果表明,本系统能够高效、准确地检测C#程序中常见类型的缺陷。     

代码挖掘中的数据处理方法综述

程序代码中蕴含着软件开发人员最原始的开发理念、设计思想和编程习惯等信息,将数据挖掘用于分析处理这种编码痕迹以便提取出潜藏着的有用知识是一个有着广阔前景的新的研究领域.由于当前的挖掘程序尚无法直接处理这种文本结构的程序代码,因而研究者需要将软件代码抽象成一种更有效的中间表达形式来作为挖掘对象.这种中间表达形式不仅界定了挖掘所使用的算法,更重要的是,它决定了所能挖掘的知识内容.对代码挖掘的一般过程进行了介绍并着重分析了代码挖掘的各种中间表达形式的特点.在此基础上,指出了当前代码挖掘存在的问题及今后的发展方向.     

潮湿环境下典型碳酸盐岩缝洞系统充填模式探讨

碳酸盐岩储层非均质性强,加上多期岩溶作用的充填改造,增大了开发的难度。塔北露头区奥陶系古岩溶和桂林的南方现代岩溶是古今潮湿气候环境下岩溶发育的代表,具有相似的岩溶发育条件和特征,可开展对比研究。本着"由表及里,将今论古"的原则研究古潜山岩溶,结合油田特点和以往研究成果,建立了几种潮湿环境下典型碳酸盐岩缝洞系统充填模式。按照水动力条件及充填物物源分类,可分为外源型地下河充填模式、内源型充填模式;按照充填结构分类,可分为上下结构充填模式、圈层结构充填模式、嵌入式混合充填模式等。不同的充填模式具有不同的充填程度和充填物类型,相应的岩溶储层也具有不同的物性特征,一般而言,外源型地下河充填模式储集性能优于内源型充填模式,上下结构充填模式储集性能优于圈层结构充填模式。     

一种改进的以基于角色的访问控制实施BLP模型及其变种的方法

该文指出了Sandhu等人提出的以基于角色的访问控制(Role-Based Accesas Control,RBAC)实施强制访问控制(Mandatory Access Control．MAC)策略的方法存在拒绝服务(Denial of Service,DoS)和给主体赋予过多权限等错误,且缺乏对经典BLP模型的充分的支持．为此作者提出了一种改进的方法——ISandhu方法,引入了辅助角色层次,加强了角色间关系并提供了对可信主体概念的支持．此方法修正了原有方法的错误,在RBAC中实施了经典的BLP模型及其变种模型以满足实际需求．保证了强制访问控制策略的正确实施,为在大量商业系统中以较小的代价引入强制访问控制提供了理论依据．     

考虑石脑油两种用途的原油混输调度模型

针对炼厂石脑油用于催化重整和乙烯生产两种用途的原油混输调度问题建立数学模型,把重整过程和乙烯生产对石脑油芳烃潜含量的不同要求用线性规划的方法实现,以原油混输调度中对不同类的原油根据需要分别输送和储存,为常减压装置准备好“重整石脑油方案”和“乙烯石脑油方案”的原料,真正符合“宜芳则芳”、“宜烯则烯”的调度原则。建模中应用了MILP(混合整数线性规划)技术和多周期技术,并给出一个应用在6种不同的国外原油及6个生产调度周期的应用实例,考虑了原油从装置罐到厂区罐的一次混输调度,尽量保证管道和厂区罐调度周期末原油质量合格。     

一种利用补丁的未知漏洞发现方法

近年来,利用含有已知漏洞的函数作为准则,通过查找相似代码实现来检测未知漏洞的方法已被证明是有效的.但是,一个含有漏洞的函数通常也包含一些与已知漏洞无关的语句,严重影响相似度计算的结果,从而引发误报和漏报.提出了一种利用补丁来提高这种相似性检测准确性的漏洞发现方法.结合漏洞的补丁信息,引入程序切片技术去除原来含有漏洞的函数中与漏洞无关的语句,利用获得的切片生成去噪的漏洞特征来进行潜在未知漏洞检测.该方法已经在一些真实的代码集中实施,并且实验结果证明该方法确实能够有效减弱漏洞无关语句的干扰,达到提高检测准确性的目的.该方法还成功检测到了3个未知漏洞且已经得到确认.     

液态乙烯的装卸与运输

1 液相乙烯的运输 对于一些中、小型化工厂以及距乙烯生产厂较远的或临时性用户而言,采用槽车运输液相乙烯具有实用意义,且由于槽车运输的灵活性,为新建乙烯装置的有乙烯开车提     

基于Matlab的运动仿真

随着科技与数学的发展,Matlab的功能越来越强大,它不仅可以进行简单的数学分析及图片处理,还可以实现运动学的仿真,而且通过程序使用Matlab可以得到想要的运动学分析曲线,简单直接,所以本文对一种冲压装置进行了运动学仿真,使大家了解Matlab在运动学方面的应用.