基于域敏感指针分析的细粒度数据随机化技术

针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术。在静态分析过程中,首先对中间表示进行语法抽象,得到形式化的语言表示;然后建立非标准类型系统,描述变量之间的指向关系;最后按照类型规则进行类型推断并求解,得到域敏感的指向关系。根据指向关系对数据进行随机化加密,得到经过随机化的可执行程序。实验数据表明,基于域敏感指针分析的数据随机化技术与传统的数据随机化技术相比,分析精度显著提高;处理时间开销平均增加了2%,但运行时间开销平均减少了3%。所提技术利用域敏感的指针分析,给程序带来更少的执行开销,并能够更好地提高程序的防御能力。     

一种可认证的动态秘密共享方案

该文基于椭圆曲线加密的安全性提出了一种改进的秘密共享方案。该方案可防欺骗、防参与者数据误发,参与者和管理者相互之间能相互进行身份认证,并且较好地解决了秘密共享的更新和复用问题,该方案在现在网络通信中有较高的应用价值。     

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

本文报告妊娠小鼠分别于妊娠后第七天和十六天腹腔注射内蒙古风化煤腐植酸钠,于妊娠第十七天处死,取材制片,观察成鼠骨髓及胎鼠血液、胎肝细胞的微核出现率。实验分四组,第一组剂量为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-等价在算法识别方面的应用成果及其局限性。     

碳纤维水泥基材料力学性能的研究

研究了不同的碳纤维分散对水泥基材料力学性能的影响。研究结果表明,采用恒温水浴预分散后的碳纤维能够显著提高碳纤维水泥基材料的抗折强度和拉压比性能,但对抗压强度影响不明显。     

近48年华东地区地面太阳总辐射变化特征和影响因子分析

利用中国最新公布的截至2008年华东地区13个站点资料,对华东地区平均的地面太阳总辐射长期变化趋势进行了分析,并讨论了该地区云、气溶胶和水汽对地面太阳总辐射变化的影响。研究表明,1961~2008年华东地区平均总辐射呈现减少趋势,减少速率为2.05 W•(m2•10yr)-1;1990年前该地区总辐射呈现出显著的下降趋势, 1990~1995年呈现快速增加趋势,但是1995~2000年再次呈下降趋势,2000年后在平均线上下波动略有增加。气溶胶、云和水汽对华东地区地面太阳总辐射的长期变化都有一定的影响,但是在不同的时段影响程度不同,在1961~1989年总辐射的减少主要归因为气溶胶的增加;而在1990~1999年和2000~2008年则是以云量的影响为主,而且低云量对地面总辐射的影响要大于总云量的影响。     

注射成型缩孔的成因和对策

注射成型缩孔影响着产品的质量。本文分析了影响注射成型过程的几个重要因素，包括注射压力，树脂温度，注射速度以及浇口，流道的尺寸等。文中以苯乙烯树脂为例，分析上述各因素与压缩率的关系并提出应对缩孔的方法。     

基于规则的数据类型重构技术研究

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.     

基于IDA的反编译中间语言设计

基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDA plug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程.阐述了利用IDA连接器,在导出反汇编相关结果信息的基础上,设计并实现了从汇编语言到中间语言的转换.