提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

考虑动态重构的装备体系可用性及弹性分析

要素协同作战框架下武器装备体系具有可动态重构的系统特性, 既增加了体系的复杂性和交互性, 又使其具有了更为明显的弹性特征。本文首先提出了装备体系弹性多层级评价方法, 确定了组成体系的关键装备要素。其次, 以典型的关键装备要素——武器系统为对象, 提出了基于动态双阈值多状态权重k-out-of-n系统模型的装备体系的性能可用性及弹性分析评价方法。最后, 以编队协同防空作战体系为对象进行案例应用研究, 得到了性能阈值恒定、随时间变化和动态变化这3种情况下的火力网可用度和弹性随时间变化的规律, 并验证了所提模型与评价方法的有效性与实用性。     

新-郑高速公路黄河特大桥大直径钻孔灌注桩静载试验分析

通过分析新乡至郑州高速公路郑州黄河特大桥大直径钻孔灌注桩的的静荷载试验结果,验证了水流及桩的长细比对桩的承载性状、桩侧摩阻力的影响,并对工程桩基设计提出了合理化建议.     

抗癌药物8-氮鸟嘌呤与DNA相互作用的电化学研究

研究了抗癌药物8-氮鸟嘌呤(8-AG)与DNA在pH=3.6条件下相互作用的电化学行为.DNA的存在能导致8-AG氧化峰电流降低,通过测定DNA加入前后的一些电化学参数,推测8-AG与DNA在该条件下通过静电作用结合生成了一种1∶2非电活性的超分子化合物,其结合常数是1.38×1010.同时,根据加入DNA前后8-AG峰电流的降低,测定了模拟样品中的DNA,效果令人满意.     

直流偏场和面内场共同作用下第Ⅰ类哑铃畴的条泡转变

实验研究了直流偏场和面内场共同作用第Ⅰ类哑铃畴(IDs)的条泡转变现象.实验表明:1)存在3个特征直流偏场,即:条泡转变后的磁畴均为软泡的磁场以及条泡转变后的磁畴中依次出现普通硬磁泡和第Ⅰ类哑铃畴的磁场;2)IDs的最小条泡转变面内场和最大条泡转变面内场均随直流偏场的增加而减小.     

舰载飞机着舰撞击载荷实测技术研究

针对国内飞机起落架载荷测量中普遍存在的静标动测问题,从理论和机理上分析了静标定的应变法实测动态载荷存在问题的原因。同时,考虑到舰载飞机因定点着舰方式遭受严重的动态载荷,重点研究了舰载飞机着舰撞击载荷的静标动测问题。通过动态落震试验模拟飞机着舰过程,根据测力平台的实测载荷分析,获取了应变法实测载荷精度受动态影响的程度,提出一种改进的惯性修正方法,即:通过落震试验数据辨识质量矩阵,通过辨识的质量矩阵和实测加速度修正应变法的实测载荷。试验结果表明,改进的惯性修正方法进一步提高了垂向载荷的测量精度,显著提高了航向和侧向载荷的实测精度。     

合成低分子量聚丙烯酸钠的新方法

采用水溶液静态聚合法,用平板式反应器合成低分子量聚丙烯酸钠,通过选择合适的分子量调节剂、引发剂用量和聚合温度,可以有效防止爆聚现象发生,且反应周期短,生产成本低。研究了分子量调节剂用量、引发剂用量、单体浓度和反应时间等因素对聚合物粘均分子量的影响,结果表明:当mn-C12SH/mM=0.04,mI/mM=0.04,wM=0.30,温度60°C,反应3 h时,可合成分子量5 000左右的低分子量聚丙烯酸钠,分子量分布较窄,且单体转化率在99%以上。     

Research on reconfigurable collaborative remote diagnosis system

The function-layer model and working model of collaborative remote fault diagnosis system （FDS）, which includes three layers： task layer, collaboration layer and diagnosing layer, are proposed. The running mechanism of the system is discussed. A collaborative FDS may consist of several subsystems running at different places and the subsystem consists of several fimction modules. A structure centered on data-bus is adopted in subsystem. All the function modules in subsystem are encapsulated into software intelligent chips （SICs） and SIC can but connect with data-bus. So, it is feasible to reuse these diagnosis fimction modules and the structure of subsystem in different diagnosis applications. With the reconfigurable SICs, several different function modules can reconstruct quickly some different diagnosis subsystems in different combinations, and some subsystems can also reconfigure a specified collaborative FDS.     

玉米秸秆纤维复合缓冲包装材料的研究

研究了以聚醚多元醇、聚异氰酸酯为基体,以玉米秸秆纤维为增强体的新型复合缓冲包装材料,通过控制玉米秸秆纤维的添加量、发泡剂用量、交联剂与催化剂用量、反应温度等工艺参数,实验制备了具有可降解性能的缓冲包装材料,并利用静态压缩实验方法对比了该材料与发泡聚苯乙烯的缓冲性能.     

车辆电容称重传感器静态标定

针对传统车辆称重装置存在的不足,开发了一种车辆电容称重传感器.文章中从结构设计、称重原理对车辆电容称重传感器作了介绍,重点讨论了静态标定过程,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了补偿办法.