雷义伟

作品数：8被引量：7H指数：1
导出分析报告
供职机构：中国人民解放军91245部队更多>>
发文主题：自适应软件补偿事务异常处理HLA感知研究更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《海军工程大学学报》《计算机与数字工程》《计算机工程与科学》《计算机科学》更多>>
所获基金：国家重点实验室开放基金国家部委资助项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
跨组织工作流管理关键技术研究
《计算机与数字工程》2017年第7期1382-1386,共5页曾扬 贲可荣 雷义伟 
随着网络技术发展,当前企业应用呈现出异构、松耦合和动态性特征,企业整体业务目标需要跨组织协同完成,导致传统集中式工作流管理方式在实现系统的可扩展性、可伸缩性和可用性等方面存在不足。为此,论文提出一种分布式工作流框架,为不...
关键词：工作流 工作流管理系统 
自适应软件需求的形式化建模与验证被引量：1
《海军工程大学学报》2015年第6期73-78,共6页雷义伟 贲可荣 何智勇 
国家部委基金资助项目(513150402);软件工程国家重点实验室基金资助项目(SKLSE 2012-09-38)
为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射...
关键词：自适应软件 需求分析 可满足性验证 
基于Tropos^+需求模型的软件自适应方法
《计算机工程与科学》2015年第10期1877-1883,共7页雷义伟 贲可荣 何智勇 
软件工程国家重点实验室基金资助项目(SKLSE 2012-09-38)
在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对...
关键词：自适应软件 需求模型 自适应控制过程 
基于补偿事务的业务流程异常处理建模研究
《计算机科学》2015年第7期91-94,113,共5页雷义伟 贲可荣 
国家自然科学基金项目(61272108)资助
对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出...
关键词：业务流程 异常处理 补偿 PETRI网 
基于服务冗余的SOA系统容错方法研究
《计算机与数字工程》2015年第5期854-856,共3页任宏 雷义伟 
Web Service的分布、异构和动态特性使面向服务的软件系统易受网络和软硬件故障影响,导致Web Service不可用,进而使整个SOA系统失效。论文提出一种基于服务冗余的容错体系结构,给出服务域划分规则,并介绍了三种容错策略以及一般的容错...
关键词：面向服务的体系结构 服务冗余 容错 
基于网络的文件持续保护技术研究与实现
《计算机与数字工程》2012年第6期95-97,138,共4页李勇 罗纯哲 刘小宝 雷义伟 
传统的数据容灾技术由于存在种种的缺陷,不能满足用户对数据实时性保护的需求。文章研究了新型的持续数据保护技术(CDP),并设计和实现了文件的CDP系统。实验表明,系统能实现文件的粒度细保护,使文件能回退到文件之前的任意状态。
关键词：CDP 文件同步 操作截获 文件恢复 
电磁环境感知与可视化仿真系统的设计与研究被引量：6
《计算机与数字工程》2012年第5期41-43,120,共4页童斌 雷义伟 
阐述了电磁环境感知与可视化仿真系统的总体结构和功能;分析了电磁环境感知分系统的设计理念和关键技术;提出基于HLA的可视化仿真的结构体系,给出了电磁环境可视化仿真分系统的设计方法。感知与可视化仿真相结合,形成真实可靠、形象逼...
关键词：电磁环境 感知研究 HLA 仿真设计 
一种混合式的指针分析算法
《计算机与数字工程》2011年第11期40-43,84,共5页雷义伟 刘国勤 张志祥 
指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析。但该算法计算结果精度不高,得到的指针指向集...
关键词：流敏感 上下文敏感 指针分析 函数摘要 控制流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部