正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

论科学的复杂性--兼评科学终结论

围绕“科学终结论”所展开的讨论，使我们看到科学本身是复杂的，因此，需要探讨科学本身的复杂性。由于任何事物都可以看成一个系统，因而研究科学本身的复杂性，就必然要研究系统的复杂性。系统的复杂既是差异性的复杂，也是同一性的复杂。系统的同一性、同一性分布和同一性结构的复杂使科学表现出了科学现象和规律的复杂性、科学领域的时空复杂性和科学发展的时空复杂性。在此基础上，分析了“科学终结论”出现的原因，认为“科学终结论”的产生是由于人们基于一种简单的同一性思维方式，因而是对于科学的复杂性认识不足所致。最后，对当代科学发展的广阔空间进行了简略的分析。     

论黑格尔历史辩证法与马克思历史-结构辩证法的根本差异——基于历史终结论的视角

共产主义"历史终结论"观点,与"颠倒"辩证法的错误理解有关。黑格尔的辩证法本质上是自我意识在时间逻辑中的运动与复归,体现为一种历史辩证法;马克思对其的颠倒,既从人与物质存在的辩证结构中看到了中介性的否定关系,也从历史的连续性中理解了中介性和暂时性,因此表现为一种历史-结构的辩证法。历史唯物主义本质上是关于人实现其自身总体性的哲学;历史的相对真理性和个体性体现了人的未完成性和个性,而人的未完成性和个性驳斥了"历史终结论"。     

基于后推技术的直接鲁棒自适应模糊控制

针对一类带摄动的严格反馈非线性系统,基于后推设计方法,利用第一类模糊系统的逼近能力,提出了一种新的直接自适应控制方案。该方案中引入连续鲁棒项对系统的摄动部分进行抑制,并在自适应律中利用了leakage项以防止参数漂移。通过理论分析,证明了闭环系统是半全局一致终结有界的,跟踪误差收敛到一个小的残差集内。仿真结果表明了该方法的有效性。     

基于动态面的自适应模糊输出反馈控制

针对一类具有未知死区和控制方向的非线性系统,基于I型模糊系统的逼近能力,提出了一种稳定自适应模糊输出反馈控制方案。该方案将动态面技术和输出反馈控制相结合,避免了过参数化问题,从而无需引入调节函数。通过理论分析证明了闭环控制系统所有信号半全局一致终结有界;且选取适当的设计常数,跟踪误差可收敛到一个小的邻域内。仿真结果表明了该方案的有效性。     

基于观测器和小增益定理的自适应模糊控制

针对一类不确定非线性系统,利用输入到状态实际稳定理论(ISpS)、小增益定理,结合T-S模糊逻辑系统在线逼近系统的未知函数,在状态向量不完全可测的情况下,提出一种基于观测器的直接鲁棒自适应模糊控制的新方法。理论分析证明了闭环系统半全局一致终结有界,只有两个参数需要在线调节,同时避免了在一些自适应控制中由于采用线性反馈技术而可能引起的控制增益的奇异问题。仿真结果表明了该方法的有效性。     

高阶非线性系统的神经网络动态面控制

研究了一类非匹配不确定高阶非线性系统的跟踪控制问题。基于自适应增加幂次积分递推设计方 法,利用基神经网络的逼近特性,提出了一种自适应神经网络增加幂次积分动态面设计方法。在每个子系统中, 采用双极Ｓｉｇｍｏｉｄ函数设计期望虚拟控制律,保证了其可导性;引入一阶滤波器,避免了对期望虚拟控制律的微 分。仿真实例表明,所提控制方法能够保证闭环高阶非线性系统的状态量和跟踪误差半全局一致终结有界。     

高阶非线性时滞系统的神经网络动态面控制

针对一类具有未知时变时滞的不确定高阶非线性系统,基于增加幂次积分方法,提出了一种非光滑状态反馈自适应神经网络动态面控制设计方案。通过构造适当的Lyapunov Krasovskii泛函处理了未知时变时滞不确定项;通过利用神经网络权值范数的适当形式幂次函数,将神经网络用于对在单步递推中所构造的未知函数进行建模;采用动态面技术,解决了“微分爆炸”问题。所提控制方案能够保证闭环控制系统的状态量和跟踪误差半全局一致终结有界。最后,仿真算例结果表明了该方案的有效性。     

基于Extend的大型露天矿卡车调度系统仿真

在分析大型露天矿卡车调度系统的基础上，以Extend为平台，对露天矿卡车调度系统进行了动态仿真设计，提出了大型露天矿卡车调度系统仿真建模的新方法，具体描述了仿真建模的思路和过程。同时，提出了评价露天矿卡车调度系统的三个重要的性能指标并将其应用于系统仿真，仿真结果验证了仿真系统的合理性、正确性。     

军机仿真系统的系统设计与先进技术

该文归纳了现代军机飞行仿真训练系统的任务和特点，提出并分析了现代军机飞行仿真训练系统顶层设计重点关注的功能和要求，以一个全任务型军机仿真系统实例阐述了仿真系统的系统构成，提出并论述了一些关键系统的新技术。最后，对军机仿真软件进行了归纳和划分。     

大庆北油库管理站农业生产系统现代化建设研究

紧密结合北油库管理农业生产现状，提出了建立持续发展模式是北油库管理站，乃至整个农业现代化建设的方向，并具体提出了持续农业建设的基本原则。文中分析了北油库管理站农业生产系统现状，在系统科学指导下，综合运用生态学原理，工程技术措施，管理学方法，提出了该产系统现代化建设的具体对策。     

新能源分布式发电系统的能量互补控制研究

介绍了基于可再生能源的分布式发电系统的结构，并针对这套系统提出了能量互补控制原理，建立了系统的数学模型，为了改进系统的性能设计了矢量控制算法。在系统的风机模拟器和飞轮上的仿真与实验结果证明，提出的能量互补控制能够很好地调节储能单元存储和释放能量，因此能够保持分布式发电系统地稳定输出。     

一种系统复杂性演化混沌仿真模型

通过例证说明开放复杂巨系统的动力学一般特征，提出系统动力学特征中发现的十个共同复杂性现象。通过分析，建立了分形结构模式，系统的能量驱动模式，系统的混沌动力学模式。然后将这三个模式综合集成为系统复杂性演化过程的仿真模型，最后提出了复杂系统演化过程的“凸现控制论”，并且在此基础上，建立了具有自组织功能和集成功能的复杂系统演化过程研讨厅系统。     

基于干扰补偿的拦截弹新型反演姿态控制

针对同时具有未知干扰以及输入饱和与死区特性的大气层内拦截弹姿态控制系统,提出了一种基于干扰补偿的自适应动态面控制器设计方法。该方法通过设计改进的非线性干扰观测器(nonlinear disturbance observer, NDO)对未知干扰进行抑制,利用径向基函数(radial basis function,RBF)神经网络逼近输入饱和引起的非线性项,通过设计参数自适应律在线估计未知死区边界。通过构造合适的Lyapunov函数,证明闭环系统状态一致终结有界。仿真结果表明,所提方法鲁棒性良好,在输入非线性和未知干扰作用下,依然能良好地跟踪指令信号。     

区域水资源可持续利用系统整体论

从系统整体论出发，就区域水资源可持续利用系统要素进行了系统分析，论述了区域水资源可持续利用系统的内涵、特点、要素关联和系统整体观，提出了水资源可持续利用的系统整体方略。     

一种混沌系统的设计及混沌序列码的生成方法

提出了一种新型的混沌系统的设计方案，并将其应用在混沌序列码的生成中。首先，设计了一种简单的、容易实现的混沌系统，并给出了该混沌映射数学特性。然后，在计算机模拟实验的基础上，仔细地分析了该类混沌系统的统计特点，结果显示由该类系统产生的混沌序列具有良好的统计特性，最后，把设计的混沌系统应用于混沌序列码的生成中，计算机仿真实验结果表明该文提出的混沌系统确实安全可靠且容易实现，混沌序列码也具有良好的相关性。     

分解刚性大系统数值仿真并行算法

针对一类分解的刚性大系统，根据系统分割的思想，提出了组合ＲＫ－Ｒｏｓｅｎｂｒｏｃｋ方法，将方法分割和系统分割的思想相结合，构造了并行组合方法。对于提出的并行算法，比较系统地研究了算法的构造以及它们的收敛性和数值稳定性，并在微机和多处理机上进行了数值仿真试验。     

分布式实时仿真系统的实时性验证

实时仿真系统满足实时性要求是仿真结果可信的前提条件，要验证实时仿真系统的可信性首先要分析、验证实时仿真系统的实时性。由于分布式实时仿真系统组成复杂、类型多样，并且位置分散，其实时性分析更加复杂。重点分析了影响分布式实时仿真系统实时性的主要因素，提出了六个指标来分析其实时性，同时给出了各指标的定量计算模型，所提出的指标结合综合评估模型，可以判断具体系统是否满足实时性要求及满足实时性要求的程度。     

组合式复杂大系统优化的解耦方法

本文在分析了组合式复杂大系统特点的基础上，提出了这类系统求解的解耦方法，这一方法包含系统的分形，分形系统的求解和分形解的合成三部分，是这类系统求解的理想方法之一。     

生命系统复杂性与生命网络结构

根据人类基因组计划研究的最新成果，对人体系统复杂性进行了多因素变量分析。提出在生命系统研究中应当以系统思维方法作为指导。同时，对生命网络结构的形成和性质提出了进一步的认识。