并发进程模型CSP与CCS  CNKI文献

并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的...

肖育东 《计算机科学》 1991年06期 期刊

潜模型  CNKI文献

为研究在不完全信息下的推理问题，本文在一阶语言上引入了部分解释与潜模型的概念，重点研究了潜模型的模型论性质，潜模型具有模型的许多重要的性质，它几乎可以象模型一样地进行推理，并且不依赖于信息扩张的顺序任...

肖育东 王世卿 《计算机学报》 1995年06期 期刊

并发模型的比较研究  CNKI文献

并发性是计算机科学面临的主要挑战之一。近几年来,在这方面已经展开了大量的研究。并发进程模型的重要意义在于,它将提供一个可信赖的通用形式框架及一批新的技术手段,为并行分布式系统的研究、开发打下一个坚实的基...

肖育东 《计算机科学》 1992年01期 期刊

开放系统的概念模式  CNKI文献

计算机科学,尤其是人工智能,研究的一个重要问题是企图建立一种描述客观世界相互作用与运动的概念模式,以便能够模拟人类活动中那些最本质的方面。人类有别于任何其它生物的最根本特点是人类具有高度发达的社会性。人...

肖育东 《计算机科学》 1991年05期 期刊

顺序进程的并行分解——X等价  CNKI文献

本文在CSP模型下研究顺序程序的并行分解问题.引入了相关投影与相关进程集的概念,使用k—分解、k—解释重构了k—等价模型.然后引入了x一分解、x—等价及x—解释的概念,研究了x—等价与k—等价的关系.阐明了x—等价与...

肖育东 《计算机学报》 1992年04期 期刊

开关函数的关联分析  CNKI文献

一、引言利用 n 维付里叶变换的方法研究开关函数以及它在仿射变换下的一系列性质,并且把这一方法应用于组合及时序开关网络的综合,开关函数分类等,已取得了有益的成果,由于开关函数的付里叶变换在仿射变换群 RAG 及其...

肖育东 《郑州大学学报(自然科学版)》 1980年01期 期刊

图形库系统中的三层映象  CNKI文献

该文论述了通用软件图形库与图形编辑系统GRAPHSTAR中所采用的三层映象法的结构模式及所涉及的技术关键,以及设计者在解决这些技术关键时所采用的处理方法。

肖育东 《郑州大学学报(自然科学版)》 1986年02期 期刊

对木桁架桥养护的几点体会  CNKI文献

公路修筑在崇山峻岭地带,溪流湍急,飘浮物多,尤其在木材产区更甚。因此,在建筑桥梁时,多采用较大跨径如撑架式、豪氏下承式木桁架桥。这些木桥由于结构较复杂,维修材料困难,因而在养护及修理上存在不少困难。几年来由...

肖育东 《公路》 1965年02期 期刊

MC6845在日立PC显示系统的应用  CNKI文献

本文基于MC6845芯片在日立PC(16000)机显示系统的应用,主要说明了6845的初始化参数及如何控制某些内部寄存器和控制寄有器去完成一些所要求的显示功能。为拥有该机的用户进行二次开发和设备维修方面的工作,提供了颇有...

王世卿 肖育东 《郑州大学学报(自然科学版)》 1991年01期 期刊