基于Linux内核的USB设备安装管理与实现

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

针对目前桌面Linux操作系统中USB存储设备管理不完善的问题,提出了在内核中实现USB设备的自动安装机制,该方法将设备安装的手动操作转移到了内核中自动实现,避免了用户通过命令手动安装的操作,实现了Linux下USB设备的即插即用。  相似文献

谢炼  顾明  林国恩 《计算机应用研究》2006,23(3):227-230

H.264/AVC中基于搜索区域划分及评估的运动估计

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

目前视频编码器中的快速运动估计搜索算法(如三步法、钻石搜索法)搜索点数少、速度快,但易陷入局部最优。另外一些混合模板搜索算法(如UMHexagons算法)较为有效地克服了这一缺点,然而这种算法需要处理较多的搜索点数导致搜索速度较慢。为了达到在减少搜索陷入局部最优可能的同时尽量降低… …   相似文献

申舟  李正明  潘天红 《中国图象图形学报》2010,15(2):242-246

基于压缩感知信号重建的自适应空间正交匹配追踪算法

  

传统的奈奎斯特采样定理规定采样频率最少是原信号频率的两倍,才能保证不失真的重构原始信号,而压缩感知理论指出只要信号具有稀疏性或可压缩性,就可以通过采集少量信号来精确重建原始信号.在研究和总结已有匹配算法的基础上,提出了一种新的自适应空间正交匹配追踪算法(Adaptive Spac… …   相似文献

姚远  梁志毅 《计算机科学》2012,39(10):50-53

基于层次化时间STM软件设计的形式化验证

  

状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言。事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建模方法的推广应用。文中针对这些问题,首先提出层次化时间状态迁… …   相似文献

周宽久  任龙涛  王小龙  勇嘉伟  侯刚 《计算机科学》2014,41(8):42-46

具有路径能耗优化特性的WSN无标度容错拓扑控制算法

  

针对数据传输型的大规模无线传感网络中路径能量损耗问题,建立在多跳模式下的网络路径能耗优化模型,得出可以使网络通信能耗最小的节点度取值规律。依据节点度的最优取值,通过控制网络平均节点度的适应度模型来构建网络拓扑,提出一种具有路径能耗优化特性的无标度容错拓扑控制算法EETA(ener… …   相似文献

刘浩然  韩涛  李雅倩  尹荣荣 《通信学报》2014,35(6):64-72

基于马尔可夫逻辑网的联合推理开放信息抽取

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

在自然语言处理的几个子任务上,传统的方法都是分而治之,例如分词、句法分析、命名实体识别、实体关系识别等.但是,孤立地分析和处理这些子任务会丢失一些彼此之间的内在联系,而这些子任务之间的内在联系往往会对每个子任务有很大帮助.所以,有人提出用联合集成式的模型,从整体上解决这些问题.但… …   相似文献

刘永彬  杨炳儒  李广源  刘英华 《计算机科学》2012,39(9):202-205

一种基于层次分析法的信息系统漏洞量化评估方法

  

根据层次分析法提出了一种具有可操作性的信息系统漏洞量化评估方法.按照分层思想,将系统漏洞严重程度的模型分解为因素层、评价层、特性层和目标层,分别从风险概率、风险影响和不可控制性等几方面对漏洞带来的风险因素进行专家评定,并依此来确定权重,通过计算其各层评估值,最后得到信息系统的整体… …   相似文献

李鑫  李京春  郑雪峰  张友春  王少杰 《计算机科学》2012,39(7):58-63

一种基于效益-代价均衡的磁带库调度算法

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

诸如数字图书馆等规模在10¹²字节以上的大型数据库需要在线存取大容量磁带库中的海量数据.由于这些需求都是对海量数据的随机存取,而磁带库的随机存取性能很差,所以,研究有效的磁带库随机I/O调度策略和算法是改善磁带库系统性能的重要课题.提出并研究了一种基于效益-代价均衡的调度算法,给出一种有效的效益-代价加权比的估算方法.该算法根据系统的工作负载特点,动态调节调度的效益和代价的加权比,从而改善了磁带库系统在各种负载下的系统性能.研究解决了已有磁带库调度算法的对工作负载敏感的问题,极大改善了调度算法在重负载下的有效性.… …   相似文献

石晶  邢春晓  周立柱 《软件学报》2002,13(2):239-244

基于模型的人体动画方法

下载全文  

文章从点点对应,线线对应入手,首先给出了根据已知二维影像特征求得与其对应的三维模型特征参数的方法,然后给出了已知人体二维影像特征求解三维人体模型特征参数方法的详细描述.基于这一思想,实现了一个动画系统Video & Animation Studio.文章最后给出了一个由该系统实现… …   相似文献

劳志强  潘云鹤 《软件学报》2000,11(4):435-440

负载平衡无关的并行程序最适处理器网格选择

下载全文  

用户在编写并行程序时,通常是把物理处理器看成逻辑的处理器(进程)网格,以便于算法的实现.随着用户可用处理器的不断增多,可选择的网格形状也随之增加,如何为基于消息传递的并行程序选择合适的、能发挥出并行机潜在性能的处理器网格形状,是一个迫切需要解决的问题.在提出基于通信点概念的最小度… …   相似文献

张云泉  施巍松 《软件学报》2000,11(12):1674-1680

体绘制技术在医学可视化中的新发展

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

科学计算可视化体绘制算法能反映出体数据的内部信息,在医学,它已经从辅诊断发展成为辅助治疗的重要手段,体可视化技术是医学可视化的重要研究内容,其处理过程包括体数据的获取,模型的建立,数据的映射,绘制等操作,该文介绍了医学可视化中常使用的几种光照模型,针对基于图象空间和对象空间两种体… …   相似文献

彭延军  石教英 《中国图象图形学报》2002,7(12):1239-1246

一个基于无约束通孔优化的双层布线算法—FOREST

下载全文  

FOREST是一个立足于无约束通孔优化的新的布线算法,它从总体上将布线过程分为拓扑布线和物理布线两部分,并把两者视为相互联系的整体。作为一种启发式算法,它试图综合考虑布通率、布线空间、通孔数和连线总长等因素,算法打破横竖严格分层的限制,并允许不同层线段重叠,FOREST算法适用于… …   相似文献

何江安  洪先龙 《软件学报》1992,3(1):8-16

一个新的带非常简单系数的双正交小波

下载全文  

近来,通过带待定系数提升格式构造小波已经被提出,构造出的提升格式一般有4步提升。不同地是,本文使用5步提升格式来构造小波。最终获得一个带非常简单系数(特别是在其提升格式中)的小波。它的消失矩阶数与D9/7小波一样大,但相应滤波器的系数都是简单分数。在它的提升格式中,所有系数的分母… …   相似文献

周化雨  杨坦  关履泰 《中国图象图形学报》2007,12(7):1189-1193

静态分析面向异构系统的应用级Checkpoint 设置问题

下载全文  

应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销。选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级 checkpointing 技术的关键… …   相似文献

贾佳  杨学军  马亚青 《软件学报》2013,24(6):1361-1375

不等长记录的公式索引分组字典排序

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

本文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n)。该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果。  相似文献

徐绪松  周建钦 《软件学报》1991,2(3):59-64

一种基于切比雪夫不等式的自适应阈值背景建模算法

  

背景建模是实现运动目标检测与跟踪的关键技术之一。在实时视频监控系统中,对背景建模算法的运行时间及所提取出的背景图像的实时性有很高的要求,针对这一问题,提出了一种基于切比雪夫不等式的自适应阈值背景建模算法。算法利用切比雪夫不等式计算像素点色度变化的概率估计值,提出了一种自适应阈值分… …   相似文献

张琨  王翠荣  万聪 《计算机科学》2013,40(4):287-291

  

To solve the challenging problem that the edge regions of image have some remained hazes and blackspots,a novel image dehazing algorithm was… …   相似文献

Hong-zhong TANG  Xiao-gang ZHANG  Ling ZHU  Hua CHEN  Xiang WANG  Xiao LI 《通信学报》2017,38(1):26-34

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

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

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

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

一种Hadoop中基于作业类别和截止时间的调度算法

  

Hadoop是一种开源可靠的分布式计算框架,而MapReduce是处理超大规模数据集的编程模型.鉴于Ha-doop内置的调度器不能很好地处理类别不同且有截止时间的作业的调度,提出了一种基于作业类别和截止时间的作业调度算法.作业分为CPU密集型和I/O密集型,并根据截止时间设置优先… …   相似文献

李曌  滕飞  李天瑞  杨浩 《计算机科学》2015,42(6):28-31, 45

一个新的证明网定义及合理性

下载全文  

本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．  相似文献

黄林鹏  孙永强 《软件学报》1994,5(10):33-37