基于PDS的IKE安全协议形式化分析

介绍了支持复杂协议形式化并行推导的PDS协议衍生推导系统和IKE协议.给出了使用PDS形式化衍生IKE协议的核心认证部分的方法.     

"以人为本"体育教育观的内涵探讨

在我国体育教育改革过程中,"以人为本"的教育思想正在广泛地深入到体育教育改革的各项实践."以人为本"体育教育观不仅强调发挥人的作用,同时还重视人的全面发展,以促进人的主体性的发挥和成长为根本.只有全面理解"以人为本"体育教育观的内涵,才能在体育教育实践中很好地贯彻这一教育思想,使体育在塑造人的过程中发挥重要作用.     

谈数学方法论在高等数学教学中的应用

利用数学方法论中的若干方法和思想指导高等数学教学,增强了学生的学习兴趣,发展了学生的思维能力。     

城市供水管网连通性分析研究

结合图论中的遍历理论,给出了供水管网连通性分析和实现方法,并应用到管网模型拓扑结构检查中去,通过实例证明,该方法大大提高了建立准确的管网拓扑结构的工作效率.     

高层建筑空调系统与防排烟系统兼用模拟研究

利用计算流体力学软件,以某高层建筑的标准层为研究对象,分别模拟发生火灾后空调系统停止运行和空调系统转变为防排烟系统时火灾的发展情况.不同情况下火灾烟气的温度、浓度分析表明,兼用系统有利于火灾后人员疏散.从理论上证明了空调系统与防排烟系统兼用是可行的,为兼用系统的设计提供了依据.     

加筋间距对加筋挡土墙工作性态的影响

在应用有限差分软件FLAC3D对某工程实例挡土墙成功模拟的基础上,通过改变加筋间距,分析其对挡土墙工作性态的影响.结果表明,挡土墙面板侧向位移及加筋层拉应力随着加筋间距的减小而减小.与极限平衡原理分析的结果比较表明,采用FLAC3D数值模拟能更加精确合理地分析不同的加筋间距对挡土墙稳定性的影响.     

不动产所有权非法律行为取得方式探究

确定物的归属是物权法的根本所在，而对于政治经济意义重大的不动产来讲，确定其权属就更为重要。目前，学界对于不动产的取得，都采取法律行为取得为一般方式，对不动产适用非法律行为取得则众说纷纭。对不动产非法律行为取得方式中先占、时效、附合、善意取得等，虽尚存争议，但有一定的积极意义。     

如何选择最有效的体育教学模式

目前，我国关于体育教学模式的研究，存在概念理解上分歧多于共识、选择运用的条件范围界定不明晰、实践操作层面上有效性选择的理论依据模糊、一般性方法步骤不确定等问题．针对这些问题，界定了体育教学模式的概念、属性及构成要素，初步确立了选择最有效的体育教学模式的理论依据和一般性方法、步骤．     

文山师专教师科研成果分布的实证研究

采用文献统计和抽样调查的方法,对2000年度到2003年文山师范高等学校科研成果的年代与系(室)分布、成果源分布以及作者类型和频率分布进行了较为全面的统计与分析,揭示了相关成果的分布特征和在成果源的集中与离散规律。     

具有广义B-凸函数的非光滑多目标规划的鞍点理论

本文在已提出的一类连通B-凸函数,以及连通B-伪凸和连通B-拟凸函数的基础上,得到了这类非光滑多目标规划的几个向量鞍点结论.