一种基于域知识的协议状态机主动推断算法

现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L⁺M算法的基础上提出了一种基于域知识的协议状态机主动推断算法L⁺N,其改进主要体现在:依据会话样本集提取各报文之间的强顺序约束关系来过滤无效的输出询问,构建会话样本集对应的扩展前缀树接受器(Extended Prefix Tree Accepter,EPTA)对输出询问进行预响应,提出了一种基于正例样本变异的等价询问近似判定算法以提升寻找反例的效率。实验结果表明,L⁺N算法能够大幅提高推断效率,并且具有与L⁺M算法相同的推断准确度。     

浅议提高初中历史课堂教学效率

我们大都有这样的体验：听一堂好课,如同欣赏一首名曲,余音在耳,裘袅不绝;又像观赏一幅名画,心动神移,流连忘返。再看学生,个个双眸凝视,犹如被磁铁吸引住似的听着、想着、记录着……,作为一名教师,我们毕生都在为达到这样的教学境界而奋斗着。通过几年来教学实践的积累,我谈几点我的认识。一、树立科学的历史教学观 树立科学的历史教...     

混合能量存储技术在光电微能源中的应用研究

为简化集成无线传感器节点光电微能源系统的设计和提高能量转换、存储效率,提出混合能量存储技术在光电微能源系统设计中的应用.混合能量存储器由电容器和锂离子电池组成.其能量存储原理负载特性被分析.另外,开展实验研究,结果表明,与直接能量存储方式相比,利用混合能量存储技术能量存储量提高27%.并且,微能源的负载特性也得到改善,实验结果与理论结果一致.     

Paw—苹果应用可视化精准测试技术浅析

苹果应用测试一直处在手工黑盒测试的初级阶段.探讨Paw新型精准测试技术如何实现APP从开发、迭代、维护全流程的可视化精准测试跟踪和测试分析.     

生命守护的使者，HP EliteOne 800 G2商用一体机为医疗行业望闻问切

医疗行业在日常生活中的重要性无须赘述,而在医疗行业高速信息化发展环境下,人们评估医疗机构的综合实力已不仅局限于医疗技术和就医环境。医疗行业的信息化、数字化的改革发展同样成为焦点。办公电脑——作为医疗机构信息化进程中必不可少的设备,从设计、性能到安全,对医生的办公效率和患者的就诊体验都有着重大的影响。HP Elite One 800 G2商用一体机作为一款旗舰级产品,在医疗办     

基于互联网的高校科研管理系统的构建

为了提高高校科研管理工作的效率,构建在线高校科研管理不仅满足了科研管理数字化、信息化的需求,而且极大地方便了高校教师科研申报及专家对申报项目的评审.使用在线科研管理系统,不仅实现申报评审功能外,还较有效地实现对科研工作量的考核,以及统计出申报科研项目中的各种数据,充分挖掘科研评审结果,得到更详细和层次更高的分析结论.结合高校科研管理的需求,设计实现基于互联网的在线科研项目评审系统,从而提高了高校的科研管理工作效率.     

结合NSCT和压缩感知的红外与可见光图像融合

目的 红外成像传感器只敏感于目标场景的辐射,对热目标的探测性能较好,但其对场景的成像清晰度低;可见光图像只敏感于目标场景的反射,场景图像较为清晰,但目标不易被清晰观察.因而将两者图像进行融合,生成具有较好目标指示特性和可见光图像的清晰场景信息,有利于提高目标识别的准确性和降低高分辨图像传感器研究的技术难度.方法 结合非下采样contourlet变换 (NSCT)和压缩感知的优点,研究一种新的红外与可见光图像融合方法.首先对两源图像进行NSCT变换,得到一个低频子带和多个不同方向、尺度的高频子带.然后对两低频子带采用压缩感知理论获得测量向量,利用方差最大的方法对测量向量进行融合,再进行稀疏重建;高频子带采用区域能量最大的方法进行融合.最后利用NSCT逆变换获得融合图像.结果 为了验证本文方法的有效性,与其他几种方法相比较,并利用主观和客观的方法对融合结果进行评价.提出的新方法融合结果的熵、空间频率、方差明显优于其他几种方法,运行时间居中.主观上可以看出,融合结果在较好地显示目标的基础上,能够较为清晰地保留场景图像的信息.结论 实验结果表明,该方法具有较好的目标检测能力,并且方法简单,具有较强的适应性,可应用于航空、遥感图像、目标识别等诸多领域.     

矿用绞车下降过程中电制动能量回收研究北大核心CSCD

针对矿用绞车下降过程中电制动产生的能量回收利用的问题,提出了一种超级电容回收电制动能量的方法,并且分析了不同载重下绞车能量回收系统的回收效率。首先对超级电容回收系统进行建模,然后结合电机矢量控制的建模,最后通过MATLAB/Simulink软件建立绞车回收系统的仿真模型。仿真出绞车在三种不同的载重下回收的能量,并计算出每种载重下的回收效率,仿真和计算结果表明:绞车能量回收系统回收的能量和回收效率随着负载的增大而增大。仿真结果表明,改进方法为矿用绞车电制动能量回收系统设计提供了科学依据。     

基于同步数的轻量级高效RFID身份认证协议

RFID技术广泛应用的同时,其安全问题面临着严峻的考验。在确保安全性能的前提下,节省系统成本、提高效率成为未来研究重点。在分析各种协议缺陷之后,借鉴滚动码技术的同步数原理,提出了一种基于同步数的轻量级高效RFID身份认证协议。协议运用同步数以及双向认证机制保障系统安全性。对各种威胁进行分析,确保了协议的安全性。通过比较其他协议的效率与成本,可以看出该协议具有轻量级与高效性。最后运用BAN逻辑对协议进行了形式化分析,从理论上证明了本协议的可行性。     

一种基于云环境的文件存储策略的研究

云存储是云计算技术的重要组成部分,包括存储位置的选择和文件的传输,文件传输环节包括上传和下载。传输作为存储的重要组成部分,对于存储效率有较大的的影响。近年来针对云存储技术的研究主要集中在数据存储和数据传输的效率上,针对大量流媒体文件上传至云存储服务器过程中传输效率低的问题,在私有云环境下提出了一种针对大量流媒体文件的传输机制THU,在该机制中提出了一种对于不同的云平台环境和传输客户端存在文件大小值fk的思路,将小于该值的文件无损打包成一定数量的大小为fk的文件进行传输,而将大于fk值的文件切割成一定数量大小为fk的文件进行传输,相比较打包或者切割成其他大小的文件进行传输时消耗的时间较少。本文在私有云环境下进行了大量的流媒体ftp传输实验,实验结果显示这样的fk值是存在的,当文件打包大小或等于该值时,打包、解包和传输消耗的总时间处于相对优化的水平,从而证明了THU机制的正确性和有效性。