新时期高校教学管理人员的素质初探

现代社会的飞速发展对我国高校教学管理水平提出了新的要求,本文在分析了高校教学管理人员应具备的素质和目前所存在的问题后,对新时期如何提高高校教学管理人员的素质进行了初探。     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

浅析高校英语专业本科教学评估对教师的要求

为了加强对高校英语专业教学的宏观管理和质量监督，教育部将正式开始对全国高校英语专业本科教学水平施行标准化评估。本文主要从评估的重要性、评估的标准以及评估对教师的要求几点进行分析，从而探讨教师在高校外语专业本科教学评估中应具备的素质。     

管理人员和投资人应该了解知识产权：知识产权的评估、保护及利用指南

知识产权（IP，Intelligence Property）是在知识实现的过程中确立的权力，例如在写作、艺术、音乐及发明的过程中，IP是由法律创造的所有权的捍卫者，它是由政府专业行政部门自动授与或者判决的。尽管它是无形的，但IP和银行户头及国籍一样是实实在在的。只有那些属于一定范畴的智力表现方式才受到保护，允许所有者防范未经授权的使用。而其他不属于独创的东西是不能受到保护的，它们是属于公共的。     

英语课堂形成性评估实践研究

介绍了形成性评估的概念以及形成性评估产生的背景,探讨了评估学生的方式并对各种评估方式进行了比较,从我国的大学英语教学实际出发,提出了一些具体的课堂评估实践内容,指出形成性评估模式的应用对于学生学习成绩的提高产生了一定的积极作用。     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

贯彻科学发展观，确保高校可持续发展——获得人才培养水平评估优异成绩的思考

对于任何一所高等院校来说，国家的每一轮评估都是一次检阅、一次验收、一次综合考核。我校经过人才培养水平评估，尽管取得了很好的评价，突出了近几年我校在培养人才方面的优势和特色，成果显著，但我们要保持冷静的头脑，查找不足，增强危机意识，搞好统筹规划，保持学校更好更快的发展。     

广西岑溪市筋竹萤石矿地质灾害评估及防治措施

通过调查评估区内发育的各类地质灾害，在此基础上进行地质灾害危险性现状评估、危险性预测评估，并在此基础上，综合分析评估地质灾害危害程度及危险性大小提出拟采用的防治措施和建议。     

寻找华南虎

炒得沸沸扬扬的“华南虎照片事件”终于尘埃落定，人们更加关注华南虎的命运：在野外到底还有没有华南虎？野生华南虎自上世纪80年代从我们的视线里消失以后，科学家一直在艰难地寻找着它们。本刊特邀华南濒危动物研究所研究人员撰文，介绍科学家寻找华南虎的情况。