企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

The decision to develop the Space Shuttle

Many of the problems that the Space Shuttle programme has had in meeting its goals of routine and cost-effective access to space can be traced to various characteristics of the decision to develop the Space Shuttle. That decision was made through a process of bureaucratic politics, with little attention given to future users of the Shuttle. The design chosen for development was a poor compromise between demanding Pentagon and NASA requirements and a limited budget.     

人工智能产生式系统的分析(下)

本文分为四节:一、产生式系统的求解方式;二、问题描述的不同表示法;三、规则集的灵活性和规格化;四、控制策略。全文分上、下篇发表,上篇为第一、二、三节,发表于本刊1986年第2期,本期发表第四节,即下篇。     

用于大机动飞行仿真的宽频带高速三轴转台

为满足一种新型大机动飞行器飞行姿态半物理仿真的要求,采用变增益液压伺服机构和变系数前馈补偿器等技术,对某三轴液压飞行仿真转台进行了改型研制。在转台具有良好低速特性的同时,其大振幅下的频宽和高速响应特性达到了国际同类转台的水平。所研究实施的技术方案,对研制新转台及旧有转台的技术改造都有参考价值。     

Dynamics of stellar systems: Violent relaxation and gravothermal catastrophe

The gravitational evolution of stellar systems exhibit collective and collisional effects. Collective effects (Violent Relaxation) seems to be unefficient to create any structure or to relax the distribution function. Gravothermal Catastrophe is shown to be a real instability driven by collisions, but its time scale is very long compared to astrophysical times. It is suggested that intermediate range perturbations may modify these conclusions.     

长空高机动靶机燃油系统试验研究

本文主要介绍长空无人机高机动靶机燃油系统各阶段试验原理、试验内容、试验方法,以及对试验结果的讨论。一系列试验证明了高机动靶机燃油系统的可行性、可靠性和适用性。     

位置伺服滑态控制系统的单片机实现

本文以MCS-51(8031)为基础研究了位置伺服的滑态控制(Sliding Mode Control,简称为SMC)系统的实现。提出了SMC律的设计方法,给出了8031 SMC控制器的硬软件的设计方法与技巧,并在8031 SMC控制器上作了模数混合仿真,给出了仿真结果。     

航天运载器的电气系统数字化研制技术

针对运载器电气系统的数字化,给出研制过程中层次的划分、研制的关键环节及相互关系,并对运载器电气系统的数字样机技术和产品全生命周期管理技术进行扼要的分析,最后给出完整的应用系统框架结构。为运载器的数字化研制作了重要的补充。     

Investigation Into Cost-Effective Propulsion System Options for Small Satellites

The paper summarizes research into cost-effective propulsion system options for small satellites. Research into the primary cost drivers for propulsion systems is discussed and a process for resolving them is advanced. From this analysis, a new paradigm for understanding the total cost of propulsion systems is defined that encompasses nine dimensions – mass, volume, time, power, system price, integration, logistics, safety and technical risk. This paradigm is used to characterize all near-term propulsion technology options. From this effort, hybrid rockets emerges as a promising but underdeveloped technology with great potential for cost-effective application. A dedicated research program was completed to characterize this potential. This research demonstrated that hybrid rockets offer a safe, reliable upper stage option that is a versatile, cost-effective alternative to solid rocket motors. Finally, an innovative technique was derived to parametrically combine the diverse cost dimensions into a useful, quantifiable figure of merit for mission and research planning. Overall, it is shown that the most cost-effective solution is found by weighing all options along the nine dimensions of the cost paradigm within the context of a specific mission.     

Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.