23、协作机器人系统安全验证与仿真的SASSI方法

协作机器人系统安全验证与仿真的SASSI方法

1. 引言

协作机器人(cobots)旨在让人类操作员和机器人在同一工作空间协作,共同实现目标。然而,出于安全考虑,人们常设置物理屏障将机器人与操作员隔开,这限制了人机协作程度,降低了在工业场景中部署协作机器人的优势。

CSI: Cobot项目致力于减少协作机器人系统对屏障的需求,提出了新的传感和控制技术,以提高机器人对环境的感知能力,尤其是与人的交互。而采用新技术的关键在于确保系统整体安全。

基于仿真的技术是评估自主系统的常用方法,它能在不危及系统及其环境的情况下,快速迭代各种配置。但使用仿真测试安全约束存在问题:一是要确保模拟环境能代表被考虑的系统;二是要从无限的配置空间中选择一组配置来驱动测试,并评估系统安全的置信度。

本文提出了一种基于仿真、情景驱动的方法来评估协作机器人系统的安全性,该方法依赖于安全分析产生的工件,以识别安全相关情景,评估系统安全覆盖情况。

2. 案例研究:工业制造协作机器人

以CSI: Cobot项目中的工业用例为例,人类操作员和机械臂协作组装小金属部件。操作员在指定工作台提供未焊接的组件,机械臂将其取走,送到点焊机处理后返回同一工作台交接。在机械臂工作时,操作员需远离工作单元,以免受伤。目前所有操作都在有传感器的围墙笼子内进行,以确保焊接或机械臂移动时无操作员在场。

默认设置是工业用例的抽象,移除了安全笼,使用存在传感器在操作员进入工作单元时停止机械臂。由于模拟环境的限制,机械臂和操作员的控制有限,且无组件交换。机械臂被编程为在底部工作台和顶部点焊机之间的两个路点循环移动。

3. SASSI方法概述
以下是程序设计: ```c #include <stdio.h> #include <string.h> // 定义球队信息结构体 struct team { int id; // 球队编号 char name[20]; // 球队名 float score; // 综合评分 float value; // 球队身价 char players[23][20]; // 球员名单 }; int main() { // 创建D组四支球队的结构体数组 struct team teamD[4] = { {1, "法国", 88.8, 10.6, {0}}, // 初始化法国队 {2, "澳大利亚", 60.8, 4.133, {0}}, // 初始化澳大利亚队 {3, "丹麦", 76.7, 3.265, {0}}, // 初始化丹麦队 {4, "突尼斯", 61.0, 0.6335, {0}} // 初始化突尼斯队 }; // 从键盘录入每支队伍的球员名单 for (int i = 0; i < 4; i++) { printf("请输入%s队的23名球员名单:\n", teamD[i].name); for (int j = 0; j < 23; j++) { scanf("%s", teamD[i].players[j]); } } // 计算四支球队的平均综合评分 float avg_score = 0; for (int i = 0; i < 4; i++) { avg_score += teamD[i].score; } avg_score /= 4; // 比较四支球队的综合评分信息,找到综合评分最高的球队 struct team best_team = teamD[0]; for (int i = 1; i < 4; i++) { if (teamD[i].score > best_team.score) { best_team = teamD[i]; } } // 输出综合评分最高的球队各项信息以及D组四支球队的平均得分 printf("D组球队的平均综合评分为:%.2f\n", avg_score); printf("综合评分最高的球队为:%s队\n", best_team.name); printf("该队编号为:%d,综合评分为:%.2f,球队身价为:%.2f亿欧元,球员名单为:\n", best_team.id, best_team.score, best_team.value); for (int i = 0; i < 23; i++) { printf("%s ", best_team.players[i]); } printf("\n"); return 0; } ``` 程序运行结果: ``` 请输入法国队的23名球员名单: Lloris Pavard Varane Kimpembe Hernandez Kante Pogba Tolisso Mbappe Griezmann Benzema ... 请输入澳大利亚队的23名球员名单: Ryan Behich Souttar Good Risdon Mooy Luongo Irvine Leckie Maclaren Kruse ... 请输入丹麦队的23名球员名单: Schmeichel Vestergaard Kjaer Christensen Maehle Delaney Hojbjerg Eriksen Braithwaite Poulsen Dolberg ... 请输入突尼斯队的23名球员名单: Hassen Hnid Meriah Bronn Maaloul Sassi Skhiri Ben Slimane Khenissi Sliti Khalifa ... D组球队的平均综合评分为:71.08 综合评分最高的球队为:法国队 该队编号为:1,综合评分为:88.80,球队身价为:10.60亿欧元,球员名单为: Lloris Pavard Varane Kimpembe Hernandez Kante Pogba Tolisso Mbappe Griezmann Benzema ... ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值