模型检测中的偏序简化

随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本算法,介绍了其在LTL中的应用,提出了改进方法。     

嗜热纤维素分解菌分离和筛选

从温泉、堆肥等环境采集样品,以滤纸条为唯一碳源,用微晶纤维素粉和羧甲基纤维素钠(CMC-Na)-刚果红培养基进行分离和筛选出几株高温纤维素分解菌.进行测定这些菌株的Cx、滤纸酶活性试验,两种酶的作用温度相对较宽,Cx酶的最适酶活性温度约70℃,而滤纸酶活性的最适温度因菌株差异有所差异.     

大学生就业能力心理结构探析

大学生就业能力的培养是受到社会广泛关注的一个重要问题,本文在分析就业能力概念和内涵的基础上,阐述了就业能力的心理结构及其构成,从个人、高校和政府三个角度说明了这一研究的理论与现实意义。     

供应链风险传导的载体研究

供应链风险（SCR）传导及其载体可分成宏观载体和微观载体;显性载体和隐性载体等,其主要问题是风险传导的载体及传递的风险会导致供应链中断,因此,提出了供应链风险传导的共振效应,说明了载体在供应链风险传导过程具有重要地位,认为识别SCR传导的载体是供应链风险管理（SCRM）的基础。     

基于数据挖掘技术的故障诊断软件设计

根据航空蓄电池的日常维护状态数据特点提出了基于区分矩阵的决策树故障诊断算法,采用相应的数据预处理技术,使训练数据集有效地输入决策树生成诊断规则,进而进行故障诊断。选用VC6．0作为软件开发工具,并集合SQL2000,完成基于数据挖掘技术的故障诊断软件的开发。通过G-242型航空蓄电池日常维护数据验证了软件的有效性与通用性。     

数字化分析测试远程预约管理系统的设计与实现

依据国家计量认证体系规范,采用ASP和SQL Server设计开发了一个在线实验预约管理系统,实现了用户注册、远程预约、委托单查询、样品分发与流转、角色管理等功能.着重阐述了数据库的设计、注册与登录模块的实现,以及如何利用存储过程来实现角色分配岗位权限等功能.     

我国成人教育发展现状与展望

2008年11月29-30日“纪念成人教育改革发展30年大会暨2008年中国成人教育协会年会”在北京召开。本次会议以“成人教育改革开放30周年：成就、机遇、展望”为主题,全面总结了我国成人教育改革开放三十年来所取得的历史性成就,进一步明确了在新的历史起点我国成人教育的责任、使命与改革、创新的发展方向。中国成人教育协会会长朱新均同志围绕会议主题发表讲话,介绍了我国成人教育30年来发展的状况与未来成人教育发展的趋势。本刊将朱新均会长的讲话全文刊发,以期对工作在我国成人教育领域的各位同事有所帮助与启迪。     

蝴蝶定理的开放性问题教学探究

数学开放性问题教学能培养学生的创新能力.多媒体技术为数学开放性问题教学提供了传统教学无法实现的动态教学情境.本文结合蝴蝶定理数学案例,利用数学软件平台技术优势,多方位、多角度、多层次地探索了蝴蝶定理的开放性问题教学过程,展现了信息技术环境下开放性问题教学中教师的主导作用和学生的主体地位.     

使用修辞“打扮”你的作文

使用修辞是使作文语言出彩的最重要、最常用的方法。好的修辞能提高文章语言的品位,能引发读者的阅读兴趣,能给读者留下深刻的印象。好修辞是文章的闪光点,文章靠形象生动而感人．形象生动的方法之一就是使用修辞．使用修辞的地方就是文章出彩的地方。     

教学指向:高效阅读课堂的起点——兼评高俊老师执教的《在马克思墓前的讲话》

优化教学过程,提高课堂效率,是语文界近几年研讨的热点.报刊上各式各样的理论阐释和教学范式,各地开设的各种规格的研讨课、公开课,为这一问题的解决提供了一些思路,但均未找到从根本上解决语文课费时低效问题的突破口,更未能使语文课堂成为学生的乐园.