您的位置: 专家智库 > >

国家自然科学基金(61070048)

作品数:6 被引量:16H指数:2
相关作者:郁文生袁如意杨克虎钱磊项勇更多>>
相关机构:华东师范大学中国矿业大学(北京)中国科学院自动化研究所更多>>
发文基金:国家自然科学基金上海市教育委员会创新基金上海市教育委员会重点学科基金更多>>
相关领域:自动化与计算机技术经济管理理学交通运输工程更多>>

文献类型

  • 6篇期刊文章
  • 5篇会议论文

领域

  • 6篇自动化与计算...
  • 2篇电气工程
  • 1篇经济管理
  • 1篇交通运输工程
  • 1篇理学

主题

  • 3篇逆变
  • 3篇逆变器
  • 3篇脉宽调制
  • 2篇特定谐波消除
  • 2篇谐波
  • 2篇谐波消除
  • 2篇PWM逆变
  • 2篇PWM逆变器
  • 2篇SHE
  • 1篇等式
  • 1篇形式化
  • 1篇形式化验证
  • 1篇英文
  • 1篇月球
  • 1篇月球车
  • 1篇时间序列
  • 1篇时间序列分析
  • 1篇视觉
  • 1篇特定消谐
  • 1篇铁路

机构

  • 8篇华东师范大学
  • 4篇中国矿业大学...
  • 4篇中国科学院自...
  • 1篇迪肯大学
  • 1篇中国科学院成...
  • 1篇天津航海仪器...

作者

  • 6篇郁文生
  • 4篇杨克虎
  • 2篇钱磊
  • 2篇袁如意
  • 1篇杨路
  • 1篇冀晓强
  • 1篇杨梓
  • 1篇朱明华
  • 1篇史英桂
  • 1篇项勇
  • 1篇孙晨

传媒

  • 2篇计算机科学
  • 1篇中国矿业大学...
  • 1篇中国惯性技术...
  • 1篇Intern...
  • 1篇中国科学:信...

年份

  • 3篇2013
  • 3篇2012
  • 4篇2011
  • 1篇2010
6 条 记 录,以下是 1-10
排序方式:
基于AADL的无线传感器网络的建模与分析被引量:3
2012年
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。
钱磊郁文生朱明华
关键词:无线传感器网络温度传感器嵌入式系统
Rotation Estimation for Mobile Robot Based on Single-axis Gyroscope and Monocular Camera被引量:2
2012年
The rotation matrix estimation problem is a keypoint for mobile robot localization, navigation, and control. Based on the quaternion theory and the epipolar geometry, an extended Kalman filter (EKF) algorithm is proposed to estimate the rotation matrix by using a single-axis gyroscope and the image points correspondence from a monocular camera. The experimental results show that the precision of mobile robot s yaw angle estimated by the proposed EKF algorithm is much better than the results given by the image-only and gyroscope-only method, which demonstrates that our method is a preferable way to estimate the rotation for the autonomous mobile robot applications.
Yang, Ke-Hu Yu, Wen-Sheng Ji, Xiao-Qiang
关键词:QUATERNION
特定消谐脉宽调制开关角度的实解个数被引量:7
2011年
为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆变器以及N=4时的单相逆变器开关角度实解个数的完全分类,同时首次得到了分类边界点的解析解.理论推导和实验仿真结果表明:该方法能够从理论上给出调制比和实解个数之间的变化关系,对于开关角度的求解以及提高逆变器的消谐效果具有重要的指导意义.
杨克虎袁如意项勇郁文生
关键词:特定消谐脉宽调制逆变器
SHEPWM逆变器开关角度实解分类
本文研究基于特定谐波消除脉宽调制技术(Selective Harmonic Eliminated PWM,SHEPWM)的逆变器开关角度的实解个数分类问题。利用变量代换将关于开关角度的非线性超越方程组转化为一个半代数系统...
杨克虎宋力袁如意郁文生
关键词:特定谐波消除逆变器脉宽调制
文献传递
Robust Stabilization for a Class of Nonlinear Systems:Fuzzy-Model-Based LMI Approach
<正>In this paper,we investigate the robust stabilization problem for a class of nonlinear dynamic systems via ...
HE GuannanJING HongyuJI JingYU Wensheng
文献传递
SHEPWM逆变器开关角度实解分类
本文研究基于特定谐波消除脉宽调制技术(Selective Harmonic Eliminated PWM,SHEPWM)的逆变器开关角度的实解个数分类问题。利用变量代换将关于开关角度的非线性超越方程组转化为一个半代数系统...
杨克虎宋力袁如意郁文生
关键词:特定谐波消除逆变器脉宽调制
文献传递
一类积分不等式的机器判定被引量:1
2011年
将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.
杨路郁文生袁如意
关键词:积分不等式差分代换
惯性-视觉-磁场传感器组合的低成本标定方法(英文)被引量:1
2011年
针对一种融合了惯性-视觉-磁场信息的传感器组合,给出了一套低成本的标定和建模方法。对于传感器模型中的确定性项和非确定性项参数,分别采用了基于输入指令向量模匹配的方法和基于时间序列分析的方法来进行标定和建模,利用所得到的模型补偿之后的传感器输出误差的方差降为原来的1/3以下;对于摄像机坐标系和加速度计坐标系之间的相对旋转矩阵,提出了一种基于重力向量和铅垂线的标定方法,仿真结果表明,标定结果的相对误差小于7%。
杨克虎史英桂冀晓强郁文生孙晨
关键词:时间序列分析
基于微分动态逻辑的铁路道口控制分析被引量:2
2013年
利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具KeYmaera对系统的安全性进行验证,以实现对火车进入道口前速度的正确控制。
钱磊郁文生
关键词:混成系统形式化验证
月球车轨迹跟踪控制
数字控制情况下的月球车轨迹跟踪控制系统是一个离散控制系统。离散控制的数据采样和信息传输过程中可能存在影响控制性能的扰动。本文从月球车轨迹跟踪控制的具体实例入手,考虑采样干扰、传输延迟以及控制能源限制,基于二次型最优控制,...
杨梓郁文生
关键词:月球车最优控制
文献传递
共2页<12>
聚类工具0