一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法

  

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系… …   相似文献

姜鹏  陈鑫  李宣东 《计算机科学》2014,41(11):124-127,161

深度学习研究与进展

  总被引：2，自引：0，他引：2

深度学习是机器学习领域一个新兴的研究方向,它通过模仿人脑结构,实现对复杂输入数据的高效处理,智能地学习不同的知识,而且能够有效地解决多类复杂的智能问题。近年来,随着深度学习高效学习算法的出现,机器学习界掀起了研究深度学习理论及应用的热潮。实践表明,深度学习是一种高效的特征提取方法… …   相似文献

孙志远  鲁成祥  史忠植  马刚 《计算机科学》2016,43(2):1-8

基于网络丢包的网络视频质量评估

  总被引：4，自引：0，他引：4

针对传统的视频质量评估模型对于在包交换网络中传输的压缩视频（网络视频）进行质量评估的局限性,如对视频质量进行评估时实时性差、没考虑人眼的视觉感知等问题,提出了一种基于网络丢包的网络视频质量评估模型。该模型采用了统计学理论,它可根据视频编码、封装传输的特点,通过可量化的评价指标来评… …   相似文献

卢刘明  陆肖元 《中国图象图形学报》2009,14(1):52-58

XML数据物化模式的生成与优化技术

下载全文  

根据用户查询的分布情况,基于缓存以及在硬盘上对XML(extensible markup language)数据进行物化是提高XML数据存储与查询系统性能的主要方法之一.提出了一种XML查询集合的描述方法,即查询模式图,并以此为基础提出了一种能够充分考虑查询优化策略的物化方案生成… …   相似文献

张亮  李然  汪卫  施伯乐 《软件学报》2007,18(2):323-331

基于图割及动态片结构的3维人脸多视图体重建

下载全文  

针对3维人脸重建问题提出了一种新颖的多视图体重建方法,以解决目前3维人脸重建方法只适用于小样本集合,大范围推广时精度难以保证的弱点。该方法创新之处在于将基于特征点匹配的重建方法与立体重建方法结合引入到图割优化框架,并应用于3维人脸重建。本文两个重要改进工作是设计动态片结构描述来进… …   相似文献

朱云峰  章毓晋  何永健 《中国图象图形学报》2010,15(10):1537-1543

基于自主运算的自适应存储区域网络系统

下载全文  

存储管理是目前网络存储系统亟需解决的重要问题之一,解决存储管理问题的核心是自动适应外部环境变化,实现自我调整和自我管理,其中自适应是管理的关键.提出了一个解决存储管理的新方法和体系结构,基于自主运算理论实现自适应的SAN(storage area network)存储管理系统.在… …   相似文献

付长冬  舒继武  郑纬民  沈美明 《软件学报》2004,15(7):1056-1063

一种SAN存储虚拟化的实现方案

下载全文  总被引：4，自引：0，他引：4

随着SAN应用范围的不断增加,要求现代存储系统能够屏蔽SAN的异构、异地特性,消除数据孤岛,实现存储设备方便统一管理,保证数据安全性。分析了SAN虚拟化中需要解决的关键问题,并提出了一种新的SAN虚拟化解决方案。  相似文献

罗斌  李树友  宋斌恒 《计算机应用研究》2006,23(3):214-215

局部特征及视觉一致性的柱面全景拼接算法

下载全文  总被引：2，自引：0，他引：2

目的 传统的基于平面拼接算法生成的全景图像存在严重的失真问题,很难保证良好的视觉一致性;而普通柱面拼接算法无法较好地满足实时性要求。为此,提出一种基于改进SIFT（scale-invariant feature transform）特征描述子的柱面全景图像拼接算法。方法 首先将待拼接的图像序列进行柱面投影,利用改进的SIFT特征检测器获取图像中的特征点,生成64维SIFT特征描述子;然后根据特征描述子之间的欧氏距离提取初始特征点对,利用RANSAC（random sample consensus）方法进一步剔除伪匹配特征点对并建立待拼接图像之间的空间变换矩阵;最后根据图像之间的空间变换矩阵进行图像配准,采用加权平均融合的方法完成图像的无缝拼接。结果 本文全景图拼接算法,可以有效地克服平面拼接算法存在的失真问题,保证了全景图像的视觉一致性。同时,相比普通柱面拼接算法,本文算法的拼接速度提高了近一倍。结论 通过对不同尺寸和数量的图像序列构建全景图,相对于平面拼接算法和普通柱面拼接算法,本文算法可以有效实现图像之间的拼接,生成宽视野、高分辨率的全景图像,且能够应用于对实时性要求比较高的图像拼接场合。… …   相似文献

朱庆辉  尚媛园  邵珠宏  尹晔 《中国图象图形学报》2016,21(11):1523-1529

文本页面图像的图文分割与分类算法

下载全文  总被引：2，自引：0，他引：2

为了能对包含不规则图片区和表格的倾斜文本页面图像进行图文分割与分类,提出了一种新的图文分割和分类算法。该算法先采用数学形态学和分级霍夫变换来进行文本倾斜的检测和校正;然后为了使算法能够对包含不规则图片区的文本页面图像进行处理,提出在传统的投影轮廓切割算法中,引入中点切割的过程,以… …   相似文献

王加俊  黄贤武  郭玮玮  仲兴荣 《中国图象图形学报》2004,9(5):571-577

基于MILS CORBA的多级安全分区通信机制

  

随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和… …   相似文献

崔西宁  王聪琳  裴庆祺  李亚晖  沈玉龙 《计算机科学》2013,40(5):38-41

桌面环境下拼贴显示的自动对准

下载全文  总被引：2，自引：0，他引：2

通过拼贴一组投影仪来构建高分辨率显示系统已成为现在一个较实际的办法.但是,这样的高分辨率显示系统用途有限,因为它们需要在定制的并行机或个人计算机集群上运行一些专门开发的并行形象化程序才能实现.针对个人计算机桌面环境下的任意拼贴显示给出了一种自动对准机制,使得桌面用户可以在其上运行… …   相似文献

Grant Wallace  Han Chen  Kai Li 《软件学报》2004,15(12):1776-1786

一种新的SAR图像快速自适应去斑算法

下载全文  

针对SAR图像斑点噪声的滤除,提出了一种新的基于Countourlet变换的快速自适应性噪声去除方法。鉴于SAR图像的Countourlet系数主要取决于斑点噪声和信号腐化,且呈现出很强的非高斯分布特性,据此,首先建立了SAR图像Countourlet系数的高斯混合分布解析模型;… …   相似文献

李应岐  何明一 《中国图象图形学报》2008,13(2):214-218

计算机网络“服务+协议”实验教学探索

下载全文  

针对计算机网络协议教学,提出了一套实践到理论、实践与理论对比的教学手段. 该教学手段中实践到理论的教学实验利用VMware workstation软件搭建实验环境,配置虚拟计算机,并在虚拟计算机上配置网络服务,利用Wireshark抓包软件抓取网络服务的协议数据包,通过对协议数据… …   相似文献

张兰芳  年梅  张书芳 《计算机系统应用》2014,23(6):11-16

一种用于抑制椒盐噪声的自适应快速滤波算法

  总被引：6，自引：2，他引：6

针对受椒盐噪声不同程度污染的灰度图像滤波问题,提出了一种用于抑制椒盐噪声的自适应快速滤波算法。该算法针对像素点的不同属性采用不同策略的滤波手段,能有效保护图像细节;依据可能噪声密度自动控制滤波迭代次数,能自动抑制不同密度的椒盐噪声;基于字符串的统计排序记录方法减少了统计排序的次数… …   相似文献

谢剑斌  刘通  任勇  李沛秦 《中国图象图形学报》2009,14(5):843-847

光学图象几何畸变的快速校正算法

下载全文  总被引：15，自引：0，他引：15

实际光学镜头所成的图象难免会有几何变形,多项式坐标变换法是进行几何修正的有效方法,但是当次数较高的时候,运算量太大,难以应用到实时图象处理系统,为此在分析多项式坐标变换算法的基础上,提出了一次多项式非均匀分片逼近算法。该算法首先将图象非均匀划分成矩形区域,在每个矩形区域内部用一个… …   相似文献

周海林  王立琦 《中国图象图形学报》2003,8(10):1131-1135

信息物理融合系统控制软件的统计模型检验

下载全文  

信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共… …   相似文献

单黎君  周兴社  王宇英  赵雷  万丽景  乔磊  陈建新 《软件学报》2015,26(2):380-389

非正则精确模型的布尔操作

  总被引：5，自引：0，他引：5

为了加强造型系统的表达能力,实现对线框模型、曲面模型和实体模型的统一表示和操作,该文采用非正则精确模型作为几何对象表示的数据结构,并给出了相应的布尔操作实现算法,在保证效率和精确性的同时确保鲁棒性是算法的目标.作为一个特征造型系统的几何核心,该算法已经在基于NT平台的特征造型系统… …   相似文献

唐敏  董金祥  李海龙  何志均 《软件学报》1999,10(12):1290-1297

高效无证书混合签密

下载全文  总被引：2，自引：2，他引：2

无证书混合签密能够处理无证书体制下任意长度的消息'而普通的无证书签密则不能处理.指出Selvi等人提出的攻击是不成立的,并构造了一个新的无证书混合签密方案与现有方案相比,该方案具有密文长度短、计算速度快的优点,因此更适用于带宽窄、计算资源少的通信环境,如ad hoc网络.在随机预… …   相似文献

孙银霞  李晖 《软件学报》2011,22(7):1690-1698

基于线性动态系统稀疏编码的异常事件检测

  

线性动态系统模型结合稀疏编码实现异常事件检测。线性动态系统可有效地捕捉动态纹理在时间和空间的转移信息,描述视频的时空小块。然而,线性动态系统属于非欧氏空间,无法直接用传统的稀疏编码进行异常检测。基于约束凸优化公式,将相似性变换与稀疏编码结合,可实现线性动态系统稀疏编码的优化求解。… …   相似文献

刘洋  李一波 《计算机科学》2014,41(10):300-305

状态行为关联的可信网络动态信任计算研究

  

综合实体状态和行为因素,提出一种可信网络动态信任模型.通过进行实体的状态行为关联分析,提取信任信息,深入分析信任与状态和行为之间的关系,并提出基于状态行为关联的实体动态信任计算方法.仿真表明,所提出的信任模型提供实时动态信任,能够有效地发现和处理动态恶意实体策略性的行为改变和恶意… …   相似文献

李道丰  杨义先  谷利泽  孙斌 《通信学报》2010,31(12):12-19