韦梓楚

作品数：5被引量：9H指数：2
导出分析报告
供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
发文主题：并发控制开放系统DDBMSADA数据库更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《软件学报》《创新科技》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
图灵测试——机器是否有智能被引量：2
《创新科技》2008年第12期52-53,共2页陆汝钤 韦梓楚 张松懋 郑红 刘冷宁 刘红阁 
图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。
关键词：图灵测试 计算机 机器智能 常识知识库 
关于并行语言Gamma的结构化扩充被引量：2
《软件学报》2000年第11期1560-1566,共7页韦梓楚 
国家自然科学基金资助项目!(6 97370 2 0 );科技部中法先进研究计划基金资助项目!(PRA M95 - 3)
Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .P.Fradet等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”...
关键词：并行程序设计语言 图文法 Gamma语言 
关于开放型物理系统的QP理论被引量：1
《软件学报》1997年第7期511-518,共8页韦梓楚 
国家科委资助的中法合作PRA基金
本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型...
关键词：定性推理 开放系统 QP理论 定性理论 
QUIOS的事件、进程和推理算法
《软件学报》1997年第7期519-524,共6页韦梓楚 
国家科委资助的中法合作PRA基金
本文讨论开放型物理系统的定性推理方法．文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出QUIOS的推理算法．
关键词：定性推理 开放系统 视图 推理算法 定性理论 
ADA—DDBMS中的并发控制被引量：4
《软件学报》1994年第12期51-56,共6页陈东辉 韦梓楚 
并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态，动态地决定对事务采取的执行策略，大大减少了积极封锁所易...
关键词：事务管理 并发控制 ADA-DDBMS 数据库 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部