基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

小型计算机在冷库制冷工艺过程中的应用

本文介绍小型工业控制机在一座万吨级冷库制冷工艺过程控制中的应用.简要论述了方 案选择、系统设计、可靠性措施及投产运转情况.鉴于制冷系统具有大惯性的特点,采用价格 低廉、功能较简单的JS-10B机作实时过程控制,比较充分地发挥了简易小型机的功能.通过 软硬件结合的措施,提高了本系统的可靠性与抗干扰性.     

D-异抗坏血酸钠间接发酵中型试验

<正> D-异抗坏血酸及其钠盐是一种使用范围广泛的食品抗氧剂。间接发酵法生产D-异抗坏血酸(或钠盐)时,先由细菌发酵D-葡萄糖,产生2-酮基-D-葡萄糖酸(或钙盐),将此作为前体,经化学转化成D-异抗坏血酸(或钠盐).中试时,化学转让所用前体为2-酮基-D-葡萄糖酸钙,化学转化产物为D-异抗坏血酸钠盐.本文主要报道用间接发酵法生产D-异抗坏血酸钠中型试验结果。     

铱-192γ射线探伤机

西南反应堆工程研究设计院目前已生产出30居里、50居里铱-192γ射线探伤机。该机操纵方便、结构安全可靠,符合ISO-3999标准规定,可透照10—70毫米厚的钢和30—200毫米厚的铝。既可圆周照射,又可单向照射。工作时,远距离操作,放     

D-异抗坏血酸钠在水果蔬菜罐头啤酒果酒中的使用效果

<正>D-异抗坏血酸钠是一种用除广泛的食品抗氧剂和肉类助色剂。因此,近年来引起了国内许多科学工作者的重视,并对这一食品添加剂的生产,应用及毒理进行了广泛深入的研究。辽宁省商科所等有关单位用进口产品作了大量     

题解有限元法和无网格伽辽金法

采用无网格伽辽金法和有限元法对一维问题进行了数值模拟,对结构体离散、刚度矩阵、等效节点荷载、边界条件、计算精度和效率等进行了比较,数值模拟结果表明,同样的节点划分,无网格伽辽金法得到的数值解精度较高、与解析解吻合较好,但是计算量大于有限元法。     

球罐探伤用铱-192γ射线探伤机

运用于化工、石油、城建、冶金、纺织工业中的球罐,最常见的缺陷有错边、角变形,裂纹、气孔和夹渣、未焊透、未熔合等。而裂纹是危险性最大的一种缺陷。为了准确、有效地无损检验出球罐的内部缺陷,使用铱-192γ射线探伤机探伤则可代替传统的100％超声探伤及表面探伤为主,辅以适量的X射线拍片抽查及复核的方法。铱-192γ射线探伤机是利用材料对γ射线吸收程度的差异,通过γ射线拍片的方法,从     

安全信息管理系统生成器的研究

基于生成式程序设计和领域工程的理论与方法对运行于PDA的安全类软件进行建模,本文介绍一种简单的领域建模语言GML,设计一个生成器解析GML文档并生成目标系统。