2024年8月21日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
韦梓楚
作品数:
6
被引量:9
H指数: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年
并发控制是DDBMS(分布式数据库管理系统)中事务管理的重要功能.本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略.它根据全系统实际运行的即时状态,动态地决定对事务采取的执行策略,大大减少了积极封锁所易产生的死锁情况,同时又改善了消极封锁效率低的问题.
陈东辉
韦梓楚
关键词:
事务管理
并发控制
数据库
关于开放型物理系统的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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张