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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第6741-6760项 搜索用时 106 毫秒
[首页] « 上一页 [333] [334] [335] [336] [337] 338 [339] [340] [341] [342] [343] 下一页 » 末  页»
6741.
下载全文  总被引：3，自引：1，他引：3
为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence… …   相似文献
6742.
下载全文  总被引：2，自引：0，他引：2
移动计算系统中的检查点恢复协议面临着许多与传统分布式系统所不同的问题.在目前已出现的支持移动计算的检查点恢复机制中,基于建立全局一致的检查点的方法不能确保错误的独立恢复;基于m-MSS-m通信的消息日志方法其移动站之间交换的消息需通过移动基站的转发.提出了一种基于消息日志的支持移… …   相似文献
6743.
  
散斑相关算法可以用来估计场景的深度信息,但因易受到噪声干扰且计算量大而难以应用在基于普通计算机的三维重建系统中。采取零均值归一化互相关函数(ZNCC)作为相关算法的匹配代价函数,对传统的ZNCC快速计算方法进行修改并将其应用于计算机的通用图形处理器(GPU),实现了实时的场景三维… …   相似文献
6744.
  
对带时间窗的车辆路径问题进行研究,建立以最小化车辆数量和行驶路程为目标的多目标数学模型,提出一种结合改进差分进化算法和变邻域下降搜索的基于Pareto支配的混合差分进化算法。首先重新定义了个体的生成方式。其次,结合双种群策略和变邻域下降搜索技术来平衡算法的全局探索能力和局部开发能… …   相似文献
6745.
目前WebGIS日渐成为互联网应用的热点之一,然而面向电子商务领域的行业应用地图系统仍然比较少.本文以五金产业为例,阐述了.NET环境下开发基于MapABC AP12的web地图应用的设计思路及关键技术,能够满足行业用户的电子商务应用需求.  相似文献
6746.
为了精确估计OFDM系统信道响应,提出一种基于粒子滤波的OFDM信道盲估计方法。该方法将OFDM信道建模为一阶时变自回归模型。利用基于子空间分解的方法得到初始信道响应,通过带反馈的粒子滤波方法更新信道响应和模型参数,实现对OFDM信道的估计。仿真结果表明,该方法不仅能对非时变信道… …   相似文献
6747.
针对SQL Server数据库技能测评系统缺乏的现状,分析了现有逻辑形式化自动阅卷技术,提出了基于XML实现SQL Server数据库技能操作自动阅卷方案。介绍了自动阅卷的实现原理和流程,重点阐述了两个关键技术环节：XML形式化表达和XML形式化自动阅卷技术。阅卷效果表明,基于X… …   相似文献
6748.
数据可靠性保证和容灾成本控制对云提供商而言是一个相互矛盾的问题.在分析已有数据保障机制的基础上,设计了一个基于多个云平台的分布式富云容灾模型,利用富云容灾系统,私有云提供商可以借用其他云平台的虚拟资源对自身数据进行冗余备份.为了减少数据传输的响应时间,富云容灾模型通过设置多个地理… …   相似文献
钟睿明  刘川意  王春露  项菲 《软件学报》2014,25(8):1874-1886
6749.
下载全文  总被引：7，自引：1，他引：6
根据应用区域边界的安全体系结构中的实际应用问题--角色管理安全插件的实现,从保障信息安全的角度,给出了一个基于角色管理的安全模型.分析表明,新模型中定义的规则是合理的、安全的,这对信息安全体系结构模型的构建将起到积极作用.  相似文献
6750.
  
给定通信协议［Ａ,Ｂ］,［Ｇ,Ｈ］和重要信息映射集合Ｋ,可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ．本文讨论这种协议转换模型［Ａ,Ｃ,Ｈ］的死锁和活锁的性质,并给出这种协议转换模型没有死锁和活锁的充要条件．… …   相似文献
赵锦蓉 《软件学报》1995,6(2):99-106
6751.
  总被引：5，自引：0，他引：5
认知无线电网络通过认知用户对无线环境的感知,获得频谱空洞信息,在不干扰主用户的前提下,伺机接入空闲频谱,从而满足更多用户的频谱需求,提高频谱资源的利用率,然而,也带来了前所未有的安全挑战。依托认知环,从数据信道、控制信道和终端设备三方面介绍其安全性所面临的问题,以及现有的解决方案… …   相似文献
6752.
针对光照变化和部分遮挡这两种情形,提出一种基于多帧视频图像的高稳定特征的交通标志识别方法。利用有交通标志的多帧视频图像的SURF特征建立bag of SURFs特征向量集,与标准交通标志图像的模板特征向量集匹配,采用权值计分策略的最高得分确定交通标志的识别结果。对三种情形下的公开… …   相似文献
6753.
数字半色调是在二值设备或多色二值设备上实现图像再现的一门技术,提出将K-means聚类法应用在数字半色调技术中。算法中应用人类视觉系统模型(HVS)和印刷模型最大限度减少原始灰度连续调图像和半色调图像之间的视觉误差;利用K-means聚类法将灰度图像划分成聚类分区,在每个聚类分区… …   相似文献
6754.
Web Service是当前支持CSCW的一种主流的分布式技术,本文对CSCW和Web Service的核心概念、体系结构和关键技术进行了探讨,并对当前MATLAB的的网络扩展功能进行了研究.提出了一种基于Web Service的CSCW应用模型--MATLAB协同计算系统,对该… …   相似文献
6755.
基于我国的医保政策及医保管理模式,结合重庆某区县医疗保险工作开展的实际,设计并实现了城镇职工基本医疗保险系统,主要讨论了该系统的功能界定、信息接口设计、体系结构设计、模块结构设计及系统安全设计.  相似文献
6756.
本文提出了一个用于反应系统规范及验证的修改时序逻辑．它包含一个用于显示区分程序执行步同环境执行步的机制．环境的特性可以在系统开发时进行考虑．文中首先给出了程序的一个可复合计算模型──模块转换系统．基于此模型,给出了修改时序逻辑以及它的证明规则．本文提出的方法基于Manna－Pnu… …   相似文献
贾国平  郑国梁 《软件学报》1997,8(9):663-672
6757.
下载全文  总被引：11，自引：0，他引：11
除直线、圆弧、速端曲线等少数几种曲线外,平面参数曲线的offset曲线通常不能表示成有 理参数形式,因此在实际应用中,为了方便造型系统中数据结构和几何算法的统一表示,offse t曲线通常用低次曲线逼近来表示.通过用双圆弧逼近表示NURBS(non-uniform rationa… …   相似文献
汪国平  孙家广 《软件学报》2000,11(10):1368-1374
6758.
介绍了用于超宽带标签定位系统的定位处理器应用软件的设计流程。软件采用串口通信类实现了定位信息的自动采集,通过嵌入定位算法的数据处理求解出标签的位置。实时在计算机上模拟出标签在定位范围中所处位置使得对标签的实时定位和跟踪更直观。实验证明,软件适合应用于实时定位和跟踪场合。… …   相似文献
6759.
为了弥补在PB中采用DW对象实现报表方法的不足,利用Blob数据类型和OLE技术,本文介绍了在PB中根据实际输出数据动态实现Word报表的完整过程,包括如何将Word模板保存到数据库,以及Word临时报表的生成、根据实际数据的修改、保存、预览、打印和最终删除,并提供了分块PB代码… …   相似文献
6760.
下载全文  总被引：3，自引：0，他引：3
提出了一种用k次B样条曲线全局逼近实平面k次代数曲线的算法,每个连通部分用一条B样条曲线逼近.它适合于任意亏格的不可约的实平面代数曲线(包括含奇异点的曲线).这种逼近建立在所提出的代数曲线胀开采样的基础上,这种胀开采样算法从本质上解决了奇异点周围采样难的问题.实验结果表明,该方法… …   相似文献
方美娥  汪国昭  贺志民 《软件学报》2006,17(10):2173-2180
[首页] « 上一页 [333] [334] [335] [336] [337] 338 [339] [340] [341] [342] [343] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持