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

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

世界贸易组织与航空产品包装

论述了我国加入世界贸易组织后，如何搞好航空产品的包装和包装标准化工作，以提高航空工业军品和民品在国际市场的竞争能力。     

中小外贸企业经营机制创新分析

经营机制创新是中小型外贸企业摆脱困境的必由之路。针对目前面临的主要问题，从外部环境及企业自身经营机制缺陷方面对中小型外贸企业生存环境进行分析，并从实现经营机制创新角度探讨改善现状的方法，力图找出中小型外贸企业经营机制创新的突破点。     

国际贸易中标准问题解决方略的研究

国际贸易中的标准问题是产生贸易壁垒的一个很重要的方面,世贸组织虽然为解决这一问题做出了一些规定,采取了一些措施,但是实际效果并不好,很多的成员国并没遵守有关的规则,兑现各自的承诺。而且随着世界经济区域集团化,各种区域性标准在对内起到保护作用的同时,对外则建起新的贸易保护障碍。解决国际贸易中的标准问题,应该从两方面着手,一是加强双边合作,二是加强多方位合作。双边合作是解决标准问题直接而有效的途径,随着贸易的全球化发展,标准统一化是最终的趋势。     

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

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

International cooperation in assuring continuity of environmental satellite data

In the 25 years since the launch of the first weather satellite, meteorological observations from space have become an essential part of weather forecasting and global environmental monitoring. Beginning in the 1970s, constrained national budgets and the need for a coordinated approach to global satellite observing have caused satellite operators to pursue international cooperation to assure the continuity and compatibility of these systems. This article reviews current bilateral and multilateral cooperation and technical coordination in environmental satellite activities. It also explores the potential for alternative institutional arrangements for maintaining the continuity of environmental satellite data in the decades to come.     

基于对象的仿真建模系统

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

义乌中国小商品城国际化经营的环境和条件研究

运用SWOT环境分析方法,对义乌中国小商品城国际化经营的环境和条件进行了研究,客观分析了外部环境带来的有利机会和存在的威胁及内部存在的优势和劣势,为实施国际化经营战略提供了科学依据.     

中国工业化道路的特征与选择

工业化是各国经济发展中不可逾越的阶段，通过回顾世界各国不同的工业化道路，归纳了世界主要工业化道路的特征和我国工业化道路的特点，分析了在贸易投资自由化、一体化条件下，我国的工业化进程处于两难境地的现状与原因，进而提出我国工业化应选择的产业和采取的产业政策。     

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

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