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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第5921-5940项 搜索用时 96 毫秒
[首页] « 上一页 [292] [293] [294] [295] [296] 297 [298] [299] [300] [301] [302] 下一页 » 末  页»
5921.
下载全文  总被引：10，自引：2，他引：10
模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技… …   相似文献
蒋屹新  林闯  曲扬  尹浩 《软件学报》2004,15(9):1265-1276
5922.
下载全文  总被引：10，自引：0，他引：10
针对次序约束和资源约束的多模式项目调度问题提出了一种病毒协同进化遗传算法,并提出了解的编码、选择、交叉、变异和病毒感染操作等.算法用于求解项目活动的一个最优调度顺序和资源模式以使项目的成本最低,其操作特点是既可以通过遗传操作在父子代群体之间纵向传播进化基因进行全局搜索,又可以通过… …   相似文献
5923.
下载全文  总被引：10，自引：1，他引：10
软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了… …   相似文献
王映辉  王立福 《电子学报》2005,33(8):1381-1386
5924.
  总被引：10，自引：0，他引：10
基于互信息的医学图像配准算法近来获得了广泛的应用.在计算互信息的时候,采用部分体积插值计算联合直方图无法避免在象素整数倍位移处的局部极值,有可能导致误配准.本文提出了基于B样条函数的部分体积插值方法,有效地减少象素整数倍位移处的局部极值;在优化互信息函数的时候先使用遗传算法将配准… …   相似文献
彭景林  章兢  李树涛 《电子学报》2006,34(5):962-965
5925.
  总被引：10，自引：2，他引：10
公钥密码体制的思想是密码史上一个重要的里程碑。本文详细的介绍了公钥密码体制的研究发展及实现应用,其中着重讨论了目前已有的几个比较重要的、有代表性的公钥密码体制如RSA、ECC、XTR的攻击现状,介绍了它们长期的安全性、标准化及其实现状况。最后我们简单的介绍了最近所提出的一些公钥密… …   相似文献
陈晓峰  王育民 《通信学报》2004,25(8):109-118
5926.
  总被引：10，自引：0，他引：10
本文利用数学形态学中的开、闭运算，结合自适应方法，提出了一种形态开、闭自适应加权组合滤波器．该滤波器不仅可以有效地抑制信号中各种加性白噪声和正、负脉冲噪声，而且不模糊信号中的陡峭阶跃变化．  相似文献
5927.
  总被引：10，自引：1，他引：9
介绍了基于Web的三层C/S模式物流管理系统LH的应用背景、功能设计、业务流程以及设计思想  相似文献
5928.
  总被引：10，自引：0，他引：10
介绍了使用Delphi的ActiveX技术实现B／S模式的电厂实时数据综合查询系统的相关技术,并给出具体示例。系统采用Delphi5.0,IIS4.0及FrontPage2000来完成。  相似文献
5929.
  总被引：10，自引：0，他引：10
GDI是Windows图形图像编程的主要接口,但是其功能贫乏,使用复杂给程序员带来很多的不便。GDI＋的出现使这一现象大为改观,它是微软的,Net Framework的一个重要组成部分,大大增强了Windows的图形图像开发接口,同时它也改变了传统的GDI编程模式,使开发工作大幅… …   相似文献
5930.
  总被引：10，自引：0，他引：10
提出了基于Web的现代企业综合监控系统概念,详细论述了系统结构、各类监控系统综合集成的方法,涉及的关键技术。  相似文献
5931.
  总被引：10，自引：0，他引：10
文中对开放源代码入侵检测系统Snort的规则匹配算法进行分析,在深度优先搜索算法的基础上增加宽度优先搜索算法,并对规则匹配的次序进行动态调整,从而提高规则匹配的速度。  相似文献
5932.
  总被引：10，自引：0，他引：10
本文对模拟退火算法进行了分析。给出了一种改进算法－“单调升温的模拟退火算法”。文章对新算法的本质进行了论述，并通过实验对新旧算法进行了比较。  相似文献
5933.
  总被引：10，自引：2，他引：10
计算机辅助协同工作（ＣＳＣＷ）的出现，反映了人们对计算机功能需求的改变，即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念，着重从人机接口，并发控制和协同管理等方面介绍了它的现状及问题，并讨论了解决方法。  相似文献
5934.
  总被引：10，自引：0，他引：10
在图像处理、模式识别领域,往往需要求解图像的骨架来获得图像的骨架来获得图像特征的最有效的数字信息。该文提出了一种基于无向图的图像整体骨架表示模型,并基于这一模型设计实现了图像的骨架化算法。它通过专门的分割算法,对图像进行分割并用无向图表示,然后对无向图中各项点采用多边形近似方法进… …   相似文献
5935.
  总被引：10，自引：4，他引：10
Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的,其原因在于子进程同构的概念在无界网系统… …   相似文献
5936.
下载全文  总被引：10，自引：0，他引：10
吉林大学知识工程研究小组针对有序命题类问题给出了适合于有序命题类问题的一类语气理论模型,该模型中,由于ｇ的计算不够准确导致了组合误关蕞大误差为一个分类等级,文中通过给出计算ｇ的新方法予以解决,此外在证据理论中,通常不同的Ｍａｓｓ函数代表不同专家对某一事物的看法,一般说来不同专家的… …   相似文献
5937.
下载全文  总被引：10，自引：0，他引：10
Agent技术为全面准确了解分布式系统的特点及解决分布式应用问题提供了一种全新的方法。论文在分析了分布地理信息系统的特点及所面临的问题后,提出了一个基于Agent的分布式地理信息系统模型Geo-Agents。在这个模型里,首先分析了GIS Agent的分类、特点及结构,将GIS … …   相似文献
5938.
  总被引：10，自引：0，他引：10
团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation forintelligent physical A… …   相似文献
5939.
下载全文  总被引：10，自引：0，他引：10
随着物联网、大数据、人工智能（Artificial intelligence,AI）等技术的发展,针对促进新一代信息技术与制造业深度融合、实现制造物理世界与信息世界交互与共融的需要,数字孪生和平行系统技术成为智能制造和复杂系统管理与控制领域研究的热点.本文对数字孪生和平行系统技术… …   相似文献
杨林瑶  陈思远  王晓  张俊  王成红 《自动化学报》2019,45(11):2001-2031
5940.
下载全文  总被引：10，自引：1，他引：10
针对人类视觉特性, 以及全色高分辨图像和多光谱遥感自身的特点, 提出一种非下采样 Contourlet (NSCT) 域的图像融合新策略. NSCT 具有好的多分辨、移不变和多方向等特性, 能对图像中的边缘和围线信息给出渐近最优表示. 为了更好地保持空间分辨率和颜色分量, 引入基… …   相似文献
[首页] « 上一页 [292] [293] [294] [295] [296] 297 [298] [299] [300] [301] [302] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持