计算机分子模拟提高蛋白质热稳定性的研究

计算机分子模拟作为一种重要的研究手段在生物、医药、化学、材料、微电子等领域受到了广泛的关注.其不仅可以从分子水平研究系统的微观结构及其宏观性质,而且在某些极端条件下及实验设备非常昂贵时,能直接提供实验数据以供参考.文章以解淀粉芽孢杆菌核糖核酸酶Barnase为研究对象,研究其在高温下的结构特征和动力学行为,分析蛋白质体系内的相互作用,寻找提高该蛋白质热稳定性的因素.为研究提高蛋白质热稳定性提供了一种计算思路和方法,同时为设计新的能在高温下发挥作用的新型酶类提供理论依据.     

关于Van Der Corput不等式推广的进一步改进

运用数值计算和分析方法,将Van Der Corput不等式的推广做了进一步改进,建立了Van Der Corput不等式更强的推广式,它优于现有的相关结论.     

晓南煤矿通风系统仿真

为了解决晓南矿通风系统过于复杂,难以管理的问题,利用矿井通风仿真系统(MVSS)软件,构建了晓南煤矿通风仿真系统,针对晓南矿通风系统的复杂性,进行了分析研究。对不合理的巷道布置提出了改进方案,并通过计算机进行了仿真模拟,根据仿真结果的比较,确定了优化方案,并成功地进行了通风系统改造。模拟结果表明,仿真效果良好,全面提升了矿井的通风管理水平及决策能力,对矿井通风管理有较好的指导作用。     

一类时滞中立型系统的无记忆反馈H_∞控制

本文采用Lyapunov函数和LMI不等式方法,研究了一类输出方程亦带有不确定性的中立型时滞系统在控制律的作用下鲁棒H∞控制问题.     

变时滞非线性细胞神经网络稳定性分析

通过构造新的Lyapunov-Krasovskii泛函和线性矩阵不等式(linear matrix inequatity,LMI),研究变时滞非线性细胞神经网络渐近稳定性,利用牛顿-莱布尼兹公式,一些参数矩阵表达出系统变量之间的关系。从而得出一个具有变时滞相关的全局渐近稳定性判据,其扩展并改善了以前文献的结果。数值及仿真例子验证了结果的有效性。     

不等式证明的一些方法

不等式是研究数学问题的重要工具,它渗透在数学的各个部分,在高等数学中也有极其重要的应用。不等式的证明,方法灵活多样,它可以和很多内容结合。本文主要介绍了不等式证明中的四种方法:换元法、反证法、放缩法和构造法。     

GPS数据处理软件的比较研究

本文通过对目前国内GPS数据处理常用的三款软件TGO软件、华测Compass软件和南方GPS数据处理软件的比较研究,结合某工程实测数据,可以发现,在其他参数一定的情况下,高度截止角与数据采样频率的选择对数据处理结果的精度影响较大;在参数相同的情况下,TGO软件的处理精度高于华测Compass软件和南方GPS数据处理软件,但是华测Compass软件和南方GPS数据处理软件操作更加简单便捷,容易上手,在处理的过程中实现了完全可视化操作,对观测数据、基线及站点的检查和处理非常直观,对不同数据源数据的兼容性更好。     

Hilbert空间中伪单调变分不等式的严格可行性

文章在映射为全连续场和伪单调的情况下,运用拓扑度的同伦不变性,切除性等性质,证明了在Hilbret空间中变分不等式解的非空有界性等价于严格可行性,将已有的结果从有限维欧式空间推广到了无穷维的Hilbret空间中。     

Rough正项几何规划及其算法

在rough集合和rough凸集的基础上,提出了rough值集凸函数的概念,建立了rough正项几何规划的知识表示模型、数学模型.此外,研究了rough正项几何规划的数学模型,以及解决多反而少的"悖论"的rough 正项几何规划的算法,它可以化为一单项rough正项几何规划后再化为一个rough线性规划来求解.最后,通...     

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

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