任世军
- 作品数：28 被引量：174H指数：8
- 供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学文化科学农业科学更多>>
- 移动计算环境下基于最少费用的检查点恢复策略被引量：4
- 2005年
- 作为分布计算的特殊形式,移动计算有很多新的问题产生,如缺少可靠存储、低无线频道带宽、高移动性和有限的电池支持时间等,使得传统检查点算法不能很好地适用于移动计算环境.针对上述问题,提出了一种采取最少的检查点数的移动检查点算法.该算法只需要部分进程阻塞最小的时间,能够实现一致的恢复.
- 门朝光门朝光杨孝宗
- 关键词：分布式系统容错移动计算检查点卷回恢复
- 雁窝岛——珍宝岛——虎头要塞多维旅游开发模式与方案设计
- 本文从对国际、国内旅游开发现状进行了分析，以深入研究雁窝岛——珍宝岛——虎头要塞旅游资源为基础，提出了“两岛一塞”多维旅游开发模式，并进行了“方案设计”。概括叙述了“两岛一塞”多维旅游开发模式的目的和意义。通过整合多种属...
- 任世军
- 关键词：旅游开发模式风险管理
- 文献传递
- 一种基于栅格扩展的机器人路径规划方法被引量：33
- 2001年
- 提出一种机器人的路径规划方法 ;这一路径规划方法是在机器人的位姿空间中进行的 ,采用栅格扩展的策略 ,即从初始位姿和终止位姿的栅格进行扩展 .扩展一方的栅格前 ,先从这一方欲扩展栅格的第一个栅格向另一方欲扩展栅格的第一个栅格作一直线 ,沿这一直线首先进行扩展 .最后在机器人的仿真系统中运用这一方法进行路径规划 ,大大地提高了路径规划的效率 .
- 任世军洪炳熔黄德海
- 关键词：机器人路径规划位姿空间
- 用神经网络求解空间中两凸多面体间最短距离被引量：4
- 2000年
- 求解空间中两凸多面体间最短距离是机器人规划系统中的普遍问题 ,碰撞检测是它的一个特例 ,目前一般采用梯度映射方法〔1,2〕。提出一种基于人工神经网络的求解空间中两个凸多面体间的最短距离的算法 。
- 耿魁高洪华崔丹任世军
- 关键词：神经网络凸多面体碰撞检测
- 判定线性不等式围成空间是否为空的混合算法被引量：1
- 2003年
- 为判定由多个线性不等式围成的空间是否为空 ,给出了判定算法 .利用空间中的投影矩阵将一个射线投影到约束空间的一个向量 ,使得算法在低维空间讨论以前能够尽可能多地寻找动点满足的半空间 。
- 任世军孟庆鑫陈建伟
- 关键词：混合算法向量超平面
- 基于函数变换的求解SAT问题的新算法被引量：3
- 2012年
- 提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。
- 胡显伟任世军
- 关键词：SAT问题局部搜索算法函数变换最速下降法
- 遗传算法中交叉操作的改进策略被引量：8
- 2006年
- 分析了标准遗传算法中存在的一些缺陷和造成这些劣势的原因．并指出交叉算子在遗传算法中的地位与作用,及所面临的问题．交叉操作的主要任务是通过随机搜索和连续重组构建最优模式．遗传算法的有效性程度上依赖于交叉操作和选择表示两者的协作．尤其以交叉操作更为重要,通过分析交叉操作中的各种问题提出了改进的策略．
- 任世军陈亮
- 关键词：遗传算法
- 深化教学改革,提高离散数学课程教学质量
- 随着信息时代的来临，计算机应用的日益普及，人们越来越重视离散量的研究和应用。因此，计算机科学基础理论课程《离散数学》就显得极其重要。如何提高《离散数学》课程的教学水平和教学质量，对学生后续课程的学习和今后进一步的科学研究...
- 刘峰李涛任世军姜守旭
- 关键词：离散数学教学改革教学质量
- 判断两个凸多面体是否相交的一个快速算法被引量：27
- 2000年
- 在机器人路径规划中 ,碰撞检测算法占有十分重要的地位 .在智能机器人仿真系统中 ,碰撞检测耗用的时间在整个路径规划过程所用时间中占有相当大的比例 .于是 ,如何进一步提高碰撞检测的速度在智能机器人路径规划系统中就起到了非常关键的作用 .而碰撞检测问题最终转化为判断三维空间中两个凸多面体是否相交的问题 .就这一问题 ,给出了一种新的算法 ,其思想是取一个从一个凸多面体指向另一个多面体的向量 ,根据两个多面体中的面与这一向量的相对位置关系来寻找相交的平面 .即有两个多面体的交点位于这一平面 。
- 任世军hope.hit.edu.cn洪炳熔孟庆鑫
- 关键词：碰撞检测凸多面体智能机器人路径规划
- 极大熵聚类算法的收敛性定理证明被引量：4
- 2010年
- 有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目标函数的严格局部极值点.针对这个问题,文中用科学计算软件对相关文献中给出的例子进行了实验,说明该例子并不能否定极大熵聚类算法收敛性定理.最后,从理论上给出了极大熵聚类算法收敛性定理的一个证明.
- 任世军王亚东
- 关键词：不动点聚类算法
