用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统有在关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

考虑事件并发下离散事件系统的状态反馈控制研究

离散事件系统的形式语言／自动机逻辑控制理论包括：监控和状态反馈控制两种形式。作者在文献「１」中讨论了考虑事件并发下离散事件系统的形式语言／自动机描述以及逻辑监拧问题。作者在本文讨论了考虑子过程间事件并发下离散事件系统的状态反馈控制问题。     

考虑事件并发下离散事件系统的监控研究

Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ所提出的基于形式语言／自动机的逻辑监控理论中，对于多个子过程组成的复杂离散事件问题，采用Ｓｃｈｕｆｆｌｅ积得到整个系统的积系统模型描述，其中排除了各子过程之间事件的同时发生，即未考虑并发非确定性，然而，从原理上及工程有度来说，在任何子过程之间的事件都可以且可能同时发生（并发）。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

线性切换系统一致能控性和能观性的充要条件

研究线性切换系统的一致能控、能观和能达性.首先给出轨道算子、一致能控状态集和一致能达状态集的概念，然后利用轨道算子、一致能控和一致能达状态集，分别给出了线性切换系统的一致能控、能达和能观性的充要条件.证明了线性切换系统一致完全能控、能达或能观的充要条件是，每一个子系统都是能控、能达或能观的.     

线性切换系统一致能控性和能观性的充要条件

研究线性切换系统的一致能控、能观和能达性．首先给出轨道算子、一致能控状态集和一致能达状态集的概念，然后利用轨道算子、一致能控和一致能达状态集，分别给出了线性切换系统的一致能控、能达和能观性的充要条件．证明了线性切换系统一致完全能控、能达或能观的充要条件是，每一个子系统都是能控、能达或能观的．     

语言磨蚀定义研究

作为应用语言学的一个分支,语言磨蚀引起了众多研究者的关注,但是目前还没有一个公认的语言磨蚀定义。在前人研究的基础上对语言磨蚀现象进行分析,将其定义为：语言磨蚀是某种语言（第一语言、第二语言或外语）在特定的语言环境中（第一语言环境、第二语言环境或外语环境）受该语言的语言因素（词汇、词素、句法等）或非语言因素（情感、动机、语言使用的减少或停止等）影响而出现的言语行为或言语能力的衰减现象,具有非病理性、渐变性、可逆性和反复性等特征。并在此定义基础上构建了语言磨蚀模式图。     

基于概率约束的DMC预测控制算法研究

动态矩阵控制（DMC）是模型预测控制（Model Predictive Control）的典型算法，能有效处理系统输入输出约束和抑制随机干扰。对于存在约束的线性稳定系统，该文将条件均值和状态估计误差协方差引入系统的约束表达式中，通过高斯近似把概率约束指标转换为确定性线性约束，建立科学的有约束DMC预测控制系统，使被控对象能够更好地满足约束：这种方法简单，易于实现，Matlab进行仿真结果证明了其可行性与优越性：     

离散时滞线性凸多面体系统族的鲁棒正不变集

动态系统的状态约束和控制约束等问题可归结为状态空问中某些集合的正不变性,这样系统族的线性状态约束问题为研究系统族的动态行为提供了一条新的途径．本文利用混合单调分解方法来研究离散时滞线性凸多面体系统族的线性状态约束集合的鲁棒正不变性．对由矩阵凸多面体和区间扰动所描述的离散时滞线性时变系统族,得到了鲁棒正不变集的充分必要条件,并给出了证明以及两个推论．且这些条件均由系统族的两个顶点描述,易于检验．     

VHDL语言在PLD编程中的应用

可编程逻辑器件（PLD）可实现很复杂的数字系统。VHDL语言能方便地进行数字系统描述，而且能使逻辑综合产生更大的设计密度。介绍了VHDL语言的程序结构、描述方式、特点，提出用VHDL语言设计PLD的流程。应用实例说明了利用VHDL语言可大大降低复杂PLD系统设计的难度，提高工作效率。     

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（ＤＥＤＳ）的自动机模型，用极大和极小代数时状态转移时间，在某一范围内变化时的有关问题进行了分析。     

线性离散时滞系统的快速有限时域预测控制

针对一类输入受限的线性离散时滞系统,提出一种在线求解局部控制器的有限时域预测控制方法,使得系统的吸引域扩大,而且在终端约束集内控制器基于记忆状态反馈,这样能保证系统状态平稳、快速的趋向原点。最后采用线性矩阵不等式（LMI）方法给出了主要结果,并且仿真验证了该方法的有效性。     

一种分阶段复合的语义复杂事件检测机制

复杂事件处理（CEP）是目前用于事件流处理的最佳技术,为进一步提高CEP的检测能力,检出具有更高语义抽象层次的复杂事件.本文对现存的两类检测机制进行了有效融合,利用非逻辑检测机制对原子简单事件序列时序状态进行匹配,产生具有语义的事件,而后利用逻辑检测机制推理出含有高级概念含义的复杂事件.同时给出了能够实现该机制的系统结构模型,能够进行事件模式定义的类（Structured Query Language,SQL）声明式检测语言,以及系统各组成模块所采用的关键技术.最后针对天气预测场景的仿真实验结果表明,该方法能够实时高效的检测出语义目标事件,具有一定的可行性.     

离散事件动态系统仿真优化方法综述

仿真优化方法是离散事件动态系统研究的一种有效工具．对离散事件动态系统研究的仿真优化方法的最新进展进行了综述．根据仿真输入参数，分为连续参数方法和离散参数方法两种进行讨论．     

智能神经网络程序设计语言中规则的指称语义

智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义,从而建立了NIPL中逻辑规则的数学模型,为使用该语言来方便地建立智能神经网络应用系统奠定了基础。     

离散半无限规划的一个超线性收敛的SQP算法

讨论离散半无限规划问题,结合更新离散指标集的技术,提出一种新的可行序列二次规划(FSQP)算法求解由半无限规划(SIP)转化到离散半无限(DSI)问题,使得可行下降方向仅通过求解一个QP子问题可获得,为克服马太效应,高阶校正通过求解带有包含某个约束集的线性方程组所得.在适当的条件下,证明了算法的全局收敛性和超线性收敛性.     

用TurboC语言开发CSSW软件包

介绍用ＴｒｕｂｏＣ语言开发的计算机仿真软件包（ＣＳＳＷ）的功能与特点．该软件采用模块式结构，能自动适配ＥＣＡ，ＶＧＡ及ＣＧＡ等图形卡，能选择多种算法对各种线性和非线性系统面向方程或面向结构图仿真，能用多种方法进行控制系统的校正设计，能自动绘制形式多样的仿真曲线图，文章说细介绍了软件脱离ＴｕｒｂｏＣ２．０的ＢＧＩ图形系统，直接在ＤＯＳ系统下运行的编程处理．     

事件指示空间的认知机制及语言形式

用某个空间发生的事件来指示该空间是一种常见的语言表达方式,因为事件都是在空间里展开的,事件指示空间属于凸显特征记忆,符合转喻认知＂接近即同一＂的原则。事件指示空间的语言表现形式可以分为三个阶段：第一是描述式阶段,表现为＂事件（作定语）＋中心语＂语言模式;第二是黏合式阶段,表现为＂事件（作专名）＋通名＂语言模式;第三是转喻式阶段,表现为事件直接作地名模式。     

子偏序集拟阵

文中利用偏序集理论将拟阵理论研究中扮演重要角色的“子”运算（截短、延长、约束和收敛）引入新理论中，并首次提出了偏序集拟阵连通的概念。此外，利用“子”运算给出了判定偏序集拟阵是否连通的方法；讨论了偏序集拟阵与另一种常见拟阵理论的推广－广义拟阵的关系，特别讨论了偏序集拟阵与反拟阵的关系。为深入探讨偏序集理论提供了一种新思路。     

不记集汉语字（词）Markov语言模型的建立

给出了一种基于快速排序和归并排序的高阶汉语大标记集Ｍａｒｋｏｖ统计语言模型的统计算法，并对算法的时间复杂性和空间复杂性进行了分析，依据这种统计算法，设计实现了一个汉语字（词）统计统计系统，通过对上千万字的汉语语料的统计，建立起了汉了（词）一元，二元和三元Ｍａｒｋｏｖ模型，并对统计结果进行了分析。