一种新型的构件化操作系统的内核设计

采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象--服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.     

源结构无关的远程备份数据共享存储方法

针对远程容灾系统中备份数据的存储依赖数据源的结构特征和备份中心资源浪费严重的现状,提出一种远程备份数据存储方法。通过数据封装、存储空间动态分配等技术实现多备份任务的备份数据在共享的存储空间内存储,备份中心与备份数据源的存储结构无关。实验证明,该方法不仅提高系统资源的使用效率,而且能提供较好的存储性能。     

整体检测门限秘密共享欺诈者方案

对门限秘密共享欺诈者的检测,目前很少有整体检测法。利用线性方程组解的性质,在能获得比门限个数多一个参与者的条件下,不需其他任何信息,只需执行一次运算,就可整体判断有无欺诈者。该方案是一个完备的秘密共享方案,信息率为1,1个欺诈者欺诈成功的概率为0,2个及多个欺诈者欺诈成功的概率不超过1/p（p为大素数）。     

面向对象的流程工业系统有向无环图建模

提出流程工业系统中有向无环图的面向对象的建模方法。介绍使用面向对象的技术对流程工业系统模进行建模的关键要素的技巧,定义描述流程工业系统中有向无环图模型的建模机制,扩展流程工业系统模型所具有的特性。以流程工业系统出现异常时的诊断实例说明系统模型解决问题的有效性。     

串脉冲超声导波断轨检测技术研究

针对传统的钢轨断轨检测效率低、无法进行实时检测的不足,对串脉冲超声导波断轨检测方法进行了研究.首先为了增强发射能量,同时达到脉冲叠加的目的,研发了脉冲个数、脉宽、间隔均可调的高压串脉冲超声导波发射系统;为了保证接收信号的信噪比和空间精度,用匹配滤波的方法对接收信号进行脉冲压缩.采用研制的串脉冲超声导波断轨检测系统,选用SH导波换能器在钢轨上进行了检测实验.结果表明,检测系统性能稳定,经过串脉冲叠加,使接收信号的幅值约为单脉冲接收信号的3倍,经过匹配滤波后,信噪比得到明显提升.该方法的换能器置于轨腰,能够对钢轨实现在线监测.     

移动终端的设施农业物联网环境监控系统设计

通过使用物联网(IOT)传输协议—消息队列遥测传输(MQTT)协议,将前端硬件、服务器端及移动端连接在一起,完成对设施农业环境的远程实时监控.在系统中,前端硬件以STM32微处理器为核心,由传感器模块、设备控制模块、GPRS模块和电源模块组成,实现数据的采集和传输;服务器端有数据接收、存储、分析的能力,并担任MQTT消息协议中消息生产者和消息管理者的角色;移动终端软件则以Android操作系统为基础开发了应用软件,用户在装有Android系统的移动终端上安装该应用软件,即可查看实时环境情况,发送控制设备指令等.经过测试,整个系统运行稳定、使用简单、实时性高,用户能有效地对设施农业环境进行远程实时监控.     

基于区域密度的交通拥堵判别方法

本文通过对交通流进行特征提取和状态的划分,建立了交通流判别准则.同时提出一种交通拥堵程度的智能判断方法,该方法以区域密度作为判别交通流状态的主要特征值,辅以时间占有率,结合空间和时间维度来判断当前道路的拥挤程度.仿真实验说明该方法具有较好的准确性和客观性.     

支持SRP协议的实时调度技术

实时操作系统对多任务资源访问控制提出了较高的要求.资源竞争常会引起优先级翻转问题导致任务阻塞,增加资源等待延迟时间.传统资源访问控制协议可以部分解决此问题,但是存在上下文切换次数高,任务调度效率低等不足.在结合SRP协议的提前阻塞特性和MiniCore实时调度器设计后,分析了协议中任务调度规则,指出了调度器支持SRP协议时效率低下的原因,并引入胜者树结构改进就绪队列,给出了新的任务搜索算法.理论分析与实验结果表明改进的调度器在任务集规模较大时,提高了调度效率,较好的支持了SRP协议.     

学生会管理系统的设计与实现

随着全国各高校的校园网络日益健全,网络化的办公已经开始逐渐的普及,未来将会实现无纸化办公,为适应这一发展趋势,特此建立了一套在网上对学生会工作进行管理的系统;该系统旨在使学生会管理工作透明化,使教师、学生以及学生会各操作模块之间既彼此独立,又相互联系,从而达到减少学生会工作量,方便学生会管理,最终实现学生会管理无纸化办公的目的。     

基于弹簧粒子模型的大规模WSN定位算法的衍生算法

为了提高基于弹簧粒子模型的大规模无线传感器网络定位算法(LASPM定位算法)的鲁棒性,将对LASPM基本定位算法进行优化及改进,并提出一系列的改进衍生算法.针对弱节点将设计简单的迭代定位方法,提出了3个补丁算法,分别用于处理局部极值、剔除坏节点和处理节点动态变化等问题.仿真实验结果表明,新算法的节点计算复杂度、通信复杂度在网络规模增大时仍然保持常量,节点计算步数不随网络规模变化而变化,时间复杂度也保持常量.实验研究结果表明,本文的定位算法具有良好的鲁棒性.