基于微核心的国产操作系统安全性研究

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

本文描述基于微核心设计思想的国产操作系统ＣＯＳＩＸＶ２．０的安全性设计．通过对基于微核心的多服务器体系结构的讨论,确立了系统安全性的设计方案．最后,是对一些值得探索的问题的简述.  相似文献

李军  孙玉方 《软件学报》1997,8(2):99-106

基于地表参数真实性的GF-1和SPOT-7多光谱影像质量评价

  

目的 遥感影像中地表信息表达真实程度决定了影像信息提取和定量化应用水平,传统的从像素灰度和视觉特性角度的影像质量评价方法难以评价影像对地表信息表达能力,本文从地表反射率和NDVI（normalized difference vegetation index）两种地表参数真实性角度评价GF-1和SPOT-7多光谱影像质量。方法 提出了一种基于地表参数真实性的多光谱影像质量评价方法,完成GF-1和SPOT-7卫星对实验区同步成像,地面同步测量大气光学特性和典型地物样区光谱,获取同步观测数据并对多光谱影像进行辐射误差处理,计算地物样区在影像上的反射率和NDVI,通过与地面实测光谱数据比较分析了地表参数真实性,评价GF-1和SPOT-7多光谱影像质量。结果 人工靶标中GF-1影像在4个波段反射率误差均在5%内,精度优于SPOT-7;植被地物中SPOT-7影像在蓝绿红波段反射率误差在4%内,近红外波段误差在15%内,NDVI误差在16%内,反射率和NDVI精度均优于GF-1;硬地地物中GF-1影像在4个波段反射率误差在6%内,精度优于SPOT-7;评价结果表明SPOT-7多光谱影像对植被类地物光谱表达真实度更高,GF-1对硬地类地物光谱表达真实度更高。结论 提出的基于地表参数真实性的遥感影像质量评价方法,能够有效地从地物光谱信息表达精度的角度评价影像质量。… …   相似文献

巫兆聪  杨帆  张熠  巫远  喻文蕴 《中国图象图形学报》2016,21(11):1551-1561

移动灰箱演算中强干扰问题的进一步控制

下载全文  

为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的… …   相似文献

管旭东  杨怡玲  尤晋元 《软件学报》2002,13(5):1018-1023

基于加同态公钥密码体制的匿名数字指纹方案

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

提出了一种基于加同态公钥密码算法的匿名数字指纹方案,并给出了具有匿名功能的公钥和私钥对的具体构造方法,从而使该匿名指纹方案在发现盗版的情况下,销售商不需要第三方的帮助就能鉴别出数字多媒体作品的非法分发者,解决版权纠纷时也不需要购买者参与并提供相关的秘密信息,从而达到实现两方审判的… …   相似文献

孙中伟  冯登国  武传坤 《软件学报》2005,16(10):1816-1821

图象模糊涟缘检测的改进算法

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

图象在检测技术是图象处理中最重要的内容之一,且已在图象分析和识别领域中得到广泛的应用。针对图象边缘由模糊性引起的不确定性问题,提出了一种图象模糊边缘检测的改进算法,该算法是道德民确定一个阈值参数,然后根据此阈值参数来定义一个新的隶属函数,从而钭图象转化为等效的图象模糊特征平面,通… …   相似文献

周德龙  潘泉  张洪才 《中国图象图形学报》2001,6(4):353-358

基于残差点的干涉相位图自适应滤波

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

为了能有效地对InSAR干涉相位图进行滤波,利用残差点矩阵作为滤波控制因子,对两种干涉相位图滤波方法进行了改进。该措施在不破坏致密的干涉条纹的情况下,通过引用干涉相位图的残差矩阵,对不同区域的图像采用不同强度的滤波器来实现自适应的降噪,同时详细描述了滤波方法的实施步骤,并用ERS… …   相似文献

杨磊  冯茜  王志刚 《中国图象图形学报》2007,12(11):1976-1979

基于Agent动态加权二部无标度网络的异性HIV传播与政策调控模型

  

HIV的传播是个体的行为、疾病的干预措施和个体之间的社会网络协同演化的结果。提出了基于agent的动态加权二部无标度网络方法的异性HIV传播和干预仿真模型。二部网络中的女性人群根据高危行为不同分为普通人群和女性性工作者(Female Sex Workers,FSW),男性人群根据… …   相似文献

何晓力  毕贵红  王海瑞 《计算机科学》2014,41(1):72-79

PCLAgenda:一个基于过程的CASE环境

下载全文  

本文描述了ＰＣＬＡｇｅｎｄａ（ｐｒｏｃｅｓｓｃｏｎｔｒｏｌｉｎｇｌａｎｇｕａｇｅａｇｅｎｄａ）的设计与实现．ＰＣＬＡｇｅｎ－ｄａ是ＳＣＯＰ组合框架软件工具系统中提供的以过程为核心的软件工程环境,其主要功能是定义软件开发过程,指导、控制和自动化软件开发工作,支持开发人员的合作和协调… …   相似文献

武小鹏  黄涛  冯涛 《软件学报》1996,7(12):735-742

一种电子投票方案

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

提出了把动态多密门限体制应用于大规模选举的电子投票系统,它可以允许系统中存在多个监票人(机构).即使在选票的生成、加密、传输及解密、统计过程中存在自适应敌手,也不影响选举的正常进行,因此具有强壮性.提供的电子投票方案,无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身… …   相似文献

李彦江  马传贵  黄刘生 《软件学报》2005,16(10):1805-1810

基于血管内超声图像序列的相角配准与边缘检测

  

血管内超声成像可以显示血管内腔、管壁清楚的实时截面图像。实际采集的冠状动脉序列图像由于受脉动的影响而产生较大的重叠和错位,破坏毗邻图像的相关性,从而影响血管边缘检测、定量测量和3维重建的准确性。为进行精确的配准和边缘检测,采用一种新型的无需硬件设施的相角配准技术,经对序列图像的重… …   相似文献

董海艳  王惠南  李虹 《中国图象图形学报》2007,12(6):1048-1054

基于LabVIEW 的比色温度测量的实现

下载全文  

传统的测温方法不能对高温物体进行测量,但是不同温度下物体的热辐射特性不一样,因此可以根据测量辐射光线来计算物体的温度。比色测温通过两个不同波长光的辐射强度来计算物体的温度,减小了发射率以及信号传输等因素造成的误差。采用虚拟仪器技术开发测量系统可以大大缩减开发周期,同时也可以提供良… …   相似文献

冯驰  高晓成  陈瑞斌 《计算机系统应用》2011,20(2):189-192

软件缺陷关联分析与缺陷排除研究

  

在软件开发过程中,软件缺陷具有传播的特性.缺陷的传播特性决定了缺陷之间并非独立存在,而存在相互关联,因此软件缺陷关联分析对于缺陷排除、软件质量保证、过程改进具有重要的意义.从软件缺陷关联的原因出发,基于面向对象的分析与设计模型,分析了软件缺陷的传播过程,研究了对象关联与软件缺陷关… …   相似文献

李鹏  赵逢禹 《计算机科学》2013,40(10):159-161,189

基于首选路由的AS 重要性评估方法

下载全文  

准确评估节点的重要性,是增强网络生存性的基础.由于域间路由系统路由策略的复杂性,已有的面向静态拓扑的节点重要性评估方法不能真实反映各个自治系统(autonomous systems,简称AS)在路由中的重要性.首次从动态路由的角度基于AS之间的最优路径从路由上评估各个AS的重要性… …   相似文献

刘红军  胡晓峰  邓文平  卢锡城 《软件学报》2012,23(9):2388-2400

软件流水的开销模型和决策框架

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

软件流水是一种重要的指令调度技术,它通过重叠地执行不同的循环体来提高指令级并行性(instruction level parallelism,简称ILP).模调度是一类被广泛采用的软件流水调度算法.软件流水并非一种无损的优化方法,它具有一定的开销,比如延长了编译时间、增加了寄存器… …   相似文献

李文龙  林海波  汤志忠 《软件学报》2004,15(7):1005-1011

基于广义逆矩阵的B样条曲线节点消去算法研究

  

为了能运用广义逆矩阵理论来研究B样条曲线的节点消去问题,以解决在B样条曲线曲面拟合过程中产生的冗余节点数据,提出了一种基于广义逆矩阵的B样条曲线节点消去算法,该算法首先利用广义逆矩阵在处理奇异性问题上的独特作用来获得B样条曲线的节点可以消去的充要条件;然后在此基础上,又提出了消去… …   相似文献

黄健民  施法中  宋荆洲 《中国图象图形学报》2006,11(3):379-386

一类并发实时系统的自动验证

下载全文  

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索… …   相似文献

赵建华  郑国梁  Dan Van Hung 《软件学报》2000,11(2):229-234

认证协议两种形式化分析方法的比较

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

串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.  相似文献

卿斯汉 《软件学报》2003,14(12):2028-2036

一种基于矢量伸缩函数的参数曲面插值变形方法

  

为了对参数曲面进行精确变形,可通过构造特殊矢量伸缩函数来实现参数曲面的捕值变形.变形时,先在曲面选取变形辅助点,并利用这些辅助点构造矢量伸缩甬数;然后基于矢量叠加原理用此伸缩矢量函数去作用曲面,使曲面发生变形且变形后通过给定的插值点.插值变形结果表明,此方法不仅能够精确控制变形范… …   相似文献

周正华 《中国图象图形学报》2009,14(11):2328-2332

一种基于H.264的可变块快速运动估计算法

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

H.264是最新的视频编码标准,它相对于以前的视频编码标准在编码效率上有了巨大的提高。高编码效率得益于采用了一系列新的编码技术,这也导致了较高的计算复杂度。H.264运用了可变块运动估计方法,这也是H.264编码过程中最耗时的模块。提出了一种基于H.264的可变块快速运动估计算法… …   相似文献

陈纯  杨智  卜佳俊  莫林剑 《中国图象图形学报》2007,12(2):272-276

GIS领域最短路径搜索问题的一种高效实现

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

目前在 GIS领域 ,对最短路径搜索问题的研究和应用较多 ,其中最短路径搜索算法的效率问题是普遍关注和在实际应用中迫切需要解决的问题 .通过对基于 Dijkstra最短路径搜索算法的优化途径的分析 ,从算法本身和数据存储结构两个方面同时对此问题的解决方案进行了优化 ,提出了直线优… …   相似文献

王开义  赵春江  胥桂仙  宋晓宇 《中国图象图形学报》2003,8(8):951-956