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

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

按检索检索词： 高级检索

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

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

9201.

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

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题. 相似文献

白硕隋立颖陈庆锋付岩庄超《软件学报》2000,11(2):213-221

9202.

精神疲劳识别的可拓模型与策略生成

精神疲劳识别中普遍存在着方法的侵扰性、实时性与识别准确率之间相矛盾的问题.为此,引入可拓理论和方法来建立问题的可拓模型,针对矛盾主体建立关联函数和策略优度函数.结合领域知识,通过拓展分析、可拓变换对矛盾进行转化,生成多种同时满足非侵扰性、实时性和识别准确率的特征和识别策略,并对策… … 相似文献

陈云华陈平华《计算机科学》2015,42(5):300-304

9203.

CAVLC编码器的高速度、低复杂度结构设计

下载全文

变长编码是视频编码中的关键技术之一,计算量大。提出一种应用于H.264/AVC的高速有效的CAVLC编码器结构。采用基于预处理的查找方法,改进了查找表结构;利用算术计算替代查找表,且通过展开和共享技术对算术表达式进行优化;其他方面也做了面积上的优化。实验结果表明,在133MHz的… … 相似文献

陶为唐建郭立《中国图象图形学报》2011,16(2):202-208

9204.

形式化智能世界的建模过程

各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性.基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法.通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世… … 相似文献

孙善武王楠欧阳丹彤《计算机科学》2015,42(5):19-23

9205.

基于移动Agent技术的构件软件框架研究

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

随着移动Agent技术的快速发展以及构件软件的广泛应用,对一种新型的基于移动agent技术的构件软件框架的需求日益增长.通过对传统的构件软件框架的不足的分析,提出了一种新的构件软件框架.与传统的构件软件框架相比,新的构件软件框架具有较强的网络环境的动态适应性. 相似文献

吕建张鸣廖宇陶先平《软件学报》2000,11(8):1018-1023

9206.

下一代通信软件中的特征冲突检测

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

通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于… … 相似文献

王栋梅宏《软件学报》2005,16(7):1232-1241

9207.

一种成本相关的云提供商数据可靠性保证算法

下载全文

数据可靠性保证和容灾成本控制对云提供商而言是一个相互矛盾的问题.在分析已有数据保障机制的基础上,设计了一个基于多个云平台的分布式富云容灾模型,利用富云容灾系统,私有云提供商可以借用其他云平台的虚拟资源对自身数据进行冗余备份.为了减少数据传输的响应时间,富云容灾模型通过设置多个地理… … 相似文献

钟睿明刘川意王春露项菲《软件学报》2014,25(8):1874-1886

9208.

基于局部显著区域的自然场景识别

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

场景识别是移动机器人实现拓扑导航的关键。针对未知环境,提出一种基于视觉局部显著区域的自然场景识别方法。首先,提出带反馈的显著性检测模型(FSDM)自底向上进行图像分析;然后,根据显著位置,基于分形实现自动尺度选择,以构造合适尺寸的局部显著区域。对场景图像中的显著区域采用梯度方向、… … 相似文献

王璐陆筱霞蔡自兴《中国图象图形学报》2008,13(8):1594-1616

9209.

外部光反馈对强耦合外腔半导体激光器特性影响的理论分析

本文从理论上分析了外部光反馈对强耦合外腔半导体激光器特性的影响，对相干外部光反馈和非相干外部光反馈两种情形的分析结果均表明强耦合外腔半导体激光器可将半导体激光器所能容忍的临界光反馈强度提高大约２０ｄＢ以上，同时得出了长外腔和强耦合有利于提高外腔半导体激光器抗反馈能力的结论。… … 相似文献

柴燕杰张汉一《电子学报》1995,23(5):80-83

9210.

多尺度脊波字典的构造及其在图像编码中的应用

下载全文

在变换域图像编码技术中,图像的稀疏表示是编码的关键。该文在分析了脊波函数的缺陷的基础上,首先提出了一种多尺度脊波字典的构造方法,并通过树形结构对原子进行组织,加快了图像稀疏分解中最匹配原子的搜索速度;然后提出了一种基于树形多尺度脊波字典的匹配追踪静态图像编码方法;最后通过对量化失… … 相似文献

邓承志曹汉强《中国图象图形学报》2009,14(7):1273-1278

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