EWFT:基于程序执行过程的白盒测试工具

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.     

基于Simulink变论域算法仿真技术研究

针对目前通过Simulink模糊控制工具箱对变论域模糊控制算法仿真缺少理论支撑的现象,利用模糊数学理论,推导出变论域模糊控制插值函数,并对此插值函数分析得出：将伸缩因子的作用对象向输入输出移动而保持论域固定可等效实现变论域算法。为验证理论,以单相逆变电源为例,在Simulink中搭建变论域模糊控制+PID算法仿真模型。实验结果表明其具有良好控制效果,为借Simulink模糊控制工具箱仿真变论域模糊控制算法提供了理论依据和方法,验证了上述理论研究和结论。     

氮杂类杯［6］芳烃与HMX分子间相互作用的理论研究

用密度泛函理论(DFT)B3LYP方法,在6-31G(d)基组水平上,对四种氮杂杯[6]芳烃主体单体(Ma～Md)及其与HMX形成的四种复合体进行了几何构型优化.用自然键轨道(NBO)分析揭示了主客体相互作用的本质.经基组叠加误差(BSSE)和零点能(ZPEC)校正,对四种复合体的相互作用能进行了计算并做了比较.研究发现分子间相互作用能最大的复合物是六氮杂杯[3]-对-三芳烃[3]-2-氨基-1,3,5-三嗪与HMX所形成的复合物,最大相互作用能为-13.98 kJ·mol-1; 而且带有取代基的复合物的相互作用能大于没有带取代基的复合物,带有氨基取代基的复合物的相互作用能大于带有硝基取代基的复合物.     

我国泡沫混凝土行业新进展

一、政策对行业发展的影响 在过去的2013年，面对复杂的建筑市场以及变化的保温政策，虽然泡沫混凝土行业个别产品经历了大起大落的行情，但在行业同仁的共同努力下，整个行业仍然保持了平稳增长态势。     

腔内修复治疗累及左锁骨下动脉的主动脉夹层动脉瘤

【摘要】 目的 探讨累及左锁骨下动脉的主动脉夹层动脉瘤腔内修复治疗的手术方式及疗效。 方法 回顾性分析2004年1月至2014年12月采用不同腔内修复术式治疗56例主动脉夹层动脉瘤患者临床资料，其中男42例，女14例。采用“烟囱”技术重建左锁骨下动脉血流26例（A组），分支支架技术重建10例（B组），复合手术重建20例（C组）。术中使用国产覆膜支架26例，进口覆膜支架30例；全身麻醉48例，局部麻醉8例。结果 手术全部成功（100%），无手术死亡患者。A组植入裸支架11例，覆膜支架15例；C组4例先植入胸主动脉覆膜支架，直接覆盖左锁骨下动脉，再作腋-腋动脉人工血管旁路移植术；16例先作腋-腋动脉人工血管旁路移植术，再行主动脉腔内修复覆盖左锁骨下动脉。3组患者出院时CTA检查显示支架形态均良好，无明显移位，组间差异无统计学意义（P＞0.05）。内漏发生在A组有4例（15.4%），B组1例（11%），C组1例（5%），组间差异均无统计学意义（P＞0.05）。52例（92.9%）患者获平均23.5个月随访，死亡5例（9.6%），原因为心肌梗死（2例）、肿瘤（3例）。47例CTA随访发现6例仍有部分内漏，24例远端胸腹主动脉仍有夹层但未扩大，未作特殊处理，目前均在随访中。结论 “烟囱”技术、分支支架技术和复合手术修复治疗累及锁骨下动脉的主动脉夹层动脉瘤是安全有的。
     

重庆东溪古镇历史街区自主治理的发展策略探究

随着存量规划与旧城更新,我国传统古镇的历史街区面临着由城镇化发展带来的保护和延续难题。文章以重庆东溪古镇为研究对象,通过调研历史街区的使用情况和居民的现实需求,找出古镇日趋衰落的根本原因。文章尝试与第三方技术支持机构合作来推动"自下而上"的公众参与方式,从而探究出适宜街区自主治理的模式,以期推动东溪古镇历史街区的可持续发展。     

多点视频会议系统的应用及维护

对中兴ZXMS80多点视频会议系统在中原油田会议联络中的应用进行研究。为避免视频会议系统产生故障并造成损失,调查了中原油田现有的网络配置和视频会议系统的组成情况,通过对视频会议系统常见故障记录的实际分析,发现网络故障比终端故障更频繁且更复杂,由此认为网络维护比终端维护更重要,维护人员的网络知识水平高低直接制约着视频会议系统的会议质量。     

娄底市联兴村 近城郊联业 菜园子兴村

正联兴村属于湖南娄底涟源市蓝田街道办事处,笔者担任蓝田街道办事处党委副书记,期间到联兴村多次调研,对联兴村打造城区"菜园子",提出相关对策建议,希望对外地的近郊村打造城区"菜园子"有一定的参考价值。一、联兴村打造城区菜园子的优势及劣势(一)优势     

股浅动脉支架内再狭窄的危险因素研究进展

【摘要】股浅动脉（SFA）支架植入血管成形术是针对SFA狭窄或闭塞性病变的腔内常用治疗方法,但支架植入术后股浅动脉支架内再狭窄（superficial femoral artery in-stent restenosis,SFA-ISR）的发生率很高,由于大多数的患者直到出现严重临床症状才会再次寻求诊治,所以对于控制支架内再狭窄（ISR）相关危险因素至关重要。近年对SFA-ISR的危险因素研究不断深入,本文就其解剖学特点、病理生理学基础、危险因素研究进展作一综述。


     

聚碳酸酯光弹颗粒材料的加工退火及退火后的基本性能

为了得到可应用于颗粒物质光弹试验的聚碳酸酯小粒径颗粒,采用聚碳酸酯板或棒为原材料,通过所研究的3种加工方法及退火曲线,制成毫米级的高透明度颗粒,经过对其力学性能、光学性能及压汞的实验分析,得到了应力应变曲线、材料条纹值和内部孔隙结构特征的变化规律。结果表明,在退火的过程中除了热处理温度和时间,还要考虑热辐射的影响;退火不会显著改变聚碳酸酯材料的力学性能和曲线形状,只会对聚碳酸酯的孔径大小、分布、孔隙率等内部结构特征产生轻微影响,同时可以基本消除因制件尺寸造成的条纹值误差。