邢剑宽 作品数:13 被引量:28 H指数:2 供职机构: 清华大学 更多>> 发文基金: 国防科技技术预先研究基金 天津市自然科学基金 中国人民解放军总装备部预研基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
一种面向协作的无中心元组空间系统 本发明提供了一种面向协作的无中心元组空间系统,包括无中心元组空间中间件模块、副本管理模块、网络模块和接口模块。该系统对上层提供统一访问接口,可以使用元组空间的访问原语;对下层分为两部分,一部分是本地元组空间,用于保存需要... 覃征 邢剑宽 章晋学 王娟 陈晨DTSArch:一种基于分散式元组空间的软件体系结构模型 2009年 针对协作系统中缺乏描述系统高度动态性、自组织性和协作性的方法,利用分散式元组空间模型的时空解耦特性,提出了一种软件体系结构模型DTSArch。在对分散式元组空间进行刻画的基础之上,从软件体系结构的角度建立了描述构件行为和系统配置的形式化语义,解决了分散式元组空间模型难以直接应用于实际系统开发的问题。实现了一个基于DTSArch的可视化开发工具以进行软件体系结构设计。并通过实例证明DTSArch使开发人员能够快速建立基于分散式元组空间模型的系统结构,从而提高系统构件和系统开发方法的可重用性。 郑翔 覃征 邢剑宽关键词:软件体系结构建模 一种无中心元组空间副本管理方法 2011年 无中心元组空间(DTS)模型是支持多个独立单元协作的理想模型。然而,目前对DTS的性能研究并不多见。该文针对DTS系统中缺乏有效副本管理机制的现状提出了一种基于元组使用模式的、采用多种副本管理策略的元组副本管理方法。在无中心元组空间模型的基础上,建立了面向副本的元组空间原语语义,并分析了在DTS中实现副本管理机制的必要性,以及实现多种副本管理策略的意义。本文基于Lime(Linda in the mobile environment)实现了元组副本管理层,并进行了多台主机之间的元组通讯实验。实验结果表明:副本管理机制的存在有效降低了DTS的操作的响应时间,提高了系统的整体运行效率。 邢剑宽 覃征 郑翔 章晋学关键词:元组空间 副本管理 一种面向协作的无中心元组空间系统 本发明提供了一种面向协作的无中心元组空间系统,包括无中心元组空间中间件模块、副本管理模块、网络模块和接口模块。该系统对上层提供统一访问接口,可以使用元组空间的访问原语;对下层分为两部分,一部分是本地元组空间,用于保存需要... 覃征 邢剑宽 章晋学 王娟 陈晨文献传递 一种无中心环境下无人机协同模拟平台的控制方法及系统 本发明提供了一种无中心环境下无人机协同模拟平台控制方法,包括A1)根据模拟配置文件建立模拟环境;A2)根据所述的模拟配置文件设置无人机;A3)启动无人机,利用无中心节点的元组空间通信,定时采集所有无人机的状态数据;A4)... 覃征 邢剑宽 周昊 陈晨 朱明建 唐淑艳 范同顺软件体系结构课程教学:抽象与实践的协调与统一 被引量:9 2009年 本文结合作者多年在软件体系结构的科研和教学经验,从抽象理论教学,专题研究和案例教学三方面探讨了教学方法和教学内容的改革。目的是软件体系结构抽象的理论知识和现实软件开发项目中的应用技能结合起来,努力培养具有大局观念的软件架构人才和管理人才。 覃征 邢剑宽关键词:软件体系结构 案例教学 嵌入式环境下的RoboCup平台球员智能控制方法及其系统 本发明提供了一种嵌入式环境下的RoboCup平台球员智能控制方法,包括如下步骤:1)从服务器端接收各种信息;2)根据接收到的信息类型进行相应处理后发送给世界模型模块;3)根据所述世界模型模块获取的当前球员的局部感知情况,... 覃征 邢剑宽 李凤翔 陈晨一种无中心环境下无人机协同模拟平台的控制方法及系统 本发明提供了一种无中心环境下无人机协同模拟平台控制方法,包括A1)根据模拟配置文件建立模拟环境;A2)根据所述的模拟配置文件设置无人机;A3)启动无人机,利用无中心节点的元组空间通信,定时采集所有无人机的状态数据;A4)... 覃征 邢剑宽 周昊 陈晨 朱明建 唐淑艳 范同顺文献传递 语法结构分析指导下的数学公式图像版面分析方法 被引量:1 2008年 简要回顾了数学公式结构分析的发展,指出数学公式结构分析针对各种数学公式的复杂结构,攫取出公式的版面结构和语义信息.因此,本文提出了一个在语法结构分析指导下的版面结构分析方法,给出了其系统架构,对系统中用到的版面结构分析方法进行了优化,并给出了最终实验结果. 胡静 赵德新 邢剑宽关键词:文档图像分析 非线性战场移动多作战单元间自主协同安全算法及应用平台研究 覃征 邢剑宽 王昕 章晋学 周昊 王娟 陈晨 朱明建 范同顺 唐淑艳 方峻 曹晖 常扬 李凤翔 卢正才 李华 江子能 项目针对非线性战场移动多作战单元间的自主协同问题,以无中心控制的无人机之间的协同为着眼点,研究非线性战场环境下,作战单元通过无中心网络共享信息,并在该基础上解决移动作战单元之间自主协同算法的方法和相应的安全问题,为我军的...关键词:关键词:无人飞机 信息化建设 模拟系统