作者单位

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

B语言和方法与Z、VDM的比较  CNKI文献

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为...

邹盛荣 郑国梁 《计算机科学》 2002年10期 期刊

关键词: B / Z / VDM / Formal

下载(499)| 被引(74)

一种解旅行商问题的并行模拟退火算法  CNKI文献

本文基于模拟退火思想,提出一种解旅行商问题的并行算法,并在Transputer多处理机系统上实现。该算法具有较高的优化程度和较快的运算速度。

张德富 顾卫刚... 《计算机研究与发展》 1995年02期 期刊

关键词: 旅行商问题 / 模拟退火 / Transputer

下载(536)| 被引(30)

智能决策支持系统的发展与展望  CNKI文献

本文讨论了智能决策支持系统的发展以及研究热点,文章中还对有关智能决策支持系统的几个概念上的区分提出了见解。最后,文章对智能决策支持系统的今后展莹给出了一些看法。

徐洁磐 惠永涛... 《计算机研究与发展》 1993年03期 期刊

关键词: 智能决策支持系统 / 智能部件 / 专家系统 / 知识处理系统

下载(383)| 被引(38)

产生式知识库一致性和冗余性检查  CNKI文献

本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的技术和实现方法.这些技术和方法可以帮助知识工程师有效地建立和维护知识库,并为系统的...

陈世福 潘金贵... 《计算机学报》 1992年09期 期刊

关键词: 产生式知识库 / 一致性 / 冗余性

下载(186)| 被引(35)

智能决策支持系统NUIDSS的设计与实现  CNKI文献

本文介绍将AI技术和DSS相结合而研制的一个智能支持决策系统NUIDSS及其在能源决策管理中的应用,目前,AI与DSS结合的系统正在以很快的速度开发和实现,然而如何将DSS与AI,特别是ES进行集成仍...

陈世福 潘金贵... 《软件学报》 1994年06期 期刊

关键词: 人工智能 / 智能决策支持系统 / 专家系统 / 模型描述语言

下载(139)| 被引(30)

基于AIMD算法的分层多播拥塞控制  CNKI文献

提出了一种基于AIMD算法的分层多播拥塞控制算法 .算法借助AIMD算法具有的良好TCP兼容性和稳定性 ,采用慢增慢减的速率调节原则来防止TCP中速率减半策略所带来的速率振荡 .为避免反馈处理带来的复杂性和可扩缩性问题 ...

杨明 张福炎 《计算机学报》 2003年10期 期刊

关键词: 分层多播 / 拥塞控制 / AIMD算法

下载(146)| 被引(12)

一个过程间数据流分析的框架  CNKI文献

本文提出一个过程间数据流分析的框架.它将层次式任务图HTG(hierarchical-taskgraph)用于程序功能并行性的表示与挖掘.在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG(binary-call-graph),以使算...

郁卫江 朱根江... 《软件学报》 1997年09期 期刊

关键词: 并行编译 / 过程间数据流分析 / 过程调用 / 层次任务图

下载(203)| 被引(10)

页面描述语言PostScript  CNKI文献

PostScript语言是一种新兴的程序设计语言,它具有一般程序设计语言的特点,又有很强的图形描述功能,目前已广泛应用於电子印刷等领域。本文介绍了这种语言的基本原理、主要特征和功能,并对它的应用和发展前景进行了讨论...

徐福培 潘志根... 《小型微型计算机系统》 1990年10期 期刊

关键词: PS / 字库 / 操作符 / PostScript

下载(314)| 被引(11)

凸多边形可移动性的最优判定算法  CNKI文献

设P=(p_0,p_1,…,p_(n-1))和Q=(q_0,q_1,…,q_(m-1))为平面内互不相交的两个凸多边形,其顶点用笛卡儿坐标描述,并按顺时针次序列出.本文提出了两个基本问题: (1)对于任意给定的方向d,如何确定P是否可沿此方向无限移动...

李辉 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1987年12期 期刊

关键词: 凸多边形 / 可移动性 / 李辉 / 定义

下载(83)| 被引(56)

一种区域边界的识别和区域标记算法与应用  CNKI文献

本文介绍了一种区域边界的识别算法和一种区域标记的算法,前者在有若干区域的多条边界相交及存在边界公用的情况下,通过直线生成的方法能寻找出每一个最小区域的完整的区域边界;后者则能在识别出区域边界的基础上进行...

陈世福 潘金贵... 《软件学报》 1993年03期 期刊

关键词: 区域边界 / 区域标记 / 边界点 / 标记算法

下载(165)| 被引(17)

实时系统软件开发过程中形式方法的作用  CNKI文献

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规...

侯建民 李宣东... 《计算机应用与软件》 2002年04期 期刊

关键词: 实时系统 / 形式方法 / 形式规约 / 定理证明

下载(116)| 被引(14)

基于邻接知识的汉语自动分词系统  CNKI文献

本文通过对汉语自动分词难点的分析和研究,提出了一种基于汉语词法和语义邻接知识的汉语自动分词方法,且设计了一种自学习机制,以提高系统的效率.

王锡江 王启祥... 《计算机研究与发展》 1992年11期 期刊

关键词: 汉语自动分词 / 自学习机制 / 邻接知识

下载(93)| 被引(24)

规范抽象语法与抽象语法树的直接生成  CNKI文献

抽象语法树在很多应用领域中是一个重要的工具,但是在概念上不一致与不规范。本文提出了抽象语法(树)的设计准则,并引进规范抽象语法的概念。本文还给出了为一个源程序从文法直接生成改进的规范抽象语法树的算法。改进...

张幸儿 《计算机学报》 1990年12期 期刊

关键词: 抽象语法树 / 算法 / 终结符号 / 右部

下载(255)| 被引(7)

一个动态自适应的迁移和协同调度模型  CNKI文献

本文基于工作站网络NOW(networksofworkstations)的特性,提出一个自适应可伸缩的进程迁移和协同凋度模型DASIC(dynamicadaptivescalableprocessmigrationandcoscheduling),试图解决其动态自适应要求越来越高的问...

陆桑璐 谢立 《软件学报》 1997年10期 期刊

关键词: 自适应 / 协同调度 / 负载平衡 / 迁移

下载(134)| 被引(8)

歧义、系统歧义和语境  CNKI文献

本文对歧义现象,特别对语言片段的歧义理解进行了剖析,并研究了不同语境对理解歧义的影响。进而提出了默认语境,系统语境和系统歧义等概念,开简要地介绍了汉语语言片段歧义分析模型系统CAAMS。

钱树人 《中文信息学报》 1993年02期 期刊

关键词: 自然语言理解 / 语法结构 / 歧义现象 / 语法规则

下载(120)| 被引(10)

一种混合型多概念获取算法HMCAP及其应用  CNKI文献

本文提出了一个混合型多概念获取算法HMCAP,它将符号学习CAP算法的主要思想和BP神经网络有机结合,以状态在实例空间出现的概率为启发信息,以提供的混合实例集为分类依据,并具有增量学习能力.HMCAP...

陈兆乾 刘宏... 《计算机学报》 1996年10期 期刊

关键词: 机器学习 / 混合系统 / 多概念获取 / BP网络

下载(60)| 被引(16)

中文页面描述语言解释器CPDL的设计与实现  CNKI文献

页面描述语言(PDL)已广泛应用于打印机、电子出版等领域,且已经诞生了国际标准(SPDL).因此,开发中文页面描述语言解释器具有十分重要意义.本文介绍了中文页面描述语言解释器CPDL的特点、功能、数据...

徐福培 胡长原... 《计算机学报》 1994年01期 期刊

关键词: 页面描述语言 / 解释器 / 电子出版

下载(116)| 被引(8)

超立方体上路径算法的无死锁性  CNKI文献

本文对超立方体上路径算法的无死锁性问题进行了研究,提出了超立方体上的两类最小无死锁受限条件,证明了路径算法的无死锁和对称性两者之间关系.

周建强 谢立... 《计算机学报》 1995年06期 期刊

关键词: 超立方体 / 路径算法 / 死锁

下载(82)| 被引(11)

专家系统评价方法的研究  CNKI文献

专家系统的评价是知识工程的一个重要课题。随着专家系统逐步走向实用化,专家系统的评价将日益显得重要。怎样评价专家系统才好,至今尚未很好解决。本文概述专家系统评价的重要性,评价的目的、原则、标准和评价方法的...

陈世福 潘金贵... 《计算机科学》 1987年04期 期刊

关键词: 评价方法 / 替代方案 / 专家 / AHP

下载(140)| 被引(7)

90年代的分布式计算技术  CNKI文献

本文简要地叙述了分布式计算技术发展的三个阶段,论述了90年代分布式计算技术的几个研究方向.

孙钟秀 谢立 《计算机学报》 1992年03期 期刊

关键词: 分布式计算技术 / 并行分布处理 / 实时分布式系统 / 分布式数据库

下载(91)| 被引(8)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》