BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

我国政府绩效管理实施现状分析及对策研究

随着改革进程的不断深入,改革的内容也开始逐步深入和细化。特别是我国加入世贸组织后,客观上要求我国行政管理体制必须加速与国际惯例接轨,并尽快提升我国各级政府的管理能力和治理水平。本文对我国政府绩效管理的实施现状进行了分析,提出了解决对策。     

网络环境中的大学英语听说教学模式设计

随着科技的发展,网络多媒体技术在教学中的已经普及,如何将网络多媒体技术更有效地为教学服务,是广大教学工作者一直思考的问题。本文以大学英语教学改革为背景,从基于该环境中的教学模式和教学方法入手,将高效化的网络语言环境和人性化的传统语言教学环境有效结合,设计更为合理的大学英语听说教学模式。     

高校跨栏跑教学中运用想象训练的研究

想象训练是一种心理训练方法。在跨栏跑教学中运用想象训练，主要是让学生在学练跨栏跑基本技术的过程中，对技术动作进行自我想象，浮想每个动作过程，使身体运动与大脑思维有机结合，达到强化“栏感”，建立正确的攻栏意识，更有效地完善跨栏动作技术之目的。教学实验结果表明：实验组跨栏技术的掌握情况比对照组好。通过对两组学生跨栏跑技术评定考核，实验组成绩优于对照组，实验组技评成绩优良的人数高达86．5％：对达标成绩进行T检验，两组考核结果具有显著性差异。教学效果较显著。     

我国嗜水气单胞菌感染研究概况

主要从嗜水气单胞菌感染的发现、人的嗜水气单胞菌感染、动物的嗜水气单胞菌感染、诊断要点及防控等方面对我国嗜水气单胞菌感染进行了综述。     

《交通工程学课程设计》实践与教学改革研究--加强实践环节,促进课程建设,提高教学质量

为进一步提高《交通工程学》课堂教学质量,增强学生实践动手能力及运用所学理论与专业知识解决交通管理实际问题的能力,提出了加强《交通工程学》实践教学环节的具体任务。本文就《交通工程学课程设计》的建设过程、意义与要求、教学内容、实践效果分析、改革与完善、突出实用性等方面作了系统阐述,旨在不断丰富和完善理论教学与实践教学内容,促进《交通工程学》教学质量的进一步提高。     

基于熵权重的喀斯特地区林业可持续发展评价方法

采用改进的层次分析法和熵权法进行了贵州省喀斯特地区林业可持续发展的评价研究.分析了两种方法的优缺点,并将层次分析法和熵权法的结果相结合,得到综合主客观因素的指标权重向量.结果表明:研究区内林业可持续发展总体水平由高到低依次为金沙县、清镇市、西秀区、六枝特区.     

德国弗朗霍夫学会的发展经验及启示（下）

灵活的用人机制使学会科研队伍青春常在 对于一个科研组织来说,人才是第一位的。弗朗霍夫学会在研究人员的管理与使用上有着非常灵活的机制。学会研究人员队伍有着“多元化”和“年轻化”的特点。由于研究所设在大学内部,大学教师自然成为学会科研人员的重要来源。同时,德国的科研机构允许吸收学生参与项目研发,研究生在参与学会项目研发的同时,还要开展学术研究,用5年左右的时间,完成博士学位。另外,学会还面向社会招聘项目研究所需要的各类专门人才。据统计,学会40％的研究人员为高年级学生,这一做法使得学会科研人员的平均年龄不超过40岁。     

试析“手”的语法化

作为一种解释语言现象的框架,语法化理论自20世纪80年代以来成为语言学中的一个研究热点。语法化研究可以从历时和共时两个角度进行。在阐述语法化的机制、现代汉语中的"手"的本义及引申的基础上,对"手"这一常见词项进行共时的语法化分析,发现通过隐喻和转喻,"手"的语法意义与最初的实在意义之间存在联系,实在意义在一定程度上对其分布有制约作用。     

基于有效生产剩余的不可靠机器制造系统优化控制

将物料报废作为随机事件引入不可靠机器制造系统优化控制的研究中,提出了有效生产剩余的概念,讨论了生产剩余和有效生产剩余的关系.以物料报废服从Bernoulli分布的单机器单零件类型不可靠机器制造系统为例,描述了基于有效生产剩余的控制思想.将该思想应用于不可靠机器制造系统优化控制研究,建立了以有效生产剩余为状态变量,以生产率为控制变量的单机器单零件类型不可靠机器制造系统优化控制模型,得到了这类系统的一种优化控制策略.