一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

对大学语文教学的思考

论述大学语文教学必须在教学内容、课程建设和教学方法上实行全面改革才能顺应时代需求,大学语文才能获得存在、发展的空间。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

雨流计数法及其在程序中的具体实现

根据雨流计数法的规则和在实际中应用的体会，介绍了雨流计数法在程序中实现的具体方法。它适合用各种语言编写，在计取循环数时采用的“四点法”使程序的实现比用其他方法更加准确可靠，简单明了。     

基于知网的汉语语义实例库的建设与应用

为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。     

日语音读汉字与汉语汉字之对比研究

通过对日语汉字音读和汉语中古音进行比较，发现日语汉字音读与汉语中古音有强烈的对应关系。其中“声假名”和中古音声母的对应比较整齐：あ段全部对应喉音影、余二母；か段全部对应牙音见、溪、群、疑和喉音晓、匣六母……“韵假名”与汉语中古音十六摄也有不如“声假名”强烈但依然很明显的对应关系，如果、假二摄对应あ段“韵假名”；止、蟹二摄对应ぃ段“韵假名”；通、江、效、宕、流摄对应ぅ段“韵假名”。     

DERA的核心压气机发展验证计划

对DERA的核心压气机发展验证计划作了简要介绍,重点围绕核心压气机设计研制思想、方法和设计研究体系的发展验证,分析和说明了已取得的各项进展。最后对这一研究计划的意义进行了分析和讨论。     

A320系列机型绿点速度特性分析

绿点速度是空客系列机型特有的光洁构型、一发失效条件下的最佳操纵速度。为了研究绿点速度的设计依据,利用空客PEP性能软件计算A320系列机型光洁构型、一发失效条件下、不同校正表速所对应的爬升角、等待燃油流量和飘降下滑角,分析了绿点速度状态、最大升阻比状态下的爬升、等待、飘降性能与最佳爬升/等待/飘降性能相互之间的关系。结果表明:绿点速度小于最大升阻比速度,随着飞行高度增加逐渐逼近最大升阻比速度;绿点速度下的爬升/等待/飘降性能对应于最大升阻比性能、最佳爬升/等待/飘降性能的均值。     

华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。