文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第9221-9230项搜索用时 75 毫秒

[首页] « 上一页 [918] [919] [920] [921] [922] 923 [924] [925] [926] [927] [928] 下一页 » 末页»

9221.

Petri网死锁的分析与检测

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

本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用. 相似文献

唐培和《计算机系统应用》2004,13(11):44-47

9222.

改写PCI网卡的MAC地址的原理与技术

下载全文

以RTL8139网卡为例,介绍了改写MAC地址的原理,给出了相应的技术细节和基于Delphi语言的实现程序,从而较好地解决了在应用程序中直接改写MAC地址的技术问题. 相似文献

李全忠刘长文王希超《计算机系统应用》2007,16(6):86-89

9223.

因特网拥塞控制的稳定性、公平性和可扩展性

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

基于对偶模型理论,从公平性、稳定性和可扩展性三个方面结合多个发展线索,对因特网拥塞控制研究的发展和近况进行综述,并阐释和辨析了一些重要概念和算法,如网络拥塞控制算法的公平性概念,基于窗口调整和基于速率调整的端节点算法,调度算法与主动队列管理算法,端节点算法、中间节点算法与对偶模型… … 相似文献

曾振平汪秉文戴志诚《计算机应用研究》2008,25(4):1046-1050

9224.

一种基于领域的历史网页检索算法*

下载全文

在历史网页检索系统中,存在着按时间顺序来对检索结果进行排序的特殊需求,在客观上要求系统能够比较准确地判断文档与查询词是否相关。针对这一特殊需求,引入领域的概念,将领域用于用户检索的表示,在领域的基础上设计了一种带衰减因子的BM25检索相关性计算算法。实验结果显示该检索算法是有效的… … 相似文献

张燕黄连恩林武《计算机应用研究》2010,27(1):56-59

9225.

维护的证明论系统

下载全文

给定一阶语言及该语言的一个理论,假设需要在理论中添加一个与理论不和谐的语句,并要求保持理论的扩张是和谐的,就必须删除理论内的某些语句．删除理论中尽可能少的语句,即保留理论与需要添加语句和谐的一个极大子集,是构造理论扩张的一种方法．本文构造出了针对上述理论扩张的证明论．该证明论的可… … 相似文献

张玉平李未《软件学报》1995,6(9):513-524

9226.

基于细化的对象分析和设计方法

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

面向对象的开发方法是一种很有前途的软件开发方法．它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护．然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象．本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和… … 相似文献

柳诚飞居德华《软件学报》1995,6(2):112-117

9227.

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

下载全文

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

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

9228.

使用事件自动机规约的C语言有界模型检测

下载全文

提出使用事件自动机对 C 程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法。事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性。事件自动机将属性规约与C程序本身隔离,不会改变程序的结构。在事件自动机的基础上,提出了自动机可达树的概念。结合自动… … 相似文献

阚双龙黄志球陈哲徐丙凤《软件学报》2014,25(11):2452-2472

9229.

双粒度协议下基于hint的启发式缓存替换算法

下载全文

合作式缓存技术是提高机群文件系统性能的关键技术之一.s2fs(scalable single-image file system)是一个单一映像机群文件系统原型,它利用双粒度协议实现了符合严格UNIX语义的合作式缓存.该文为s2fs设计了基于hint的启发式缓存替换算法,并为其建… … 相似文献

王建勇祝明发徐志伟《软件学报》1999,10(8):800-805

9230.

电子内窥镜图像传输报告系统的设计及实现

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

介绍电子内窥镜图像传输系统的设计及实现,包括系统的硬件设计和软件功能实现.用PCI接口控制器实现PCI总线接口,用DMA方式将图像数据由PCI总线传送至主杌内存,操作员只要采用脚踏板开关发送采集信号并可以进行实时图像采集;采用数据库方式进行图像数据存储;报告采用填充式模板结构进行… … 相似文献

钱雪华周新朝潘传迪《计算机系统应用》2007,16(11):68-70

[首页] « 上一页 [918] [919] [920] [921] [922] 923 [924] [925] [926] [927] [928] 下一页 » 末页»