用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9221-9240项 搜索用时 120 毫秒
[首页] « 上一页 [457] [458] [459] [460] [461] 462 [463] [464] [465] [466] [467] 下一页 » 末  页»
9221.
下载全文  总被引：5，自引：0，他引：5
本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.  相似文献
9222.
以RTL8139网卡为例,介绍了改写MAC地址的原理,给出了相应的技术细节和基于Delphi语言的实现程序,从而较好地解决了在应用程序中直接改写MAC地址的技术问题.  相似文献
9223.
  总被引：1，自引：0，他引：1
基于对偶模型理论,从公平性、稳定性和可扩展性三个方面结合多个发展线索,对因特网拥塞控制研究的发展和近况进行综述,并阐释和辨析了一些重要概念和算法,如网络拥塞控制算法的公平性概念,基于窗口调整和基于速率调整的端节点算法,调度算法与主动队列管理算法,端节点算法、中间节点算法与对偶模型… …   相似文献
9224.
在历史网页检索系统中,存在着按时间顺序来对检索结果进行排序的特殊需求,在客观上要求系统能够比较准确地判断文档与查询词是否相关。针对这一特殊需求,引入领域的概念,将领域用于用户检索的表示,在领域的基础上设计了一种带衰减因子的BM25检索相关性计算算法。实验结果显示该检索算法是有效的… …   相似文献
9225.
给定一阶语言及该语言的一个理论,假设需要在理论中添加一个与理论不和谐的语句,并要求保持理论的扩张是和谐的,就必须删除理论内的某些语句．删除理论中尽可能少的语句,即保留理论与需要添加语句和谐的一个极大子集,是构造理论扩张的一种方法．本文构造出了针对上述理论扩张的证明论．该证明论的可… …   相似文献
张玉平  李未 《软件学报》1995,6(9):513-524
9226.
下载全文  总被引：2，自引：0，他引：2
面向对象的开发方法是一种很有前途的软件开发方法．它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护．然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象．本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和… …   相似文献
柳诚飞  居德华 《软件学报》1995,6(2):112-117
9227.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．  相似文献
9228.
提出使用事件自动机对 C 程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法。事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性。事件自动机将属性规约与C程序本身隔离,不会改变程序的结构。在事件自动机的基础上,提出了自动机可达树的概念。结合自动… …   相似文献
阚双龙  黄志球  陈哲  徐丙凤 《软件学报》2014,25(11):2452-2472
9229.
合作式缓存技术是提高机群文件系统性能的关键技术之一.s2fs(scalable single-image file system)是一个单一映像机群文件系统原型,它利用双粒度协议实现了符合严格UNIX语义的合作式缓存.该文为s2fs设计了基于hint的启发式缓存替换算法,并为其建… …   相似文献
9230.
下载全文  总被引：1，自引：0，他引：1
介绍电子内窥镜图像传输系统的设计及实现,包括系统的硬件设计和软件功能实现.用PCI接口控制器实现PCI总线接口,用DMA方式将图像数据由PCI总线传送至主杌内存,操作员只要采用脚踏板开关发送采集信号并可以进行实时图像采集;采用数据库方式进行图像数据存储;报告采用填充式模板结构进行… …   相似文献
9231.
本文介绍一种灵活实用的曲线拟合软件。它对于单自变量x,单因变量y的一组实验数据,分别使用线性回归和非线性回归两种算法,给出22种公式的回归系数等结果。能在屏幕上显示结果图形,或在打印机上快速地绘制精美的图形。从而为用户选择合适的经验公式提供了有效而直观的信息,并加速了选配经验公式的过程。… …   相似文献
9232.
动态对话框是Willdows开发环境下一种强有力的技术。本文探讨了如何在WIN16及WIN32编程环境7实现动态对话框的细节和要点。  相似文献
9233.
  
基于决策的非对称裁剪中值滤波方法(MDBUTMF)能有效复原被高密度椒盐噪声污染的彩色图像,然而该方法采用固定大小的滤波窗口并利用均值替代中心像素,因此导致算法鲁棒性较低,对部分图像滤波失效.针对该问题,提出了一种基于自适应窗口的裁剪中值滤波方法,通过增加对单色区域的判断,有效解… …   相似文献
9234.
下载全文  总被引：1，自引：0，他引：1
Apache是Internet中最流行的Web服务器软件之一。世界上可能有超过半敏的网站采用Apache作为Web Sever.Apache提供了许多有特色的服务功能,虚拟主机就是主要功能之一。本文主要讨论Apacche的虚拟主机的配置及应用。  相似文献
9235.
  
网络QoS机制不足以提供完全的端到端的性能保证,在由三层结构构成的电子商务网站中,基于反馈控制理论,提出并实现了在应用服务器的数据库连接池中的绝对延迟保证,对数据库连接池作出了改进,确保带有高优先级请求的平均排队延迟不超过设定的阈值。通过系统辨识建立了数据库连接池的近似线性时不变… …   相似文献
9236.
现有MPTCP的数据调度方案无法满足多路径的动态变化,出现链路传输性能降低的问题.通过对每条路径上的ACK数、往返时延进行预测,提出一种前向预测速度调度方法.利用NS-3对该算法仿真,表明该算法能提高吞吐量,更加合理,并使负载更加均衡.  相似文献
9237.
  
一般的模糊概念格在构造过程中没有考虑用户的需求,用户对模糊概念格节点中一些属性集形成的内涵并不感兴趣。为了增强模糊概念格的针对性,降低模糊概念格构造的时空复杂性,构造满足用户需求的模糊概念格,首先将用户感兴趣的背景知识定义为约束条件,根据用户关心的属性间关系,将约束条件分为3类:… …   相似文献
崔芳婷  王黎明  张卓 《计算机科学》2015,42(8):288-293, 318
9238.
  
如何实现有效查询是对等应用的关键,在分析几种常见的查询算法的基础上,介绍双重指针分布式索引算法的实现过程.通过计算对等网络中文档的流行度和网络的连通状态,确定节点的有用性,进一步决定查询的路由.通过仿真实验,将该算法与几种常用算法在查询耗时、查询请求数量、更新信息数量上进行比较.… …   相似文献
9239.
销售渠道报表在企业应用中十分广泛,这类报表产生时普遍存在数据采集困难、报告格式单一、数据冗余和数据利用效率低等问题。为了解决这些问题,以实际项目为背景,借助IBM Cognos TM1工具设计并部署了一个销售渠道报表系统。重点研究了通过不同的数据采集模板,结合多种数据来源和数据展… …   相似文献
9240.
  
针对如何将IPv4环境下的包标记技术应用于IPv6的问题,结合已有的算法思想提出一种改进的算法,该算法采取固定概率将路由信息标记到扩展首部hop-by-hop,隧道模式下节点标记数据包时增加一个复制操作,扩大标记算法的适用范围;利用ESP的加密算法有选择地对标记消息进行加密。实验… …   相似文献
[首页] « 上一页 [457] [458] [459] [460] [461] 462 [463] [464] [465] [466] [467] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持