关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

模型势MCP应用于分子间相互作用的研究

使用模型势MCP计算了含重元素的氢键和vail der Waals相互作用体系的几何结构与结合能。结果表明,在MP2水平,应用MCP基组研究分子间相互作用时,可以使用Boys和Bernardi提出的均衡校正法进行基函数重叠误差（BSSE）校正;与同一水平的全电子基组相比,经BSSE校正后的结合能AEcP平均相对误差为5．2％,结果准确,但是BSSE普遍较大;使用MCP基组的计算时间远小于全电子基组,MCP方法的效率随原子的电子层数增加而提高。     

基于组合赋权云模型的阻力伞保障风险评估

针对阻力伞保障风险指标体系不完善、风险管理不系统的问题,通过工作分解结构(work breakdown structure, WBS)-资源分解结构(resource breakdown structure, RBS)法兼顾工作流程和风险要素,建立清晰完善的阻力伞保障风险指标体系。采用组合赋权法融合不确定层次分析法(analytic hierarchy process, AHP)-集对分析的主观权重和CRITIC法(criteria importance though intercriteria correlation)的客观权重实现对风险指标的合理赋权,建立基于云模型的风险评估模型确定风险等级,引入雷达图直观地展示和等级并进行风险分析。研究结果对于实施风险控制、提升保障效率和确保飞行安全具有重要意义。     

南海北部湾盆地迈陈凹陷构造演化与变形机制

利用海上地震、钻井资料,从关键控制因素——构造应力场及转变出发,运用构造几何学、运动学分析方法,重新分析北部湾盆地迈陈凹陷构造样式和断裂系统,探讨凹陷演化的动力学机制。研究表明迈陈凹陷经历了两期构造应力场的重要转变:①早渐新世,区域构造应力场由早期断陷NW-SE向伸展顺时针旋转为近S-N向伸展,凹陷区由简单伸展变形转变为斜向伸展变形;②中新世以来,凹陷由断拗转变为拗陷。根据构造应力场的转变,将迈陈凹陷新生代由早而晚划分为早期断陷、中期断拗过渡和晚期拗陷三个构造演化阶段。不同构造演化阶段的地层展示了构造样式和断裂体系的差异性与规律性,不同构造演化阶段控制了油气成藏要素及其配置条件,中期断拗过渡阶段的渐新统涠洲组具有最有利的油气成藏条件。     

基于结构方程模型的城市公园绿地适老性评价

城市公园绿地是承载老年人日常游憩的主要载体,度量其适老性影响因素对于提升公园品质具有重要意义。从老年人对城市公园绿地的使用感受出发,建立城市公园绿地适老性评价指标体系,并基于评价指标体系和问卷调查所获数据,采用结构方程模型法构建4个评价维度共14个影响因子变量的城市公园绿地适老性评价模型,定量分析影响城市公园适老性的主要因素和内在因果关系。结果表明,环境舒适性、环境安全性、空间可达性以及健康交互性四项潜变量对城市公园绿地适老性均存在正向相关性,其中环境舒适性对老年人游憩满意度影响最大;休憩设施完备度、无障碍设施配置度、夜间照明配置度、园路通畅性、活动场所丰富度等观测变量对其所属潜变量的作用更明显,是影响适老性的主要因素。根据研究结果提出提升城市公园绿地适老性设计策略,可为城市公园的适老化设计和改造提供参考。     

半休氏勒合金LiMgAs结构和热力学性质的第一性原理计算

本文利用基于密度泛函理论的第一原理方法研究了Half-Heusler合金LiMgAs的结构性质以及热力学性质.所计算的晶格常数、弹性模量以及弹性模量对压强的导数均与实验及其他理论值相吻合.本文还计算了α、β和γ三种相的LiMgAs声子频率,发现没有虚频的α-LiMgAs热力学结构稳定,其他两相均有虚频,不稳定.本文通过准谐德拜模型,研究并获得了不同温度0～1500 K和不同压强0～70 GPa下的热膨胀系数、热容、熵、德拜温度和Grüneisen参数.我们发现,热膨胀系数、热容、熵和Grüneisen参数随温度的增加而增加,随压强的增加而减小;而温度和压强对德拜温度和弹性模量的影响和对上面其他物理量的影响恰好相反.另外,当温度高于1000 K时,热容值变化很小,遵循Dulong-Petit定律.     

基于投影寻踪模型的我国国防科技工业科研创新能力实证研究

在有关成果数据库(2000~2006年)的基础上,运用投影寻踪模型分析我国国防科技工业的科研创新能力,结论认为:我国科技工业科研创新能力在最近这几年是逐年提高,进步显著;但与发达国家相比,我国国防科技工业自主创新能力还不够强,距离创新型国防科技工业还有较大的差距。     

关于Polya罐子模型的几个结论

在Polya罐子模型中,分别以Xn,Sn表示第n次抽球并放回后罐中的黑球比例数和在前n次抽球中抽到黑球的次数,得到了Sn/n的极限分布为贝塔分布以及E（Xn）等于E（X∞）,D（Xn）不等于D（X∞）等几个重要结论,并分别运用概率论知识和随机过程的鞅理论知识从不同角度证明结论.     

3G时代下成人教育教学管理新“网络”模型

成人教育已从最初的函授等传统教育方式逐步发展为依托现代计算机信息技术和网络技术的远程教育形式。随着终身教育的理念深入人心和国家大力发展现代远程教育的政策推出，一种更加自主化、个性化、l主动化、彻底打破空间时间限制的教育教学和管理方式越来越被社会所期待，这是一种全新的教学和管理“网络化”模式，而这里的“网络”则涵盖两方面意义：一是立体网络化的管理方式；二是高速宽带，3G无线网络时代下利用全新网络技术的管理和教学方式。文章以现有学校的教学管理模式和网络技术发展现状为出发点，阐述在已经到来的3G时代下，该新型网络模型的可行性及实际实践的两个方向。     

应用结构方程模型研究中药药性和药味间关系

应用结构方程模型研究了200味中药药性和药味间的相互关系.结果表明,五种药味间存在一定的相关性,其中关系最强位于甜味与酸味间,中药药性与五味也存在相关关系,分析表明甜味与酸味在较大程度上影响药性.