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

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

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

[首页] « 上一页 [364] [365] [366] [367] [368] 369 [370] [371] [372] [373] [374] 下一页 » 末页»

7361.

分析了仿真模拟技术在无线传感器网络研究领域的重要性,对现在比较流行的几种仿真模拟器的应用背景、设计思路、性能优缺点、使用时应注意的问题等进行了详细的分析,归纳总结出一个成熟的无线传感网络仿真模拟器应该具备的基本功能和特性,指出了今后的研究方向. 相似文献

李长连王福豹何戟《计算机应用研究》2007,24(3):6-9

7362.

情景演算及其在工作流引擎中的应用

下载全文

以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。给出了情景演算的归结算法和算法分析,说明了如何将情景演算应用到工作流引擎中,给出了实际应用系统,并分析了基于情景演算的工作流引擎的优点。相似文献

章陶黎亮黄巍李磊《计算机应用研究》2005,22(2):158-160

7363.

基于QPSO的数据聚类*

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

在KMeans聚类、PSO聚类、KMeans和PSO混合聚类（KPSO）的基础上,研究了基于量子行为的微粒群优化算法（QPSO）的数据聚类方法,并提出利用KMeans聚类的结果重新初始化粒子群,结合QPSO的聚类算法,即KQPSO。介绍了如何利用上述算法找到用户指定的聚类个… … 相似文献

龙海侠须文波孙俊《计算机应用研究》2006,23(12):40-42

7364.

Java.一种基于ARM7的嵌入式Java虚拟机性能优化技术研究

下载全文

分析了Java字节码的解释执行和基于解释执行的Direct Threaded Interpreter性能优化技术.以Direct Threaded Interpreter为基础,提出并实现了一种针对ARM7平台的嵌入式Java虚拟机解释器性能优化方案.对嵌入式Java虚拟机的参考… … 相似文献

马嘉周明天陈虹《计算机应用研究》2007,24(5):97-100

7365.

一种高效的无证书多重签名方案*

下载全文

为了满足多个人对同一份文件签名的高效性,将无证书密码体制与多重签名方案相结合,提出一种高效的无证书多重签名方案.该方案有效地削弱了可信第三方的权力,并且被证明了在适应性选择消息攻击下是存在性不可伪造的,其安全性基于CDH问题的困难假设.与现有方案相比,该方案需要计算的双线性对计算… … 相似文献

冯蕾彭长根彭延国a 《计算机应用研究》2012,29(2):644-645

7366.

基于Java NIO的非阻塞通信的研究与实现

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

本文在研究和探讨Java NIO特性及其非阻塞通信工作机制的基础上,探索了实现非阻塞通信的方法、步骤。并针对一个网络应用实例,给出了非阻塞通信的Java实现。相似文献

封玮周世平《计算机系统应用》2004,13(9):32-35

7367.

三机冗余容错系统的描述和验证

下载全文

使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessor_P刻画程序P在单机上运行,用时序逻辑式Spec_P刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessors_P即使在出现硬件错误的情况下运行,也能满足性质Spec_P.… … 相似文献

郭亮唐稚松《软件学报》2003,14(1):54-61

7368.

磁盘数据安全保护技术综述*

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

随着越来越多的重要数据存储在磁盘上,磁盘数据的安全保护逐渐成为备受关注的问题。众多的安全威胁如磁盘数据被非法修改、磁盘数据泄漏、磁盘失窃,都可能会对保存着重要信息的组织如军队、政府、企业等造成无法估计的损失。以保密性、完整性、可用性、验证和授权为安全威胁模型,从硬件和软件两个方面… … 相似文献

高伟谷大武侯方勇宋宁楠《计算机应用研究》2008,25(5):1288-1291

7369.

支持多Agent通信的扩展BDI逻辑

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

BDI（信念、期望和意图）逻辑是当前agent理论研究的热点课题之一,相关研究工作较少涉及对agent间通信的描述.文章旨在提出一个能表示和推理多agent间基于言语行为理论的通信行为的扩展BDI逻辑.该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑,除了包含标准BDI… … 相似文献

陈建中刘大有唐海鹰胡明《软件学报》1999,10(7):778-784

7370.

Kailar逻辑的缺陷

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

近年来,电子商务协议的设计逐渐成为热点.可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力.缺乏可追究性,电子交易容易引起争议.因此,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.该文指出这… … 相似文献

周典萃卿斯汉周展飞《软件学报》1999,10(12):1238-1245

7371.

一个求图的连通分支的并行算法

下载全文

已知一个无向图G(V,E),|V|=n,|E|=m,本文基于SIMD共享存贮模型,运用数据在图中快速传播原理,建议了一个新的求图的连通分支算法,具体来讲,在SIMD—CREW共享存贮模型上,求图的连通分支需O(log²n)时间、O(n²/logn)处理器;而在SIMD—CRCW共享存贮模型上需O(logn)时间、O(n²)处理器,建议的算法同著名的Hirschberg算法相比,其主要差别表现在:1)采用的求解方法不同;2)建议的算法简单易懂… … 相似文献

唐策善梁维发《软件学报》1993,4(4):61-66

7372.

基于CCS的加密协议分析

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

加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench… … 相似文献

丁一强《软件学报》1999,10(10):1103-1107

7373.

上海港散杂货码头BPR规划和信息流程的设计^①

下载全文

通过对上海港自身散杂货码头信息化的发展阶段进行分析,确定了米歇和诺兰模型中的阶段,在此基础上对港口进货管理、出货管理、转栈管理的业务流程进行梳理和优化,并形成了散杂货码头信息化的功能需求和总体业务的信息流程。相似文献

魏忠俞金木《计算机系统应用》2009,18(10):6-9

7374.

通用学生成绩管理系统的设计与实现

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

本文介绍一个通用的学生成绩管理系统的设计方法,给出主要清单。该系统全部用FoxBASE编程实现。其中在数据录入、新库结构的形成、专业课的标识、成绩的统计、特别是数据库的横向统计等方面都采用了比较先进的技术,使程序具有很强的通用性和技巧性。相似文献

李政《计算机系统应用》1994,3(1):5-8

7375.

散列高阶字典编码及其实现^*

该文引入了散列高阶字典的概念,提出了一个使用散列高阶字典实现数据压缩的模型.实验数据表明,该模型比传统的数据压缩字典方法具有更高的数据压缩能力. 相似文献

谭兆信《软件学报》1998,9(8):632-636

7376.

基于用户兴趣特征提取的推荐算法研究*

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

传统的推荐算法一定程度上降低了网络消费者的搜索成本,但难以实时提供消费者满意的推荐服务,也忽略了用户偏好动态转移性.为了提高电子商务系统的推荐质量,从用户偏好的行为特征入手,建立了网络用户的兴趣特征提取模型,并设计了相应的推荐算法.通过对用户兴趣特征提取模型的检验和用户兴趣度矩阵… … 相似文献

刘枚莲刘同存李小龙《计算机应用研究》2011,28(5):1664-1667

7377.

智能规划器StepByStep的研究和开发

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

智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后详细阐述StepByStep规划器各组成部分所采用的方法和策略,定义谓词知识树来提取领域知识.在谓词知识树的… … 相似文献

吴向军姜云飞凌应标《软件学报》2008,19(9):2243-2264

7378.

求解过程中约束一致性维护的多层次策略研究^*

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

约束满足问题广泛出现于人工智能领域。在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的,过去研究对约束一致性算法的研究仅着眼于改进单个约束关系的维护,该立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＾＋… … 相似文献

韩靖陈恩红蔡庆生《软件学报》1998,9(8):622-627

7379.

智能规划中的可纳子目标排序

提出了一种称为可纳子目标排序(admissible subgoal ordering,简称ASO)的排序关系,给出了可纳排序的形式化定义并讨论其对增量式规划的重要性.随后介绍了原子依赖关系理论和原子依赖图技术,能够在多项式时间内近似求解可纳子目标排序关系.最后给出了一种计算可纳子… … 相似文献

梁瑞仕姜云飞边芮吴向军《软件学报》2011,22(5):914-928

7380.

一种网格工作流动态调度算法

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

由于网格系统异构和资源动态变化,网格工作流多个任务对资源的不同需求,以及任务之间的时序、因果和数据依赖关系,使得网格工作流调度问题非常复杂,低性能的资源和任务调度策略,将会增加任务的执行时间并降低整个网格系统的吞吐量。本文针对网格工作流的特点提出了一种动态调度算法,该算法追求优化… … 相似文献

桑莉莉《计算机系统应用》2009,18(7):45-47

[首页] « 上一页 [364] [365] [366] [367] [368] 369 [370] [371] [372] [373] [374] 下一页 » 末页»