面向服务的空战仿真协调逻辑集成

系统的敏捷性是仿真建模的重要目标,它反映了系统适应需求变化的能力.然而当前普遍采用集中式的单层架构建模空战仿真系统中各组件模型之间大量的协调逻辑,这导致系统结构呈现刚性化特征,难于灵活适应不断变化的仿真需求.提出并实现了一种面向服务的空战仿真协调逻辑集成方案.系统中的协调逻辑被有机抽取并封装为一系列协调代理,将协调过程中被动的组件模型扩展为自协调的服务,服务是一种高度可重用的资源并且被机器可处理的描述契约文档完全定义;根据特定的仿真需求在运行时动态组合相关服务即可完成空战仿真系统中协调逻辑的绑定,从而提升了系统的敏捷性.     

收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

电气机械系统故障逻辑分析

本文介绍了电气机械系统故障的逻辑分析方法。这种用计算机处理的方法可以使系统中的故障及时被发现及定位,从而提高了系统的可靠性及维护性。文中分别叙述了模型的建立,故障的检测,定位及定时以及故障检测过程等内容。     

OLS—一个描述理论与实践交互作用的逻辑系统

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。     

逻辑函数中独立函数的研究

本文根据“逻辑函数图”发现了在n变量的逻辑函数系中存在着一组所谓“独立函数”,研究了它的性质,提出了求找独立函数的方法。此外本文还研究了由独立函数组成整个逻辑函数系的方法。这一结果表明:独立函数与逻辑函数之间的关系类似于Rademacher函数与Walsh函数之间的关系。     

一个汉语语法自动分析系统的结构及其软件系统的设计与实现

本文简要介绍了汉语语法自动分析系统BH-86的结构和它的软件系统的设计与实现。此软件系统提供了一个描述规则系统的专用语言BH-86L,可在机器上同时支持用此语言描述的几个规则系统,并提供了规则系统的管理、调试工具。     

日本对模糊逻辑在空间应用的研究

近年来，日本把模糊逻辑已实际应用于各种器件和系统中，特别是家用电器中，取得了良好的效果。实践证明，模糊逻辑在控制、感觉和决策过程等领域里有着巨大的应用潜力。下面是日本对模糊逻辑在空间应用的研究概况。１．空间模糊逻辑应用前景未来的空间活动要求在大型复杂的系统中进行瞬时的和并行的任务操作。现存的技术或者不能有效地进行这些操作，或者要付出极高的代价。模糊逻辑与现存的故障诊断技术相结合将可提供对这些困难问题更加灵活和更好的解决办法，如图１所示。同时，它也可以为未来的空间系统提供先进的智能和自动功能。２．…     

二支座二配重面动平衡系统的快速平衡方案

本文通过对动平衡系统动力学特性的分析,指出了在机器工作转速接近于系统共振频率时平衡发生困难的原因。在此基础上提出了克服这些困难的现场标定法,并给出了配重的大小和位置的计算方法。     

余度惯性传感器系统的故障管理方案

本文阐述两种余度惯性传感器系统的故障管理方案:引入动态解析余度的逻辑比较法和采用方差补偿的极大似然检验法。前者通过引入动态解析余度,能够在逻辑比较法的基础上,最大限度地识别与隔离故障仪表,提高余度系统的容错能力;后者考虑了仪表误差对故障检测的影响,因而提高了系统检测软故障的能力。最后,对两种方案的优缺点作了分析比较。     

基于对象的P&ID设计软件无向图模型

在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程.此方法和模型在实践中取得了很好的效果.对P&ID无向图结构的特点做了深入分析,指出运用此模型建立P&ID系统的要点及运用中应注意的问题,并讨论了P&ID无向图模型的扩展.     

基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。     

型号计量保证有效途径的探讨

为适应武器系统研制的复杂性和测量参数的多样化,不断提高武器装备测量质量,本文根据武器系统研制特点提出了在型号产品研制初期开始融入可计量性的理念,在型号产品的方案、研制、生产、试验等阶段进行计量需求分析、提出计量方案和测量手段,将计量设计与型号产品设计有效结合,在型号研制过程中同时开展计量保证工作等实施方法。通过开展武器系统全过程、全寿命周期的计量保证工作提高型号产品的测量质量和水平,确保型号产品研制、生产、试验、交付全过程的量值统一、数据准确可靠。通过在某些型号中应用本文提出的方法,改进提高了型号产品测量方法,为武器系统飞行试验的成功起到了保驾护航的作用。     

一种星载计算机秒中断间隔可控的校时方法

传统的星载计算机时间维护主要由软件实现，为了避免校时过程中秒中断间隔过小或过大，软件需要通过复杂的逻辑和算法对外部计时器Intel 82C54芯片进行多次操作才能实现一次校时，较容易出错，且占用CPU机时较多。随着未来航天器智能处理的任务越来越多，CPU机时越来越紧张，为了将CPU从繁琐的校时操作中解放，提出了一种基于FPGA的秒中断间隔可控的校时方法。通过FPGA逻辑电路设计星时计时器，利用秒中断间隔约束条件设计校时触发条件，当满足校时触发条件时，FPGA逻辑电路自动实现校时操作，很好地解决了校时过程中秒中断间隔过大或过小的问题，节约了CPU机时。该校时方法已在多台星载计算机上应用，取得了较好的效果。     

应用Stateflow技术的安全性建模与仿真

为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.      

通用数控位置环设计

本文提出并研究了一种通用的数控位置环系统,它以计算机外设方式工作,计算机通过该系统可以同时控制3～6个直流电机驱动的坐标轴运动。系统本身带有细插补、软限位、速度限制和报警诊断等功能。该装置特别适用于高性能及有特殊要求的CNC数控机床控制系统、工业机器人控制系统和柔性制造系统(FMS)的工件及刀具运输设备。     

工程设计程序的探讨

文章用系统工程的观点对工程设计的设计程序进行了探讨。从讨论现行的各种设计程序出发,分析了设计程序的多维性质,归纳出时间维、系统维和逻辑维等三种不同类型的设计程序,并研究了它们的内在联系和层次关系。提出了一种三维设计程序模式。以三维设计程序作为框架,经过简化,得出一个通用的设计工作先后次序及段落划分的模式。这个模式可以作为编排各种不同类型设计程序的基础。     

返回式卫星数字姿态控制系统及飞行试验结果

简要介绍我国返回式卫星上用的计算机数字姿态控制系统的方案;重点阐述姿态确定和相平面控制律的设计方法;最后简述飞行试验的结果。     

CNC数控系统控制软件

本文分析了数控机床控制系统,由硬件NC(Numerical Contro1)向CNC(ComputerNumerical Control)转变时进给速度下降的问题,阐述了解决此问题的一种方法——二次插补方法。指出CNC数控系统是个多重中断系统,论述了将数控的工作按其重要的程度、实时性的高低,安排在不同的优先级,使整个系统协调工作的思想。     

基于规则灵敏度的模糊逻辑系统结构简化方法

基于规则灵敏度给出了模糊逻辑系统结构简化的一种方法.首先引入规则灵敏度的概念,在此基础上构造一个新的函数,并将其作为罚函数加入目标函数作为新的性能指标.通过优化性能指标来调整模糊逻辑系统的参数,使其输出在逼近期望输出的同时,有尽可能多的规则灵敏度接近于0.通过消去灵敏度接近于0的规则可达到简化系统结构的目的.仿真结果证实了所给方法的有效性.