作者单位

不  限

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

不  限

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

全  文

不  限

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

不  限

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

矢量和栅格一体化的数据模型  CNKI文献

本文提出的矢量和栅格一体化的数据模型将零维、一维和二维空间划分为不规则的子空间,并建立了这些子空间之间的空间关系和层次结构.地物可以表示为这些子空间的集合,地物之间的空间关系可以由组成它们的子空间推导...

杨树强 陈火旺... 《软件学报》 1998年02期 期刊

关键词: 矢量 / 栅格 / 数据模型 / 一体化

下载(428)| 被引(49)

用LR算法分析汉语的语法关系  CNKI文献

为了获取汉语词语之间的语法关系,以达到准确分析汉语的目的,文章给出了一种基于词组的扩充的LR分析方法

周会平 王挺... 《软件学报》 1999年09期 期刊

关键词: 机器翻译 / 依存文法 / 上下文无关文法 / 中间语言

下载(205)| 被引(25)

协同编辑中维护操作意愿的文档标注方法  CNKI文献

在实时协同编辑系统中,操作意愿一致性维护是国际上提出的新概念,是协同系统一致性维护的重要方面.文档标注文法通过对共享文档进行恰当标注,屏蔽并发操作对共享文档造成的影响,使得操作在任意协作点上执行时的环...

何鸿君 吴泉源... 《软件学报》 1999年02期 期刊

关键词: CSCW / 实时协同编辑 / 操作意愿维护 / 文档标注方法

下载(127)| 被引(44)

一种改进的多连接查询优化方法  CNKI文献

M.S.Chen提出了用于产生具有较低计算代价的join丛树的启发式方法GMC和GMR.本文在分析相关join操作的次序与计算代价的关系后,给出了时间复杂度为O(n2)的对GMC和GMR的改进算法.由...

钟武 胡守仁 《软件学报》 1998年02期 期刊

关键词: 关系数据库 / 多元连接查询 / 查询优化 / 并行执行

下载(162)| 被引(30)

大规模层次化视频点播存储系统的设计与管理  CNKI文献

近来计算机和通信技术的发展使得视频点播(video-on-demand,简称VOD)在技术和经济上成为可能.连续媒体的特性使得VOD系统需要大规模的存储服务器.层次化存储体系是减少系统费用的合理方案....

李勇 吴飞... 《软件学报》 1999年04期 期刊

关键词: 连续媒体 / 视频点播 / 层次化 / 存储服务器

下载(73)| 被引(19)

一种严格的软件开发方法框架  CNKI文献

本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造”和“演算”得到合理的折衷.本文已...

陈火旺 齐治昌... 《软件学报》 1996年03期 期刊

关键词: 软件开发 / 形式化方法 / 设计演算

下载(137)| 被引(8)

协议形式化开发环境的规范语言  CNKI文献

LOTOS(languageoftemporalorderingspecification)是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质.本文提出了一种LOTOS的扩充语言ELOTOS(extendedLOTOS),它在LOTOS的基础上引...

罗铁庚 陈火旺... 《软件学报》 1997年11期 期刊

关键词: 协议规范语言 / 进程代数 / LOTOS / 实时系统

下载(93)| 被引(8)

命题时态逻辑定理证明新方法  CNKI文献

本文通过对近10年命题时态逻辑定理证明方法的研究,提出了一种新的证明方法,前人的工作基于对公式的现时部分和后时部分的分解,本文的工作是基于语义反驳树构造。这种新方法为计算机自动证明命题时态逻辑定理,提...

贲可荣 陈火旺 《软件学报》 1994年07期 期刊

关键词: 时态逻辑 / 定理证明 / 自动推理

下载(125)| 被引(5)

基于行为的动态负载分配算法  CNKI文献

将复杂行为引入共享虚拟环境,提出了一个基于行为的动态负载分配算法.该算法综合考虑了结点的处理能力、网络通信能力以及行为计算的特性,能有效地调节系统负载,在提高用户实时交互能力的前提下,尽量保持行为的真...

王勇军 王意洁... 《软件学报》 1999年05期 期刊

关键词: 共享虚拟环境 / 多用户 / 行为建模 / 负载分配

下载(73)| 被引(9)

分布式集成中间件CSE/MA的设计与实现  CNKI文献

为扩展分布式计算环境,支持系统集成,本文开展了基于多agent的分布式集成中间件CSE/MA的研究,试图为应用开发者提供一种开发客户/服务器应用的通用开发框架,支持应用开发者方便灵活地建立各种客户/服...

史殿习 王怀民... 《软件学报》 1998年02期 期刊

关键词: agent / 客户/服务器 / 分布计算 / 中间件

下载(54)| 被引(10)

表格图象数据抽取柔性匹配方法  CNKI文献

数据抽取是表格图象处理中重要的一环.本文给出了一种基于锚点柔性匹配进行数据抽取的方法,并讨论了该方法中锚点查找、组织、定位、填写域定位参数确定及数据抽取过程的思想

刘江宁 杨嵘... 《软件学报》 1996年10期 期刊

关键词: 表格图象处理 / 数据抽取 / 匹配

下载(49)| 被引(5)

Smalltalk-80的指称语义研究  CNKI文献

Smalltalk—80是原型的面向对象程序设计语言和环境.本文简要地给出了Smalltalk-80的形式模型,并基于该模型描述了Smalltalk—80的静态和动态指称语义.

李舟军 王兵山 《软件学报》 1995年07期 期刊

关键词: 面向对象程序设计 / 形式定义和理论 / 指称语义

下载(70)| 被引(3)

一种基于面向对象环境的因果推理方法  CNKI文献

一、引言当今专家系统已逐步成为人工智能中影响最大、应用最广泛的领域之一。然而,尽管专家系统技术在具有良结构的狭窄领域内表现出很高的性能,但仍存在许多问题。如:·处理困难或不常见问题时性能急剧下降;...

金芝 李德意... 《计算机科学》 1991年05期 期刊

关键词: 因果模型 / 部件 / 属性值 / 因果推理

下载(49)| 被引(3)

面向对象逻辑语言SCKE中的限制推理  CNKI文献

限制理论是形式化常识知识并进行常识推理的一种重要方法.本文主要研究将限制理论转化为面向对象逻辑语言的可能性,并实现了完成这个转换的编译器.按面向对象逻辑语言的语义运行编译后的程序,可得到与原限制理论相...

金芝 胡守仁 《软件学报》 1994年05期 期刊

关键词: 面向对象的逻辑程序 / 限制理论 / 非单调推理 / 常识推理

下载(44)| 被引(2)

SJ—3专家系统的开发技术  CNKI文献

本文详细讨论了一个实用专家系统的开发技术,主要包括:FL知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法.

贾焰 刘江宁... 《软件学报》 1994年07期 期刊

关键词: 专家系统 / 知识表示 / 知识库 / 不确定性推理

下载(54)| 被引(2)

KD-PARPRO:一个基于知识的并行化工具——总体设计与功能描...  CNKI文献

并行处理系统结构的发展要求相应的软件工具的支持,目前,国际上对并行化工具正开展广泛深入的研究,但由于过程间相关性分析难,最优化判别标准过分依赖于机器特性,同步通讯问题及调度开销大等原因,使得现有技术所能开发...

金国华 陈福接 《软件学报》 1993年06期 期刊

关键词: 并行化处理 / 动态控制 / 代码 / 可扩充性

下载(22)| 被引(4)

逻辑程序的并行性粒度的分析  CNKI文献

本文提出了开发逻辑程序AND并行性中的粒度问题,给出了在我们的计算模型下粒度的计算公式,同时还给出了用粒度信息优化执行图表达式的具体例子.

黄志毅 胡守仁 《软件学报》 1994年10期 期刊

关键词: 并行性粒度 / 逻辑程序 / 并行处理 / AND并行性

下载(49)| 被引(1)

一个面向对象的二级并发模型  CNKI文献

本文提出了一个面向对象的二级并发模型FORCE-Model.它从需求规范的角度充分开发对象间和对象内两个层次上的并行性,从而将面向对象与并发性有机地结合起来,提供了有效的实时系统建模框架.基于该模型,...

王戟 陈火旺 《软件学报》 1994年09期 期刊

关键词: 面向对象 / 需求规范 / 并发 / 实时系统

下载(34)| 被引(1)

概率逻辑类超树结构分解计算模型的完备性  CNKI文献

针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.

张晨东 陈火旺... 《软件学报》 1998年04期 期刊

关键词: 概率逻辑 / 不确定性推理 / 分解算法

下载(46)| 被引(1)

静态数据流计算机的性能分析  CNKI文献

本文首先给出了静态数据流计算机的模型和数据流语言的模型,然后提出了把指令执行开销作为参数来计算数据流计算机实际并行度的系统模型,基于该系统模型通过统计可知程序在静态数据流计算机上运行时,实际最大的并行度...

刘桂仲 慈云桂... 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1990年10期 期刊

关键词: 数据流 / 并行度 / 指令执行开销 / 模型

下载(55)| 被引(0)

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

  • 发文趋势

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

相关机构

史铁生评传