MD5碰撞攻击中的充要条件集

下载全文  

通过分析MD5中非线性函数的性质以及模2³²减差分和异或差分的性质,证明了Liang Jie和Lai Xuejia 给出的产生MD5碰撞的充分条件集中的条件是保证第23～62步的差分路径满足的充要条件,给出了保证第63、64步的输出差分满足的充要条件集.利用得到的充要条件集,提出了对MD5的改进的碰撞攻击算法,该算法的平均计算复杂度约为已有碰撞攻击算法的0.718 7倍,并通过实验对该算法的改进效果进行了验证.… …   相似文献

陈士伟  金晨辉 《软件学报》2009,20(6):1617-1624

面向服务软件异常处理研究综述

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

随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理中使用的方法,并指出它们的局限性。通过分析和总结当前面向服务… …   相似文献

管华  应时  贾向阳  蒋曹清  王一兵 《计算机科学》2013,40(4):1-8

DPCM图象编码系统中的预测值取整对信道误码响应的影响

  

在数字图象信号DPCM编码系统中,解码器的非线性主要来自预测值取整。预测值取整有可能对DPCM系统的信道误码响应产生重要影响。由于存在非线性,在线性近似下推导出的解码器的BIBO稳定条件并不能保证信道误码完全衰减。本文提出了两种改进的预测值取整方式。与通常的取整方式相比,新的取整… …   相似文献

张春田 《通信学报》1985,(4)

基于矢量线强化的增强型2维流场实时绘制

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

在流场绘制中,合理地结合矢量场的多种属性有助于矢量场的特征分析,据此提出了一种基于矢量线强化的增强型2维流场实时绘制算法。通过对流场的一些标量属性如大小、角度和曲率进行色彩映射,该算法不仅可以清晰显示流场运动方向,而且能显示矢量场的多种属性,有助于了解流场矢量特征分布和主要拓扑结… …   相似文献

周迪斌  王康健  解利军  郑耀 《中国图象图形学报》2008,13(9):1805-1812

语言的抽象、封装与变换型开发方法

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

该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment… …   相似文献

张乃孝  郑红军  裘宗燕 《软件学报》1998,9(7):496-500

数据库设计工具集DBTOOLS的设计

下载全文  

本文介绍的数据库设计工具集DBTOOLS包括扩充的E—R模型设计工具EERD、从E—R模型到关系模型转换工具ERTR、从DFD、DD到关系模型转换工具DDTR,DBTOOLS以自动转换和人工干预相结合的方式工作,提供对关系数据库概念结构设计和逻辑结构设计的支持,DBTOOLS的设… …   相似文献

杨冬青  唐世渭; 《软件学报》1993,4(4):26-31

关于传递闭包和函数依赖完备公理系统存在问题研究

下载全文  

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完… …   相似文献

聂培尧 《软件学报》1994,5(3):37-42

基于路径识别的移动机器人视觉导航

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

跟随路径导引是自主式移动机器人广泛采用的一种导航方式,其中视觉导航具有其他传感器导航方式所无法比拟的优点,是移动机器人智能导航的主要发展方向。为了提高移动机器人视觉导航的实时性和准确性,提出了一个基于路径识别的视觉导航系统,其基本思想是首先用基于变分辨率的采样二值化和形态学去噪方… …   相似文献

张海波  原魁  周庆瑞 《中国图象图形学报》2004,9(7):853-857

基于特征选择和半监督学习的遥感图像检索

下载全文  

随着卫星遥感技术的不断发展,基于内容的遥感图像检索技术越来越受到关注。目前该方向的研究主要集中在对遥感图像中不同特征的提取和融合方面,这些方法普遍忽略了这样一个事实：对于不同类型的检索目标,特征应该是不同的。另外,小样本问题也是遥感图像检索中一个较为突出的问题。基于以上两方面考虑… …   相似文献

朱佳丽  李士进  万定生  冯钧 《中国图象图形学报》2011,16(8):1474-1482

利用预测误差直方图平移的可逆数据隐藏技术

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

根据图像差值直方图的特点,提出了一种在图像差值中进行差值扩展嵌入的可逆数据隐藏技术。为了减少数据嵌入所带来的图像质量退化,提出了几种策略,包括选择交错平移直方图以控制差值移动的个数,利用直方图零点对直方图进行分段以减小在创造嵌入空间时直方图平移的位移,以及一种与直方图平移技术相适… …   相似文献

李建伟  胡永健  陈开英 《中国图象图形学报》2009,14(6):1088-1095

基于人工蜂群算法的DV-Hop定位改进

  

针对无线传感器网络无需测距依赖的DV-Hop定位算法节点定位精度不高的问题,将鲁棒性强、收敛速度快且全局寻优性能优异的人工蜂群算法引入到DV-Hop算法的设计中,提出了一种ABDV-Hop(Artificial Bee ColonyDV-Hop)算法。该算法在传统DV-Hop算法… …   相似文献

李牧东  熊伟  郭龙 《计算机科学》2013,40(1):33-36

自主构件自适应策略的在线定制及动态评估

下载全文  

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被动的受管对象,而应将其建模为具有主动行为能力的计算实体,并… …   相似文献

接钧靖  史庭训  焦文品  孟繁晶 《软件学报》2012,23(4):802-815

逆向工程中复杂拓扑关系的三角网格构造*

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

三角网格构造是逆向工程CAD建模技术中的一个重要步骤。提出了一种针对扫描线点云数据的三角网格构造方法,该方法的核心思想是合并同层的扫描线,并且标记合并后扫描线的间断点,以便三角网格构造和拓扑结构建立。该方法解决了对于包含分叉和内孔特征的三角网格的构造问题。  相似文献

陈志杨  潘如刚  叶修梓 《计算机应用研究》2005,22(1):232-234

面向模块重用的描述逻辑SHJF本地性规则研究

  

可重用本体模块的抽取是本体重用的一个关键环节。与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性。在研究保守扩展的本体模块理论基础上,根据Grau B C提出的 SHOJQ 本地性规则,提出… …   相似文献

徐德智  廖晖寰  徐连君 《计算机科学》2015,42(1):249-252

基于Hadoop的微博舆情监控系统

下载全文  

随着在线社会网络如社交网站、微博、在线社区等的快速发展, 一个真正的双向传播和新媒体时代逐步形成. 在线社会网络让每个用户都能创造自己的内容, 并且快速传播出去. 据不完全统计, 新浪微博平均每秒有超过1000条的新微博产生, 日增量数据为5TB, 因此海量数据给舆情监控带来了严… …   相似文献

陈彦舟  曹金璇 《计算机系统应用》2013,22(4):18-22,9

一种集成组播代理和操作转换的并发控制方法

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

摘　要：现有的分布式实时协作系统多采用操作转换的方法来提供并发控制服务,但是在系统数据量很大时,系统性能不高.为解决这一问题,提出了一种新的并发控制方法madOPT:该方法利用对象所定义的操作的语义进行冲突解析,集数据对象的动态载入、数据传输和操作转换功能为一体.madOPT改进… …   相似文献

杨武勇  史美林  姜进磊 《软件学报》2004,15(4):497-503

一种ICN中的启发式路由机制

  

互联网逐渐成为社会基础设施,现有TCP/IP体系结构面临诸多挑战,以信息中心网络(Information-Centric Networking,ICN)为代表的未来互联网成为研究热点。在基于名字路由的基础上,提出了一种面向ICN的启发式路由机制,即通过为满足回溯条件的兴趣包寻找其… …   相似文献

孙欣欣  王兴伟  李洁  黄敏 《计算机科学》2014,41(12):8-10,37

CLAHE和细节放大相结合的档案图像增强方法

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

图像增强可提高扫描档案图像的质量,关系到档案图像信息系统的生命。运用CLAHE可以进行全局对比度拉伸,运用Lee滤波器可进行局部细节放大,将两者结合可形成放大细节的CLAHE方法。对结合的方法从两方面进行改进,一是引入噪声抑制措施,使得Lee滤波器只放大图像细节而不放大噪声;二是… …   相似文献

杨有  李波 《中国图象图形学报》2011,16(4):522-527

Said-Bézier型广义Ball曲线显式降多阶

下载全文  

给出了计算Said-Bézier型广义Ball曲线(SBGB曲线)在L₂范数下保持端点约束的一种最佳降多阶算法.基于SBGB基函数、幂基函数和Jacobi基函数之间的相互转换关系,得到了SBGB基函数和Jacobi基函数之间的显式转换矩阵;进一步利用Jacobi基的正交性和上述转换矩阵的逆矩阵,导出了SBGB曲线在L₂范数下的显式约束降多阶算法.此算法蕴含了Said-Ball曲线、Bézier曲线以及位置介于这两类曲线之间的一大类参数曲线的相应降多阶算法.证明了这是一种可以预报最佳误差且满足端点高阶约束的一次性降多阶算法.最后用数值实例说明了算法的正确性和优越性.… …   相似文献

刘刚  王国瑾 《软件学报》2010,21(6):1473-1479

基于Myrinet的高性能VIA设计与实现

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

Virtual interface architecture(VIA)建立了一种低延迟、高带宽的通信模型,定义了集群系统中用户层高性能通信规范的标准.通过分析VIA的进展、原理及当前的实现,在Myrinet上设计并实现了一个符合VIA规范的高性能用户层通信软件MyVIA.首先定义… …   相似文献

陈渝  焦振强  谢军  都志辉  李三立 《软件学报》2003,14(2):285-292