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

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

流动阻力及能量损失对注射成型制件的影响

本文分析了在塑料熔体充满型腔的过程中，流动阻力及能量损失产生的形式和物理原因，进而讨论了对塑料制件成型及凝固过程中的影响。并提出降低影响的措施。     

上市公司财务会计信息披露问题的研究

分析了我国上市公司财务会计信息披露不规范的成因 ,在此基础上 ,提出了规范上市公司财务会计信息披露的有效对策。     

PDM技术及其在直升机研制中的作用

本文首先分析了当前直升机在运用CAD/CAE/CAM技术进行研制中存在的一些问题,接着提供了解决的方法,介绍了PDM的概念、构成、主要功能。最后简述了PDM技术在直升机研制中的作用,以及企业在实施PDM当中应注意的一些问题。     

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

国内家用空调市场面临的挑战及对策分析

全面分析了国内家用空调市场所面临的困境与挑战;从市场细分的角度,有针对性的对国内家用空调业界在城镇市场、乡村市场、国际市场、高端市场应如何作为进行了思考,提出了具体的对策,提出了空调常态市场的概念。     

中小城市公交线路查询系统设计方法研究

论文在对首先阐述中小城市公交线路查询系统的需求分析、系统功能及性能要求描述的基础上具体讨论了系统设计、系统总体设计的思路和方法;最后给出了系统的测试分析和系统设计总结。     

基于C167CS和MAS3507＋DAC3550解码器的音频播放器设计

多媒体播放器市场的快速发展为低成本的DSP/MCU混合器件的应用提供了发展的良机.本文分析了Infineon(SIEMENS)C167CS的结构,提出了Infineon(SIEMENS)C167CS单片机和MAS3507 DAC3550解码器开发的MP3播放器的方案,采用了自顶向下的设计方法对总体设计方案、硬件各个组成部分(播放器的硬件解码技术、数模转换的控制技术)和软件进行了分析和设计.全部程序用Keil公司的C编译器和链接器编译通过并运行良好,该系统具有实现简单,成本低,运行效率高,功能强大等优点,有很好的发展前途.     

安徽省中小企业技术创新障碍与对策

中小企业对国家和地区的经济发展、社会稳定起着重要的作用.技术创新是企业发展的核心动力.中小企业要获得生存与发展,就必须持续地进行技术创新.安徽省中小企业的技术创新由于基础薄、起步晚,正面临创新主体错位、创新模式不当、信息化水平低、服务体系不完善等重重障碍.文章认为完善融资体系和技术创新服务体系、选择适当的技术创新模式以及加快培育中小企业集群式创新是推动安徽省中小企业技术创新、实现跨越式发展的有效路径.     

基于ADAMS/Aircraft的起落架滑跑模型仿真

以小车式起落架为例,利用ADAMS/Airc- raft建立了起落架滑跑试验仿真模型.给出了起落架滑跑运动方程,并进行了滑跑试验仿真分析。仿真结果与理论要求对比具有较好的一致性。