公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

基于视觉测量信息的旋翼无人机抓捕回收方法: 本发明属于无人机回收技术领域，公开了一种基于视觉测量信息的旋翼无人机抓捕回收方法，主要对无人机位置信息进行分析，为了提高目标预测的实时性和准确性，采用分段式轨迹拟合与目标预测，即基于上一时间段内无人机的位置信息，通过n阶...; 王海洋邓文尧张丹段学超米建伟何帅杜敬利; 文献传递

基于空间两自由度并联机器人的稳定平台研究: 车辆、舰船、飞行器等运输载体在工作过程中受外界环境影响较大，将不可避免产生颠簸、震荡等现象，从而导致运输载体上的导航、侦察和稳瞄等设备无法正常工作。稳定平台能够通过实时检测并主动补偿运输载体的位姿变化，实现隔离扰动，从而...; 王海洋; 关键词：并联机器人; 文献传递

基于视觉测量信息的旋翼无人机抓捕回收方法: 本发明属于无人机回收技术领域，公开了一种基于视觉测量信息的旋翼无人机抓捕回收方法，主要对无人机位置信息进行分析，为了提高目标预测的实时性和准确性，采用分段式轨迹拟合与目标预测，即基于上一时间段内无人机的位置信息，通过n阶...; 王海洋邓文尧张丹段学超米建伟何帅杜敬利; 文献传递

APTL模型检测方法及多智能体系统验证的研究: 模型检测是一种应用于验证并发系统性质的自动化技术，其中系统性质规约用时序逻辑公式描述，检测过程依赖于高效灵活的基于图理论的可达问题算法。模型检测技术吸引了国内外学者的高度重视得到了飞速发展，并广泛应用到社会的各个领域，如...; 王海洋; 关键词：可满足性多智能体系统自动化验证

用于验证多智能体系统的APTL模型检测器被引量：3: 2019年; 由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projection temporal logic,简称APTL)的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统(multi-agent system,简称MAS)的性质验证.MCMAS_APTL检查MAS是否满足具体性质的过程如下:首先,用解释系统编程语言(interpreted system programming language,简称ISPL)描述要验证的系统IS,用APTL公式P描述要验证的性质;然后,符号化表示系统IS,并将非P转化为范式;最后,计算所有满足非P的路径的起始状态集合.如果得到的状态集合中包含系统的初始状态,则说明系统不满足公式P;反之,则说明系统满足公式P.详细阐述了实现MCMAS_APTL的过程,并且通过验证机器人足球赛的例子展示了MCMAS_APTL的性能.; 王海洋王海洋段振华; 关键词：多智能体系统

基于微服务的6G空天地一体化网络仿真系统: 本发明公开了一种基于微服务的6G空天地一体化网络仿真系统，基于OMNET++实现；仿真系统包括：接入用户层用于验证仿真系统；RU‑DU层用于接收用户请求，扮演转发与分流的角色；NFV案例管理层用于管理通信案例，每个通信案...; 刘雪芳王海洋毛伟灏杨清海

复杂网络中2-club社团的高效挖掘方法: 本发明公开了一种复杂网络中挖掘2-club社团的方法，主要解决现有技术复杂性高、准确性低、拓展性差的问题。其技术方案是：基于复杂网络中的社团是富含相互连接的三元组的区域这一假设，定义2-club社团，并简称为二俱乐部社团...; 高琳贾松卫温潇马小科王培卓叶育森邓岳王海洋; 文献传递

全选清除导出

共1页<1>

王海洋