Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

具有热储备的并行可修系统稳态解的最优控制

研究了具有热储备的并行可修复系统中,其稳定解的最优控制问题,并给出了其最优解的存在唯一性.     

例说建构递归关系证明不等式的模式

众所周知 ,因题而异证明不等式的方法甚多 ,本文旨在介绍一种证明不等式的新方法———建构递归关系法 .为简明见 ,本文举三个例题说明三种典型的建构递归关系证明不等式的模式 .1　建构递归关系模式Ⅰ例 1　在△ＡＢＣ中 ,试证 : ｓｉｎＡ≤332 .(其中和号 关于Ａ ,Ｂ ,Ｃ轮换 ,下同 )证　先证 ｓｉｎＡ≤ ｓｉｎπ -Ａ2 .事实上ｓｉｎＡ ｓｉｎＢ =2ｓｉｎＡ Ｂ2 ｃｏｓＡ -Ｂ2≤ 2ｓｉｎＡ Ｂ2=2ｓｉｎπ -Ｃ2 (1)同理 :ｓｉｎＢ ｓｉｎＣ≤ 2ｓｉｎπ -Ａ2 (2 )ｓｉｎＣ ｓｉｎＡ≤ 2ｓｉｎπ -Ｂ2 (3)由 (1) (2 ) (3)整理得 …     

传球问题的几种递归解法

转化是解决数学问题的基本方法．解题时，我们总是把待解决的问题。通过转化过程。归结到一类已经解决或者比较容易解决的问题，最终获得原问题之解答．转化目标一般是一个与原问题不同的问题。但也可以是规模更小的同一个问题。此即为递归法．     

递归数列与循环结构设计

算法最适宜处理一些重复性的工作，因此循环结构的频繁采用是其解题的一个重要的特点．然而在算法的三种基本结构中，循环结构最不易掌握，从而它成为中学算法教学的重难点．     

基于微分博弈的政企间流域生态补偿价值机制研究

分析地方政府和地方企业之间在流域生态补偿价值机制上的博弈结果.根据地方企业的二次型需求函数,构建地方政府与地方企业利润最大化的微分博弈模型,将问题转化为寻求最优动态策略的最优控制问题,并引入Halmilton函数来解决此Stackelberg微分对策问题.通过求解出地方企业生产量、地方政府税率与对污染治理的执行力度这三个控制变量的最优值,分析影子价格对三个控制变量的影响,解释其经济含义,并通过数值模拟,绘制出影子价格及三个控制变量的运动轨迹.研究表明:地方政府的税率和地方企业的产量与地方企业的影子价格具有一致的增减性,且地方政府的执行力度与地方企业的影子价格无关;地方政府的税率和执行力度与地方政府的影子价格的增减性是相反的,地方企业产量的单调性和地方政府的影子价格是相同的.     

NA样本的递归密度估计

设$\{X_n,n\geq 1\}$是一个严平稳的负相协的随机变量序列, 其概率密度函数为$f(x)$.本文讨论了$f(x)$的递归核估计量的联合渐近正态性.     

基于加速度反馈的上反稳瞄系统最优控制研究

针对某车载上反稳瞄系统中火炮瞄准线稳定精度0.2 mrad的要求,提出在惯性速率稳定闭环内增加高增益的加速度闭环校正,形成多闭环的控制回路,并通过ITAE(integral of time-weightde absolute error)最优控制对系统控制回路的PID参数进行整定。对上反稳瞄系统构成进行分析,对控制系统的负载、陀螺和无刷力矩电机等闭环回路进行建模仿真;利用ITAE最优控制器对多闭环控制系统的PID控制参数进行调节;对系统添加随机干扰和单位阶跃响应,测试其相关性能。测试结果表明:相比传统的调整PID参数和单速度环控制系统,基于加速度多闭环ITAE最优控制器可以使系统抗扰动性能提高约78%,超调量减小约23%,摇摆稳定精度提高约29%,可较好地满足上反稳瞄系统稳定性能的要求。     

一类带停时的奇异型随机控制问题的研究

以随机分析的知识和最优控制理论为基础,讨论了一类带停时的奇异型随机控制的折扣费用模型,在原模型的状态过程的基础上添加了漂移因子和扩散因子,并在λ＜δα的情况下讨论了该问题相应的变分方程的解,给出了此随机控制问题的最优策略,即最优控制和最优停时,并且证明了变分方程的解即为最优费用函数.     

与资本市场收益变动相关的最优再保险策略

本文在假定资本市场变动与保险公司资本收益变动存在相关性的情况下,研究了保险公司最优再保险策略问题.利用HJB-变分不等方程,获得了最优再保险策略和最小破产概率的显示表达式,推广了文献[3]的结果.