基于内存对象访问序列动态胎记的程序同源性判别方法

针对现有二进制程序同源性判别方法受限于特定编程语言或环境、难以应对复杂的代码混淆攻击、易受依赖库影响等问题,提出了一种基于内存对象访问序列动态胎记(dynamic birthmarks based on memory object access sequences, DBMOAS)的程序同源性判别方法。该方法将程序对数据结构的访问顺序流作为程序语义的一种鲁棒性特征并加以分析,能较好地应对复杂的代码混淆攻击;基于动态污点分析,表征程序的数据结构,解决了二进制程序缺少数据结构与类型的语义表示问题。为验证DBMOAS方法的可信性和弹性,在窗口大小取值不同的情况下,测试具有相似功能的独立程序间的相似度;针对不同编译器、编译选项、混淆方法、版本迭代产生的同源样本,测试程序间的相似度。实验结果表明,本文方法能有效判别程序间的同源性,可信性评估中误判率仅为6. 7%,弹性评估中无漏判情况。     

如何整体把握高中数学新课程中的函数主线

高中数学新课程在全国基本上全面铺开，作为一线教师面临的首要的任务就是熟悉教材，许多教师在以往的高中数学教学实践中，往往是一堂课一堂课的备课，好一点的教师会关注一堂课在一小节中的定位，再好一点的会关注一章的设计．但是新的课程标准告诉我们要树立整体把握的理念，整体把握高中数学教学内容，了解高中数学新课程的若干条主线．它有利于高中数学教师对高中数学教学内容形成全局性的认识，有利于教师恰当设计自己在单元教学中的起始课，有利于教师用发展的眼光看待“一步到位”做法的弊端．     

醋酸纤维素膜及其混合膜渗透气化性能的研究——稀溶液粘度斜率系数的依赖性

研究了醋酸纤维素（CA），乙烯－醋酸乙烯共聚物（EVA），聚乙烯醇缩丁醛（PVB）和聚醋酸乙烯酯（PVAc) 4种高聚物在不同溶剂中的稀溶液粘性行为。同时，从各相应的溶剂中制备了CA均一膜，CA－PVB和CA－PVAc共混膜以及CA－EVA复合膜，并测定了各种膜对甲醇（MeOH），甲基叔丁基醚（MTBE）混合物的渗透气化性能。结果表明，各种膜的渗透通量（J）与其稀溶液粘度斜率系数（b)成反比，即呈现随b值增大J值下降现象。     

介质阻挡放电等离子体中·OH和HO2·自由基的数值模拟计算

在介质阻挡放电等离子体N2/O2/H2O/HCHO体系中通过解Boltzmann方程, 得到电子能量分布函数, 利用得到的电子能量分布函数计算电子-分子碰撞反应速率常数. 然后把有关的反应速率常数带入速率方程, 计算得到该体系在介质阻挡放电时,·OH、HO2·和电子的浓度随时间的演变以及·OH、HO2·浓度随H2O、O2摩尔分数的变化, 并将模拟结果与实验值进行了对比, 两者符合得较好.     

含有聚醚链段的可溶性聚酰亚胺气体分离膜材料及其性能

将4,4'-六氟亚异丙基-邻苯二甲酸酐(6FDA)和1,3-苯二胺(mPDA)与二端氨基聚醚缩聚, 得到含有聚醚柔性链段的聚酰亚胺气体分离膜材料. 所合成的共聚聚酰亚胺在N-甲基吡咯烷酮(NMP)和四氢呋喃(THF)等有机溶剂中具有良好的溶解性能. 研究了O2, N2, H2, CH4和CO2在聚酰亚胺均质膜中的渗透性能, 考察了二端氨基聚醚的含量、链长和化学结构对气体渗透性能的影响. 结果表明, 聚醚链段的引入增大了气体的扩散系数, 气体的渗透系数显著增大; 聚醚链段与CO2相对较强的相互作用, 增大了对CO2/N2的溶解选择性, CO2/N2的分离性能优于CO2/CH4, 同时CO2比H2优先透过膜.     

CuZnAl类水滑石衍生复合氧化物催化环己醇脱氢反应的研究

采用共沉淀法合成了不同CuZnAl配比的类水滑石,通过不同温度焙烧制备其衍生复合氧化物.采用X-射线衍射(XRD)、差热热重(TG-DTA)、N2吸附-脱附和CO2程序升温脱附法(CO2-TPD)对类水滑石和衍生复合氧化物进行了表征.将所得复合氧化物用于环己醇脱氢制备环己酮的反应中考察其催化活性.实验结果表明:CuZnAl类水滑石衍生复合氧化物对该反应具有很高的催化活性,在反应温度220℃时以CuZnAl[n(Cu)/n(Zn)/n(Al)=1.34/0.66/1.0]类水滑石为前躯体,400℃焙烧所得的衍生复合氧化物表现出最佳的催化活性,环己醇转化率高达94.9%,环己酮的选择性近100%.     

Simulations of the flipping images and microparameters of molecular orientations in liquids according to the molecule string model

The relaxation dynamics of liquids is one of the fundamental problems in liquid physics,and it is also one of the key issues to understand the glass transition mechanism.It will undoubtedly provide enlightenment on understanding and calculating the relaxation dynamics if the molecular orientation flipping images and relevant microparameters of liquids are studied.In this paper,we first give five microparameters to describe the individual molecular string(MS) relaxation based on the dynamical Hamiltonian of the MS model,and then simulate the images of individual MS ensemble,and at the same time calculate the parameters of the equilibrium state.The results show that the main molecular orientation flipping image in liquids(including supercooled liquid) is similar to the random walk.In addition,two pairs of the parameters are equal,and one can be ignored compared with the other.This conclusion will effectively reduce the difficulties in calculating the individual MS relaxation based on the single-molecule orientation flipping rate of the general Glauber type,and the computer simulation time of interaction MS relaxation.Moreover,the conclusion is of reference significance for solving and simulating the multi-state MS model.     

针对复杂路径条件的固件测试方法改进

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法.该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检查这一复杂路径条件.使用该方法改进了固件测试方案p2im(processor-peripheral i...     

闭无爪图在圈闭包运算下哈密尔顿指数的稳定性

无爪图在闭包运算下,其哈密尔顿指数是稳定的.近来Broersma等又提出了无爪图闭包的加强定义一圈闭包.本文主要证明闭无爪图G在圈闭包运算下.其哈密尔顿指数是稳定的.     

整体把握高中数学新课程中的函数主线

正高中数学新课程一共有六条主线,它们是函数、几何、运算、算法、统计概率和数学应用.而函数是高中数学的灵魂,函数思想是贯穿高中数学课程始终的重要思想之一,同时也是高