中央高校基本科研业务费专项资金(HEUCF100605)
- 作品数：7 被引量：21H指数：3
- 相关作者：王红滨冯晓宁印桂生宋敏张万松更多>>
- 相关机构：哈尔滨工程大学北京外国语大学中国人民解放军92857部队更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于语法分析的深层网络查询表单信息获取方法
- 当前深层网络数据库的数量以惊人的速度增长.查询表单是访问深层网络数据的入口,由于深层网络数据库中的数据隐藏在查询表单之后,难以获取其信息,造成大量信息资源的浪费.为集成深层网络数据,向用户查询提供方便,首要问题是理解查询...
- 祝官文王念滨王红滨
- 关键词：深层网络网络数据库
- 文献传递
- 基于遗传算法和种子概念的本体概念提取算法被引量：5
- 2010年
- 本体学习技术是利用本体工程技术和机器学习技术等众多学科技术来实现本体(半)自动构建的一项技术。通过研究中文本体学习这一领域存在的问题,提出了基于遗传算法和种子概念的本体概念提取算法。介绍了当前基于非结构化数据源的本体概念主要提取算法,在遗传算法和种子概念的基础上,设计了一种基于非结构化数据源的本体概念提取算法。实验证明,本算法在特定领域本体学习方面取得了良好的效果。
- 王红滨刘大昕王念滨
- 关键词：本体学习遗传算法种子繁殖
- 非线性迭代滑模的欠驱动AUV路径跟踪控制被引量：2
- 2011年
- 为实现欠驱动自治水下机器人(AUV)在未知海流干扰作用下的路径跟踪控制,提出一种基于非线性迭代滑模增量反馈的路径跟踪控制器。选用一般曲线参数和Serret-Frenet坐标系描述路径跟踪误差,建立AUV水平面路径跟踪误差方程。采用迭代方法,设计滑模增量反馈控制器,无需对AUV模型参数不确定部分和海流干扰进行估计。仿真实验表明,设计的控制器参数易于调节,可用于实际欠驱动水下机器人来实现对水平面路径的精确跟踪。
- 王璐张利军王红滨贾鹤鸣杨立新
- 一种基于BPMN的业务流程图到BPEL的映射方法被引量：4
- 2013年
- 随着服务组合理论的不断成熟,将基于BPMN的业务流程图转换为BPEL代码进而实现服务组合的研究受到广泛关注.目前BPMN模型的映射方法不能完成复杂结构的映射且需要人工参与.首先提出了一个基于服务组合的软件系统框架和BPMN的形式化描述方法.然后给出一种基于BPMN的业务流程图到BPEL的映射方法,其主要思想是首先映射数据流,再映射控制流来组织基本活动的执行顺序.在控制流映射中分析了基本结构和复杂结构映射的解决方案.最后,利用网上预约看病实例证明了映射方法的可行性.
- 冯晓宁李麒星王卓
- 关键词：BPEL模型映射
- 面向构件语义关系的软件体系结构演化分析被引量：1
- 2011年
- 为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵并对它的性质进行了分析.在此基础上,提出了语义关系链波及效应与语义关系构件波及效应算法,同时针对不同语义协议关系项的强弱程度不同,提出了删除构件语义关系构件波及效应算法.实验结果表明,从构件之间的语义关系、语义协议关系的角度,能够较好地确定SA演化操作的波及效应,从而对SA演化进程及其影响进行有效地预测和控制.
- 印桂生宋敏韦正现王红滨张万松
- 关键词：软件体系结构语义关系
- 行为驱动的仿真模型组合方法研究被引量：3
- 2012年
- 针对目前海洋智能航行器仿真系统在开发过程中模型的动态行为很难验证的问题,给出了一个通用的基于行为的仿真系统开发框架,并提出了行为驱动的模型组合方法。首先在研究了仿真模型的行为特性的基础上,采用演算的进程表达式表示组合交互过程,描述状态转换和消息传递序列,利用其转换函数和进程推演验证组合过程的行为兼容性,然后通过水动力组合的应用实例具体描述了行为驱动的组合验证过程。最后给出了该方法在水下水下机器人和水面无人艇仿真试验中的应用情况,进一步证明了方法的可行性。
- 冯晓宁王卓顾磊印桂生
- 关键词：模型组合
- 仿真模型组合的验证方法研究被引量：5
- 2013年
- 针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
- 冯晓宁王卓王金娜
- 面向事件活动流的舰艇作战任务效能评估模型被引量：2
- 2012年
- 考虑作战过程性因素对作战效能的影响,将作战任务表示为作用在作战资源上的活动、状态、事件及其关系组成的事件活动流模型。在此基础上,提出了基于信息熵、面向事件活动流的作战任务效能评估模型,针对评估模型中的权重评价,给出了基于微粒群的权重向量优化算法,从而通过对作战任务的事件活动流模型进行效能评估,实现对作战任务效能的评估。最后给出了作战任务效能评估的实例。
- 韦正现宋敏印桂生张哲王红滨张万松
- 关键词：作战任务信息熵
