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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8721-8740项 搜索用时 112 毫秒
[首页] « 上一页 [432] [433] [434] [435] [436] 437 [438] [439] [440] [441] [442] 下一页 » 末  页»
8721.
  总被引：7，自引：0，他引：7
Internet网络系统中一类特殊的管理系统--远程控制系统,以其新颖引人入胜,但也因此可能会带来许多意想不到的结果。本文对其进行了比较详细的剖析,共同行参考。  相似文献
汪建  张世禄 《计算机应用》2000,20(12):62-65
8722.
  总被引：7，自引：0，他引：7
主要讨论了利用Web技术开发Intranet上的工业监测系统的两种不同途径,并对其实现方式及特点作出比较。  相似文献
8723.
  总被引：7，自引：0，他引：7
介绍了常用的两种网上购物车技术实现的方案,提出了一种采用数据库技术实现网上购物车的新方法,并给出了设计思想及具体实现策略。  相似文献
8724.
  总被引：7，自引：0，他引：7
介绍了 Ｗｉｎｄｏｗｓ ２２０的活动目录技术．活动目录Ｗｉｎｄｏｗｓ ２０００的目录服务,Ｗｉｎｄｏｗｓ ２０００分布网络的基础,它存储网络对象的信息,使用户可以方便地访问这些信息．活动目录采用一个结构化的数据存储,集成了登录验证、访问控制的安全性．只需要一次登录用户就可访问基于… …   相似文献
8725.
  总被引：7，自引：0，他引：7
Ｐｅｔｒｉ网是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和行为分析,以模糊Ｐｅｔｒｉ网的基本定义为基础,讨论了带权模糊的模糊产生式系统表示法,建立了这种表示法与模糊Ｐｅｔｒｉ网之间的映射关系和转换算法;在对模糊Ｐｅｔｒｉ网进一步扩充的基础… …   相似文献
8726.
  总被引：7，自引：0，他引：7
本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计… …   相似文献
蒋昌俊 《计算机学报》1995,18(7):532-538
8727.
  总被引：7，自引：0，他引：7
反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法… …   相似文献
8728.
  总被引：7，自引：0，他引：7
ＧＳ－ＩＣＣＣ是一个以自行研制开发的面向对象工程数据库管理系统ＯＳＣＡＲ为核心的集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统，它的主要特点是按照ＳＴＥＰ标准在全局产品数据模型基础上实现ＣＡＤ，ＣＡＰＰ，ＣＡＭ的信息集成，本文围绕着这一原则介绍了ＧＳ－ＩＣＣＣ的系统总体结构，ＯＳＣＡＲ功能组… …   相似文献
8729.
  总被引：7，自引：0，他引：7
本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心… …   相似文献
8730.
  总被引：7，自引：0，他引：7
本文介绍了基于微机的归纳法推理系统。用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正确性等。文中简介了系统的理论基础、数据类型、总体结构，举例说明了系统的推理能力等。… …   相似文献
李卫华  张黔 《计算机学报》1996,19(3):230-236
8731.
  总被引：7，自引：0，他引：7
基于特征的设计在当今ＣＡＤ／ＣＡＭ技术中扮演了十分重要的角色，本文以我们自行开发的面向机械产品设计的参数货物上造型系统ＺＤ－ＭＣＡＤⅡ＾〔１〕为背景，介绍了ＺＤ－ＭＣＡＤⅡ中的全局产品数据模型，给出了特征及其依赖的描述方法，特征依赖以半序网的形式表示，设计特征与制造特征通过特征映… …   相似文献
8732.
  总被引：7，自引：0，他引：7
代码转换分档插入排序法,对于均匀分布的数据无疑是一种高效率的排序方法,其时间复杂性为O(N),但是,对于极不均匀分布的数据,该方法的效率将明显下降,其时间复杂性变为O(N~2),为了避免在上述情况下排序效率的明显下降,使分档插入排序法有更普遍的适用性,我们在本文中将要提出二次分档… …   相似文献
杨大顺  丁青 《计算机学报》1993,16(2):151-154
8733.
  总被引：7，自引：0，他引：7
信息中心网络(Information-Centric Networking,ICN)已经成为下一代网络体系结构研究的新热点.从众多研究成果中及时地总结ICN的优势与不足是未来相关研究的重要基石.尽管现有ICN综述文献已经对其体系结构做出较为详细的总结,然而,它们并没有充分地讨论T… …   相似文献
8734.
  总被引：7，自引：4，他引：7
间断有限元离散纵标方法(Sn)是广泛应用于求解高维非定常中子输运方程的数值方法,它涉及几何网格空间、速度相空间和中子能群的离散,计算量很大．该文基于非结构网格,提出了基于区域分解的并行流水线Sn扫描算法,通过设计具有不同内在并行度和通信面体比的区域分解方法和队列插入算法,对两个不… …   相似文献
8735.
  总被引：7，自引：0，他引：7
该文提出了一种基于语料库的无双语词典的英汉词对齐模型．它把自然语言的句子形式化地表示为集合,通过集合的交运算和差运算实现单词对齐,同时还考虑了词序和重复词的影响．该模型不仅能对齐高频单词,而且能对齐低频单词,对未登录词和汉语分词错误具有兼容能力．该模型几乎不需要任何语言学知识和语… …   相似文献
8736.
  总被引：7，自引：0，他引：7
规划识别是一种根据观察数据识别和推断被观察对象目的或意图的预测理论．在计算机系统入侵检测研究中,为了提前预测出异常事件的发生,提出了一种基于规划识别理论的入侵企图预测方法．通过对主机上的系统调用序列为观察对象建立预测模型,提出了一种带参数补偿的贝叶斯网络动态更新算法,对观察对象的… …   相似文献
8737.
  总被引：7，自引：0，他引：7
该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析．阐明了各自的目标、技术特征及其优缺点所在．介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增… …   相似文献
孙斌 《计算机学报》2004,27(11):1492-1504
8738.
  总被引：7，自引：0，他引：7
量化交易数据与一般交易数据的不同之处在于它在各个维上的值是数值型而不是二值型的。研究这种数据的有效的相似性搜索方法是一个重要而具有挑战性的课题,提出了一个新的相似性度量函数Hsim(),这个度量函数可以较好地克服Lp等传统的距离函数在高维空间中的缺点,并能将二值型和数值型数据距离… …   相似文献
8739.
  总被引：7，自引：0，他引：7
随着网络教育资源的急剧增长,如何有效地提供教育资源查找服务,成为一项重要而迫切的研究课题．由于教育资源同网格资源一样具有海量、异构、广域分布等特性,于是采用网格资源查找技术中基于元数据的资源查找方法实现教育资源的查找．与其他基于元数据资源查找方法不同的是：利用自动构建的语义关系库… …   相似文献
8740.
  总被引：7，自引：2，他引：7
复杂环境下,要做到对物体进行准确识别,要求计算机视觉系统具有智能化。文中将D-S证据推理与不变矩理论相结合,提出了智能图像识别算法,并应用于飞机图像的识别。首先构造了基本置信指派函数,建立了分类规则,然后针对Dempster组合规则只适用于高置信度、低冲突性的情况,应用可解决证据… …   相似文献
[首页] « 上一页 [432] [433] [434] [435] [436] 437 [438] [439] [440] [441] [442] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持