基于语义规则的污点传播分析优化方法

离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。     

聚合物材料脆韧转变判据及影响因素分析

综述了聚合物共混增韧机理包括弹性体增韧、刚性粒子增韧、弹性体与刚性粒子协同增韧等研究进展；着重介绍了临界基体层厚度、损伤竞争准数、分子链参数、临界界面黏结条件、临界特征长度等几种源于单一粒子填充的脆韧转变判据，并分析其在复合粒子填充改性聚合物中的适用性。此外，还结合增韧机理和脆韧转变判据讨论了基体性能、分散相状态及相间界面黏结强度等因素对复合体系韧性的影响，提出寻找合适的复合分散相、适当调整复合粒子的结构比例、改善相间界面黏结以及设计最佳断裂路径仍将是今后努力的方向。     

基于先验知识的自适应多叉树防碰撞算法

为提高无线射频识别(RFID)系统快速识别大量标签的能力,提出一种基于先验知识的自适应多叉树防碰撞算法。利用标签访问的规律性和标签分布的随机性,在不同的搜索深度,根据已有的先验知识和碰撞比特信息估计待识别的标签数量,从而动态地自适应选择搜索叉树。通过有效减少碰撞和空闲时隙数,大幅提高读写器搜索和识别标签的能力。理论分析与仿真实验结果表明,该算法能克服传统自适应多叉树防碰撞算法的缺点,合理选择初始搜索叉树,尤其在待识别标签数量较多的场合,可有效提高RFID系统的吞吐率。     

氟吗啉对非洲爪蟾胚胎发育的影响

简述了FETAX(Frog Embryo Teratogenesis Assay—Xenopus)试验的发展,并以非洲爪蟾(Xenopus laevis)处于8～11阶段的胚胎为试验材料,对杀菌剂氟吗啉进行了发育毒性的研究,通过对受试胚胎96h死亡数、半数致死浓度[LC50(96h)]、半数效应浓度[EC50(96h)]、致畸类型的统计,得出LC50(96h)值为83.15mg/L,EC50(96h)值为76.65mg/L,TI(LC50/EC50)为1.01≤1.5。结果表明,氟吗啉对非洲爪蟾的胚胎发育不具有致畸影响,但表现出一定的发育毒性。在氟吗啉质量浓度大于20mg/L时,可明显的抑制胚胎的孵化和体长生长的发育,表现的中毒症状有脊索弯曲、弯尾、眼部畸形、腹部水肿等。     

嗪草酸甲酯杀草谱及对大豆田阔叶杂草防除效果

采用室内盆栽法测定了除草剂嗪草酸甲酯对24种杂草的活性，田间试验研究了嗪草酸甲酯对大豆安全性和对田间杂草除草效果。试验结果表明：嗪草酸甲酯在15～20ga．i./hm^2剂量下于温室内茎叶处理对反枝苋、苍耳等阔叶杂草防效在90％以上，。对禾本科杂草和鬼针草等部分阔叶杂草防效在60％以下；在12～15ga．i．／hm^2。剂量下于田间茎叶处理对苘麻、藜的防效可达90％以上，对鸭跖草等有一定的抑制作用。产生的触杀性药害没有影响大豆正常生长。     

氟化改性丙烯酸树脂的合成及在飞机蒙皮涂料中的应用

合成了氟化改性羟基丙烯酸树脂,用HDI三聚体为固化剂,配制双组分聚氨酯丙烯酸飞机面漆,介绍了配方设计、性能检测及其在飞机上的使用效果。     

未知输入和可测噪声重构之线性矩阵不等式非线性系统观测器设计

针对一类同时具有未知输入和输出可测噪声的Lipschitz非线性系统,讨论了状态估计、未知输入与可测噪声重构的问题.首先,基于广义系统和线性矩阵不等式的方法设计滑模未知输入观测器,不仅对原系统状态进行渐近估计,而且实现了对系统输出可测噪声的重构;其次,考虑一种鲁棒滑模微分器,实现了广义系统输出向量微分的精确估计,并在此基础上,提出了一种未知信息重构方法,该方法具有避免直接使用系统输出微分信息的优点.最后,对火车牵引拖动系统模型仿真,结果表明该方法不但能够实现对系统状态的估计,而且可以有效重构未知信息.     

改进的Ke rbe ros协议在HDFS环境下的研究

由于Kerberos认证模型是中心管理方式,当Kerberos应用于大型的分布式网络中时,会产生服务器的瓶颈问题。为扩大Kerberos的应用范围,使其很好的与分布式系统HADOOP结合,对Kerberos在HDFS环境下的应用进行研究和描述,针对Kerberos密钥分发中心的瓶颈问题和 HADOOP分布式文件系统的特殊需求,提出改进的Kerberos协议模型。该模型结合分布式思想,且对协议的消息传递模型进行改进。仿真结果表明,该协议解决了 HADOOP分布式文件系统集成Kerberos的缺点,提升了 HADOOP分布式文件系统的存储安全以及分布式文件系统的用户认证效率。     

基于P-graph的乙烯裂解原料调度建模与优化

乙烯工业不同的裂解装置间存在着设备、技术上的差别，每一种原料在乙烯工厂不同炉型或工艺的裂解装置的乙烯产品收率、能耗也存在着差别。随着新的乙烯工厂的投产，需要同时运行台数众多的差异化裂解装置，从而为通过优化调度乙烯裂解原料实现提高物效、降低能耗提供了空间。对于此类工厂间原料调度及能耗优化问题提出了一种基于P-graph的建模和优化方法(scheduling generation based on P-graph, SGBP算法)，该算法通过P-graph本身提取过程结构信息的能力，在加速求解的同时，保留了次优解集。之后以两个实际的乙烯厂为研究实例，采用提出的SGBP方法实现了原料调度的建模和优化，该方法与MINLP优化算法的对比分析验证了提出方法的优势：(1)可以同时提供较为丰富的最优解与次优解方案；(2)提出方法的最优结果与MINLP的优化效果相当；(3)优化后的整体能耗下降明显，为生产计划人员选择可采用灵活的原料调配方案提供了多种可选择的运行方案。     

低熔点快固化聚酯热熔胶的合成与性能研究

在对苯二甲酸二甲酯(DMT)和1,4-丁二醇(BD)合成聚酯体系中引入其它共聚组分,制备了快速结晶的低熔点共聚酯热熔胶,其熔点约为70～120℃。由于熔点越低结晶性能越差,因此在合成聚酯热熔胶的基础上,进一步对其进行改性,且对组成与性能的关系进行了研究。结果表明,聚酯热熔胶的熔点和结晶性能随DMT含量的增加而升高;二元醇体系的配比和含量对熔点和结晶性能有很大影响,当混合二元醇物质的量比为1时具有最低的熔点,BD/HD(1,6-己二醇)体系比EG(乙二醇)/HD体系的结晶速率快,BD/HD体系中结晶速率随HD含量的增加而加快。