摘要：针对在网络环境下协同工作的复杂性 ,提出一种基于状态集的CSCW处理模型 ,有效地解决了复杂和动态工作流程的描述与管理问题 ,并且在一个办公和文档管理系统的设计和开发上得到成功实现 .

摘要：针对简单多边形的分类问题,将对称情况看成是相同类别进行分类来简化分类数,提出一种分类方法.首先分析简单多边形顶点的凹凸性,根据简单多边形顶点处凸点和凹点的分布情况,定义了简单多边形的标记矩阵;然后利用标记矩阵将简单多边形的分类问题归结为二面体群作用在状态集(全体标记矩阵组成的集合)上的轨道划分问题;最后利用熟知的Pólya计数定理求解轨道的个数,并给出了新的分类公式.实验结果表明,当简单多边形边数为6时,采用文中方法的分类数小于原来分类数,并且随着边数的增大,这种差距逐渐变大.

摘要：本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述成一个层次结构的、作用式的自动机网。

摘要：一、引言本世纪初数理逻辑学家一直在探讨关于计算及可计算性的概念,1936年基本奠定了可计算性的理论基础。同年英国人图灵(***)也正式提出了图灵机。 40年代人们开始研制电子计算机时,可计算性理论与模型图灵机为电子计算机的研制提供了理论基础,特别是匈裔美籍数学家冯·诺依曼(Von·Neomann)对图灵机进行了改进并将它作为电子计算机的基本设计思想。目前电子计算机虽然已经历了四代的发展。