专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

KuaFu Mission

The KuaFu mission-Space Storms, Aurora and Space Weather Explorer-is an "L1+Polar" triple satellite project composed of three spacecraft: KuaFu-A will be located at L1 and have instruments to observe solar EUV and FUV emissions, and white-light Coronal Mass Ejections (CMEs), and to measure radio waves, the local plasma and magnetic field,and high-energy particles. KuaFuB1 and KuaFu- B2 will bein polar orbits chosen to facilitate continuous 24 hours a day observation of the north polar Aurora Oval. The KuaFu mission is designed to observe the complete chain of disturbances from the solar atmosphere to geospace, including solar flares, CMEs, interplanetary clouds, shock waves, and their geo-effects, such as magnetospheric sub-storms and magnetic storms, and auroral activities. The mission may start at the next solar maximum (launch in about 2012), and with an initial mission lifetime of two to three years. KuaFu data will be used for the scientific study of space weather phenomena, and will be used for space weather monitoring and forecast purposes. The overall mission design, instrument complement, and incorporation of recent technologies will target new fundamental science, advance our understanding of the physical processes underlying space weather, and raise the standard of end-to-end monitoring of the Sun-Earth system.     

连续凸偏好的一个性质

偏好与效用是联系在一起的。如果一种商品对于消费者没有效用，消费者就不会产生对这种商品的偏好，对偏好的研究为人们对效用进行定量的描述与研究奠定了基础。本文给出连续凸偏了的一个性质的严格证明。     

先复制后移位桥函数的性质

进一步研究了先复制后移位桥函数的性质,例如递推关系式、数学表达式、乘积特性及正交条件。同时,还给出了几组完备的正交函数系。     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

天空飞行与地面风洞实验动态气动相关中的雷诺数影响

近10余年来,在3个动态气动专题领域内,地面风洞自由飞实验与对应的天空飞行器的绕流雷诺数虽然相差1~2个量级,但风洞自由飞实验结果多次预测或再现了天空飞行器出现的对飞行安全、飞行性能产生严重影响、其它地面风洞实验方法难以预测或再现的这3个专题领域内的动态气动特性,这至少为3个专题领域内天地动态气动相关中的雷诺数影响,提供了一个新的理解。     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

确定结构几何变形关系的简便方法

本文对工程结构（无论是静定的还是超静定的结构）的几何变形关系进行分析和讨论,指出了传统几何作图法的繁琐与不足,提出了建立在逆向思维方式和高等数学基础上的解析方法,比之几何法更中简便,易于掌握。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。     

Spatio-Temporal Ontologies and Attention

ABSTRACT

This paper presents a new proposal for the design of spatio-temporal ontologies which has its origin in cognitively motivated spatial semantics. It is shown that selective attention not only plays a central role in the characterization of spatial relations but that the representation of attentional aspects also leads to the possibility of defining an ontological upper structure which systematically covers both the spatial and the temporal domain.