江苏省高校自然科学研究项目(03kjd520175) 作品数:19 被引量:58 H指数:4 相关作者: 刘一松 孙亚民 魏宁 王刚 詹永照 更多>> 相关机构: 江苏大学 南京理工大学 常熟理工学院 更多>> 发文基金: 江苏省高校自然科学研究项目 江苏省社会发展科技计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
VRML中虚拟人动作描述的研究 被引量:3 2007年 虚拟人是虚拟场景中最为活跃的因素,但是虚拟人的动作却不能由用户灵活的个性化的设计,为此设计了一个基于VRML的虚拟人动作描述语言(VHADL),采用H-Anim标准构建了虚拟人的模型,定义3个参照系使得用户更准确的描述动作、指定参数,使用反向动力学来确定肢体位置,并定义元动作和一些复合算子来合成复杂动作,最后给出了一个送咖啡的例子。 刘一松 王刚 孙亚民关键词:虚拟现实 虚拟人 FCRP网:机器人规划的赋时有色网实现 2011年 针对流演算无法表示动作执行时间和单向搜索动作序列的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——FCRP网(a representation based on fluent calculus for robot plan);提出了一种双向搜索策略,并将其应用到FCRP网系统的构造方法中。FCRP网系统不仅能对动作、状态以及它们之间的关系进行形式化的描述,而且能动态地规划出机器人实现目标的动作序列,并计算实际执行动作序列所需时间。最后,通过对机器人取咖啡规划实例进行了建模和仿真,证明了FCRP网系统作为一种机器人规划系统可行性以及采用双向搜索策略能提高规划效率。 钟珊 常晋义 刘一松 殷旭东关键词:PETRI网 基于栅格法的虚拟人快速路径规划 被引量:11 2008年 在栅格中使用经典的Dijkstra算法进行路径规划有计算量大、规划时间长、进行扩展判断的节点个数多等缺点。栅格的组织结构决定了栅格中最短路径的特性——组成最短路径的各线段间的最小夹角为90°。根据栅格及最短路径的特性,提出了一种在栅格中使用Dijkstra算法规划路径时减少扩展节点的个数,进而缩短规划时间、降低计算代价的算法,并将其用于虚拟人的路径规划。实验验证了算法的可行性和有效性。 刘一松 魏宁 孙亚民关键词:路径规划 栅格法 虚拟人 虚拟环境 基于区域延伸的定性空间表示 2007年 在区域连接演算(region connection calculus,RCC)理论基础上给出了区域延伸的形式定义。通过区域延伸,定义了关联空间的概念,进而提出了空间表示的一个模型,在这个模型中给出了空间中物体的空间拓扑关系、距离关系、方向关系以及位置等信息的定性表示。智能体对空间关系的确定是通过区域延伸实现的,模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法。 王文建 刘一松关键词:区域连接演算 BSCRP网:机器人规划的赋时有色网实现方法 2011年 为了解决情景演算无法解决框架问题和生成动作序列效率底的问题,提出了一种基于情景演算推理规则的表示机器人规划的赋时有色网实现方法——BSCRP网(representation based on situation calculus for robot plan),并提出了一种基于双向搜索策略的BSCRP网系统的构造方法。实验结果表明了机器人规划的BSCRP网系统不仅能形式化地描述动作、状态以及动作和状态之间的关系,而且能动态地规划出实现目标的动作序列并计算执行动作序列所需时间。 钟珊 刘一松 常晋义关键词:情景演算 基于流演算的智能虚拟人模型研究与实现 被引量:3 2009年 在研究流演算理论及其实现语言FLUX的基础上,将流演算与虚拟现实技术中的虚拟人相结合,提出了一个基于目标驱动的、有自主行动能力的虚拟人模型。设计了动作检测模块,同时使用了动作队列,根据动作检测的结果来决定是否执行下一个动作,使虚拟人可以针对动态变化的虚拟环境进行有效的行动规划。利用此模型可以快速构建出一个在不完全可知的虚拟环境中通过感知到的有限信息进行实时的、自主行动推理的智能虚拟人。最后,实现了办公室场景中智能虚拟人行动推理系统。 刘一松 文占朝关键词:智能虚拟人 基于情景演算的多个智能虚拟人协作行为描述语言 被引量:2 2007年 在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为. 刘一松 王刚 詹永照 孙亚民关键词:情景演算 基于流演算和FLUX的办公室机器人控制 被引量:2 2008年 流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言FLUX,利用约束逻辑程序设计方法,具体地实现了动作推理。主要介绍流演算以及FLUX的基本知识,在此基础上对办公室机器人控制的实例进行了研究,并且利用FLUX语言实现了该实例,实验结果表明,流演算及其实现语言可以用来对机器人进行有效控制,具有良好的计算性能。 吴伟华 刘一松关键词:智能体 机器人控制 事件演算在行动推理中的应用 被引量:3 2008年 事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。 杨爱琴 刘一松关键词:知识 基于区域伸缩的空间关系表示 被引量:3 2008年 区域连接演算(RCC)是定性空间推理的重要基础理论之一。但由于缺乏必要的度量,RCC只是粗略地描述空间拓扑关系而难以对其更准确地描述,也难以利用RCC描述除拓扑关系之外的其它空间关系,如距离、方向等。本文在RCC理论的基础上,提出了区域伸缩演算(RESC)。RESC增加了一个全等CG的原始空间关系,引入了两个新颖的对区域的演算函数,即区域延伸和区域收缩,从而给出了一种以区域为单位的形式化的度量方法。利用RESC,不仅可以扩展RCC-8拓扑关系,而且能以灵活多样的粒度来描述区域间的距离关系、方向关系、位置关系以及运动关系。RESC增强了RCC的空间关系表示能力,拓展了RCC理论的适用范围。 刘一松 詹永照 孙亚民关键词:区域连接演算