基于非连续算子广义变分不等式强解的存在性

在算子不连续的情况下,利用FKKM定理和Weierstrass定理及标量化方法得到了广义向量变分不等式的强解存在性定理.     

数字化组合式大力值校准系统的研制

为了满足对大力值(20 MN左右)的测量和校准,开发了一套数字化组合式大力值校准装置。其最大量程可达24 MN,系统测量准确度为0.1%,适合于大型材料试验机的校准和检定。本文详细介绍了装置的组成结构、弹性体设计、贴片和组桥方式、数字化的方法以及与计算机的通信实现。     

老龄飞机的故障控制

介绍了老龄飞机的故障控制方式，阐述了预防性维修和及时处理故障在老龄飞机保障中的重要性。     

机床组合夹具设计仿真平台在《机械制造技术基础》课程教学中的应用

本文针对传统的机械制造技术基础教学环节中存在的一些问题,提出了用VB（Visual Basic）对Solid-Works开发的机床组合夹具仿真平台进行辅助教学,并介绍了该仿真平台的设计和实现过程及使用和教学效果。     

组合机床多轴箱计算机辅助设计系统

介绍利用ＡｏｔｏＣＡＤ二次开发工具ＯｂｊｅｃｔＡＲＸ３．０开发的组合机床多轴箱ＣＡＤ。阐述依据模块化原理设计系统的各个组成模块，以及由于采用ＶｉｓｕａｌＣ＋＋６．０可视化编程语言及微软ＭＦＣ基本类库，使程序界面的交互性比以往设计显著提高。     

中国核电厂操作员反应时认知模型的应用(英文)

讨论了一些有关人员行为与时间有依赖关系的可靠性模型；给出了中国核电厂操作员在清华大学培训模型机上的一些可靠性实验结果。此外，还根据已获得的实验数据计算了在ＡＴＷＳ事故条件下人的失误概率。     

飞机纵向驾驶员诱发振荡灵敏度分析

采用系统灵敏度理论，以修正的带宽准则，增益和相位裕度准则以及Ｎｅａｌ－ｓｍｉｔｈ准则等飞机纵向驾驶员诱发振荡（ＰＩＯ）预测准则作为系统指标，建立了参数变化对诱发振荡预测指标影响的灵敏度公式，以ＪＪ７飞机为例，给出了飞机，操纵系统及驾驶员参数上述指标影响的灵敏度，根据计算结果进行了ＰＩＯ参数敏度预测分析，同时与数值仿真结果进行了对比分析。     

Integration of lessons from recent research for “Earth to Mars” life support systems

Development of reliable and robust strategies for long-term life support for planetary exploration must be built from real-time experimentation to verify and improve system components. Also critical is incorporating a range of viable options to handle potential short-term life system imbalances. This paper revisits some of the conceptual framework for a Mars base prototype which has been developed by the authors along with others previously advanced (“Mars on Earth^®”) in the light of three years of experimentation in the Laboratory Biosphere, further investigation of system alternatives and the advent of other innovative engineering and agri-ecosystem approaches. Several experiments with candidate space agriculture crops have demonstrated the higher productivity possible with elevated light levels and improved environmental controls. For example, crops of sweet potatoes exceeded original Mars base prototype projections by an average of 46% (53% for best crop) ultradwarf (Apogee) wheat by 9% (23% for best crop), pinto bean by 13% (31% for best crop). These production levels, although they may be increased with further optimization of lighting regimes, environmental parameters, crop density etc. offer evidence that a soil-based system can be as productive as the hydroponic systems which have dominated space life support scenarios and research. But soil also offers distinct advantages: the capability to be created on the Moon or Mars using in situ space resources, reduces long-term reliance on consumables and imported resources, and more readily recycling and incorporating crew and crop waste products. In addition, a living soil contains a complex microbial ecosystem which helps prevent the buildup of trace gases or compounds, and thus assist with air and water purification. The atmospheric dynamics of these crops were studied in the Laboratory Biosphere adding to the database necessary for managing the mixed stands of crops essential for supplying a nutritionally adequate diet in space. This paper explores some of the challenges of small bioregenerative life support: air-sealing and facility architecture/design, balance of short-term variations of carbon dioxide and oxygen through staggered plantings, options for additional atmospheric buffers and sinks, lighting/energy efficiency engineering, crop and waste product recycling approaches, and human factor considerations in the design and operation of a Mars base. An “Earth to Mars” project, forging the ability to live sustainably in space (as on Earth) requires continued research and testing of these components and integrated subsystems; and developing a step-by-step learning process.     

金融服务滞后产业发展的成因及对策——以航空业为例

分析了在战略产业发展过程中金融业服务滞后的各种表现，从战略产业经济结构调整本身、风险约束和金融宏观政策传导三个方面剖析了金融服务滞后的原因。以民用航空制造业的发展为例，用博弈论对金融在支持战略产业发展过程中的两难状况作了理论和实证分析，提出金融支持战略产业的发展是金融发展的最优选择的观点。最后从金融体系、资金投入和金融服务等方面提出相应的对策建议。     

AHP方法在系(部)工作评价中的应用

本文给出了系(部)工作评价的AHP模型，并对模型进行求解，说明了该模型的有效性。