“防、治、宣、练”四面入手保平安 包头全面构筑棚户区消防安全防控体系

为巩固前期火灾隐患排查整治成果,3月4日,内蒙古包头市消防支队派出工作组深入北梁棚户区开展“回头看”活动。     

谈硅藻土基生态壁材

阐述了硅藻土基生态壁材的产生背景和优越性能,分析了硅藻土的矿物特征、应用以及制品现状,披露了硅藻土基壁材研究情况。     

内蒙古风化煤腐植酸钠诱导小鼠及其胎鼠细胞的微核试验

本文报告妊娠小鼠分别于妊娠后第七天和十六天腹腔注射内蒙古风化煤腐植酸钠,于妊娠第十七天处死,取材制片,观察成鼠骨髓及胎鼠血液、胎肝细胞的微核出现率。实验分四组,第一组剂量为40mg/kg,第二组为80mg/kg,第三组为阳性对照组,腹腔注射环磷酰胺40mg/kg,第四组为阴性对照组,腹腔注射等量蒸馏水。实验结果:40mg/kg 组和80mg/kg组,成鼠骨髓嗜多染红细胞的微核检出率与阴性组比较,无明显差别(p〉0.20);胎鼠血液和胎肝嗜多染红细胞的微核检出率与阳性对照组比较也无明显差男别(p〉0.05)。结果提示:40mg/kg—80mg/kg 内蒙古风亿煤腐植酸钠对成鼠及其胎鼠无明显细胞毒性作用。     

基于H-等价的算法识别技术研究

蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。     

基于安全进程代数的信息流模型

文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。     

基于IDA处理器模块扩充的描述语言建立

目前的IDA不能支持所有处理器模型的反汇编。为此,给出一种适用于IDA处理器模块自动生成的反汇编描述语言,为IDA处理器模块插件的扩充提供支持。该描述语言采用基于上下文无关文法的属性文法表现形式,包括对处理器存储系统的声明以及对处理器指令集的语法和语义描述。应用结果表明,该方法适用于IDA处理器模块插件的扩充。     

基于结构语义树的高级控制结构恢复技术

针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前序遍历即可恢复高级控制结构。实验结果表明,该方法能够有效准确地恢复高级控制结构,为后期高级语言代码生成提供准确完备的结构信息,提高反编译结果的准确性。     

基于Bayes决策的密码算法识别技术

在可执行代码中识别密码算法对于查找恶意代码、保护计算机系统安全有着重要的意义。该文在对汇编级密码算法特征分析的基础上,提出了汇编级密码算法特征度量元的概念,并采用七维特征向量对其进行形式化描述,建立基于Bayes决策的密码算法识别模型,测试结果表明该模型稳定、准确,能够高效地定位代码中的密码算法。