线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

云南景谷盆地及陇川盆地新生代生物群特征及环境地质意义

通过对云南景谷盆地及陇川盆地新生代生物群特征的对比,探讨了新生代两大盆地环境演变:早中新世到上新世为湖盆发展期→湖盆扩大→萎缩期,气候为早期的干燥→中新世早期的温暖湿润→中新世中晚期的寒冷阴湿→上新世的干燥,而中新世中晚期湖盆的扩大形成的半深湖-深湖环境为油气的形成提供了有利条件。尽管两大盆地在沉积环境的演化上大体一致,但气候和沉积环境的演变和差异决定了两大断陷盆地生物面貌上的差异,从而直接控制了化石燃料形成的类型和质量     

冬虫夏草菌及其茵丝体的研究进展

着重介绍了冬虫夏草茵的分离、液体发酵培养以及药理研究,为今后虫草茵及其发酵菌丝体的研究奠定了良好的基础.     

层次分析——灰色关联法在软件交互界面评价中的应用

软件交互界面是人机交互系统的重要组成部分,采用层次分析和灰色关联相结合的方法,从人机工程学的角度出发,建立了软件交互界面的层次分析-灰色关联评价体系,对软件交互界面方案做了定量分析并确定了最优方案.     

构建和谐社会中的单位组织制度建构

制度对单位及和谐社会建构更具有根本性。在党的领导下，发展各种单位及社会组织，把公民组织起来，是我国构建和谐社会的一条重要的路径。构建和谐单位组织与制度，要着力落实并突出坚持以人为本、人尽其才、科学发展、规范秩序、诚信友爱、廉洁安全、遵纪守法，公平正义等方面。     

基于编号IP ACL的访问控制的实现

访问控制是网络安全防范和保护的主要策略,它的主要任务是保证网络资源不被非法使用和访问.本文通过ACL的原理、分类及配置使用,来阐述如何在网络中配置一个合适的编号IP ACL实现访问控制,加强网络管理.     

《有机化学实验》中合成与制备实验教学方法的探讨

提出了改进有机化学实验中合成与制备实验教学的思路和方法。明确了在教学过程中建立有机合成反应研究基本思路的必要性。尝试“讨论释疑、技能训练、自我小结”的课堂教学法 ,重视思维训练 ,培养和提高学生独立工作的能力     

商业步行街的比较研究——以昆明市南屏街与东寺街为例

运用分析比较的方法，从街道空间、沿街建筑、步行街节点、景观环境设施四个方面，比较分析了昆明市的南屏街与东寺街两条历史老街在改建成商业步行街后的不同发展的原因，为此类设计提供参考。     

一种岩石损伤流变模型及数值分析

根据石膏角砾岩的蠕变特性，建立石膏角砾岩的损伤流变模型；推导有限元计算中黏弹塑性损伤流变模型黏性应变的计算公式，结合初应变法的基本原理，分析模型的有限元求解过程；用MATLAB编制了损伤流变模型的平面应变有限元计算程序。利用编制的程序对石膏角砾岩蠕变试验进行有限元分析，有限元计算结果与蠕变试验结果吻合得较好，表明采用统计损伤理论研究岩石的非线性流变是可行、有效的。     

非木质生物质资源绿色高效转化合成生物基材料的研究进展

介绍了国内外非木质生物质资源转化合成生物基材料的技术现状,新技术的开发和产品应用,其中重点介绍了非木质生物质资源水解转化的方法和技术瓶颈.并对其在非木质生物质中的研究和应用前景作了展望.