一类三分子饱和反应动力系统的定性分析

研究化学反应中一类多分子一级饱和反应的数学模型应用微分方程定性理论,研究了该系统极限环的存在性、不存在性和唯一性问题。     

介子跃迁形状因子的重夸克极限和1/m_Q修正

在BS理论框架下,对0~-→0~-和0~-→1~-(0~-和1~-分别代表赝标介子和矢量介子)跃迁的形状因子进行模型无关的分析.结果表明BS框架既能给出重夸克极限下的自旋—味对称性,又能给出重夸克有效理论关于1/m_Q修正的Luke定理及其它关系.     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

倒向随机微分方程在欧式期权中的应用

假设市场为无套利市场,而且市场上只有两种证券:一种是无风险债券;一种是有风险的股票。通过自筹资策略,得到期权价格所满足的倒向随机微分方程(BSDE),利用倒向随机微分方程给出欧式期权价格概率表示;并证明欧式期权的完全套期保值性。     

实特征根的切线法

本文通过分析非线性方程的切线解法，给出了实特征根的一种数值解法即实特征根的切线法，并用此方法进行了实例演算。     

基于Bayes理论的测试性数据融合评估技术

针对目前高可靠性产品测试性评估验证面临的样本量不足的问题,提出一种基于Bayes理论的内外场数据融合评估技术,并给出详细的内外场测试性数据收集方法及原则,利用某产品的试验数据对该方法进行了验证。该方法工程应用性强,可作为高可靠性产品测试性评估的依据。     

Numerical simulation of detonation of an explosive atmosphere of liquefied petroleum gas in a confined space

The detonation of an explosive atmosphere from liquefied petroleum gas disseminated in air in a confined space is studied using numerical modeling with software product ANSYS AUTODYN.     

深刻把握全面深化改革的总目标

党的十八届三中全会提出全面深化改革的总目标是：“完善和发展中国特色社会主义制度,推进国家治理体系和治理能力现代化。”这既是改革开放35年来历史经验的深刻总结,也是实现中华民族伟大复兴中国梦的基本保证,更是增强改革系统性、整体性、协同性的基本要求。     

马尔科夫对称离散信道级联信道容量研究

基于有限维的级联马尔科夫对称信道矩阵,其转移概率的极限一定存在,推导出当n足够大时,输出符号的概率分布不依赖于输入的概率分布,使得信道容量为零,信道阻塞。n为信道级联的上限。针对主对角元素概率值不同将信道矩阵划分为惰性信道和灵敏信道,并通过仿真分析得出信道的级联上限n与矩阵维数无关,与信道矩阵主对角元素呈正相关。