交互式马尔科夫链上弱模拟关系的计算

对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.     

强旋湍流气相燃烧数值模拟

对液排渣立式旋风炉前置室的流场进行了数值模拟，建立了前置室内三维气相燃烧流场的数学模型，计算采用ＳＩＭＰＬＥ算法，其中湍流计算采用有旋流修正的ｋ－ε模型，气相燃烧采用ＥＢＵ－Ａｒｒｈｅｎｉｕｓ模型。计算结果证明，该模型在求解强旋湍流有回流的气相燃烧注场是可行的。     

交互式自行车模拟器系统关键技术

交互式自行车模拟器集计算机、机械与多媒体等技术为一体,提供了一种新型的交互式娱乐工具。在分析交互式自行车模拟器系统总体结构的基础上,介绍了各子系统（实时自行车动力学模型、视觉／听觉系统和运动生成系统）、体感模拟算法以及力反馈系统的关键技术,并讨论了整个系统的集成。     

基于模糊推理的改进的交互式多模型算法

为了提高交互式多模型算法的跟踪精度,提出一种利用模糊推理对交互式多模型算法进行优化的方法,以模型概率为输入,输出值为模型系统噪声协方差的系数,通过该系数来调节模型系统噪声协方差以减少误差;以基于卡尔曼滤波器的交互式多模型滤波器的应用为例,分别对交互式多模型算法在模型匹配和不匹配的情况进行实验分析,并对改进前、后的交互式多模型算法进行比较。结果表明,基于模糊推理的改进的交互式多模型算法能取得更好的跟踪效果。     

考贝式热风炉拱顶空间烟气分布的数值模拟

应用大型商用计算流体力学软件CFX4.3,选用k-?湍流模型和SIMPLE算法对新钢1200m3高炉考贝式热风炉拱顶空间内烟气分布进行了数值模拟计算. 模拟结果表明:悬链线形拱顶比半球形拱顶的烟气分布均匀;在一定范围内,随着悬链线形拱顶高度的增加,在蓄热室横截面上的烟气分布趋于一定程度的均匀.     

一类隐非齐次马尔可夫模型的强极限定理

在假定隐藏的马氏链为非齐次且从隐藏链到观测链的转移矩阵列也与时刻n有关的情况下,对一类在发音过程中常用的隐马尔可夫模型进行研究.这类模型的主要特点是观测链不仅受当前状态的影响还与上一时刻的状态有关.先给出了该模型的强极限定律,然后得出了状态出现频率的强极根定理.     

嵌段共聚高分子系统微观相变的Monte Carlo模拟

对高浓度高分子系统的Ｍｏｎｔｅ Ｃａｒｌｏ模拟算法和高分子链的微松弛模式进行了分析比较,采用键长涨落模型空穴扩散法对无热高分子系统的平均末端距和对称共聚高分子系统的微观相结构进行了模拟,发现支除或保留中间链节蛇行运动,得到的模拟结果有一定的差别支除该运动模式得到的平均末端距、标度指数及共聚高分子系统的微观层状结构的层间距要比保留该运动模式的大,表明中间链节的蛇行运动会导致高分子链的过分收缩。     

基于多传感器信息融合理论的交互式多模型算法

在经典的交互式多模型算法中,对似然函数的高斯近似以及概率密度函数与概率质量函数的混合计算使得所求得的模型概率仅为贝叶斯意义下的次优值.为解决此问题,基于各滤波器估计误差的相关性和多传感器最优信息融合准则,提出了一种重新加权的交互式多模型算法.该算法通过计算估计误差的互协方差阵对模型概率进行更新,在此基础上利用最优信息融合理论对各滤波器的滤波结果进行融合.理论分析及仿真结果表明:经过重新加权的交互式多模型算法较原始算法以及其他忽略误差相关性的交互式多模型的改进算法在估计精度上均有显著的提高.     

扭转精度对扭杆弹簧强扭工艺的影响

为了研究扭杆弹簧扭转精度对其强扭过程的影响,利用弹塑性理论对扭杆弹簧强扭过程进行了理论探讨,获得扭杆弹簧在屈服与塑性强扭工况下的断面应力、扭矩及残余应力等变化的数学模型.应用ABAQUS有限元软件对不同型号、强扭工况的扭杆弹簧进行数值模拟,分析了扭转精度对扭杆弹簧强扭效果的影响.结果表明,在强扭工艺允许范围内,扭转误差对扭杆弹簧强扭效果影响不超过5%.试验结果不仅验证了有限元模型的正确性,也得出扭杆弹簧强扭误差在不超过±1°工况下的强扭效果可近似等同的结论,此研究为扭杆弹簧强扭工艺的完善提供理论依据.     

分布式TOPKAPI模型的数值解法及其应用

为了提高分布式TOPKAPI模型的计算精度,用数值分析的方法对模型非线性水库方程进行求解.通过分析得出非线性水库方程的一般格式,运用四阶龙格库塔算法建立求解数值解的递推关系式,并且通过变步长链提高算法的效率,保证递推关系式的收敛和稳定.利用变步长的四阶龙格库塔算法在1 km网格精度下对布柳河流域进行洪水模拟,模型率定期和检验期的确定性系数分别达到了0.908和0.912.     

随机进程代数IMCs的性能评价

将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.     

一种有唯一弱解而无强解的倒向随机微分方程

引入了倒向随机微分方程(BSDE)弱解的概念,对倒向随机微分方程的一个Tsirelson类型的例子作了改进,给出了一个有唯一弱解而无任何强解的倒向随机微分方程的例子.     

求解随机微分方程的欧拉法的收敛性

对于求解随机微分方程的数值方法，给出了衡量其有效性的标准之一即强收敛性．证明了欧拉法用于求解标量自治随机微分方程时，在方程的偏移系数和扩散系数均满足线性增长条件和全局李普希兹条件的情形下，当噪声为增加噪声和附加噪声时，欧拉法的收敛阶分别为0．5和1．0．     

局部平方可积强鞅的随机积分

基于停线局部平方可积强鞅随机积分的定义, 研究局部平方可积强鞅随机积分的性质, 得到了局部平方可积强鞅随机积分具有停止性等结果.     

一 种 基 于 停 线 的 随 机 积 分

基于停线局部平方可积强鞅二次变差的性质, 定义了可料过程关于局部平方可积强鞅的随机积分, 并得到这种随机积分具有局部平方可积强鞅的遗传性等结果, 推广了Cairoli和Walsh的结果.     

时滞中立型线性随机大系统的渐近稳定性

讨论了时滞中立型线性随机系统平凡解的几乎渐近稳定性，并推广到时滞中立型线性随机大系统的几乎渐近稳定性，首次给出了中立型随机大系统渐近稳定性的代数判据，并用实例加以验证．     

由高斯移动平均过程驱动的一类随机微分方程的极大似然估计

在高斯移动平均过程是半鞅情况下,研究由其驱动的随机微分方程的极大似然估计获得了渐近一致的估计,并证明了该估计量的强相容性和渐近正态性,从而推广了经典情形下的相应结果.     

随机适应序列部分和的强极限定理

利用Doob鞅收敛定理,研究随机适应序列部分和的强极限性质,得到了一类强极限定理和强大数定律.     

随机梯度算法的收敛性分析

虽然随机梯度算法的计算量比最小二乘法要小得多,但是它的收敛速度很慢。为了提高随机梯度算法的收敛速度和参数估计精度,提出了遗忘梯度算法,它不仅具有较快的收敛速度,而且具有跟踪时变参数的能力。随机梯度算法的收敛性证明是辨识领域的一个研究难题,文章运用鞅收敛定理分析了它的收敛性,结果表明随机梯度算法给出的参数估计误差一致有界,在强持续激励条件下参数估计误差一致收敛于零。数字仿真表明提出的方法是有效的。     

两指标局部强鞅随机积分的若干性质

在研究两指标局部强鞅二次变差性质的基础上,给出了两指标局部强鞅随机积分的一些性质及其控制收敛定理．