一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

快走丝线切割加工断丝现象分析与解决措施

在操作快走丝线切割机床时,经常会发生断丝现象.影响零件加工精度和表面质量,造成时间大量浪费,生产成本增加。从非加工过程和加工过程两大方面对断丝现象进行归纳总结提出相应的解决措施。     

时滞依赖状态的脉冲中立型发展微分包含

目的主要考虑一类时滞依赖状态的脉冲中立型发展微分包含;方法在公理化定义的相空间上,利用Ba-nach空间中发展系统理论结合相应的不动点定理;结果时滞依赖状态的中立型泛函微分至少有一个温和解;结论建立此类问题温和解的存在性。     

不依赖于分布的子波去噪算法

本提出了一种新的子波去噪方法，这种方法不依赖于噪声的统计分布，因而可以适用于非高斯噪声和有色噪声的情况，实验结果表明：在高斯和非高斯噪声背景下，该方法都能获得好的去噪效果。     

机载设备可靠性试验实测振动数据归纳方法研究

根据产品可靠性大纲的要求，要制订可靠性验证试验计划，确定振动试验条件。由于可靠性验证试验的最大应力明显低于振动环境试验量值，这就提出了一个问题：怎样从实测振动数据来制订可靠性验证试验的振动条件。本文的目的就是研究机载设备可靠性试验条件实测振动数据的归纳方法。具体研究了：ａ．区域平均法；ｂ．峰值包络降低法，分直接下降６ｄＢ和９ｄＢ两种情况；ｃ．等效１／３倍频程带包线法。最后将这三种方法四种情况的结果     

前苏联运载火箭简介(五)

安加拉号系列运载火箭1992年,随着前苏联的解体,俄罗斯政府决定研制在国内制造和发射的新一代运载火箭,以摆脱对其它独联体国家设施和发射场的依赖。随后,赫鲁尼切夫国家科研生产中心和能源火箭航天公司分别向政府投标,竞争以西伯利亚一条河流的名字命名的安加拉火箭项目。最终,赫鲁尼切夫中心     

一种Vague数据模型及属性的归纳依赖关系

提出了一种经绩有模糊关系数据模型更有效的Vague值Vague关系数据模型。该模型引入了最近由Gau等提出的Vague集的思想，从真，假隶属度两个方面体现元件隶属于以及不隶属于某个概念的程度，从而使得能够 更加贴切地反映客观事件的本来面目，在给出面Vague元组间ε－相等定义的基础上，较为详细地讨论了Vague关系代数，为在Vague环境下对数据库进行操作提供了依据。最后，文章分析了Vague关系数据库中的数据依赖问题，给出了基于不分明关系和基于包含因子的Vague数据依赖的评判策略，并就其有关性质给出了证明。     

美国民航空管局ATO战略规划管理体系介绍

笔者曾于2006年4月-9月，在美国参加中美航空合作项目ACP（Aviation Cooperation Program）举办的EMDT（Executive Management Development Training）培训，实习期间被分配到美国民航空管局ATO（Air Traffic Organization）的运行规划部实习，重点是了解和学习ATO的战略规划管理体系。笔者将学习的内容进行了归纳总结，希望借此文章，能够在“如何用战略规划清晰地描述空管系统的未来发展前景”，“如何将战略规划和日常运行工作紧密地联系起来”等方面为大家提供辅助的参考信息。     

成分数据的空间自回归模型

针对已有成分数据线性回归模型对研究对象相互独立的严格要求,提出了含有成分数据和普通数据的空间自回归模型,在此基础上提出了成分数据空间自回归模型的估计方法。新模型结合了空间自回归模型处理因变量之间相互依赖的优势,可同时处理成分数据和普通数据。通过利用等距对数比（ilr）变换将成分数据解约束,得到了新模型的参数估计量。蒙特卡罗模拟实验验证了所提估计方法的有效性。      

国际航空安全规划综述及对我国民航安全管理的思考

为了保证航空运输业的持续安全,世界各国在制定和执行航空安全规划方面开展了大量工作,其中有很多方法和经验值得学习和借鉴。本文分别对国际民航业中一些比较重要的航空安全规划进行简单介绍,从创建日期、目的、期限、修订频率、关注领域等方面进行归纳总结,并对我国民航的安全管理工作提出建议。