鞅逼近与预解式表示收敛的几个定理

通过引入平稳遍历Markov过程的鞅逼近和S_t(f)的预解式表示, 给出并证明了S_t(f)存在鞅逼近当且仅当预解式表示收敛, 对于Markov链有相应的公式化结果. 表明通过预解式构造平稳遍历Markov过程加性泛函的鞅逼近方法在此意义下具有普遍性.     

跳变时滞随机系统的鲁棒保性能控制

研究了马尔可夫跳变参数时滞随机系统的鲁棒保性能控制问题。通过构造一个Lyapunov函数,并应用Ito微分公式沿系统对其求微分,再利用线性矩阵不等式(LMI)的性质和广义Ito公式,给出了此类系统保性能控制律存在的充分条件,估计了其保性能值,同时,控制器的设计归结为一族LMI的求解问题。最后,数值算例说明了方法的有效性。     

机群出动能力的Markov模型

以往在评估武器装备的效能时,只注重其基本性能和作战能力,而忽视了包括出动能力在内的可用性指标,而作战仿真中这类指标往往是决定仿真真实性的关键。建立了有备份飞机条件下机群出动能力的Markov模型。根据故障率和所需出动飞机的数量,确定了备份飞机数量和维修组数,所模拟得到的数据曲线符合实际情况,可应用于陆基或舰基机群出动能力的评估和分析,其分析方法对优化飞机装备配备和保障资源配置具有重要意义。     

基于词二元接续的中文文本自动查错研究

运用语料库语言统计方法对中文文中自动查错的有关问题进行探讨，运用词二元接续关系进行查错，主要依据词二元同现概率，互信息，t-测试差，其中，t-测试差是首次被应用于查错。     

基于HMM语音合成的语调控制

语调是语音分析和合成领域关注的重要课题,可计算的语调模型是实现语调控制的关键。该文分析了大规模语句的音节音高在句子中的变化,归纳了语调模式。陈述语调主要表现为基调的升降和音高下倾;疑问语调主要特点是疑问焦点的音高提升和调型变化。该文提出了一种陈述语调归一化描述方法,以及疑问语调调型差异模型。利用基于隐Markov模型的语音合成系统的控制机制,实现了对语调的控制。实验表明:基于陈述句语调归一化描述方法模拟了陈述句语调的变化,基于疑问语调调型差异模型实现了陈述到疑问语调的转换。语调控制使合成语音的表现力得到了提高。     

关于\,$\vec g$\,-期望的几个不等式

运用倒向随机微分方程与\,$g$\,-期望的相关性质,
证明了关于\,$g$\,-期望的
\,Markov\,不等式、Chebyshev\,不等式和\,Cantelli\,不等式.     

具有受限转移率的跳变系统L2-L∞模糊控制

讨论了一类含不确定转移率的非线性Markov跳变系统的L2-L∞模糊控制问题。系统模态间转移概率所包含的不确定性是未知且有界的。通过Takagi Sugeno模型模糊建模，获取了整个闭环模糊动态方程。基于L2-L∞模糊控制理论，提出了使得系统随机稳定且满足一定输入输出L2-L∞特性的模态依赖的模糊控制器存在条件。利用构造的Lyapunov Krasovskii函数，结合线性矩阵不等式技术，给出了鲁棒L2-L∞模糊控制器的设计方法，并将其设计转化为一个优化问题。仿真示例说明了设计方法的有效性。     

Receding horizon H∞ control for discrete-time Markovian jump linear systems

Receding horizon H∞ control scheme which can deal with both the H∞ disturbance attenuation and mean square stability is proposed for a class of discrete-time Markovian jump linear systems when minimizing a given quadratic performance criteria. First, a control law is established for jump systems based on pontryagin’s minimum principle and it can be constructed through numerical solution of iterative equations. The aim of this control strategy is to obtain an optimal control which can minimize the cost function under the worst disturbance at every sampling time. Due to the difficulty of the assurance of stability, then the above mentioned approach is improved by determining terminal weighting matrix which satisfies cost monotonicity condition. The control move which is calculated by using this type of terminal weighting matrix as boundary condition naturally guarantees the mean square stability of the closed-loop system. A sufficient condition for the existence of the terminal weighting matrix is presented in linear matrix inequality (LMI) form which can be solved efficiently by available software toolbox. Finally, a numerical example is given to illustrate the feasibility and effectiveness of the proposed method.     

线性连续回归模型基于Chebyshev多项式逼近的Markov参数估计

文中先提出了基于Ｃｈｅｂｙｓｈｅｖ多项式逼近，有连续Ｗｉｅｎｅｒ过程扰动的线性连续回归模型最小二乘参数估计算法，然后讨论了Ｗｉｅｎｅｒ过程的Ｃｈｅｂｙｓｂｅｖ多项式逼近值的相关性，在此基础上，提出了能获得参数估计误差方差为最小的Ｍａｒｋｏｖ参数估计（最小方基估计）算法。文中还将所提出的估计方法推广至控制领域中所讨论的随机连续动态系统的参数估计中，计算机仿真结果显示了本文方法的有效性。     

Some Results about the Sample Path Properties of Markov Processes with Independent Self-Similar Components

This paper considers a special class of operator self-similar processes Markov processes {X（t）, t≥0} with independent self-similar components, that is, X （ t ） =（X^1（t）,…,X^d（t））, where {X^i（t）,t≥0}, i=1,2,…,d are d independent real valued self-similar Markov processes. By means of Brel-Cantelli lemma, we give two results about asymptotic property as t→∞ of sample paths for two special classes of Markov processes with independent self-similar components.