基于静态贝叶斯博弈的蠕虫攻防策略绩效评估

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

现有蠕虫攻击策略(防护策略)评估方法没有考虑防护策略(攻击策略)变化对攻击策略(防护策略)绩效评估的影响,且防护策略评估忽视了策略实施成本.针对这种情况,构建了基于静态贝叶斯博弈的绩效评估模型(performance evaluation model based on stati… …   相似文献

刘玉岭  冯登国  吴丽辉  连一峰 《软件学报》2012,23(3):712-723

基于OpenCL的图像模糊化算法优化研究

  

现代GPU一般都提供特定硬件(如纹理部件、光栅化部件及各种片上缓存)以加速二维图像的处理和显示过程,相应的编程模型(CUDA、OpenCL)都定义了特定程序设计接口(CUDA的纹理内存,OpenCL的图像对象)以便图像应用能利用相关硬件支持。以典型图像模糊化处理算法在AMD平台G… …   相似文献

张樱  张云泉  龙国平 《计算机科学》2012,39(3):260-264

面向远程虚拟桌面的应用程序推送技术研究

  

远程虚拟桌面是用户桌面使用环境的虚拟化,可实现对操作系统及应用程序的集中管理和高效分发、迁移,使得用户在具备基本的硬件条件下使用自己的工作环境。虚拟桌面应用程序推送方案RVDvApp是在图形指令传输过程中实现过滤机制,推送单独的应用程序到客户端,从而实现基于虚拟桌面的服务分发,使… …   相似文献

蒋媛园  武延军 《计算机科学》2013,40(5):31-34

脉冲应力增强的NMOSFET's热载流子效应研究

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

 本文研究了交流应力下的热载流子效应,主要讨论了脉冲应力条件下的热空穴热电子交替注入对NMOSFET's的退化产生的影响.在脉冲应力下,阈值电压和跨导的退化增强.NMOSFET's在热空穴注入后,热电子随后注入时,会有大的退化量,这可以用中性电子陷阱模型和脉冲应力条件下热载流子注… …   相似文献

刘红侠  郝跃 《电子学报》2002,30(5):658-660

一种有效的序列断层图象的八元树构造算法

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

利用八元树进行物体的三维重是一种十分有效的方法。本文针对医国学图象处理中的实体三维重建顺分析了序断层图象的空间布局和八元树结构的荐,提出了一种通过断层序列图象直接建立八元树的快速算法,并易于在微机上编程实现该算法。  相似文献

赵海峰  束学斌  黄勇  汪炳全 《中国图象图形学报》1999,4(5):418-422

基于LOD实时图形绘制和加速技术

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

这是本刊特为海内外正在就读和学成立业的博士、博士后青年学者们开辟的一片科普园地 .深学浅著是一门德识、慧学、素质修养的学问 .你们的新知识、新调研、新观察、新目光、新展望 ,能够用尽可能深入浅出、通俗流畅的语言 ,汇报给祖国人民、家乡父老子弟乡亲们吗 ?中华博士园地 ,乃耕耘忠孝… …   相似文献

淮永建  郝重阳 《中国图象图形学报》2002,7(1):97-102

基于UPPAAL的AADL行为模型验证方法研究

  

Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领域关注的焦点问题。分析了Web服务测试的层次和阶段,以及测试工具的现状,提出了Web服务自动化测试的技术框架,分析了此框架内Web服务操作、… …   相似文献

李振松  顾斌 《计算机科学》2012,39(2):162-169

基于重写技术的程序开发与验证

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

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.  相似文献

孙永强  陆朝俊  邵志清 《软件学报》2000,11(8):1066-1070

一个基于网格环境的安全信息流模型

  

网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略,给出了一个基于网格环境的安全信息流模型。经严格的数学证明,… …   相似文献

刘益和 《计算机科学》2011,38(6):157-160

开放式地理信息系统应用开发平台的理论与实现

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

首先,以开放ＧＩＳ协会（ＯｐｅｎＧＩＳＣｏｎｓｏｒｔｉｕｍ,ＯＧＣ）提出的开放地理数据互操作规范（ＯｐｅｎＧｅｏｄａｔａＩｎ－ｔｅｒｏｐｅｒａｂｉｌｉｔｙＳｐｅｃｉｆｉｃａｔｉｏｎ,ＯＧＩＳ）为核心,结合ＷＷＷ技术来探讨开放式地理信息系统应用开发平台的实现方案。然后,描述了一个遵… …   相似文献

方裕  陈斌  薛巍巍 《中国图象图形学报》1998,3(10):858-870

一种基于最小调试边界的断点自动生成技术

下载全文  

时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界… …   相似文献

李丰  霍玮  陈聪明  李龙  衷璐洁  冯晓兵 《软件学报》2013,24(7):1455-1468

Horn逻辑上的范畴等价及方法推广

下载全文  

本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_HT,其态射是保真关系,另一个范畴是Herbrand解释范畴C_HB,范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。… …   相似文献

王怀民 《软件学报》1993,4(3):42-44

查询依赖的有序多超平面排序学习模型

下载全文  

针对当前基于支持向量机的排序学习方法训练时间长以及不考虑查询之间差异、模型单一的问题,提出一种查询依赖的有序多超平面排序学习模型,根据不同查询,利用其对应训练数据所属等级之间的序关系构建多个超平面.此外,提出了一种加权表决方法对多个超平面的排序列表进行聚合,根据各超平面的排序精度… …   相似文献

孙鹤立  黄健斌  冯博琴  赵志勤  刘均  郑庆华 《软件学报》2011,22(11):2773-2781

用Boosting方法组合增强Stumps进行文本分类

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

为提高文本分类的精度,Schapire和Singer尝试了一个用Boosting来组合仅有一个划分的简单决策树(Stumps)的方法.其基学习器的划分是由某个特定词项是否在待分类文档中出现决定的.这样的基学习器明显太弱,造成最后组合成的Boosting分类器精度不够理想,而且需要… …   相似文献

刁力力  胡可云  陆玉昌  石纯一 《软件学报》2002,13(8):1361-1367

复杂背景下模板自动检测与定位的新方法

下载全文  

在应用视觉测量系统时,摄像机标定是必要且关键的一步。当采用标定模板标定时,首要任务是对模板进行检测和定位。目前大量的模板检测定位采用的都是人工方法,它的显著缺点是效率低。为此,提出了一种复杂背景下新的模板自动检测与定位方法。该方法包括模板检测和精确定位两个步骤。前者利用图像分割、… …   相似文献

王建华  朱元昌  王春平 《中国图象图形学报》2007,12(8):1344-1348

利用背景聚类的快速前景分割算法

下载全文  

提出一种利用背景聚类的快速前景分割算法。该算法首先通过一种专门用于背景聚类的无监督模糊聚类方法将历史像素值进行聚类,继而用高斯成分来模拟每一个聚类,构建了基于聚类的时间域的背景模型。前景的分割则采用阈值化方法对像素属于背景的概率进行二分化处理。由于该方法能够根据场景自适应确定背景… …   相似文献

蒋鹏  秦小麟 《中国图象图形学报》2010,15(12):1790-1795

两类网络图的边-平衡指数集

  

在较小次幂圈嵌套网络图的基础上,研究了10次幂嵌套网络图的边-平衡指数集。利用基础图、带齿套圈子图、单点扇形子图设计新思路,降低了构造标号图的复杂程度。当n=10为偶数时,提出了新的变换指数方法,简化了证明过程。确定了m模6余1和余3且m大于等于2时(m为圈数)无限路10次幂圈嵌… …   相似文献

刘金萌  侯涛  郑玉歌 《计算机科学》2015,42(3):245-251

持久对象访问的自动捕获

下载全文  

本文提出持久对象访问的自动捕捉技术,该技术是面向对象数据库系统在保持对象级的并发控制、版本管理和约束检查的条件下,实现持久对象与易变对象访问方式的一致性,进而实现面向对象数据库与程序设计语言的无缝结合的关键技术．  相似文献

孙建伶  何志均 《软件学报》1995,6(6):321-326

基于影子的乒乓球机器人单目视觉系统标定

下载全文  

视觉系统的场景标定问题是乒乓球机器人研究中要解决的首要任务。针对传统的双目视觉方案中图像处理运算量大、成本高、高速同步采集实现较为困难的缺点,探索了一种单目摄像机下的基于影子辅助成像的视觉标定方法。从单目摄像机模型出发,简化立体映射为平面映射,利用视觉场景中灯光、乒乓球和影子之间的几何关系,结合最小二乘法和最小误差估计,准确地计算视觉系统中灯与摄像机的位置,为图像识别和3维目标定位奠定基础。该方法既标定了摄像机的参数,同时也标定了辅助灯的参数,而且从平面图像坐标计算3维坐标过程简便,实验结果证明其具有较高的精度（<4 mm）,可应用于快速图像处理的场合（>60 fps）,有望成为一种低成本、便捷而有效的方法。… …   相似文献

张远辉  韦巍  虞旦  彭博 《中国图象图形学报》2009,14(9):1895-1989

基于分块权重和相关反馈技术改进Zernike矩描述符的执行效率

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

Zernike矩是一种基于区域的形状描述符,它适合于描述具有复杂边界的目标。原始的Zernike矩描述符认为形状中任何位置的像素都具有相同的重要性,基于此,提出了一种改进的Zernike矩描述符。它首先采用预定义的两个半径值对原始形状进行分块,提取各分块的Zernike矩值作为图… …   相似文献

冯玉才  吴潇  梁俊杰 《中国图象图形学报》2007,12(6):1086-1090