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

本文分为四节:一、产生式系统的求解方式;二、问题描述的不同表示法;三、规则集的灵活性和规格化;四、控制策略。全文分上、下篇发表,上篇为第一、二、三节,发表于本刊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.     

风险投资的最优决策问题的数学模型

本文从总体投资所得的最大收益着手，为找出平均投资风险与最大平均收益的关系，引进了平均总体风险率系数a，建立了规划模型。在模型在一定的条件下可化为一个线性规划问题来求解。     

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

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

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

本文以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.