程序脆弱性发现中的测试数据生成方法研究

为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法--H-Fuzzing.其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变量之间的关联关系,进而指导测试数据算法的收缩,达到能够在少量的随机输入产生过程中得到较高的测试覆盖率的目的.     

镁合金表面钇盐化学转化膜的制备与表征

为了拓展稀土元素的应用范围,丰富稀土化学转化膜的门类,采用SEM,XPS和EDS等表面分析技术结合电化学分析测试技术,探索在镁合金表面制备新型稀土转化膜——钇盐化学转化膜,分析其形貌、化学组成及耐腐蚀性,并对其成膜机理进行初步的探讨.结果表明,采用文中工艺,可在镁合金表面成功制备覆盖完整具有均匀微裂纹的钇盐化学转化膜.转化膜主要化学组成物组为Y2O3,YOX/Y,MgO和少量的Al2O3.主要成膜元素Y和Mg在膜层与基体界面区域分别呈现递增和递减的现象.电化学测试结果表明,钇盐转化膜可以明显提高镁合金的耐腐蚀性,是一种值得深入发展和研究的新型稀土化学转化膜.     

人工智能在信息安全风险评估中的应用

对人工智能算法在信息安全风险评估中的应用做了系统地总结。在比较智能算法与传统风险评估算法的基础上,对信息安全风险评估领域中经常用到的几种典型的人工智能方法进行了深入分析;在归纳总结这些智能方法优劣的基础上,提出了几种改进的综合人工智能分析与评估方法,并对这些方法的实施过程做了简要的概述,对基于信度函数的证据理论方法的2种智能算法在风险评估中的应用进行了详细分析和比较。     

陕西220kV电网退役方案研究

为解决陕西220 kV电网存在的问题,结合陕西330 kV主网架规划,分析并提出陕西220 kV电网的退役方案。     

2005年度数码照相机市场10大热点综述

2005年是数码相机（DC）市场高速发展的一年，进口DC零关税，各大厂商品牌整合，市场竞争加剧。主流家用DC全面进入500万象素时代，新兴卡片DC市场迅速发展，长焦距DC技术更加成熟，高端消费级别DC夹缝求生，单反数码照相机（DSULR）市场进一步普及等等。在对DC市场调查研究的基础上，本文归纳综述了其2005年的10个热点现象。     

基于小波分析方法的装备价格指数变化研究

针对传统时间序列方法对物价指数的非平稳现象适应性较差的问题,提出运用小波分析方法,将原始数据分解成不同频率段的平稳信号,进而采用传统方法进行处理,从而提高了预测精度,获得令人满意的效果。     

对当前钢市几个问题的认识

目前人们对钢市供求关系的看法，分歧颇大。一种看法认为，钢市已经供大于求，且日趋严重；一种看法认为，钢市供求关系总的来看是协调的，并未供大于求。     

佳能EOS 5D、EOS 1D MarkⅡN

8月22日,佳能公司一举推出了13款数码新品,其中采用1280万有效像素全画幅CMOS影像传感器的EOS 5D和高速连拍机型EOS1D Mark Ⅱ N数码单反相机尤其受到广大摄影发烧友关注.     

DC又一春--2005PMA新品数码相机纵览

受到众多摄影发烧友关注的2005年度PMA大展,于2月19～23日在美国佛罗里达州的奥兰多市开幕,大会展出了各大厂商近期推出的最新型号的数码相机,以及相关的周边设备、成像技术等.虽然与去年大展相比,今年的PMA大展缺少重量级数码相机新品,但是各大厂商在本届展会上推出了众多型号的消费级数码相机和相关技术,仍然预示了数码相机在2005年良好的发展态势.