您的位置： 专家智库 > >

韦梓楚

作品数：6 被引量：9H指数：2
供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 2篇理学

主题

  • 2篇开放系统
  • 1篇知识库
  • 1篇设计语言
  • 1篇事务
  • 1篇事务管理
  • 1篇视图
  • 1篇数据库
  • 1篇图灵
  • 1篇图灵测试
  • 1篇图文法
  • 1篇物理系统
  • 1篇计算机
  • 1篇ADA
  • 1篇DDBMS
  • 1篇并发控制
  • 1篇并行程序设计
  • 1篇并行程序设计...
  • 1篇并行语言
  • 1篇常识知识库
  • 1篇程序设计

机构

  • 5篇中国科学院数...
  • 1篇吉林大学

作者

  • 6篇韦梓楚
  • 1篇张松懋
  • 1篇郑红
  • 1篇徐泽同
  • 1篇赵立平
  • 1篇陆汝钤
  • 1篇陈东辉
  • 1篇刘冷宁
  • 1篇刘红阁
  • 1篇姜涛

传媒

  • 4篇软件学报
  • 1篇创新科技
  • 1篇第十一届全国...

年份

  • 1篇2008
  • 1篇2000
  • 2篇1997
  • 1篇1994
  • 1篇1993
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
Ada-DDBMS现状
本文介绍了正在进行的,VAX、VMS、DECNET上的,Ada相关的分布式数据库管理系统Ada-DDBMS的结构和现状,也述及了对它进行实用开发所面临的问题.
徐泽同赵立平陈东岳韦梓楚姜涛
文献传递
图灵测试——机器是否有智能被引量：1
2008年
图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。
陆汝钤韦梓楚张松懋郑红刘冷宁刘红阁
关键词：图灵测试计算机常识知识库
ADA—DDBMS中的并发控制被引量：4
1994年
并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态，动态地决定对事务采取的执行策略，大大减少了积极封锁所易产生的死锁情况，同时又改善了消极封锁效率低的问题．
陈东辉韦梓楚
关键词：事务管理并发控制数据库
关于开放型物理系统的QP理论被引量：2
1997年
本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制．
韦梓楚
关键词：开放系统
QUIOS的事件、进程和推理算法
1997年
本文讨论开放型物理系统的定性推理方法．文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出QUIOS的推理算法．
韦梓楚
关键词：开放系统视图
关于并行语言Gamma的结构化扩充被引量：2
2000年
Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .P.Fradet等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定义方式的基础上 ,给出结构化 Gamma的更一般形式的语法、语义描述 ,在两个层次上讨论结构重集 ( structured multiset)的类型 ,并指出 ,这种新模型保持了有关程序的静态类型检测等理论成果 .
韦梓楚
关键词：并行程序设计语言图文法
全选 清除 导出
共1页<1>
聚类工具0