同步计算机概念,计算机支持的协同编著系统中同步机制的研究与应用

摘要：

该文首先提出了带子元素组件自动机和带子元素群组自动机的概念.相对于群组自动机模型通过共享操作来考察同步问题,该文提出可以在带子元素群组自动机的二维状态空间上考察状态之间的关系来研究同步问题,并区分了主状态和状态映像.其次,该文明确提出了自动更新问题原型,并将它形式化.在引入了M映射,整合映射和输出映射等概念后,该文证明了自动更新原型定理,形式化了自动更新的全过程.另外,文中还讨论了如自动更新的阻断和一个元素有两个主状态时的自动更新等特殊的自动更新情况.更进一步的是,该文在自动更新问题原型中考虑了包含关系和子元素... 展开 该文首先提出了带子元素组件自动机和带子元素群组自动机的概念.相对于群组自动机模型通过共享操作来考察同步问题,该文提出可以在带子元素群组自动机的二维状态空间上考察状态之间的关系来研究同步问题,并区分了主状态和状态映像.其次,该文明确提出了自动更新问题原型,并将它形式化.在引入了M映射,整合映射和输出映射等概念后,该文证明了自动更新原型定理,形式化了自动更新的全过程.另外,文中还讨论了如自动更新的阻断和一个元素有两个主状态时的自动更新等特殊的自动更新情况.更进一步的是,该文在自动更新问题原型中考虑了包含关系和子元素改变后对父元素的影响.在引入了直接包含和包含关系后,该文提出了极大更新路径,更新映射,以及从极大更新路径到更新映射之间的映射等概念.在没有回路问题和二重性问题的条件下,该文证明了自动更新定理,并进一步提出了一个局部最优的自动更新算法,还给出了这个算法的证明.该文最后介绍了一个已基本实现的多人协同组版系统.在这个系统中,一个用户的工作可以被很多人引用,并且系统会将对这个素材的后续修改源源不断地发送给相关用户或在服务器上对相关素材进行自动更新,从而实现了素材的高度复用及自动维护. 收起

展开