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

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

战时装备维修任务分配与调度的系统工程研究方法

 战时装备维修任务分配与调度是装备维修的重要组成部分,可以用来应对未来信息化作战对装备维修的需求。为反映装备维修任务分配与调度的特征,基于霍尔三维结构理论,分别从过程维、逻辑维和知识维3个维度构建装备维修任务分配与调度的体系结构,确定该问题的5个重要过程、处理问题的5个基本步骤和解决问题所需的技术方法。在此基础上,通过装备维修任务分配与调度基本过程,确定了装备维修任务优先级分类、装备维修任务分配和装备维修任务调度3个核心问题,并对各个核心问题的目标、约束条件、输入条件、输出条件和研究重点进行了分析。     

基于信息素的制造系统动态协调研究

受蚂蚁觅食行为模型与零件的生产加工工艺选择的相似性的启发,提出了基于信息素的任务分配协调机制。以信息素为介质,给出了制造系统生产加工工艺选择的静态和动态协调算法。仿真结果表明,通过此方法既实现了加工成本的相对优化,又实现了制造系统中各设备的均衡利用,并对制造系统内、外部环境变化具有良好的自适应性,为解决制造系统中的生产加工工艺选择问题提供了一种切实有效的方法。     

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

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

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

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

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

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

基于网格任务调度的Monte Carlo仿真建模

网格系统是异构和动态分布系统,其节点的计算能力存在差异。在多个节点共同完成任务时,容易产生计算瓶颈,影响计算吞吐量和造成延迟,甚至导致整个任务失败。利用Monte Carlo仿真的自然并行性,解决了网格任务调度问题,设计了基于网格的Monte Carlo仿真流程框架和节点状态机模型。在此基础上,建立了“N-M”调度策略的二项式概率模型,并在不同的参数条件下对Monte Carlo仿真任务的性能进行了测试和分析,结果验证了设计方案的有效性。     

摄像机网络中基于任务域的任务分配方法

针对智能交通应用场景中摄像机网络的任务分配问题, 提出一种基于任务域并综合考虑节点负载和任务服务质量的任务分配方法。在保证任务服务质量的基础上, 使用了一种基于节点间相对价值的任务转移策略,并在嵌入式智能摄像机网络系统上实现了上述方法。实验结果表明, 该方法相对于传统任务分配方法, 系统平均资源利用率提高约50%, 任务分配成功率提高约40%。     

我国高效能可信计算机关键技术取得重大突破

目前,高效能可信计算机已经成为世界各国特别是发达国家全力争夺的战略制高点。我国《国家中长期科学和技术发展规划纲要(2006—2020年)》将高效能可信计算机列入优先发展主题。本文报道了自《纲要》实施以来高效能可信计算机领域的政策响应落实情况、任务实施进展与成效,以及领域专家对本优先技术领域面临的一系列挑战的分析,和对未来发展提出的主题调整和推进实施的建议。     

面向全方案空间的装备体系任务现状分析方法研究

针对中国装备体系战斗力评估以典型场景样式下的典型装备体系方案为基础,但装备体系方案的典型标准缺乏的问题,面向任务全方案空间,研究典型装备方案集的快速生成和筛选方法,为更加全面客观地评估装备体系战斗力缺口和新装备的体系贡献率提供方法支撑.