江苏省高校自然科学研究项目(07KJD520112)
- 作品数：8 被引量：24H指数：2
- 相关作者：窦万峰陈卉彭涛杨君朱鸣更多>>
- 相关机构：南京师范大学江苏省信息安全保密技术工程研究中心更多>>
- 发文基金：江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于四叉树索引的区域版本实时协同绘图系统被引量：1
- 2009年
- 随着传统GIS向网络GIS的发展,地图的更新通常需要网络中多个站点相互协作完成,传统的并发控制策略不能很好满足协同GIS中多用户协作感知的要求。为此提出了基于四叉树索引的区域版本并发控制机制,并给出了基于四叉树索引的区域版本实时协同绘图系统的框架和相关问题的解决方案。
- 操凤萍窦万峰董泉源
- 关键词：并发控制协作感知
- 一种新的多版本增创算法被引量：10
- 2008年
- 现有的对象复制技术是实时协同图形编辑系统中符合一致性模型的并发控制策略,但难以解决非几何属性以及三维绘图系统中的并发冲突情况.介绍了一个全新的一致性维护模型——基于版本复制的多版本技术,当并发操作发生冲突时,利用简化规则从目标版本派生出叶子物理版本,分别应用冲突操作到不同的叶子版本,有效地解决了非调和冲突操作的意愿保证.通过研究多版本技术的相关支持算法,在算法MOVIC的基础上,从各个冲突操作的最大共同相容操作着手,提出了基于相容冲突组的快速多版本增创算法FMVIC(Fast Multiple Versions Incremental Creation),减少了相容操作的比较次数,缩小了去冗余操作的范围.
- 杨君窦万峰
- 关键词：并发控制
- 实时协同编辑中群组可靠性和容错研究被引量：2
- 2007年
- 论述了在实时协同编辑系统中,协作站点的可靠性和协同会话管理的容错问题。给出一个会话管理器的查询算法,解决了协作站点或网络故障或长时间无操作生成等带来的系统可靠性与安全性问题。给出一个分布式备份模型解决了会话管理器的容错问题。并通过实验对相关算法的有效性进行了验证,为实时协同编辑系统的设计与实现提供了支持。
- 窦万峰朱鸣陈卉
- 关键词：CSCW可靠性容错性
- 基于版本复制技术的版本树管理
- 2010年
- 针对协同图形编辑系统中基于版本复制技术的多版本协同技术,深入研究了版本树的管理问题,包括版本树优化、版本之间冲突和操作意愿保证,给出了版本之间冲突操作的实现算法.实验表明,该方案满足协同系统的要求.
- 张小勇洪刚
- 关键词：协同图形编辑系统
- 群组协同决策中基于决策者可信的信任模型研究被引量：2
- 2010年
- 针对群组协同决策支持系统的特点,提出了基于决策者可信的信任模型.该模型通过决策者实体的历史行为证据来建立实体之间的信任关系,评估分布式环境下动态的决策者的可信度.给出了基于历史交互行为的直接信任度、间接信任度和通过信息熵理论来计算决策者的总体信任度的计算方法,为系统的安全决策提供了有效的解决方案.通过模拟实验验证了该信任模型的可靠性.
- 彭涛窦万峰
- 关键词：信任模型信任关系
- 异构CAD系统协同中基于特征的操作命令转换研究
- 2010年
- 基于特征的操作转换是同步异构CAD协同系统中的核心问题.分析了异构CAD系统协同中基于特征的建模命令转换,提出了特征建模命令映射集合的构建方法.给出了3种CAD系统间拉伸特征操作转换的实例,分析了构建方法,为实现和优化异构CAD系统协同平台打下良好的基础.
- 宋效东窦万峰
- 关键词：同步协同设计
- 协同决策支持系统中的信任模型研究被引量：2
- 2011年
- 针对协同决策支持系统(CDSS)中的实际信任需求,提出一种可信决策模型。从决策参与者的行为和决策任务2个方面评估分布式环境下决策参与者的选择和结果可信,从而保证决策可信。通过计算基于历史记录的直接信任度、推荐信任度和决策任务熟悉度,量化信任信息,从而为CDSS系统安全决策提供安全可靠的解决方案。
- 彭涛窦万峰曲永花
- 实时协同编辑中群组可靠性和容错研究
- 论述了在实时协同编辑系统中,协作站点的可靠性和协同会话管理的容错问题。给出一个会话管理器的查询算法,解决了协作站点或网络故障或长时间无操作生成等带来的系统可靠性与安全性问题。给出一个分布式备份模型解决了会话管理器的容错问...
- 窦万峰朱鸣陈卉
- 关键词：CSCW可靠性容错性
- 文献传递
- UML顺序图与状态图的一致性检查被引量：7
- 2008年
- 用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。
- 陈卉窦万峰
- 关键词：统一建模语言有限状态自动机
