控制产生式系统

提高产生式系统中控制策略的灵活性和高效性,一直是诸多专家、学者致力研究的一个课题。本文提出了把控制部分从产生式系统中分离出来,作为一框架加入到产生式系统结构中去的一种思想方法,并对其进行了形式化描述,最后分析了由此产生的控制产生式系统的特性。     

图可交换在可测空间和线性空间中的应用

本文用范畴论的语言,通过图可交换给出了可测空间中σ(f)可测函数的等价刻画,同时利用图可交换,给出了线性空间中Hahn-Banach泛函延拓定理的等价刻画.     

共享存储器交换的排队模型

对于共享存储器交换结构,传统的排队模型的分析基于时隙,只能给出总的丢包性能,不能准确给出在不平衡业务分布下,不同的输入端口所具有的不同丢包性能.文中提出共享存储器交换结构在任意输出分布下的一种排队模型,对于完全共享(CS)以及具有最大队长限制的共享(SMXQ)两种存储器共享策略进行了性能分析.该模型基于子时隙建立多个状态空间和相邻子时隙之间的概率转移矩阵.通过仿真验证了所提出的排队模型的准确性.     

关于亚交换群的对合交换图

对合交换图是以群中2阶元共轭类为顶点,两顶点有边当且仅当它们交换的图.讨论了亚交换群的对合交换图结构.     

管式间接蒸发冷却器传递过程的解析解及验证

根据换热器计算理论,结合管式间接蒸发冷却器中热湿交换过程的特点,将其抽象为管束内一次空气不混合,管束外二次空气和水膜横向混合的叉流换热器.计及二次空气和水膜的热湿交换,建立了描述换热器中热湿交换过程的理论模型,利用实验测出的边界条件对基本方程组进行求解,得到了一次空气、水膜温度及二次空气焓在空间分布的解析表达式.用试验结果对理论计算值进行了验证,说明建立的理论模型具有较好的可靠性．从而为进一步理论分析和结构优化提供了理论基础     

关于亚循环2-群的对合交换图

对合交换图是以群中二阶元共轭类为顶点,两顶点有边当且仅当它们交换的图.分类了亚循环2-群的对合交换图结构     

基于哈尔特征及结构复杂度的视觉显著性模型

提出了一种基于哈尔特征及结构复杂度的视觉显著性计算模型.首先,将输入图像从物理颜色空间RGB转换到感知颜色空间LAB.然后,用积分图快速计算出图像在LAB颜色空间各颜色通道中不同尺度下的哈尔特征图.最后,将所有特征图根据各自的结构复杂度融合为最终的显著图.实验结果表明,该模型总体上优于当前的6种典型算法,与心理学实验结果有较好的一致性.     

互联网络容错性与图的拓扑不变量

用图的拓扑不变量连通度来分析交换网络中的容错性与图的拓扑结构之间的内在关系,从而可得出分组交换网络中的重要结果.     

逆演绎的学习算法研究

针对传统归纳学习的困难,提出一种新的逆演绎的学习算法.从学习任务、模式声明和启发信息角度出发,研究逆演绎学习算法相关的逆演绎规则、格结构和状态算子等核心问题,并利用逆演绎的学习算法实现了学习推理系统.该算法包括最特殊子句构造、状态空间搜索和覆盖集计算3个模块;以最泛化子句为顶结点、最特殊子句为底结点、其他为中间结点,通过状态算子构建格结构的状态空间,在压缩引导的启发信息下,类A＊算法完成状态空间搜索,得到压缩最大的正例结点或反例结点;再利用覆盖集算法不断进行覆盖正例去除反例的操作,计算出经剪枝和压缩的最优子句;重复计算的最大压缩率的假设,便是搜索出的关系,也是需要学习的结果.算法测试结果表明,逆演绎的学习算法可产生泛化能力很强的规则,是可行及有效的.     

专家面向对象诊断系统中知识表示方法

描述了专家面向对象诊断系统(EXOODS)中知识的表示方法和面向对象的自身结构分析法.该方法将人工智能中常用的知识表示方式——框架和产生式系统有机结合,使知识能被自然、有效地表示,为硬件故障诊断专家系统提供了一种有效的知识表示方法.     

线性系统状态方程的简化方法

本文在现有的线性系统动态仿真键合图法的基础上,较详细地给出了系统状态方程的简化方法,阐述了状态变量的不同选择对系统状态方程数目的影响。该方法具有格式化的特点,特别适用于在计算机上自动地实现。最后,给出具体算例。     

键合图法非线性系统动态仿真

线性系统动态仿真的键合图法已经较完善地建立起来。但是对非线性系统应用键合图法进行动态仿真尚有许多工作要做,这不仅由于其系统状态方程的建立比较复杂,而且其解法也比较复杂。本文在考虑到混合因果关系的情况下,推出了非线性多流口系统状态方程的统一表达式,并采用有限差分同Broyden的拟牛顿法相结合来求解。最后,给出具体实例对所述方法加以验证。     

复杂柔性多体系统耦合动力学的键合图法

为提高多能域耦合复杂平面连杆机构系统动力学分析的效率及可靠性,提出了键合图法.阐述了非惯性系下综合考虑刚、弹性及多能域相互耦合的平面柔性多体系统键合图模型的建立方法,推导出便于计算机自动生成的完整形式的系统状态方程及运动副约束反力方程的统一公式.将约束反力视做未知势源加在系统键合图相应的0-结处,克服了微分因果关系及非线性结型结构所带来的难以解决的代数问题,实现了计算机自动建模及仿真.最后通过实际算例验证了所述方法的有效性.     

回转键合图法弹性连杆机构动态仿真

本文较详细地给出了弹性连杆机构动态仿真的回转键合图法,给出了一般弹性连杆机构的键合图模型,在此基础上推导出了便于求解的刚、弹性连杆机构状态方程的统一表达式。用本方法所编制的计算机程序,可以格式化的方式在计算机上自动建立机构(弹性、刚性)的状态方程并求解。最后用实例来说明本文方法及程序的可靠性及通用性     

非惯性系下平面机构系统动态仿真的回转键合图法

本文较详细地介绍了非惯性系下平面机构系统动态仿真的回转键合图法，给出了非惯性系下平面连杆机构系统的键合图模型，推导出了系统状态方程的统一表达式。本文方法可以用统一的方式对多种能量形式并存的机械系统进行动态仿真，并能直接确定不同能量形式的子系统间的相互作用。与现有传统标准键合图法相比较，本文方法更适用于混合因果关系与非线性约束并存的非线性系统。最后给出算例来说明本文方法及软件的实用性及通用性。     

中厚板双机架串行生产线参数摄动的周期估计

为了解决一类中厚板双机架串行生产线参数摄动条件下周期值估计的问题,在建立该系统极大代数意义下的状态空间模型的基础上,采用一种系统参数摄动时周期值的估计方法,对实际系统的周期值进行了估计.研究结果表明,该方法与实际计算的周期值相比,计算量小,能够有效地估计出带有参数摄动的串行生产线的周期值的上界,并对串行生产线的轧制工艺提出了改进方法,防止串行生产线因参数摄动而发生阻塞,提高了串行生产线的安全性.     

高压直流系统可靠性评估SFG的法

稳态概率、状态频率和持续时间是高压直流系统可靠性评估中的三个主要可靠性指标,一般用数值方法求解。本文应用 Coates流图的基本思想并考虑了状态空间的一些特殊性推导了这些指标的拓扑公式。通过该公式可获得这些可靠性指标关于元件可靠性参数的函数表达式。最后应用了一个算例对该方法加以说明和验证。     

基于增广状态空间法的稳定平台离散模型预测控制

针对旋转导向钻井稳定平台存在的摩擦问题,提出了将增广状态空间模型与模型预测控制相结合的稳定平台离散预测控制算法,以提高平台系统的控制精度和稳定性.建立了带摩擦的稳定平台广义被控对象的数学模型,以增广形式的状态空间模型为基础,结合滚动时域控制原则,通过对稳定平台离散模型的状态空间形式进行增广变换,设计了增广状态空间模型下的预测控制器.仿真结果表明,稳定平台预测控制系统保证了钻井工程对控制精度和动态特性的要求,并且对有摩擦干扰力矩及模型参数摄动具有较强的鲁棒性.     

模糊集值产生式系统的启发式图搜索算法

首先提出了模糊集值产生的系统的概念，然后运用三角范算子，得到了模糊集值产生式系统启发式算法，并对启发式算法的可采纳性给出了证明。     

日光温室微喷系统的键图模型

微喷系统是日光温室中环境调节与控制、作物的生长与发育、优质和高产的根本保证。因此，微喷系统的性能对于日光温室的生产与效益有直接的影响。文中利用功率键图的理论与方法，分析、建立了温室微喷系统的键图模型，为研究日光温室微喷系统的动态性能、评价和改进微喷系统的设计奠定了理论基础。