改革英语听力教学的内容和任务设计

针对目前英语听力教学中存在的课堂教学内容和任务设计脱离生活实际的做法，提出鼓励老师适当采用具有真实性的材料，安排具有真实性的听力任务，使听力教学更贴近生活，从而提高听力教学的效果。     

网格环境下的高效动态任务调度算法

网格系统具有异构性、动态性和分布性，这使得网格中的任务调度变得十分复杂，要求调度算法具有动态性和自适应性．文中将群体智能技术引入网格的任务调度中，针对一组相互独立的任务调度问题，提出了一种新的动态任务调度算法．该算法利用蜂群与环境的交互模型来实现网格中动态的任务分配；同时根据蜂群的自组织社会层次的概念，解决了算法中出现的竞争问题．实验结果表明，相比于现有的方法，该算法对于网格中的动态环境具有更好的适应性，且调度性能更优．     

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

基于自然背景的热成像系统信息量评价模型

通常MRTD-CW模型用于评价热成像系统综合性能,但不能评价自然背景对系统性能的影响. 比对TTP模型,对 MRTD-CW模型进行修正,引入自然背景参量,建立基于自然背景的热成像系统综合性能信息量评价模型,以典型场景为例用噪声均方差计算法则给出了自然背景参量的计算方法. 含自然背景噪声参量的MRTD-CW模型能计算出不同实验场景热成像系统获得的目标综合信息量,进一步确定的热成像系统最佳角放大率与TTP模型计算值非常接近. 实验结果证明引入自然背景参量的MRTD-CW模型能有效评价自然背景对热成像系统综合性能的影响.      

粒子群算法在云计算任务调度中的应用

针对云计算的任务调度问题,在传统PSO算法的基础上,提出了一种改进粒子群算法的云计算任务调度方法.首先描述了云计算任务调度的数学模型和粒子群算法的基本原理,在此基础之上,采用间接编码方式对资源进行编码,定义了适应度函数,确立粒子速度和位置的更新方法.仿真实验表明,文中的方法获得了较好的调度结果.     

垃圾旋转布料机布料规律研究

旋转布料机的结构设计合理与否直接影响垃圾分散效果及燃烧效率.通过建立旋转布料机运动模型及其布料方程,对影响旋转布料机的作业区间的各种因素进行了分析和研究.研究发现,与溜槽转速和摩擦因数相比,溜槽长度和倾斜角度对旋转布料机的作业区间影响更大;旋转布料机的作业区间随着溜槽长度和转速的增大而增大,随着倾斜角度和摩擦系数的增大而减小.最后,结合实际工况为某型号旋转布料机提供几组合理的设计参数.     

基于移动学习环境的大学英语教学实践研究——以广州工程技术职业学院为例

以广州工程技术职业学院为研究对象,分析目前在高职学生中进行移动学习的可行性,提出以任务驱动的合作式移动学习模式,并结合具体的教学内容,阐述了将移动学习融入课堂教学的具体做法,以期有效促进大学英语教学效果.     

把握雷锋精神时代内涵 大力培育当代革命军人核心价值观

雷锋精神是中华民族传统美德和我军性质宗旨的生动体现,对培育当代革命军人核心价值观具有重要的指导意义。从探索雷锋精神与当代革命军人核心价值观的内在契合入手,对雷锋精神培育当代革命军人核心价值观的能动作用及现实途径进行了探讨。     

基于角色和任务的工作流访问控制管理模型

针对现有访问控制模型在工作流系统安全方面存在的不足,提出一种基于角色和任务的工作流访问控制管理模型(ATRBAC).该模型将ARBAC模型中的管理思想融入TRBAC模型,并引入管理员及管理权限,同时对管理员实行层次管理,解决了系统管理员的权限过大而产生的隐患,加强了系统的安全性.     

大学计算机基础课程教学改革探讨

针对在校大学生学习基础及需求不断变化的实际情况,结合大学计算机基础的教学现状,强调了进行大学公共计算机基础课程教学改革的必要性,并提出了一些相应的改革措施和途径,以便提高计算机基础课程的教学质量和教学效果。