肖育东
- 作品数：8 被引量：5H指数：2
- 供职机构：海南师范大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 并发进程模型CSP与CCS被引量：2
- 1991年
- 并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。
- 肖育东
- 关键词：CCSCSP
- 顺序进程的并行分解——X等价
- 1992年
- 本文在CSP模型下研究顺序程序的并行分解问题.引入了相关投影与相关进程集的概念,使用k—分解、k—解释重构了k—等价模型.然后引入了x一分解、x—等价及x—解释的概念,研究了x—等价与k—等价的关系.阐明了x—等价与x—解释在理论及方法上的三方面特色:概念一致性,结构独立性及路径有效性.x—等价能使并行分解的概念嵌入结构程序设计的方法学中,而使其形式表述纳入CSP演释之中.
- 肖育东
- 关键词：程序设计
- 开放系统的概念模式被引量：1
- 1991年
- 计算机科学,尤其是人工智能,研究的一个重要问题是企图建立一种描述客观世界相互作用与运动的概念模式,以便能够模拟人类活动中那些最本质的方面。人类有别于任何其它生物的最根本特点是人类具有高度发达的社会性。人类学研究指出,人类的社会性与人类语言的形成和发展是同步进行的。人在一个社群中通过信息交换而形成了一种“社会契约”系统,个体之间的协作与分工构成了每个个体赖以生存的基本环境。在这样的社群中。
- 肖育东
- 关键词：开放系统计算机
- MC6845在日立PC显示系统的应用
- 1991年
- 本文基于MC6845芯片在日立PC(16000)机显示系统的应用,主要说明了6845的初始化参数及如何控制某些内部寄存器和控制寄有器去完成一些所要求的显示功能。为拥有该机的用户进行二次开发和设备维修方面的工作,提供了颇有参考价值的资料。
- 王世卿肖育东
- 关键词：微机
- 智能软件分析工具ANAT的设计
- 肖育东
- 关键词：程序设计专家系统知识表达
- 一种智能可扩张的软件体系结构
- 肖育东
- 关键词：程序系统扩张(数学)人工智能程序设计
- 潜模型被引量：2
- 1995年
- 为研究在不完全信息下的推理问题，本文在一阶语言上引入了部分解释与潜模型的概念，重点研究了潜模型的模型论性质，潜模型具有模型的许多重要的性质，它几乎可以象模型一样地进行推理，并且不依赖于信息扩张的顺序任意地逼近一个模型．潜模型的序关系与模型扩张的序关系构成一个连续的链．因而潜模型可以作为所谓“晚到信息、部分信息推理”的数学基础．
- 肖育东王世卿
- 关键词：人工智能
- 并发模型的比较研究
- 1992年
- 并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基础。对模型的深入研究,使我们能更深刻地洞察并发性的实质问题。本文对目前最成功的两个并发模型:CSP 和 CCS 的各主要方面进行较深入的比较研究,搞清楚它们实质的贡献,差异及存在的问题。
- 肖育东
- 关键词：并发模型计算机科学CSPCCS
