摘要：针对动态不确定环境下机器人执行复杂任务的需求,提出一种线性时序逻辑(linear temporal logic,LTL)引导的无模型安全强化学习算法,能在最大化任务完成概率的同时保证学习过程的安全性.首先,综合考虑环境中的不确定因素,构建马尔可夫决策过程(Markov decision process,MDP),再用LTL刻画智能体的复杂任务,将其转化为有多接受集的基于转移的有限确定性广义布奇自动机(transition-based limit deterministic generalized Büchi automaton,tLDGBA),并通过接受边界函数构建可记录当前待访问接受集的约束型tLDGBA(constrained tLDGBA,ctLDGBA);其次,构建乘积MDP用于强化学习搜索最优策略;最后,基于LTL对安全性的描述和MDP的观测函数构建安全博弈,并根据安全博弈设计安全盾机制保证系统在学习过程中的安全性.严格的分析证明了所提出的算法能获得最大化LTL任务完成概率的最优策略.仿真结果验证了LTL引导的安全强化学习算法的有效性.

摘要：今年以来,笔者多次参加中国能建国际业务调研活动,先后走访了中国能源建设集团浙江火电建设有限公司(以下简称“浙江火电”)、中国能源建设集团江苏省电力设计院有限公司(以下简称“江苏院”)、中国能源建设集团浙江省电力设计院有限公司(以下简称“浙江院”),通过开展现场考察、座谈以及个别访谈,针对企业层面国际经营业务能力建设问题,若问“走出去”中“对的企业做对了什么”,可以明显感受到以下几个共识。

摘要：企业重组整合是企业由＂老＂到＂新＂、由＂分散＂到＂集团＂的重塑再造,也是职工由＂旧习惯＂到＂新认同＂的转变过程。中国能源建设集团有限公司（以下简称中国能建）是六年前经国务院批准成立的大型企业集团,由原来国务院国资委直接管理的两户中央企业和两大电网公司分离划转的76户设计、施工和装备企业重组而成。

摘要：教学内容:人教版小学数学5年级上册第三单元。教学简析:本课是在2年级上册"观察物体"的基础上进行教学的。第一学段学生观察的是身边比较熟悉的实物,会辨认从正面、侧面、上面观察到的简单物体的形状。本册的"观察物体"

摘要：随着科学技术的发展,机器人已经实现了控制的多样化和智能化,并在社会生活中扮演着越来越重要的角色。该课题设计并实现的是具备一定智能的礼仪机器人。它在外形上仿照了人的外形,集合了声、光、电等检测手段,可实现自动检测来宾,完成点头、转头、行走、与人握手以及基于语音识别的命令控制和人机对话等功能。文章主要论述的是该控制系统的硬件组成与软件实现。

摘要：针对人口老年化失能老人、交通事故致残等原因所致残障人士绝对数逐年递增,全社会对辅助运动和运动功能恢复的需求陡然增大的社会难题,本文从脑肌电信号主动运动意识的捕捉、康复运动意图实时判别以及脑机接口的自适应控制、柔性感知、织物电子控制、机器人机械关节柔顺性设计等关键技术研究现状进行概述,旨在为康复机器人康复训练技术的未来发展与应用提供启发与参考。

摘要：目的了解北京市房山区大一新生男男性行为者安全套正确使用情况及影响因素,为大学生艾滋病干预工作提供参考依据。方法采用自行设计的调查问卷,对北京市房山区8所大学大一在校男生进行问卷调查,调查对象利用微信扫码功能进行线上自主填写问卷。单因素分析采用χ2检验,多因素分析采用非条件Logistic回归分析。结果本次调查的8所大学1 722名大一在校男生中,73名发生过男男性行为,安全套正确使用率为28.77%。单因素分析结果表明,性伙伴人数为1个、性伙伴的性别仅男性、性伙伴职业为学生、知晓艾滋病知识的男男性行为者的安全套正确使用率高于性伙伴人数≥2个、性伙伴的性别男女均有、性伙伴职业为社会人员、未达到艾滋病知识知晓的大学生,安全套的正确使用率差异有统计学意义(x^2=11.379、14.473、7.866、10.122,P均<0.05)。多因素Logistic回归分析表明,艾滋病知识知晓是安全套正确使用的保护因素(OR=3.626);双性恋是安全套正确使用的危险因素(OR=0.131)。结论北京市房山区大一新生男男性行为人群安全套正确使用率偏低,艾滋病知识知晓情况和性取向是安全套正确使用的影响因素。

摘要：岩溶发育程度不同,形态各异,其大致可分为4个等级;运用有限元软件ANSYS的参数化设计语言APDL,生成溶洞大小不一、空间位置随机的三维计算模型。对具有不同岩溶发育程度的不同等级围岩进行数值模拟,分析了18种工况下岩溶对围岩力学性质的影响。计算结果表明:岩溶对围岩等效抗压强度有明显的降低作用,并在此基础上提出了等效抗压强度折减系数的计算公式。