嵌入式操作系统进程监测器的设计与实现

为避免嵌入式操作系统的进程受到恶意软件的修改破坏,提出一种适合于嵌入式操作系统的进程监测器。监测器周期性地对系统进程控制块进行检测恢复,通过设置进程检查点为系统提供恢复操作进程,并在Linux上进行实现,给出主要的数据结构和实现过程。实验结果表明,监测器的运行对系统性能影响小,能对系统进程进行有效的检测恢复。     

基于遗传算法的高考志愿填报排序问题的研究

针对高考志愿填报录取最优化、最佳匹配问题,提出了基于遗传算法搜索最优解的解决方案。该方案模拟物种自然选择和遗传进化过程,将不同考生的高考志愿按录取结果利益最大化进行排序。在可选择院校数量相同的情况下,对不同考生考试成绩的数据通过程序不断进行智能优化和迭代,志愿排序结果趋于稳定,且达到最佳匹配。其不但满足考生的实际需求,而且达到志愿填报利益最大化的目的。该方法采用涵盖985、211、普通院校的10所高校的实际数据进行测试,结果表明,遗传算法可以用来求解最优高考志愿填报排序问题,且具有很高的准确率和适应度。     

考虑环境因素的软件可靠性增长模型

软件可靠性增长模型中由于测试阶段和实际运行阶段环境的不同导致了失效强度函数的判断偏差。在Musa执行时间模型中的经典模型M-O对数泊松执行时间模型基础上,提出考虑环境因素的对数泊松模型,该模型能较好的刻画失效强度函数变化规律,并给出参数估计公式。通过对失效数据集的实验,结果表明该模型具有较好的拟合效果。     

实时多任务系统的超时故障分析

以强实时多任务系统中的静态优先数调度算法为基础,结合系统中除任务运行时间外的其他时间开销如任务同步、中断处理等,定量分析实时系统中的各种时间参数对任务截止时间的影响,提出了计算任务是否发生超时的方法,并将任务超时作为一种时间故障,得出系统发生超时故障的概率,为评价实时特性提供了一种量化手段。     

基于中间件的实时可信构件的开发框架研究与实现

针对普适计算模式下安全关键系统对实时性和可信性的需求,从提高软件质量和开发效率的角度出发,首先讨论了实时可信构件的内涵,接着提出了一个基于中间件的实时可信构件的开发模型,最后以提出的模型为基础,阐述一个构件化的可定制实时可信构件的开发框架,并给出框架的实现方法。     

十堰市举办高强度混凝土应用技术规程培训班

7月3日,由十堰市散装水泥办公室、十堰市混凝土砂浆协会和中国建筑科学研究院培训中心联合举办的《高强混凝土应用技术规程》JGJ/T281-2012(以下简称《规程》)培训班在武当山老营国际饭店开班.十堰市建设、建材主管部门代表,预拌混凝土(砂浆)企业的生产负责人、实验室主任和工程技术人员及各施工、设计、监理、质量管理单位的工程技术人员共计80余人参加了此次培训班.     

油气田开发项目多层模糊综合后评价研究

若进行油气田开发项目综合后评价的分析，结合油气田开发项目的特点，建立一套科学、实用、合理的综合后指标体系则是后评价的前提和关键。在油气田开发项目的综合后评价中，引入模糊评价法对油气田开发项目进行成功度评价，具有一定的可行性，因为这比使用简单的成功度评价法更能准确评价开发项目的成功程度。就油气田开发项目综合后评价指标体系的建立与模糊综合后评价做了初步的研究与尝试。     

多处理器实时系统的分析和设计方法

本文阐述了当前在多处理器实时系统的分析和设计中常采用的几种方法，并在此基础上提出了一种新型的分析设计方法，即ＧＡＤＭ方法。这种方法综合了功能分解法，面向目标分析法和全局数据库模型法的特点，为多处理器实时系统的分析，设计提供了一种十分有效的手段。     

实时多任务软件系统的可靠性模型

在一个实时多结点，多任务系统中，软件系统的故障是由多种原因引起的，比如，某一个结点上一个任务模块的设计缺陷或者瞬时故障；任务执行超过截止时间，结点间的通讯故障或者通讯超时等原因。基于上述特点，本文根据程序模块的故障概率和结点间通讯关系，提出了一个实时多任务系统的可靠性评价模型。     

大型垂直轴风力机的塔影效应分析

塔影效应对大型垂直轴风力机的流场有显著影响,研究大型垂直轴风力机的塔影效应具有重要应用价值。采用雷诺时均(RANS)方法,在剪切流大气环境下,计算分析5 MW大型垂直轴风力机的功率、转矩、切向力、法向力和表面压力,揭示了塔筒对大型垂直轴风力机的塔影效应。计算结果显示:塔影效应会明显降低垂直轴风力机的平均功率系数,在270～280°相位角附近显著降低叶片前缘的负压强度和负压范围;随着塔筒直径的减小,叶片前缘的负压强度和负压区范围增大,转矩系数的波动幅度减小,单叶片转矩系数增大,叶片空气动力性能改善,发电效率提高。相关结论对大型垂直轴风力机的设计具有一定参考价值。