付岩
- 作品数:8 被引量:34H指数:3
- 供职机构:哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金:国防基础科研计划更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 并发控制流检测技术综述被引量:4
- 2007年
- 并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制流检测技术的典型方法,对其进行分析评价;最后提出基于目前的方法并发控制流检测技术还需要解决的问题及新的发展方向。
- 吴艳霞顾国昌付岩程立新
- 关键词:控制流图
- 智能机器人神经心理模型被引量:3
- 2006年
- 为了从结构、功能和行为3个层面对智能机器人体系结构进行一体化描述,本文提出了智能机器人神经心理模型.借鉴脑的3个基本机能联合区理论建立了智能机器人的神经生理结构模型,将机器人思维系统划分为感知区、反射区和慎思区,每个区均由三级皮层构成,采用拓展的BD I逻辑(机器人心智逻辑RML)描述机器人的认知心理机制,给出了神经心理框架下的机器人智能行为过程,从理论上证明了RML的可靠性与完备性,采用水下机器人编队穿越未知雷区的对比仿真实验验证了神经心理模型的可行性和有效性.
- 刘海波顾国昌沈晶付岩
- 关键词:智能机器人神经生理认知心理
- 多线程数据竞争检测技术研究综述被引量:1
- 2022年
- 随着多核处理器在现代计算机设备中的流行,在软件中使用多线程程序的频率也随之增加。但多线程程序的不确定性会导致程序在运行过程中出现数据竞争、原子性违背、顺序违背和死锁等并发问题。研究发现,在所有并发缺陷中,数据竞争所占的比例最大,而且大多数原子性违背和顺序违背也是由数据竞争引起的。为解决这一问题,学者们先后提出了相关的检测技术,文中对近年来该领域的研究技术进行了总结。首先,介绍了数据竞争的相关概念和产生原因,以及数据竞争检测的主要思想;然后根据程序是否执行将现有的数据竞争检测技术分为静态分析、动态分析和混合检测技术三大类,归纳分析了每类技术的特点并进行了详细的比较;随后,从程序员角度阐明了现有检测技术存在的问题;最后,根据发展现状,对该领域的未来发展方向进行了分析与探讨。
- 赵静文付岩吴艳霞陈俊文冯云董继斌刘嘉琪
- 关键词:数据竞争
- 面向新闻组的信息搜索方法被引量:2
- 2002年
- 介绍了Usenet、新闻组及新闻搜索引擎,分析了NNTP协议内容,用Petri网描述了新闻搜索的关键处理流程,给出了用VB6.0实现新闻搜索的方法。实现的新闻搜索功能可以方便地集成到各种专门用途的应用程序中。
- 刘海波张国印付岩
- 关键词:USENET新闻组新闻搜索引擎PETRI网网络新闻
- 基于遗传模拟退火算法的水下机器人路径规划被引量:20
- 2005年
- 全局路径规划是智能水下机器人(AUV)研究领域中的一个重要课题,在一定程度上它标志着水下机器人智能水平的高低,它的目标是在已知障碍物的环境中为水下机器人寻找一条从起始状态到达目标状态的无碰路径.文中提出一种基于区域分层模型的遗传模拟退火算法的全局路径规划方法,解决了在大范围海洋环境下水下机器人的路径规划问题,详细介绍了区域分层模型和遗传模拟退火算法的实现,仿真的结果证明了该算法的有效性.
- 顾国昌付岩刘海波
- 关键词:智能水下机器人路径规划遗传算法模拟退火算法
- 径向基函数递推最小二乘算法优化学习的研究被引量:4
- 2007年
- 对于广泛使用的三层感知机BP神经网络存在收敛速度慢,预测精度不高的问题,提出了基于径向基函数(RBF)递推最小二乘算法调整网络连接权值以及通过自适应学习的方法优化径向基函数形状参数的协作式自适应算法,并采用该算法进行了RBF神经网络的训练和仿真实验。结果表明:所提出的算法较BP算法以及固定α值的RBF算法有较快的收敛速度;最后,将训练后的神经网络应用于煤矿瓦斯涌出量的预测中,结果大大提高了预测的精度。因此,该算法具有很高的应用价值。
- 葛淑杰姜天文付岩
- 关键词:径向基函数递推最小二乘算法形状参数自适应学习
- 基于CADCON的群体AUV三维仿真
- 2005年
- 近年的AUV仿真工作更多地集中于对AUV水动力学特性仿真数学模型的建立上,不能满足AUV群体协作策略级仿真的需要。CADCON是AUSI基于Internet架构开发的群体协作AUV三维水下环境分布式仿真平台,提供了可定制的虚拟海洋环境和一系列可灵活配置的AUV模型以及AUV群体行为组件开发接口。该文介绍了CADCON的功能和体系结构,归纳了基于CADCON平台进行AUV群体协作仿真的基本流程和参数配置方法,给出了Visual C++环境下的AUV群体行为组件开发的基本方法,该方法的可行性已得到实验验证。
- 刘海波顾国昌付岩沈晶
- 关键词:自主水下机器人三维仿真
- 基于拓展BDI的AUV神经心理体系结构
- 本文从А.Р.Лурия的脑的三个基本机能联合区理论出发,提出了AUV神经心理体系结构,并拓展了Rao和Georgeff的BDI逻辑,用于AUV的心理(心智)机制描述,基于CADCON的三维水下环境仿真结果表明了该体系结...
- 刘海波顾国昌沈晶付岩
- 关键词:水下机器人人工神经网络
- 文献传递