一种操作系统函数级安全监控方案

当前我国自主研发的操作系统已经具备许多实际应用环境和场景,尤其多用于重要服务器、核心设备等关键环节,因此挖掘并修复它们的内核漏洞十分重要.目前业界的漏洞挖掘技术基本上还是局部的、人工的和技术性的手段,缺乏一种广义的、全局的、算法级别上的思想和方法.在已知源码的基础上,提出一种以函数为粒度的自动变造、自动追踪和自动分析验...     

基于线性四叉树的快速邻域查询算法

邻域查询是位置服务系统的核心技术,它的实现取决于空间对象数据模型.根据空间对象分布构建的四叉树模型,以及线性四叉树中位置码的使用,提出了一种新的基于线性四叉树的快速邻域查询算法.该算法根据满四叉树结点编码思想对线性四叉树的Morton码进行了改进,并增加了表示四叉树所有结点状态的序列,通过网格模型的邻域查询算法实现了线性四叉树的快速邻域查询.     

具有混合约束的离散事件系统的Petri网控制器的研究

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Petri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的.先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显.针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证.     

分布式环境下全局序列模式挖掘技术研究

由于分布式环境下挖掘全局序列模式常常产生过多候选序列,加大了网络通信代价.为此提出一种基于分布式环境下的全局序列模式快速挖掘算法.该算法将各站点得到的局部序列模式压缩到一种语法序列树上,避免了重复的序列前缀传输;基于合并树中节点序列规则和简单的特点,提出一种项扩展和序列扩展剪枝策略,有效地约减了候选序列,减少了网络传输量,从而快速生成全局序列模式.理论和实验表明,在大数据集环境下该算法性能优越,能够有效地挖掘全局序列模式.     

基于有向同步交互图的类族测试用例生成算法

根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法.同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性.     

攻击案例综合学习系统研究

随着入侵检测系统在安全领域的广泛应用,入侵报警学习和分析已经成为一个研究热点。针对目前入侵报警泛滥和知识贫乏等问题,设计了一个完整的攻击案例学习系统框架。该学习系统分为两个阶段：入侵报警精简和典型攻击案例挖掘。前者利用改进的密度聚类方法实现相似报警聚合以及报警聚类的自动精简表示,后者利用序列模式挖掘方法挖掘频繁入侵事件序列。进一步提出一种基于入侵执行顺序约束关系的攻击案例评估算法实现典型攻击案例的自动筛选。最后,利用真实入侵报警数据测试了该攻击案例学习系统,结果表明该系统能够实现高效报警精简和典型攻击案例的准确学习。     

地下矿体连采顶板控制技术研究

低品位贫矿体地下连续开采技术是实现矿山高效生产的采矿方法,其中顶板控制是该采矿方法的关键技术之一。利用相似材料模拟试验和FLAC-3D研究方法,对某有色金属矿山厚大、低品位的3#矿体的地下连续开采进行了系统研究,包括矿体顶板自然崩落性、顶板人工诱导崩落时序系统以及开采过程中顶板应力变化规律的研究。研究结果表明,3#矿体顶板初次垮落步距为96 m,顶板自然崩落性较差。采用顶板人工诱导崩落技术,在顶板切割诱导槽进行诱导放顶,合理地布置矿体开采和顶板崩落之间的时间和空间顺序,使采空区顶板随矿体开采逐步垮落,能够保证矿体的安全回采。顶板应力随开采过程呈现逐渐升高的趋势,顶板垮落前应力值降低,但应力变化幅度不大。研究证实,采用顶板人工诱导崩落技术对连续开采的地下矿体顶板可以进行有效控制。     

基于状态图的测试用例自动生成方法

测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构,提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况,给出了插入测试子序列来避免迁移冲突的测试方法。     

基于修正素数码的双OHL同步OCDMA性能分析

基于单硬限幅器(OHL)的同步光码分多址 (OCDMA) 系统不能完全消除信道串扰,引入了双OHL结构来优化系统传输性能.文章给出地址码的码重、光谱强度、用户数与误码率及同异步系统归一化吞吐量间的关系,结果表明:在用户数与地址码重相差较大的情况下,双OHL同步OCDMA系统误码率下降明显且比异步系统的归一化吞吐量大.     

一种图像序列中运动目标检测的鲁棒算法

人体运动检测在计算机视觉中是一项很基本的任务,在图像序列中检测人体运动是一种可行的方法。在做运动目标检测时,常用的图像差分方法有着固有的缺点,用一种改进的图像差分方法进行目标检测,利用一种全局阈值分割方法对差分图像进行二值化,通过数学形态学计算法进行滤波,可有效地克服这些缺点。实验结果表明,此方法能很好地检测低信噪比图像序列中的运动目标。