脉动阵列的自动综合—FP方法

下载全文  

本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得… …   相似文献

夏心杰  孙永强  胡振江 《软件学报》1992,3(3):1-8

文本搜索排序中构造训练集的一种方法

下载全文  

在文本搜索领域,用自学习排序的方法构建排序模型越来越普遍。排序模型的性能很大程度上依赖训练集。每个训练样本需要人工标注文档与给定查询的相关程度。对于文本搜索而言,查询几乎是无穷的,而人工标注耗时费力,所以选择部分有信息量的查询来标注很有意义。提出一种同时考虑查询的难度、密度和多样… …   相似文献

王黎  帅建梅 《计算机系统应用》2010,19(10):199-202

多媒介数据库系统的分析及设计

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

本文论述了多媒介数据库系统的一些基本问题,并介绍了一个新型的多媒介数据库管理系统ＣＤＢ／Ｍ的设计．  相似文献

周龙骧  柴兴无 《软件学报》1995,6(2):69-77

基于层次角色委托的服务网格授权执行模型

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

针对网格应用中对委托限制的多方面需求,提出了基于层次角色委托的服务网格授权执行模型.模型支持委托角色授予与撤销功能以及相应的关联性限制特性.通过加入信任度,细化了关联性限制的表达粒度.通过定义角色树作为委托授权的基本单位并对角色树进行剪枝,改善了部分委托实现的难度.通过定义带信任… …   相似文献

陈志刚  桂劲松  郭迎 《软件学报》2009,20(9):2495-2510

一种基于小波变换的图像自适应盲水印算法*

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

根据人类视觉系统（HVS）特征和小波变换的多分辨分解特性,提出了一种基于小波变换的图像数字水印算法。该算法在原始图像的LL域自适应地嵌入盲水印,提取或检测时无需参考原始图像或原始水印,实现了全盲检测,与其他许多算法相比,提高了水印的强度,且兼顾了水印的容量,计算简单,易于实现。实… …   相似文献

付小青  李笑平  石磊 《计算机应用研究》2006,23(12):333-225

基于奇异值分解的伪光谱图像压缩算法

下载全文  

提出了一种光谱图像的快速获取和有效压缩算法。将一幅三原色图像转换为光谱图像,其像素被通过查找光谱调色板后所确定的相应的光谱反射因子取代,该反射因子的色度值与原像素最为接近。此时转换所得的图像并没有真实光谱数据而只有基于调色板的伪光谱值,它可用于模拟原始RGB图像在不同光源条件下的… …   相似文献

许法强  万晓霞 《计算机应用研究》2008,25(4):1105-1107

蜂窝网络上的路由算法*

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

主要研究蜂窝网络上的无死锁单播路由算法和一对全的广播路由算法。基于蜂窝网络的砖形画法,利用二维网络维序路由的基本思想和两个虚拟网络实现了无死锁的最短单播路由算法,并证明了算法的无死锁性。然后基于这个单播路由算法和线列上的广播算法,用软件实现了蜂窝网络上一对全的广播路由算法,经过简… …   相似文献

殷玉玲  杨小帆 《计算机应用研究》2009,26(6):2217-2219

基于相关向量机的小世界神经元网络拓扑估计

下载全文  

采用相关向量机从含噪时间序列中估计小世界神经元网络的节点动力学方程和拓扑结构.在具有多项式结构或能以幂级数展开的动力学系统中,将未知方程写成统一多项式形式,原动力学方程的项在统一多项式中是稀疏的,利用稀疏贝叶斯学习估计出稀疏项从而实现动力学方程和拓扑结构的估计.利用该方法对FHN… …   相似文献

郝崇清  王江  邓斌  魏熙乐 《计算机应用研究》2012,29(11):4082-4084

基于矩阵的粗糙集上、下近似求解算法*

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

针对粗糙集中上、下近似集的求解问题,根据关系的矩阵表示和矩阵运算具有简便直观的特点,提出了一种利用关系矩阵和基本的矩阵运算计算上下近似的方法,通过理论证明结果显示该方法是可行有效的。  相似文献

刘财辉  苗夺谦 《计算机应用研究》2011,28(5):1628-1630

基于AOP 的业务规则应用框架的研究与实现

下载全文  

构建基于AOP（AOP 是Aspect Oriented Programming 的缩写, 意思是面向方面编程）的业务规则应用框架。该框架引入连接方面来模块化规则引擎调用,从而实现规则引擎调用与核心业务逻辑的分离,通过面向方面编程织入技术最终把二者整合起来。这样业务规则和核心业务… …   相似文献

张瑜  王华 《计算机系统应用》2009,18(7):48-51

通用型CAPP专家系统中知识表示和推理机制的研究

下载全文  

ＣＡＰＰ作为ＣＡＤ与ＣＡＭ的中间桥梁,是ＣＩＭＳ必不可少的重要环节．本文针对开发通用性ＣＡＰＰ专家系统过程中,产品零件表示和工艺规程设计这两个关键问题,根据事物之间的相似性原理,提出了面向对象的产品零件和工艺规程的知识表示方法,以满足ＣＡＰＰ系统对产品零件信息表示的完整性、通用性… …   相似文献

杨莉  何志均 《软件学报》1994,5(8):21-29

改进的通视性检查算法

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

对虚拟环境中点到点的通视性检查算法进行了研究.在深入分析了一个目前具有代表性的投影覆盖检测(sieve overlap,简称SO)算法的基础上,对该算法进行了改进,使其更适合大规模分布式虚拟环境及各种仿真的需要.SO算法利用桶表和单线索三叉树进行地形多边形的管理及各种检索工作.基于感兴趣区的思想,大幅度缩减了桶表的检索范围,使点到点的通视性检查具有更高的真实性和实时性,能够更为有效地为大规模分布式虚拟环境中的动态实体提供各种环境信息.对SO算法及其改进算法SO^*在虚拟环境中应用的时间空间效率进行了分析.… …   相似文献

梁晓辉  赵沁平 《软件学报》2002,13(9):1840-1845

基于Mobile Agent技术的遗留系统再工程方法

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

针对因特网环境下遗留系统需要不断引入新的需求和技术的需要,提出了一种基于Mobile Agent的遗留系统再工程方法.在该方法中,对遗留系统采用Agent思想重新建模,将频繁的需要与其他部分交互的组件实现为移动Agent,并且允许以定制的Agent的方式添加新的需求,使得目标系统… …   相似文献

詹剑锋  程虎 《软件学报》2002,13(12):2343-2348

高效的基于证书数字签名设计方案*

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

基于证书加密结合了传统公钥密码加密和基于身份加密的优点,并克服了这两类加密体制中存在的问题。在计算性Diffie-Hellman问题困难的假设下,利用双线性对,构造了一个基于证书的数字签名方案,并在随机预言模型下证明了方案的安全性。方案设计简单,签名算法中不需要双线性对运算,仅在… …   相似文献

李志敏  徐馨  李存华 《计算机应用研究》2012,29(4):1430-1433

一种不完备信息系统的属性约简算法研究

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

通过分析不完备信息系统的粗糙集模型,引入了一种基于约束相似关系的二进制可辨矩阵的构造方法,该方法不仅适用于一致性的不完备信息系统,也适用于不一致性的不完备信息系统,并提出了一种基于下近似二进制可辨矩阵直接求取不完备信息系统的属性核和属性约简的算法,实验表明算法简单有效。… …   相似文献

赵亚鹏  丁以中 《计算机系统应用》2008,17(7):46-48

实时内存数据库的装入

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

实时数据库(real-time database,简称RTDB)要求以内存数据库(main memory database,简称MMDB)作为其底层支持.内存数据库的脆弱性使得数据库的装入(包括初装和重装)极为频繁,对系统性能影响极大,而传统的装入算法对实时内存数据库不适用.为此… …   相似文献

刘云生  李国徽 《软件学报》2000,11(6):829-835

视频监控系统中的图像采集和视频有效存储*

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

使用DirectShow方法实现图像采集和视频存储,给出了一种根据场景的运动信息对视频进行有效存储的策略。有效存储是指图像信息采集中,只记录有用的视频信息,使用一种改进的投影处理方法,从序列图像的差分图像中提取场景的运动信息。实验证明,该处理方法速度快、对噪音有很好的鲁棒性,符合… …   相似文献

屠添翼  石跃祥 《计算机应用研究》2005,22(8):241-242

车辆导航系统的设计与实现

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

本文主要介绍了一个基于PDA的在Windows CE上实现的车辆导航系统,它可以实时的为移动对象提供基于地理空间位置的综合信息服务。文章着重讨论了它的数据模型、空间数据结构、系统集成方式、系统主要功能、地图匹配和最短路径的实现方法。  相似文献

汪永红  罗军宏  张有为 《计算机系统应用》2006,15(3):2-5

一种简化的流体方法快速仿真大型三维云场景

下载全文  

提出了一种改进的立体云模拟方法,用Navier-Stokes流体方程描述云的运动规律,同时考虑大气运动条件下云的特性,建立云的运动模型。在云的实时渲染方面,基于太阳光照方向和天气状况提出了一种简单的光照模型,大幅度地提高了云的渲染速度。此外,使用改进的环状Impostor技术来提… …   相似文献

何晓曦  陈雷霆  朱清新 《计算机应用研究》2012,29(6):2357-2359

基于Strand空间的认证协议证明方法研究

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

Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.… …   相似文献

刘东喜  白英彩 《软件学报》2002,13(7):1313-1317