关于机器证明

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

模型势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)的客观权重实现对风险指标的合理赋权,建立基于云模型的风险评估模型确定风险等级,引入雷达图直观地展示和等级并进行风险分析。研究结果对于实施风险控制、提升保障效率和确保飞行安全具有重要意义。     

基于改进LGDF模型的超声图像自动分割方法

基于局部高斯分布拟合能量(LGDF)模型的图像分割方法,对初始轮廓选取及参数选择较敏感.如果初始轮廓手动选取不当会由于陷入局部极小值而导致分割失败,且分割速度较慢.针对以上不足,提出了一种改进的LGDF模型的超声图像自动分割方法.该方法的正则化项由具有双极值点的势函数构成,在水平集函数进化过程中,可以避免由单极值点势函数造成的水平集函数震荡和扭曲,从而加快了收敛;另外,将局部熵阈值分割的结果作为LGDF模型的初始轮廓,接近真实轮廓,可以克服手动选取初始轮廓的影响.实验结果表明,该方法能自动获取合适的超声图像初始轮廓,并得到较好的分割结果,同时大大提高了分割速度.     

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

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

TGS单晶电畴运动的微分回线谱分析

微分电滞回线谱方法可分出铁电体中漏电导、非铁电性电容的影响而得到纯铁电机构运动的信息.采用该方法对硫酸三甘肽(TGS)单晶进行研究,确认单晶铁电畴的生长速度与外加电压的峰值大小和周期都密切相关.要想得到给定样品的完整电滞回线,外加电压需大于样品的矫顽电压,信号频率应尽可能小.否则,根据不完整电滞回线得到的极化强度、矫顽场等信息是错误的.对于厚度为0.50mm的TGS样品,频率需小于10Hz,电场峰值需大于1.2kV/cm,比矫顽场大30%.     

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

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

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

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

Side-lobeless far-field spectrum of a short pulse from a circular aperture with Gaussian form of transmittance

The spectrum change of a Gaussian pulse in the far field is studied with the Fresnel diffraction integral when it is incident on an aperture with Gaussian form transmittance. It is found that the side-lobes of the diffracted spectral intensity, which exist in a normal circular aperture with unit transmittance, can be eliminated completely under such a condition. Also, the red shift and blue shift of the spectral intensity maximum of the incident pulse are presented.     

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

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