您的位置: 专家智库 > >

李晓娟

作品数:118 被引量:251H指数:8
供职机构:首都师范大学更多>>
发文基金:国家自然科学基金国际科技合作与交流专项项目北京市自然科学基金更多>>
相关领域:自动化与计算机技术电子电信电气工程文化科学更多>>

文献类型

  • 65篇期刊文章
  • 46篇专利
  • 3篇会议论文
  • 3篇科技成果
  • 1篇学位论文

领域

  • 68篇自动化与计算...
  • 8篇电子电信
  • 3篇电气工程
  • 3篇文化科学
  • 2篇经济管理
  • 1篇化学工程
  • 1篇农业科学

主题

  • 32篇形式化
  • 30篇机器人
  • 18篇定理证明
  • 17篇形式化验证
  • 13篇定理
  • 9篇图像
  • 8篇网络
  • 8篇操作系
  • 8篇操作系统
  • 7篇形式化方法
  • 7篇移动机器人
  • 7篇控制系统
  • 7篇关节
  • 6篇定理证明器
  • 6篇形式化建模
  • 6篇通信
  • 6篇自动机
  • 6篇显微图像
  • 6篇概率模型检测
  • 5篇形式化描述

机构

  • 118篇首都师范大学
  • 18篇北京化工大学
  • 9篇北京航空航天...
  • 5篇北京工商大学
  • 5篇中国科学院研...
  • 3篇北京师范大学
  • 1篇国家农业信息...
  • 1篇哈尔滨工业大...
  • 1篇中国科学院
  • 1篇中国农业大学
  • 1篇中国科学院软...
  • 1篇中国科学院大...

作者

  • 118篇李晓娟
  • 82篇关永
  • 57篇王瑞
  • 49篇施智平
  • 34篇张杰
  • 26篇王国辉
  • 25篇张倩颖
  • 17篇潘巍
  • 14篇吴敏华
  • 13篇吴立锋
  • 11篇刘永梅
  • 9篇魏洪兴
  • 7篇李黎明
  • 6篇尚媛园
  • 6篇袁慧梅
  • 6篇朱虹
  • 6篇万玛宁
  • 6篇叶世伟
  • 6篇陈金强
  • 5篇陈存社

传媒

  • 15篇小型微型计算...
  • 10篇计算机工程与...
  • 6篇计算机应用与...
  • 6篇计算机科学
  • 5篇软件学报
  • 5篇计算机工程与...
  • 4篇微计算机信息
  • 2篇计算机应用研...
  • 2篇电源技术
  • 2篇首都师范大学...
  • 1篇计算机应用
  • 1篇高分子材料科...
  • 1篇计算机系统应...
  • 1篇计算机仿真
  • 1篇电子元件与材...
  • 1篇计算机测量与...
  • 1篇中国教育网络
  • 1篇计算机技术与...
  • 1篇2010年全...
  • 1篇2014湖北...

年份

  • 1篇2023
  • 10篇2022
  • 7篇2021
  • 6篇2020
  • 6篇2019
  • 9篇2018
  • 4篇2017
  • 12篇2016
  • 9篇2015
  • 8篇2014
  • 12篇2013
  • 2篇2012
  • 2篇2011
  • 4篇2010
  • 5篇2009
  • 6篇2008
  • 7篇2007
  • 4篇2006
  • 1篇2005
  • 3篇2004
118 条 记 录,以下是 1-10
排序方式:
串联机器人的关节旋转角度确定方法及装置
本公开实施例公开了串联机器人的关节旋转角度确定方法,包括:建立第一空间坐标系;以第五关节和第六关节轴线的第二交点为原点建立第二空间坐标系;在6自由度串联机器人的初始位形下,6自由度串联机器人的第一至第六关节的旋转角度为0...
施智平赵荣波关永张倩颖王国辉邵振洲王瑞李晓娟
文献传递
一种用于机器人分布式控制系统的形式建模方法及装置
本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置,方法包括:针对所述机器人分布式控制系统,根据各微体系结构模型xMAS元件的同步等式,对各xMAS元件在逻辑编程语言ACL2中形式化,得到所述机器人分布式...
李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
文献传递
一种机器人运行状态监控方法及装置
本申请实施例公开了一种机器人运行状态监控方法及装置,实现了对机器人在实际运行环境中运行时状态监控的目的。其中,预先对关于事件逻辑的脚本进行解析,并根据所述事件逻辑生成事件监控程序,所述事件逻辑包括对机器人的运行状态进行判...
王瑞关永李晓娟施智平绍振洲张倩颖尉英霞李欣欣
文献传递
轻量级卷积神经网络的机器人抓取检测研究被引量:9
2020年
卷积神经网络在基于视觉的机器人抓取检测任务上取得了较好的检测效果,但是大多数方法都有太多的计算参数,不适合资源有限的系统。针对这个问题,基于SqueezeNet轻量级神经网络,结合DenseNet多旁路连接加强特征复用的思想,提出了轻量级抓取检测回归模型SqueezeNet-RM(SqueezeNet Regression Model),并使用SqueezeNet-RM从RGB-D图像中提取多模态特征,预测二指机器人夹持器的最佳抓取位姿。在标准的康奈尔抓取数据集上,提出的轻量级抓取检测网络与经典的抓取检测方法相比,在保证检测准确率不降低的情况下,模型占用更少的存储空间,表现出更快的检测速度和更高的泛化性能,所提出的模型占用的存储空间比AlexNet模型减少86.97%,平均检测速度快3倍,适用于FPGA(Field Programmable Gate Array)或者资源受限的移动机器人抓取检测系统。
马倩倩李晓娟施智平
一种具有在苛刻环境中抗辐照干扰的高速通信芯片
本发明一种具有在苛刻环境中抗辐照干扰的高速通信芯片,该芯片包括存储器、抗辐照高速通信IP核模块、XILINX FPGA软核微处理器、通信接口以及LCD控制器等;其中,XILINX FPGA软核微处理器是整个系统的核心,它...
关永张杰吴敏华朱虹李晓娟袁慧梅尚媛园潘巍万玛宁陈金强毛春静刘永梅
文献传递
一种基于无线传感器网络的目标跟踪调度算法
2010年
基于无线传感器网络的IPv4/IPv6混合组网的视频监控系统的调度算法可以有效地增强视频监控的智能控制功能。在综合考虑无线传感器网络的自身特性和监控系统功能扩展清晰度要求的基础上,对原有的后来先服务调度(LCFS)算法进行改进,并设计和实现了一种简单有效的目标检测和跟踪方案,提出了清晰度最优负载平衡的调度算法(DOLB)。理论分析及实验结果表明,该算法性能明显优于原有的调度算法。
王新琭李晓娟方贵明张伟功
关键词:视频监控无线传感器网络调度算法清晰度负载平衡
超临界二氧化碳在聚苯乙烯中的吸附和解吸附过程被引量:8
2004年
系统地研究了PS与超临界CO2的相互作用,用40℃~80℃,15MPa~30MPa条件下的CO2处理0.67mm厚的PS膜,浸泡6h~10h。用Fickian扩散理论对PS膜的CO2解吸附数据进行处理。得出CO2的饱和吸附量为9.7%(80℃,15MPa)至13.5%(40℃,25MPa),解吸附扩散系数Dd为1.65×10-11m2/s至4.26×10-11m2/s。且它随着CO2吸附量的增长而下降。
陈存社徐辉李晓娟
关键词:超临界二氧化碳聚苯乙烯饱和吸附量
热备份路由及负载均衡在VLAN中的实现被引量:11
2005年
随着新的应用不断出现业务量的增大,许多企业(政务)网的网络核心部分及主干链路数据流量和处理强度较大,保证关键LAN段可靠性和可用性很重要,应用热备份路由协议(HSRP)和链路聚合技术,实现基于虚拟局域网(VLAN)的热备份路由、负载均衡及干道的链路容错,并提出了相应的实现方案。
李晓娟陈存社
关键词:虚拟局域网VLAN负载均衡
机器人操作系统ROS通信层的弱终止性验证被引量:4
2016年
机器人操作系统ROS是一个基于Linux的开源次级操作系统.ROS提供硬件抽象描述、底层驱动程序管理、共用功能的执行、程序间消息传递、程序发行包管理.ROS的出现为机器人软件的二次开发、利用提供了可能性.ROS的通信层既要传递请求,又要传递处理请求完成后的结果数据.所以ROS通信是机器人能否正常工作的关键因素.本文通过概率模型检验的方法对通信中订阅节点、发布节点和信息传递过程进行了抽象建模.分析通信模型中各节点各状态的弱终止性.分析系统在不同任务负载繁忙程度下,通信任务完成所花费的时间.
李涛关永王瑞李晓娟
关键词:ROS
基于内存加密保障可信执行环境抗物理攻击的方法及系统
本公开实施例公开了一种基于内存加密保障可信执行环境抗物理攻击的方法及系统,所述基于内存加密保障可信执行环境抗物理攻击的系统包括至少一个第一存储器、至少一个第二存储器、至少一个第一处理器和至少一个第二处理器,其中:所述第一...
张倩颖张美玉施智平关永李晓娟王瑞王国辉李希萌
文献传递
共12页<12345678910>
聚类工具0