降低实时微内核系统中内核封锁粒度的方法

内核封锁较度在很大程度上决定了实时系统的性能。该文说明了实时微内核操作系统在内核封锁粒度方面存在的问题，分析了两种已有处理方法的弊端，提出了一种改进的方法和它的变体。     

基于SCSI的故障注入工具设计与实现

研究海量存储系统的可用性评测,设计一种基于小型计算机系统接口(SCSI)协议的故障注入工具。该工具在SCSI协议中间层截获SCSI上层命令,修改命令后,能够实现多种暂态和永久故障的注入,有效地模拟存储系统可能遇到的各种故障。根据目标系统特点确定故障模型和注入参数,注入结束后,进行注入结果回收和离线数据分析。实验测试结果验证了该故障注入工具的有效性。     

基于RBAC的信息终端内核模型

随着3G技术、无线网络等新兴技术的发展,桌面系统、嵌入式系统用作个人或企业用户的信息终端,数据的保密性将面临更严峻的安全威胁。为提高信息终端的安全性,分析了操作系统中进程的非法操作对系统信息安全产生的威胁,将RI3AC模型应用于信息终端中操作系统内核的安全管理机制中,构建了基于RI3AC的系统进程访问控制模型,给出了具体的实现框架,并针对开源操作系统与非开源操作系统,分别给出了实施方法。     

基于核模糊C均值的眼底视网膜血管分割算法

针对眼底视网膜图像对比度差、背景不一致的问题,提出了一种基于核模糊C均值的眼底视网膜血管分割算法。首先采用二维高斯匹配滤波预处理以增强血管,然后采用核模糊C均值算法对增强眼底图像进行分割,并根据血管与各类隶属度的关系自动合并聚类图像得到最终的血管图像。实验结果表明,该算法分割结果令人满意。     

核函数对v-支持向量机的泛化能力影响分析

支持向量机在模式分类中得到了很好的应用。对于线性不可分的样本空间,需要寻找核函数,将线性不可分的样本集映射到另一个高维线性空间。支持向量机的泛化能力直接影响其实际应用效果。本文讨论了v-支持向量机的泛化能力的一个估计,定性分析了核函数对v-支持向量机的泛化能力的影响,并就高斯核函数对v-支持向量机的泛化能力的
的影响进行了具体分析。     

基于核方法的雷达目标一维距离像识别

由于雷达目标及其所处环境的复杂性,导致不同目标之间的关系往往是非线性的.研究基于核的非线性方法,并将其应用于雷达目标一维距离像识别.核Fisher判别分析(KFDA)是一种抽取非线性特征的最有效方法之一,但它往往会面临小样本问题.针对此问题,给出一种null-KFDA方法,对距离像进行特征提取.然后,采用一种新的核非线性分类器——KNR(kernel-based nonlinear representor),对所提取的特征进行分类.对3种飞机的实测距离像进行实验,结果验证了null-KFDA的有效性.此外,与非线性支持向量机(SVM)和径向基函数神经网络(RBFNN)相比,KNR分类器具有更优的识别性能.     

核蚁群化学聚类算法

为了提高蚁群化学聚类算法的聚类效果,通过引入径向基核函数改进蚁群化学聚类算法的相似度度量式,提出了核蚁群化学聚类算法。将核蚁群化学聚类算法用于三个标准数据集合,计算结果表明与蚁群化学聚类算法相比,核蚁群化学聚类算法聚类效果提升显著。将核蚁群化学聚类算法、核自组织神经网络映射算法和基于多项式核的结构化有向树数据聚类算法同时用于Iris数据集合,结果显示三种核聚类算法聚类效果相当。     

网络备份系统中的海量缓存方法*

提出一种在网络备份系统(network backup system,NBS)中的海量缓存方法。给出海量缓存的定义、使用目的和与备份代价密切相关的大小评估,并描述了一种基于MS Windows海量缓存设计与实现的方法,并对其性能进行了实验分析。由于网络传输与备份中心处理的延迟,使得本地I/O系统处理速度远远大于数据备份的速度,从而造成本地内存缓冲队列的大小越来越大。海量缓存方法就是通过借助大量的辅存来解决这个问题,当本地数据中心监控到数据变化后,会先把数据变化放入辅存中,然后再发送到远程备份中心。     

3 D图形处理器API符合性验证方法关键技术研究

3D图形API（Application Programming Interface,应用程序编程接口）是三维图形处理函数接口的简称,它将图形系统的上层应用程序和底层驱动隔离,使得应用软件具有良好的可移植性。 OpenGL（ Open Graphics Library,开放图形接口库）是为了规避不同硬件驱动而定义的与上层接口的标准库函数。如何开发出符合OpenGL标准的API,是3D图形处理器研制及应用的关键。首先系统分析了OpenGL标准API的属性,提出了自研3D图形处理器API与OpenGL标准API符合性验证关键技术,基于FPGA平台从函数的接口参数、绘图功能、显示功能和错误反馈处理这四个方面来验证。上述验证方法具有很强的操作性,验证覆盖范围更广,验证用例的设计更为复杂。该方法加速了验证过程,提高了验证的充分性。