您的位置: 专家智库 > >

国家自然科学基金(61379051)

作品数:7 被引量:20H指数:2
相关作者:毛新军杨硕田昌海侯富陈寅更多>>
相关机构:国防科学技术大学国防科技大学更多>>
发文基金:国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 7篇自动化与计算...

主题

  • 4篇机器人
  • 2篇主机
  • 2篇自主机器人
  • 2篇控制软件
  • 1篇信息物理系统
  • 1篇智能体
  • 1篇智能体系统
  • 1篇软件工程
  • 1篇软件架构
  • 1篇自主化
  • 1篇开放环境
  • 1篇架构
  • 1篇多智能
  • 1篇多智能体
  • 1篇多智能体系
  • 1篇多智能体系统
  • 1篇反应式
  • 1篇MULTIP...
  • 1篇PROGRA...
  • 1篇QUALIT...

机构

  • 4篇国防科学技术...
  • 2篇国防科技大学

作者

  • 5篇毛新军
  • 2篇杨硕
  • 1篇陈超
  • 1篇尹俊文
  • 1篇陈寅
  • 1篇侯富
  • 1篇田昌海

传媒

  • 3篇计算机科学
  • 2篇Fronti...
  • 1篇计算机学报
  • 1篇软件学报

年份

  • 1篇2021
  • 2篇2020
  • 1篇2019
  • 1篇2016
  • 1篇2015
  • 1篇2014
7 条 记 录,以下是 1-7
排序方式:
基于行为检测的机器人安全保护方法被引量:2
2016年
机器人是一类典型的信息物理融合系统,由软件控制的机器人行为存在多种形式的安全问题。为了避免这些问题,提出一种基于行为检测的机器人安全保护方法。行为检测是指通过检测机器人执行行为之前和之后的状态,判断机器行为是否安全。该方法针对硬件限制、稳定性和碰撞冲突3个方面的行为安全问题,支持机器人执行行为之前对其进行建模和检测,提出碰撞冲突检测算法ACD。基于AOP技术实现该安全保护方法。基于NAO机器人开展了若干场景的实验,结果表明该方法可有效检测出危害机器人安全的行为并及时做出相应动作补偿。
戈斌斌毛新军
关键词:AOP
Improving students’programming quality with the continuous inspection process:a social coding perspective被引量:2
2020年
College students majoring in computer science and software engineering need to master skills for high-quality programming.However,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education systems.Recently,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code contributions.This paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming quality.In the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the process.We then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming quality.Our results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the code.Furthermore,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.
Yao LuXinjun MaoTao WangGang YinZude Li
RPL:一种基于反应式Agent的机器人编程语言被引量:1
2015年
开放环境下的机器人具有环境敏感性、行为自主性和并发性、反应实时性等特点,这对支撑这类机器人的控制软件及其编程语言提出了新的要求,包括支持对环境进行显式表示,支持自主和并发的行为,需要对行为间在时间、空间、物理上的关系进行规约等等。面向Agent的编程语言将软件系统的基本执行单元视为自主的软件Agent,它为机器人控制软件的构造提供了新的方法和思路。针对开放环境下机器人特点对其编程语言的要求,提出了基于反应式Agent的编程模型RECA和编程语言RPL。RECA将单个机器人的软件系统视为一个反应式Agent,它包括SensorEvent、EventRule和ScenarioBehaviour 3个组成部分,其中SensorEvent是对机器人所处环境信息变化的一种封装;ScenarioBehaviour是对机器人的不同行为进行的规约;EventRule定义了机器人环境输入到行为输出的动态绑定关系。RPL提供了一系列的机制来支持机器人控制软件的编程,包括事件机制、多线程机制、优先级描述、行为动态绑定。最后介绍了RPL程序开发和运行支撑环境的技术框架,并基于NAO机器人分析了机器人作为老人生活助理的案例,验证了该编程模型、语言和运行支撑环境的有效性。
田昌海杨硕陈寅毛新军
关键词:机器人控制软件
自主机器人软件工程的研究综述被引量:9
2021年
自主机器人是一类运行在开放环境下具有自主行为的复杂信息物理系统,软件是其核心和关键,提供计算、控制、决策等多样化功能,负责驱动机器人安全、灵活和高效地运行.自主机器人软件的开发面临着来自系统自身、外部环境和现实约束等复杂性带来的诸多挑战.自主机器人软件工程是一个多学科交叉的新兴研究领域,旨在为自主机器人软件的开发、运行和维护提供工程化的方法、技术和平台支持,其研究与实践近年来引起学术界和工业界的高度关注并取得了长足进步.本文围绕三个方面的研究问题,综述了自主机器人软件工程的研究与进展:(1)深入分析了自主机器人软件的特点及其开发复杂性;(2)系统概括了自主机器人软件工程的现有研究方向及已有成果;(3)详细讨论了自主机器人软件工程当前研究的局限性及未来的机遇.
毛新军
关键词:自主机器人软件工程信息物理系统开放环境
自主机器人多智能体软件架构及伴随行为机制被引量:6
2020年
自主机器人是一类由计算机软件控制的信息物理系统,如何支持该类机器人在开放环境下的有效和协调运行,是自主机器人控制软件(control software of autonomous robot,简称CSAR)研究与实践面临的一项重要挑战.基于组织理论的思想,采用Structure-in-5的组织架构模式,提出了基于多智能体的CSAR的软件架构MaRSA(multiagent robotic software architecture),通过独立抽象CSAR的行为规划、分发、执行等软构件,并显式加强这些构件间的交互,从而为自主机器人行为的有效规划和协调实施奠定架构基础;提出了基于MaRSA架构的伴随行为机制,从因果性、时序性和按需性等3个方面建立了机器人观察行为和任务行为间的伴随关系,并基于分步规划和动态决策的思想,设计并实现了伴随行为的自主决策算法DAAB(decision algorithm of accompanying behaviors).分别在仿真环境和实际机器人环境下设计了对比性实验,结果表明:与主流的反应式行为决策算法和BDI式概率决策算法相比较,基于MaRSA和伴随行为机制的DAAB算法所生成的伴随行为规划在开放环境下具有可行性和更高效的执行效率.
毛新军杨硕黄裕泓王硕
关键词:多智能体系统软件架构
A field-based service management and discovery method in multiple clouds context
2019年
In diverse and self-governed multiple clouds context, the service management and discovery are greatly challenged by the dynamic and evolving features of services. How to manage the features of cloud services and support accurate and efficient service discovery has becomean open problem in the area of cloud computing. This paper proposes a field model of multiple cloud services and corresponding service discovery method to address the issue. Different from existing researches, our approach is inspired by Bohr atom model. We use the abstraction of energy level and jumping mechanism to describe services status and variations, and thereby to support the service demarcation and discovery. The contributions of this paper are threefold. First, we propose the abstraction of service energy level to represent the status of services, and service jumping mechanism to investigate the dynamic and evolving features as the variations and re-demarcation of cloud services according to their energy levels. Second, we present user acceptable service region to describe the services satisfying users' requests and corresponding service discovery method, which can significantly decrease services search scope and improve the speed and precision of service discovery. Third, a series of algorithms are designed to implement the generation of field model, user acceptable service regions, service jumping mechanism, and user-oriented service discovery. We have conducted an extensive experiments on QWS dataset to validate and evaluate our proposed models and algorithms. The results show that field model can well support the representation of dynamic and evolving aspects of services in multiple clouds context and the algorithms can improve the accuracy and efficiency of service discovery.
Shuai ZHANGXinjun MAOFu HOUPeini LIU
关键词:SERVICEFIELDSERVICESERVICEJUMPINGSERVICESERVICEDISCOVERYMULTIPLECLOUDS
面向自主Web服务的态势信息监视模型及其实现技术被引量:1
2014年
为了应对互联网环境的开放性和动态性,需要加强传统服务的自主性并对其服务态势状况进行有效监视和管理,从而为自主Web服务的灵活应用以及适应调整提供有效支持。在传统的SOA架构基础之上,对Web服务进行了自主化扩展,提出了自主Web服务的态势模型及其监视架构,设计和实现了相应的软件平台,并开展了案例分析来验证模型和实现技术的可行性。
陈超张红军毛新军尹俊文侯富
关键词:WEB服务自主化
共1页<1>
聚类工具0