搜索筛选:
搜索耗时3.8191秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：韦梓楚,
来源：科技术语研究 年份：2004
我对ontology没作什么研究。但计算机科学家们本来就是借用它的哲学含义用到信息技术中来的。虽然目前许多计算机科学家较多地用它指称一个对象的概念集合，但ontology的本义还...
[期刊论文] 作者：韦梓楚,
来源：软件学报 年份：1997
本文讨论开放型物理系统的定性推理方法。文中阐述ＱＵＩＯＳ机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出ＱＵＩＯＳ的推理算法。...
[期刊论文] 作者：韦梓楚,
来源：软件学报 年份：1997
本文探讨物理系统定性推理的描述方法，在分析已有的定性推理方法所存在的不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段ＱＵＩＯＳ。此方法一方面拓广了定性进程......
[期刊论文] 作者：韦梓楚,
来源：软件学报 年份：2000
Ｇａｍｍａ（ｇｅｎｅｒａｌ ａｂｓｔｒａｃｔ ｍｏｄｅｌ ｆｏｒ ｍｕｌｔｉｓｅｔ ｍａｎｉｐｕｌａｔｉｏｎ）语言是一个可以避免人为序化的高层次并行程序设计工具。Ｐ．Ｆｒａｄｅｔ等人提出结构化Ｇａｍｍａ以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析。在摒弃了基于“地址”的定......
[期刊论文] 作者：陈东辉,韦梓楚,
来源：软件学报 年份：1994
并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能。本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略。它根据全系统实际运行的即时状态，动态地决定对事......
[期刊论文] 作者：陆汝钤, 韦梓楚, 张松懋, 郑红, 刘冷宁, 刘红阁,,
来源：创新科技 年份：2008
图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大...
相关搜索：
