基于可信级别的多级安全策略及其状态机模型

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

虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,使其可以方便地实现各种信道控制策略.建立了一个实现这种基于可信级别的多级安全策略的访问控制状态机模型,并证明其对定义的策略是安全的… …   相似文献

谢钧  许峰  黄皓 《软件学报》2004,15(11):1700-1708

基于能量感知的移动低占空比机会网络纠删编码算法

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

低占空比(low-duty-cycle,简称LDC)技术是当前延长无线传感器网络生命周期的最关键技术,为了有效延长机会网络生命周期,将低占空比技术引入机会网络,形成LDC机会网络.但是,现有机会网络路由算法不能很好地适应LDC环境,其性能会大幅度下降.为了解决该问题,提出一种基于… …   相似文献

陈良银  刘振磊  邹循  徐正坤  郭振乾  张靖宇  袁平  刘燕 《软件学报》2013,24(2):230-242

异构系统中负载平衡扩散算法的加速方法

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

目前,很多单位与组织都有连接着数百台工作站和微机的局域网,并将它们作为一个机群系统使用.在这样的异构系统上动态负载平衡是提高性能的一个重要方法.扩散方法是同构系统的动态负载平衡算法.将散算法扩展到异构系统中,对异构系统中速度不同的处理机的位置与扩散收敛速度的关系进行了研究,提出了… …   相似文献

金之雁  王鼎兴 《软件学报》2003,14(5):904-910

Mogent系统的通信机制

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

移动agent技术是新型软件构件框架的基础技术之一,而通信机制是其重要的组成部分.该文 结合移动agent系统Mogent(mobile agent)平台的研制,在分析了agent的移动特性对通信机 制的影响后,提出并实现了一种用于Mogent平台的一套系统的解决方案.该方案主要… …   相似文献

陶先平  冯新宇  李新  张冠群  吕建 《软件学报》2000,11(8):1060-1065

直觉线性μ-演算中的合成推理

下载全文  

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安… …   相似文献

KAZMISyedAsadRaz  张文辉 《软件学报》2009,20(8):2026-2036

基于多目标模糊线性规划求解方法的飞机排班问题研究

  

提出了一种基于多目标模糊线性规划法解决飞机排班问题的新算法。该算法将模糊理论与最优化概念相结合,根据最大隶属度原则,将以飞机飞行时间均衡优先、飞机起降次数均衡优先、飞机等待时间最少优先为目标函数的多目标模糊线性规划数学模型转化为一般的线性规划问题进行求解。实验数据表明,该算法可行… …   相似文献

吴东华  夏洪山 《计算机科学》2012,39(1):234-238

MODIS图象的云检测及分析

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

云一直是遥感图象处理、图象分析的一大障碍.为了解决这一问题,试图探讨利用中分辨率成像光谱仪MODIS检测云的方法,该方法充分考虑到MODIS数据具有36个光谱通道,特别是红外波段细分的特点,先是基于云的波谱特性采用多光谱综合法、红外差值法及指数法来对MODIS图象上的云点进行检测… …   相似文献

宋小宁  赵英时 《中国图象图形学报》2003,8(9):1079-1083

一种新的TSP问题环路构造算法及其在激光雕刻机路径控制中的应用

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

通过引入全局构造原则,并借鉴了Kruskal、2-opt等算法的思想,提出了一种新的时间复杂度为O(N2)的环路构造算法,并将其运用于激光雕刻机雕刻复杂图形时的路径优化。本算法生成路径长度约为理论下限的1.1倍,上浮幅度与NN和GD算法比较,分别下降了58%和42%。将此算法嵌入… …   相似文献

阮亮中  张利  吴超 《中国图象图形学报》2007,12(6):1114-1118

基于稀疏表示和词袋模型的高光谱图像分类

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

为增强高光谱图像稀疏表示分类方法中稀疏字典的表征能力并充分利用高光谱图像的光谱信息和空间信息,提出了一种新的基于稀疏表示和词袋模型的高光谱遥感图像分类方法。首先利用词袋模型算法结合高光谱遥感图像数据集生成各类别专业码本,作为字典中对应的原子构造稀疏表示字典。在计算每个像元的对应稀… …   相似文献

任越美  张艳宁  魏巍  张秀伟 《计算机科学》2014,41(10):113-116

一类代数免疫度达到最优的布尔函数的构造

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

给出了一种具有最优代数免疫度的偶数元布尔函数的构造,同时还给出了一种具有最优代数免疫度的平衡旋转对称偶数元布尔函数的构造.在构造过程中用到了线性代数和组合计数中的有关结论,这些函数对代数攻击均有很强的抵抗能力.构造的平衡旋转对称布尔函数还可用在Hash算法的轮函数中,增加了算法的… …   相似文献

孟强  陈鲁生  符方伟 《软件学报》2010,21(7):1758-1767

基于混沌映射的鲁棒性公开水印

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

提出了一种新的DCT(discrete cosine transform)域鲁棒性公开水印算法.该算法利用混沌随机性好和容易再生的特性,首先用散列处理后的混沌序列置乱水印,而后基于混沌序列在宿主图像DCT域的中频带随机选择少量参考点,并在其邻域内用奇偶量化法批量嵌入乱序水印比特.… …   相似文献

王宏霞  何晨  丁科 《软件学报》2004,15(8):1245-1251

一种基于PGM的单速率组播拥塞控制方案

下载全文  

PGM(pragmatic general multicast)是一种在IP协议中广泛应用的可靠的组播传输协议.但PGM标准本身没有拥塞控制方案,不能实时响应网络需求,及时地调节源端发送速率.针对这个问题,在保证PGM协议可扩展性的基础上,在发送方与CLR(current lim… …   相似文献

谭连生  熊乃学  杨燕 《软件学报》2004,15(10):1538-1546

短信息的会话检测及组织

下载全文  

如何挖掘存储在手机上的大量短信息背后所隐含的会话信息,是一个非常具有挑战性的问题,因为它们并不具备\"主题\"、\"回复\"等经常被用于邮件线索分析的元数据.基于此,提出了一种基于时间聚类算法和话题检测的短信息会话识别模型.首先,根据短信息流的时间分布特性,将会话双方的所有短信息… …   相似文献

田野  王文东  饶京海  王冠  郭亮  陈灿峰  马建 《软件学报》2012,23(10):2586-2599

基于广义旁瓣相消器的滤波器组旁瓣干扰抑制

下载全文  

传统滤波器组为降低旁瓣,需要提高滤波器阶数。该文将广义旁瓣相消的思想运用于滤波器组的旁瓣干扰抑制,在滤波器通带外的干扰信号频率处自适应形成零点。基于LMS算法,该文提出了基于自适应旁瓣相消器的滤波器组旁瓣干扰抑制算法,给出了算法的矩阵形式。通过限制系数长度,旁瓣相消器仅仅对消旁瓣… …   相似文献

李涛  李国林  廖辉荣 《电子与信息学报》2011,33(1):85-89

基于Haar特性的LBP纹理特征

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

图像纹理特征能够反映图像的灰度分布程度、对比度、空间分布和图像的内在变化特性,在确保较低计算复杂度的前提下,有效提取深层次的图像纹理信息是其研究的难点问题。针对这一问题,从相邻区域的统计特征分析入手,提出了一种Haar型特性局部二元模式(Haar local binary pat… …   相似文献

周书仁  殷建平 《软件学报》2013,24(8):1909-1926

基于多点模型的3D人脸姿态估计方法

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

改进传统的活动形状模型法,准确地提取人脸特征点后,针对人脸形状特性,使用人脸的多个特征点作为人脸模型,通过最小二乘法优化求解,精确估计3D人脸空间姿态。实验结果表明,新方法不仅可以获得稳定的姿态解,而且与同类方法比较具有良好的姿态估计精确度。  相似文献

胡步发  邱丽梅 《中国图象图形学报》2008,13(7):1353-1358

文档管理系统中小粒度授权机制的研究*

  

提出了操作权限分类的方法和标准,结合文档管理的业务特点,进行了基于文档结构树的授权业务建模;为求解权限管理的基本问题公式,建立了资源可拓展的、分级授权的授权机制,定义了授权机制的粗规则和业务逻辑接口,实现了树型资源等复杂资源系统的权限分配方式。  相似文献

刘强  张胜辉  邓光利 《计算机应用研究》2005,22(2):79-81

带共轭梯度算子的爆炸搜索算法

  

爆炸搜索算法作为一种全局优化算法,在迭代后期会出现收敛速度慢、精度低的问题,而传统的优化算法恰好能克服这些缺点。因此,引入一种传统算法——近似共轭梯度法,即用差商代替导数的共轭梯度法。在此基础上,提出了带共轭梯度算子的爆炸搜索算法,先引入了新的变异算子来提高算法的全局搜索能力,再… …   相似文献

曹炬  李艳姣  陈钢 《计算机科学》2014,41(5):230-234

基于P/T系统化简方法的工作流过程模型验证

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

目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型… …   相似文献

赵文  袁崇义  刘刚  张世琨  王立福 《软件学报》2004,15(10):1423-1430

利用快速傅里叶变换的目标尺度自适应回归跟踪

下载全文  

目的 视频跟踪中,跟踪背景复杂及目标表观变化是导致跟踪失败的主要原因.回归跟踪算法利用目标的表观信息建立回归模型进行跟踪,然而该算法的跟踪效率较低;基于循环结构的检测跟踪方法能有效利用循环结构提高跟踪效率,但该算法不能跟踪尺度变化的目标.为解决上述问题,本文提出一种基于快速傅里叶变换的尺度自适应回归跟踪算法,方法 首先利用快速傅里叶变换建立目标的核岭回归模型并搜索得到目标的中心位置,然后计算候选目标区域像素点的权重分布图,从而估计出目标的最佳尺度.结果 进行6组实验,与当前常见算法(CBWH、IVT、DFT、DSST、增量试探法)相比,本文算法不仅能较好地适应背景、目标尺度及姿态的变化,而且平均每帧运行时间短(毫秒级).结论 本文提出一种基于快速傅里叶变换的尺度自适应回归跟踪算法,算法对背景、尺度及姿态变化的目标跟踪具有较强的鲁棒性和很好的跟踪效率.… …   相似文献

张浪  侯志强  余旺盛  许婉君 《中国图象图形学报》2015,20(6):805-814