【摘 要】
：
近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全
【机 构】
：
计算机科学国家重点实验室（中国科学院软件研究所）
论文部分内容阅读
近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题.混成通信顺序进程（hybrid communicating sequential process,简称HCSP）是一种针对混成系统的形式化建模语言,在通信顺序进程（communicating sequential process,简称CSP）的基础上引入了微分方程以描述混成系统中的连续行为和控制逻辑,可以方便而高效地
其他文献
机器人的路径规划问题一直是机器人研究的核心内容之一。在路径规划问题中，一般需要按照某一评价标准（如最短路径长度和最短行进时间等）来规划一条路径。提出一个能使工作效率（单
斯宾塞是英国文艺复兴时期最杰出的诗人,他大量的诗作对后世产生了深远而巨大的影响,被誉为“诗人的诗人”。他的爱情诗采用自然意象为载体抒发自己的强烈情感。
Spencer is
观察两种软骨提取物——软骨多糖和软骨复合物对类风湿性关节炎（RA）的治疗作用。方法是给药（口服软骨提取物）两周后,再注射弗氏完全佐剂（CFA）诱发小鼠RA模型,观察小鼠体重的变化;检
以沉水植物较为丰富的洪湖凹沟子作为采样区域，利用水下调制荧光仪研究洪湖常见的2种高耐污、高吸污水鳖科沉水植物黑藻（ Hydrilla verticillata（ L. f.）Royle）与苦草（ vallisneria
领导力是立体的，不足单面的。相对而言，强有力的领导者在意识到全维度领导力需求的时候，不只是按照自己的喜好去完成领导力的建设，也能按照领导力的需要补足自己的不足。
为了探究煤系石墨形成过程中结构演化及不同石墨化程度无烟煤和石墨的热反应行为,选取湖南新化系列变质程度无烟煤和煤系石墨为研究对象,通过X射线衍射(XRD)和高分辨率透射电
随着中国体育市场的不断繁荣,中国已经成为体育用品的制造大国。然而,当前在全球体育用品领域中,欧美品牌占主要份额。中国所占世界体育品牌份额与体育用品制造、购买大国的
语类教学法是把语类分析运用到课堂教学的方法 ,它能帮助学生更好地理解符合特定语类惯例的语篇。本文将系统功能语言学家Hasan的语类结构潜势理论运用于大学英语新闻听力的
提出一种双模智能减球机器人,可以在自动捡球模式和遥控捡球模式下工作。在遥控捡球模式下,通过控制终端的无线手柄根据实时视频控制捡球机器人的行驶状态及捡球行为;在自动
关于英语句中非指称语（包括照应语、人称代词）的指称是一个非常复杂的问题。本文从乔姆斯基的管辖约束理论出发,结合管辖语域以及约束三原则中Principle A和Principle B,分析句