黑龙江省自然科学基金(F201129)
- 作品数：6 被引量：17H指数：3
- 相关作者：冯晓宁王金娜王芳徐东王卓更多>>
- 相关机构：哈尔滨工程大学更多>>
- 发文基金：国家自然科学基金黑龙江省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于BPMN的业务流程图到BPEL的映射方法被引量：4
- 2013年
- 随着服务组合理论的不断成熟,将基于BPMN的业务流程图转换为BPEL代码进而实现服务组合的研究受到广泛关注.目前BPMN模型的映射方法不能完成复杂结构的映射且需要人工参与.首先提出了一个基于服务组合的软件系统框架和BPMN的形式化描述方法.然后给出一种基于BPMN的业务流程图到BPEL的映射方法,其主要思想是首先映射数据流,再映射控制流来组织基本活动的执行顺序.在控制流映射中分析了基本结构和复杂结构映射的解决方案.最后,利用网上预约看病实例证明了映射方法的可行性.
- 冯晓宁李麒星王卓
- 关键词：BPEL模型映射
- LTS仿真模型组合验证方法被引量：1
- 2014年
- 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。
- 冯晓宁王卓王金娜
- 关键词：语义相似度
- 基于依赖图等价代换的SSDG构建算法被引量：1
- 2015年
- 已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程序系统依赖图,改进传统系统依赖图的构建流程。实验结果表明,该算法可有效降低构建系统依赖图的复杂度,并能提高程序切片的速率。
- 徐东狄效国孟宇龙冯晓宁
- 关键词：控制流图系统依赖图程序切片数据依赖
- 基于模型预测的动力定位控制系统体系结构及仿真被引量：4
- 2013年
- 以"981"深海半潜式钻井平台为研究对象,根据国际海事组织和各大船级社对动力定位系统的安全规范要求,进行了DP-3级动力定位控制系统的总体方案设计。首先详细阐述了动力定位控制系统的硬件组成和结构及软件功能和层次,然后给出了平台的低频运动方程及基于模型预测的控制算法和控制器的具体设计方案及参数设置方法。最后建立了半实物仿真系统,进行了平台的作业工况和待机工况的动态模拟,通过仿真实验调试和验证了系统的硬件设备和软件方法。
- 王卓陈红丽王芳万磊
- 关键词：动力定位半实物仿真
- 仿真模型组合的验证方法研究被引量：5
- 2013年
- 针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
- 冯晓宁王卓王金娜
- 基于L-π演算的WSN路由协议形式化方法被引量：2
- 2015年
- 针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。
- 冯晓宁王卓张旭
- 关键词：计算机软件无线传感器网络路由协议形式化方法
