•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9221-9240项 搜索用时 113 毫秒
[首页] « 上一页 [457] [458] [459] [460] [461] 462 [463] [464] [465] [466] [467] 下一页 » 末  页»
9221.
合作式缓存技术是提高机群文件系统性能的关键技术之一.s2fs(scalable single-image file system)是一个单一映像机群文件系统原型,它利用双粒度协议实现了符合严格UNIX语义的合作式缓存.该文为s2fs设计了基于hint的启发式缓存替换算法,并为其建… …   相似文献
9222.
  
目前,关于窃密防范措施基本上只针对已知协议,为了保证网络的安全运行以及对攻击与危害行为的预警,迫切需要在当前结构复杂的网络环境下为决策者准确提供一种能高效地对未知协议进行识别的方法。为此,在整合已有的网络安全和数据挖掘技术的基础上,设计了基于数据报指纹关系的未知协议识别发现的解决… …   相似文献
9223.
本文从分析中文域名系统实现需要的基本功能模块出发,将域名系统分为应用层、表示层和寻址定位层3层结构。并简单说明了应用层应具备哪些功能,重点讨论了起关键作用的表示层中的中文域名统一编码的Puny-code编码实现流程,分析了寻址定位层中基于IPv6地址下的中文域名正反向解析方法,从… …   相似文献
9224.
  
社会化媒体提供了海量的、大尺度的异质网络数据,如何对网络数据进行分类是一个亟待解决的新问题。基于潜在社会维模型,提出利用流形学习中的拉普拉斯特征映射算法进行社会维抽取。实验表明,在精确匹配率、微平均、宏平均等性能指标上,均优于基于模块度最大化的原有社会维模型。该算法能更好地获取用… …   相似文献
9225.
  总被引:1,自引:0,他引:1
利用信任机制的概念,对传统网格调度算法进行改进,提出了信任驱动的动态调度算法TD_OLB、TD_MCT和静态调度算法TD_max-min;同时,在相同的假定条件设置下对这些新算法进行了仿真分析和比较研究.仿真结果表明,基于信任机制的调度算法不仅优于传统的基于makespan的调度… …   相似文献
9226.
下载全文  总被引:5,自引:0,他引:5
本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.  相似文献
9227.
  总被引:1,自引:0,他引:1
研究了一个制造商领导市场、一个零售商和一个第三方回收商共同负责回收且跟随决策的再制造闭环供应链系统。对制造商领导博弈时的四种不同市场结构下(M→R+T、M→R→T、M→T→R和M→C)的闭环供应链的各方决策变量值以及利润值进行计算及分析,最后采用重复博弈方法对避免劣市场结构(M→… …   相似文献
9228.
以RTL8139网卡为例,介绍了改写MAC地址的原理,给出了相应的技术细节和基于Delphi语言的实现程序,从而较好地解决了在应用程序中直接改写MAC地址的技术问题.  相似文献
9229.
  
现有MPTCP的数据调度方案无法满足多路径的动态变化,出现链路传输性能降低的问题.通过对每条路径上的ACK数、往返时延进行预测,提出一种前向预测速度调度方法.利用NS-3对该算法仿真,表明该算法能提高吞吐量,更加合理,并使负载更加均衡.  相似文献
9230.
  总被引:1,自引:0,他引:1
基于对偶模型理论,从公平性、稳定性和可扩展性三个方面结合多个发展线索,对因特网拥塞控制研究的发展和近况进行综述,并阐释和辨析了一些重要概念和算法,如网络拥塞控制算法的公平性概念,基于窗口调整和基于速率调整的端节点算法,调度算法与主动队列管理算法,端节点算法、中间节点算法与对偶模型… …   相似文献
9231.
给定一阶语言及该语言的一个理论,假设需要在理论中添加一个与理论不和谐的语句,并要求保持理论的扩张是和谐的,就必须删除理论内的某些语句.删除理论中尽可能少的语句,即保留理论与需要添加语句和谐的一个极大子集,是构造理论扩张的一种方法.本文构造出了针对上述理论扩张的证明论.该证明论的可… …   相似文献
张玉平  李未 《软件学报》1995,6(9):513-524
9232.
下载全文  总被引:2,自引:0,他引:2
面向对象的开发方法是一种很有前途的软件开发方法.它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护.然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象.本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和… …   相似文献
柳诚飞  居德华 《软件学报》1995,6(2):112-117
9233.
  
数据流的实时处理需要很高的处理速度,一种解决方法是使用协处理器。然而协处理器硬布线是不变的,查询不断变化使其一定时间内综合性能达不到最优。为提高数据流处理速度和资源利用率,采用了可重构的数据流SPJ查询处理器,在具备选择、投影和连接三种查询模块及相应指令集的基础上,根据输入查询的… …   相似文献
9234.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单.  相似文献
9235.
本文提出一种自适应指纹图像分割方法.利用指纹图像脊线和谷线的灰度值频数、纹线的方向性以及脊谷线灰度值的对比度,自适应地选择分割方法.适用于各种质量的指纹图像,阈值可以根据图像自适应地选择,避免了人为选择阈值的困难.实验结果表明,该方法分割准确,具有实际的适应性,错误分割率较低.… …   相似文献
9236.
下载全文  总被引:1,自引:0,他引:1
介绍电子内窥镜图像传输系统的设计及实现,包括系统的硬件设计和软件功能实现.用PCI接口控制器实现PCI总线接口,用DMA方式将图像数据由PCI总线传送至主杌内存,操作员只要采用脚踏板开关发送采集信号并可以进行实时图像采集;采用数据库方式进行图像数据存储;报告采用填充式模板结构进行… …   相似文献
9237.
本文介绍一种灵活实用的曲线拟合软件。它对于单自变量x,单因变量y的一组实验数据,分别使用线性回归和非线性回归两种算法,给出22种公式的回归系数等结果。能在屏幕上显示结果图形,或在打印机上快速地绘制精美的图形。从而为用户选择合适的经验公式提供了有效而直观的信息,并加速了选配经验公式的过程。… …   相似文献
9238.
动态对话框是Willdows开发环境下一种强有力的技术。本文探讨了如何在WIN16及WIN32编程环境7实现动态对话框的细节和要点。  相似文献
9239.
提出使用事件自动机对 C 程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法。事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性。事件自动机将属性规约与C程序本身隔离,不会改变程序的结构。在事件自动机的基础上,提出了自动机可达树的概念。结合自动… …   相似文献
阚双龙  黄志球  陈哲  徐丙凤 《软件学报》2014,25(11):2452-2472
9240.
  
基于决策的非对称裁剪中值滤波方法(MDBUTMF)能有效复原被高密度椒盐噪声污染的彩色图像,然而该方法采用固定大小的滤波窗口并利用均值替代中心像素,因此导致算法鲁棒性较低,对部分图像滤波失效.针对该问题,提出了一种基于自适应窗口的裁剪中值滤波方法,通过增加对单色区域的判断,有效解… …   相似文献
[首页] « 上一页 [457] [458] [459] [460] [461] 462 [463] [464] [465] [466] [467] 下一页 » 末  页»