解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。     

区间动力系统稳定性分析的最新进展

综述了区间力系统稳定性,广义区间动力系统正则、无脉冲膜、稳定性方面的近期结果,并对其中一些结论所使用的工具及方法进行了总结.     

互补问题中Gauss-Newton方法全局收敛性的推广(英文)

研究了由Subramamian为求解互补问题提出的阻尼Gauss-Newton方法的收敛性质，在较弱的条件下，给出了一个全局收敛效果，这个结果是Subramanian PK (1993)和（1997）中相应结果的一个推广。     

分散控制系统稳定化的新方法

本文从实际考虑提出了一种使分散控制系统稳定的新方法。这是一种最优的稳定方法。它不仅使反馈控制器的结构具有站间的通讯费用最低的特点，而且也使控制结构有最少的通道数。数值计算的例子表明了本文所提方法的正确性和可操作性。     

具有完整性的控制系统设计方法

该文研究线性连续系统的容错控制问题，即设计反馈控制器，使闭环系统对可能的执行器失效具有完整性。该文利用代数方法，直接证明了期望的容错控制器的存在性，并导出了其解析表达式。最后，用数值例子说明这种方法的直接性与简单性。     

广义系统的某些性质

本文定义了广义系统的消失性,并给出了判别消失性的充要条件,进而给出了广义系统的闭环谱与其动态补偿器的谱不相交的充要条件.最后利用广义系统的一种特殊分解给出了广义系统脉冲可控的充要条件.     

节能气动系统数学模型的改进

作者曾提出一种节能近50%的节能气动系统,进行了理论与实验研究。本文重新定义特征时间 T_m~″和有效面积比 a_(?)~″,改进了它的退回阶段Ⅲ的动特性数学模型,使之能更准确地描述系统的真实特性,仿真结果与实验结果更趋一致。     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…