搜索结果: 1-2 共查到“计算机科学技术 语义一致性”相关记录2条 . 查询时间(0.222 秒)
复制式架构下的二维CAD协同图形编辑环境中,用户界面所发出的Undo操作从语义上讲是针对复合操作本身的,但传统的一致性维护算法是基于原子操作的,对Undo操作的支持也是以原子操作为单位的,这样就会导致复合Undo操作的语义不一致性问题。分析了CAD图形编辑环境中复合操作的类型及Undo操作的执行前提,讨论了Undo操作存在的情况下的冲突定义,提出了基于版本分裂机制的冲突解决策略,并描述了复合Und...
谓词(演算和模态图的语义一致性
2007/11/2
AbstractThe modal graphs are effective graph forms for the predicate (-calculus. The consistency between the predicate (-calculus and the modal graphs is strictly established. Moreover, the relationsh...