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

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

具有圆形极点和方差约束的不确定离散系统鲁棒控制

对一类具有不确定参数和扰动的线性离散系统，研究了使闭环系统的稳态状态方差小于某个给定的上界，同时闭环极点位于一给定圆盘中的状态反馈鲁棒方差控制器设计问题。导出了控制器存在的条件，并证明了该条件等价于一个线性矩阵不等式系统的可行解问题，进而用这组矩阵系统的可行解给出了一组所求控制器的一个参数化表示。最后通过一个算例说明了该方法的可行性和有效性。     

基于Nios的单芯片GPS时钟分发系统

GPS时钟对于航空、通讯等领域系统时间同步具有重要意义．本设计实现了一种Altera公司新近推出的Nios技术,即只使用一个芯片实现GPS接收、转换、分发以及串口扩展功能的GPS时钟分发系统,而且很好地解决了系统时间与GPS时间的一致性问题．该系统集成度高,守时精确,不仅加快了开发周期,而且还达到了最佳的性价比．     

动态称重法

本文简要地分析了目前动态称重时传感器测量系统采用“静态标定,动态使用”方法存在的问题。重点介绍了近年来美、日等国为解决这一问题,提出的一个全新的称重方法,即应用微处理机的动态称重法。     

把一个多自由度振动系统化为多个单自由度振动系统的动窗法

本文提出了一种求解直串系统固有频率和主振型的新方法——动窗法。通过不断移动黑箱窗口把一个多自由度系统化为多个单自由度系统。该方法物理概念明确,简单易行。它不单可用来计算和Holzer同类的问题,而且更有意义的是提供了把一个多自由度系统化为多个单自由度系统的思路。     

振动中的逆问题

本文考虑有限范围内无阻尼弹性系统无限小自由振动问题。述评由一些文献组成。这些文献涉及到从固有频率数据中唯一地重新构造一个振动系统。文献分为两组——一组涉及离散系统,该系统的逆问题与矩阵逆特征值问题紧密相关;另一组则涉及连续系统,该系统由Sturm—Liouville方程组中的某个方程所控制,或者由细梁弯曲振动的Euler—Bernoulli方程控制。     

线性微分—代数方程的辨识

文章对一个线性随机微分—代数方程作了良态的表述及进一步解释良态辨识问题的形成。推导了利用系统矩阵定义的子空间来给出良态的条件。对于系统的辨识问题,采用极大似然法并提出了一个新的有效算法。     

简单连接弹簧-质点系统的逆模态问题

设(λ，x)为简单连接弹簧一质点系统的一个特征对。假定在原系统的末端附加质量m和／或刚度为k的弹簧，(μ，y)为修改系统的特征对。考虑由这两组特征对、附加质量m和／或附加弹簧的刚度k构造弹簧-质点系统的3类逆模态问题。本文将问题转化为Jacobi矩阵特征值反问题，给出由(λ，x)，(μ，y)，m和／或k构造具有正质量和正刚度的真实物理系统的充分必要条件。如果这些条件得到满足，则可惟一地构遣简单连接弹簧-质点系统，并给出了构造真实物理系统的一个算法。     

A FAST KALMAN FILTER FOR INTEGRATED GPS/INS BASED ON U-D FACTORIZATION

研究了基于Ｕ－Ｄ分解的快速Ｋａｌｍａｎ滤波算法，并将它应用到一个２１状态的ＧＰＳ／ＩＮＳ组合导航系统工程实现中。常规的Ｋａｌｍａｎ滤波器已广泛应用于ＧＰＳ／ＩＮＳ组合系统，但由于系统建模误差和计算舍入误差，Ｋａｌｍａｎ滤波器在工程应用中会出现发散现象。为了解决这个问题，本文推导了一个基于Ｕ－Ｄ的扩展Ｋａｌｍａｎ滤波器。此外，由于高阶组合系统计算量大，导致基于Ｕ－Ｄ分解的滤波器在实时应用中有困难，为此，本文提出了一种快速的滤波算法来节省计算时间。文中设计了一条近于实际的飞机航迹来仿真。结果表明，本文所提的滤波算法能有效地克服组合系统滤波器发散问题，并减少计算时间近６９％。     

线性方程组的并行算法及在Transputer系统上的实现

在“一种有效的多Transputer系统的并行算法——ABC法”一文的基础上,本文进一步研究将ABC法用于变带宽矩阵线性方程组的求解问题,对线性方程组的系数矩阵采用了逐行一维存储方式,提出了相应的并行Gauss消元法,给出了该算法的效率.分析结果表明,带宽越大方程阶数越高,这种算法的效率就越高。因此本算法适用于高阶的大带宽线性方程组的求解问题. 根据本文的算法,编制了线性方程组的并行求解程序,并分别在一个、二个和四个T414系统上做了若干算例,结果表明本文分析的结论是正确的。     

基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)

RPRAMS系统是一个有效的机器人规划生成系统,该系统集问题求解的三大技术于一体,建立了搜索、演绎、归约相结合的有效机制;采用排序技术和回归原理解决目标相互影响问题;系统具有灵活的人机接口和机器人世界的动态显示,采用Common Lisp语言编写,可适用于仓库机器人工作环境。同时,本文对AI的基本算法——中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。     

连杆机构容差可靠性分析

容差问题是机构系统功能可靠性研究的一个基础，也是机构系统功能可靠性研究的一个方面。本文首先提出了机构容差可靠性的基本随机模型，然后运用随机模拟方法编制了容差可靠性分析程序系统，并以平面四杆机构为例，分析了考虑回转副间隙的连杆机构的容差可靠性。分析结果表明，这一随机模拟可靠性分析方法在机构容差可靠性分析中有重要的工程应用价值。     

计算机辅助飞机制造协调问题求解机制的研究

结合作者对一个智能化的飞机制造协调问题求解系统（ＣＡＡＣＳ－ＴＡ）的研制的开发，详细分析了计算机辅助问题求解机制的三个重要环节，协调方案评价推理、通用协调路一生成原理以及通用精度分析与公差。通过对协调问题求解一般研究和准确度分析数学模型的建立，从而形成了一个基于知识的协调问题求解系统的概念体系。     

人为因素和飞机可控飞行撞地研究（二）

一、人为因素的现状人为因素问题一直是政府科研部门进行研究的主要课题 ,航空公司也为解决人为因素问题动了不少脑筋 ,针对发生的飞机可控飞行撞地事故也出台了不少措施。无论何种优化的机器系统都是通过人的操纵来实施的 ,因此人为因素是系统工程的一个关键的中心组成部分。人为因素工程的主要目标 ,一是通过使人适应机器来优化系统的性能 ;二是通过使机器适应人来优化系统的性能。在航空人为因素的研究上科研部门已经取得了不少的成果 ,最好的例子就是ＣＲＭ -驾驶舱资源管理系统的开发。现在驾驶一架现代化的飞机不同于以前只简单表现在…     

不确定离散系统二次稳定的充分必要条件

研究了具有快时变参数变化离散系统的鲁棒稳定性问题，给出了该系统二次稳定（ｑｕａｄｒａｔｉｃｓｔａｂｉｌｉｔｙ）的充要条件，并且进一步定义了稳定鲁棒性指标来度量系统的稳定鲁棒性。对于参数具有已知变化范围的系统，其充要条件的检验和稳定鲁棒指标的计算转化为一个极小极大优化问题。当参数变化范围为一个凸多面体时，该极大化问题退化成其端点值间的相互比较，并证明了极小化问题中的任意局部最小值就是全局最小值     

广义系统静态输出反馈镇定的一个充要条件

研究广义系统静态输出反馈镇定的问题．基于广义李雅普诺夫方程,给出广义系统通过输出反馈镇定的一个充要条件,该结果是正常系统输出反馈镇定相应结果的推广。另外给出了求取镇定控制器参数的一个算法,并通过数字算例说明该算法是有效的。     

低空突防中的多传感器信息融合技术研究

当飞机超低空贴地飞行、航路上多障碍物时,机载传感器容易失效。针对这一情况,本文首先论述了低空突防过程中,机载多传感器系统必须采取的有效信息融合措施;然后对容错控制问题进行了讨论,给出一个多传感器故障检测与隔离算法,使用该算法容易剔除失效的传感器,并将多传感器系统进行重构,降低了失效传感器数据对系统的污染程度;接着给出一个简单实用的分散滤波算法,该算法使得各有效传感器的数据被并行处理,且各局部处理器之间无需数据交换,需存储的数据量较少,提高了系统的实时性,最后的仿真算例说明了这一点     

连续状态系统可靠性

本文在给出连续状态系统和典型结构的定义后，讨论了连续状态关联系统可靠性与功效的定义和性质，证明了有关定理。利用定义的典型结构，将两状态系统方块图和故障树分析方法推广至连续情形，研究连续状态方块图和连续状态树分析方法，利用系统、子系统和单元间的功能平衡关系。提出一种建立系统结构函数的建模方法，最后讨论了系统可靠度的计算问题。文中给出一个连续状态系统的分析、建模和计算的例子。     

用卡尔曼滤渡技术识别振动系统参数

本文提出了利用卡尔曼滤波技术识别线性定常振动系统参数的方法。 首先,将系统动力学方程转化为离散的可观标准型状态方程;为了应用卡尔曼滤波技术,再将一个单输入多输出系统的标准型参数识别问题转化为若干个单输入单输出系统的状态估计问题。接着,介绍了三组实用的滤波公式以及选取滤波键所需的初始信息的方法。然后,列出了由滤波得到的标准型参数求得振动系统的复模态参数和固有模态参数所用的转换公式。最后讨论了本文所提出的方法,并给出了一个模型的模拟试验结果。     

CIMS中的信息结构

CIMS涉及计算机辅助设计、计算机辅助制造和产品管理三大领域。人们已分别对上述各领域进行了二十多年的研究,目前大家都认识到有必要将所有这些功能集成到一个统一的系统:计算机一体化制造系统,而这项工程中的核心任务是整个系统工作时各个领域内部及领域之间的数据、信息的通信问题。本文介绍了国内外一体化系统的发展情况,提出了CIMS工程中通信问题可能的几种信息结构,并讨论了各种类型的数据库,最后提出航天系统CIMS的初步要求。