国家高技术研究发展计划(2009AA01Z142) 作品数:20 被引量:56 H指数:3 相关作者: 谷建华 彭宇行 赵天海 王云岚 李东升 更多>> 相关机构: 西北工业大学 并行与分布处理国防科技重点实验室 国防科学技术大学 更多>> 发文基金: 国家高技术研究发展计划 国家重点基础研究发展计划 西北工业大学研究生创业种子基金 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 更多>>
一种新的高效普适元服务分配方法研究 被引量:1 2010年 为了解决基于SOA架构的服务分配方法无法应用于普适环境中服务分配过程的问题,文章给出了普适元服务及相关概念的形式化定义,提出了一个具有动态规划和前向纠错能力的普适元服务分配方法(PMSA方法)。实验表明,该方法由于加入了向前纠错的机制,比基于标准动态规划的分配方法访问元服务的次数大大减少,在普适环境中具有较好的稳定性和扩展性的同时,有效提高执行的效率。 钟冬 朱怡安 谷建华 王云岚 雷万保关键词:普适计算 基于Erasure Code的分布式文件存储系统 被引量:5 2010年 在局域网环境下,实现一种基于Erasure Code的分布式文件存储系统。该系统由元数据服务器和多个文件存储节点组成,通过对元数据与文件数据分离存储以提高文件访问效率,将Erasure Code有效冗余存储技术应用于文件编解码以增强可靠性,采用MD5消息摘要技术保证文件完整性。对30 MB^600 MB大小的文件测试结果表明,该系统具有更高的可靠性、安全性以及资源利用率。 潘利伟 谷建华 朱靖飞 周志超关键词:ERASURE 编解码 高可靠 EPSS:可扩展的P2P流媒体模拟器 2011年 随着互联网上P2P流媒体服务的流行,P2P流媒体系统模拟器也成为实现和改进实际系统必不可少的工具。但是,现有的模拟器普遍存在功能扩充困难的问题,用户若想实现自己的研究目标,往往需要花费较多的时间和精力对模拟器进行定制。基于此,我们设计和实现了一款可以灵活扩展功能的P2P流媒体模拟器:EPSS。EPSS是一款事件驱动的报文级的模拟器,基于Python实现,为了实现EPSS功能上的可扩展性,我们进行了清晰的模块划分和可扩展的接口设计。实验结果表明,EPSS不仅可以方便地进行功能扩充以支持多种研究,而且能支持很大的仿真规模,为P2P流媒体领域的研究人员提供了更好的选择。 吴吉庆 刘锋 彭宇行关键词:P2P流媒体 模拟器 可扩展 DVE系统中基于延迟拟合的间距一致性控制方法 被引量:2 2012年 分布式虚拟环境系统中连续模型的间距一致性问题是影响系统功能和性能的关键问题,现有控制方法通常采用发送节点确定延迟的策略,在接收节点之间建立了制约关系,无法对系统的响应能力进行有效优化。为此,本文提出基于延迟拟合的间距一致性控制方法,该方法通过接收节点定序的方式解除了节点间的强制约关系,并通过本地事件和异地事件统一延迟的策略维护了事件处理的时序一致和间距一致。此外,为了在运行期对节点延迟时间进行有效调配,本文提出一种基于二叉搜索树的延迟拟合值维护方法,通过周期性地对节点间延迟进行拟合及更新,保证了该方法的有效性。实验结果表明本文方法在保证各节点间距一致性的基础上有效改善了系统的整体性能。 张伟 周航军 彭宇行 唐新春关键词:分布式虚拟环境 一种DVE中通用的因果消息序时间管理分布式中间件 被引量:1 2012年 对于遵循高层体系结构(HLA)标准构建的分布式虚拟环境(DVE),时间管理服务的性能将直接影响分布式仿真的效率和正确性。目前的时间管理服务实现了两种消息排序机制:接收序和时戳序。接收序对消息按其接收顺序进行处理,实时性高,但无法正确处理接收顺序与产生顺序相违背的消息;时戳序通常指保守时戳序机制,能对消息按其产生的时间顺序进行处理,但时间开销较大,难以到达DVE的实时性要求。因此,本文以分布式中间件的方式为DVE设计实现了一种因果消息序时间管理服务,提供符合HLA标准的程序接口,使分布式仿真应用在不改变原有调用接口的情况下,能够通过中间件对消息实现因果序时间管理。实验表明,使用该中间件可以有效维护消息的处理顺序,同时时间开销小,能够较好地满足DVE的实时性要求。 周航军 张红雷关键词:高层体系结构 分布式虚拟环境 时间管理 分布式中间件 一类带有未知参数的受扰混沌系统的观测器同步 被引量:10 2011年 在系统参数未知的情形下,观测器方法和自适应方法相结合,实现了一类受扰混沌系统的同步.借助于Lyapunov稳定性理论和Barbalat引理,给出了观测器的设计方法.此方法约束条件较少,适应于大部分常见的混沌系统.最后,通过对典型混沌系统的同步数值仿真,证实了方法的有效性和正确性. 李秀春 谷建华 王云岚 赵天海关键词:混沌系统 DVE系统中基于异步时钟模型的公平性控制方法 分布式虚拟环境系统中的公平性问题是影响虚拟环境真实感和沉浸感的关键问题。现有公平性控制方法通常只考虑系统的一致性需求和消息接收的公平性,无法针对不同实体的响应能力需求加以调整控制。为此,本文提出基于异步时钟模型的公平性控... 张伟 周航军 彭宇行 李思昆关键词:分布式虚拟环境 面向科学计算的业务流程建模技术研究 被引量:2 2012年 分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。 杨乾坤 谷建华 王云岚关键词:元模型 形式化描述 基于BPEL2.0标准的业务流程建模研究与实现 被引量:1 2010年 针对工业自动化需求,在业务流程执行语言(business process execution language for web services Version 2.0,BPEL 2.0)国际标准的基础上,提出了一种面向网络服务定义(web service description language,WSDL)标准的业务流程建模工具的设计原理。以基于Eclipse 3.4平台下设计和实现的业务流程建模工具为应用实例,阐述了其系统架构、建模算法,并通过对实际工业现场的应用和结果分析,验证了该业务流程建模解决方案的可行性。现已有公司将该建模工具投入使用,且已经产生可观的社会效益和经济效益。 潘超 潘阿伟 周兴社关键词:系统架构 建模算法 一种大规模连续媒体系统中的因果消息序控制方法 有效维护因果一致性是连续媒体系统环境中的关键问题之一.已有的主要因果一致性控制方法在不考虑消息生命周期约束的情况下,具有较好的维护效果.然而,连续媒体系统环境是模拟现实世界的虚拟空间,事件消息处理具有实时性要求,因果关系... 周航军 付沙