基于不确定控制理论的最优策略研究

本文在不确定理论的框架下,研究一类带背景状态变量的最优控制模型.在乐观值准则下,利用不确定动态规划的方法,证明了不确定最优性原则,得到最优性方程.作为应用,求解一个固定缴费(DC)型养老金的最优投资策略问题,在乐观值准则下,以工资变量为背景状态变量,建立养老金模型.通过求解不确定最优性方程得到最优投资策略和最优支付率.     

Sobolev-Lorentz范数约束下的次临界型Adams不等式

本文在Sobolev-Lorentz空间W²L^2,q(R⁴)的范数约束下得到了一个最佳的二阶次临界型Adams不等式.进一步,当次临界指标逼近最佳常数时,得到了Adams泛函的上、下界的估计.本文主要采用了Lam和Lu[A new approach to sharp MoserTrudinger and Adams type inequalities:a rearrangement-free argument,J.Diff Equ.,2013,255(3):298-325]的分割水平集方法.     

不对称催化合成2-[[3-{[3-氯-5-(三氟甲基)吡啶-2-基]-氧基}苯氧基](苯基)甲基]丙烯酸甲酯

以苯甲醛、丙烯酸甲酯、2,3-二氯-5-三氟甲基吡啶和间苯二酚为原料，分别合成了MBH乙酸酯（6）和取代苯酚（9）；在(DHQD)₂PHAL催化下，6和9经不对称反应立体选择性合成了2-【【3-{[3-氯-5-(三氟甲基)吡啶-2-基]-氧基}苯氧基】(苯基)甲基】丙烯酸甲酯，产率50%， ee 94%，其结构经¹H NMR， ¹³C NMR和HR-MS确证。     

逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.     

超声速流动中非线性EASM湍流模式应用研究

针对超声速复杂流动区域精确模拟的需要，发展了基于k-ω可压缩修正形式的非线性显式代数雷诺应力模式（EASM），提高了该模式对超声速复杂流动的数值模拟精度。通过对二维超声速凹槽和三维双椭球的数值计算表明，与SA和SST常规线性涡黏性湍流模式比较，非线性的EASM模式对大分离以及剪切层流动结构的刻画能力更精细，对剪切层再附区的压力及摩擦系数分布模拟更加精确；EASM模式能够准确地模拟二次激波引起的压强和热流分布情况。     

基于不确定理论的铁路货运需求预测

合理预测铁路货运需求是铁路管理部门建设、运营等决策基础。为应对铁路货运需求的复杂变化,基于Pearson相关性分析方法筛选出铁路货运需求的七个具有关键影响的因素,并结合不确定理论建立不确定多元线性回归模型,相应的铁路货运预测结果由传统单一值变成可能的需求区间范围,更加符合处于不确定环境下的铁路货运需求实际情况。选取国家统计局2004~2016年相关数据进实证研究,并与回归模型以及BP模型的预测结果对比分析,实验表明不确定多元线性回归的预测结果更加精确。     

铌酸锂电光调Q晶体漏光现象的研究

针对铌酸锂(LN)电光调Q开关性能一致性差、退压式调Q时无法完全关断光路的问题进行了系统研究.在闪光灯泵浦Nd:YAG激光系统中,对多块LN电光调Q开关的退压式电光调Q性能进行了对比测试,并从电光调Q理论出发,分析了光路无法关断的可能原因.在此基础上,利用X射线定向仪、锥光干涉法对各晶体的轴向偏差、光学均匀性进行了表征,首次发现了LN晶体的电光不均匀性,即感应主轴偏离理论上的45°方向、通光截面各处感应双折射不一致.通过对比实验,证实了电光不均匀性是造成光路无法关断、不同开关性能差异较大的主要原因.     

《数值流形法》序

得知郑宏教授的《数值流形法》即将脱稿,激动之情难以言表.我完全同意郑教授将流形法的特点归结为“升阶”和“切割”.受郑教授的委托,我愿在此将建立流形法的历程做一简单的回忆.其实早在1985年———也就是在我完成不连续变形分析法(DDA)之前,“升阶”在我心中已完全成熟.“升阶”似乎能取得一致收敛,弥补有限元只能按能量收敛的缺憾.我没有急于发表是因为一直没能想到令我满意的解决“不连续”的办法.起初曾想过在DDA块体上引入高阶多项式,或在块体上再划网格,也就是用分片多项式来提高DDA块体的变形精度.但我对这些方案都不甚满意,因为实际计算时多项式的阶数会受到限制,引入网格又会招致有限元既有的毛病——解的精度受控于网格质量.