一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

由函数元构成系统的概率描述的两种方法及相互关系

研究由函数元构成系统的可靠性时，广泛应用着两种对系统的概率描述方法，本文给出了这中方法的明确定义，研究了它们之间的相互转换关系，并证明了涉及转换的两个定理。定理１阐明了从第一种方法向第二种方法转换的唯一性，而了而了从第二种方法向第一种方法转换的非唯一性，本文的结果为这两种方法在今后研究工作中的运用建立了一定的理论基础。     

Reducing mission operations costs through spacecraft autonomy: the near earth asteroid rendezvous (near) experience

With a maximum time of 12 days out of ground contact and a round-trip light time as high as 56 minutes, The Near Earth Asteroid Rendezvous (NEAR) spacecraft requires a moderate degree of onboard autonomy to react to faults and safe the spacecraft. Beyond the basic safing requirements, additional functions are carried out onboard. For example, on-board calculation of the Sun, Earth, asteroid, and spacecraft positions allow the spacecraft to autonomously orient itself for science and downlink operations. On-board autonomous momentum management during cruise relieves Mission Operations from planning, scheduling, and carrying out many manual momentum dumps. During development, additional operations, such as center-of-mass management during propulsive maneuvers and optical navigation were also considered for onboard autonomy on the NEAR spacecraft, but were not selected. The allocation of functions to onboard software or to ground operations involved tradeoffs such as development time for onboard software versus ground software, resource management, life cycle costs, and spacecraft safety.After two years of cruise operations, considerable experience with the NEAR autonomy system has accrued. The utility of some autonomous capabilities is greater than expected, others less so. Software uploads increased spacecraft autonomy in some cases, and the impact on Mission Operations can be assessed. Allocation of functions between spacecraft autonomy and ground operation during development of future missions can be improved by applying the lessons learned from the NEAR experience.     

论司法独立

司法独立是一项宪法原则和国际司法准则，是实现法治的要求。我国现有的法律观念、法律文化、法律制度妨碍了司法独立。因此关键的问题是要更新观念、完善法律制度。     

飞机发动机燃料计量系统故障分析的一种方法

随着产品成本和复杂性的提高，故障模式影响分析已成为复杂系统设计过程中不可或缺的部分。但其有效性多年来一直存在争议，其主要原因在于采用以经验为主的定性推理法，分析繁琐，工作量大，导致很难确定每种故障模式的故障影响。本文从BIT设计的角度，以功能角色模型理论为基础，导出在反馈系统中的推理规则和故障模式影响分析方法。最后以喷气式发动机燃料计量系统为例，阐述对该系统进行故障分析的一般步骤。研究表明，本文提出的功能角色模型理论可有效提高故障模式影响分析效率。     

英美影视作品在英语听力教学中的功能与运用

英语影视作品应用于课堂教学是一种十分有效的教学方法。它以多媒体为手段,融视、听、说于一体,情景真实生动,语言丰富地道,形式活泼多样,有助于给学生创造出一个学习英语的良好氛围,使学生在这种良好的语言环境中学习语言,感受中西方文化差异,从而增强活学活用的外语交际能力,将会使学生在英语学习和个人成长等方面受益无穷。     

CAM软件功能的分析与比较

对Pro/Engineer和MasterCAM的CAM功能进行综合比较。认为Pro/Engineer在实体建模、多轴数控编程、模拟仿真、数据接口等方面的综合性能优于MasterCAM;而MasterCAM则在二维轮廓、孔加工自动化生产单元实现自动制造等方面具有优势,其加工阶段划分明确,便于掌握。     

在HP VEE环境下仪器程控功能的检查方法

本文介绍了在Agilent HP VEE开发环境下，依据仪器驱动程序实现的仪器程控功能检测方法。这种方法可广泛地应用于军内外仪器仪表检测部门。     

基于网格自适应的飞行器防热材料热传导系数辨识

为准确辨识高超声速飞行器防热材料热传导系数，构造了针对热传导偏微分方程系统的约束泛函极值问题，基于表征多项式逼近性能的Weierstrass定理，采用Lagrange多项式对热传导系数进行参数化建模，进而将无穷维的约束泛函极值问题转化为有限维的非线性规划问题，再利用基于动态优化方程的优化方法将此非线性规划问题转化为常微分方程初值问题进行求解。为从较有限的测量数据中准确地“学习”热传导系数，建立采用“过拟合”判别准则的网格自适应迭代算法改善辨识精度。研究表明本文采用的辨识策略与优化方法有效，辨识结果可以较准确地反映材料热传导系数的变化规律。     

仿生负泊松比拉胀内凹蜂窝结构耐撞性

基于自然界微观生物结构的启发,设计了1种新型仿生负泊松比拉胀内凹蜂窝（ARH）,并对其耐撞性能进行数值模拟。结合竹子的梯度结构和椰子树的同心胞结构,提出了2种单向梯度和2种双向梯度同心ARH结构。梯度同心结构设计方法不仅可诱导结构渐进的冲击行为,而且因其较低的等效壁厚可改善其比吸能能力。与传统ARH结构相比,对仿生ARH结构的平台应力和吸能特性进行研究,并分析耦合压溃变形模式、收缩变形机理和负泊松比效应等来揭示结构的增强机理。结果表明：预测的耐撞响应和压溃变形模式与参考结果相似;相对传统的ARH,梯度同心ARH有更高的平台应力和比吸能,且平台应力的上升和压溃变形模式均呈梯度变化;梯度方向对压溃变形模式和各层变形顺序影响较大;双向梯度同心ARH比单向梯度同心ARH因耦合变形具有更高的吸能能力;同心胞数对蜂窝各层的收缩变形有较大影响。