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

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

按检索检索词： 高级检索

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

[首页] « 上一页 [909] [910] [911] [912] [913] 914 [915] [916] [917] [918] [919] 下一页 » 末页»

9131.

论非对称选择网的活性

总被引：3，自引：5，他引：3

本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件. 相似文献

甄强陆维明《软件学报》1998,9(5):354-359

9132.

一种有效的端到端延迟保证的资源预约策略

下载全文

从把全局的延迟界QoS需求划分为各链路局部的QoS需求的角度出发,讨论了满足端到端的延迟界进行资源预约的限制条件,提出一种新的资源分配代价函数和按分配代价最小化的原则进行各链路资源分配的方法,并且给出了一种分布式的三遍搜索资源预约算法.其目标是使网络资源使用更均衡、更合理,以利于… … 相似文献

詹永照曾庆凯何丹谢立《软件学报》2000,11(6):816-822

9133.

基于操作语义的磁臂隐通道分析*

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

深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状… … 相似文献

刘志锋鞠时光李沛《计算机应用研究》2007,24(11):157-160

9134.

单继承记录类型的代数描述

下载全文

通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等式的新意义,并证明了等式理论有初始模型. 相似文献

何自强《软件学报》1999,10(4):445-448

9135.

变频调速恒压供水系统新方法

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

针对当前多数恒压供水系统水泵运行状态单一、不能自动完成多台水泵循环工作,影响水泵使用寿命且使其它水泵长期停歇造成资源浪费的问题。提出了采用支持图形化逻辑电路编程的LOGO!可编程控制器,依据增泵条件和减泵条件,实现了变频恒压供水系统多泵自动循环工作和定时自动切换的控制功能。实际运… … 相似文献

赵水英孙旭霞《计算机系统应用》2012,21(3):130-133

9136.

基于参数限定的CS-RBF曲面重建算法*

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

针对非密度均匀的点云,提出了一种高效保持特征的曲面重建算法。首先利用八叉树进行点云空间分割,然后对每个点在小邻域内求出局部逼近曲面,建立隐式曲面方程。通过参数限定点的邻域范围,使整个算法既保证了重建效果,又不致于很大程度上增加重建时间,达到了速度和效果在一个范围内的平衡。实验结果… … 相似文献

田建磊刘旭敏关永《计算机应用研究》2010,27(1):383-385

9137.

拜占庭容错纠删码分布式存储协议

下载全文

研究了从数据密集大部分拜占庭容错分布式存储协议使用复制技术,但是当存储的数据块很大时,复制技术要求大量的存储空间并占用网络带宽,效率低下。采用纠删码技术则将数据块编码为长度相同的分片,然后把各个分片分别存储在对应的存储节点上,这样可以节省存储空间和网络带宽。拜占庭容错纠删码分布式… … 相似文献

蔡鸾佳《计算机系统应用》2012,21(2):98-103

9138.

基于VoiceXML的火车时刻语音查询系统

下载全文

首先主要介绍了VoiceXML的体系结构及工作原理,然后介绍了一个具体的应用实例-火车时刻语音查询系统. 相似文献

陶利民梅志雄《计算机系统应用》2007,16(2):10-13

9139.

气象数据存贮管理系统

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

为解决当前北京市气象局历史气象数据庞大,存储结构欠合理,存储格式不统一,数据管理不明晰,以及科研人员、气象预报人员获取历史气象数据难两大突出问题,提出了气象数据存贮策略,并以B/S结构框架,开发了气象数据存贮管理系统。该系统为业务和科研人员在数据获取上提供了一个便捷通道,同时,又… … 相似文献

窦以文卢俐刘旭林张代萍《计算机系统应用》2011,20(7):116-120

9140.

SIMD代码中的向量访存优化研究

向量程序来源于手工编写或由编译器自动生成。受限于编程人员和并行编译器的能力,得到的向量程序都存在一定的优化空间。优化编译器通常关注如何将串行程序向量化,但很少对向量程序进行优化。因此,提出了一种针对SIMD代码的向量访存优化方法。该方法首先分析程序是否需要优化,若存在需求,则对程… … 相似文献

徐金龙赵荣彩徐晓燕《计算机科学》2015,42(12):18-22

[首页] « 上一页 [909] [910] [911] [912] [913] 914 [915] [916] [917] [918] [919] 下一页 » 末页»