您的位置： 专家智库 > >

郁文生

作品数：78 被引量：119H指数：7
供职机构：北京邮电大学电子工程学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学电气工程交通运输工程更多>>

合作作者

文献类型

  • 38篇期刊文章
  • 25篇会议论文
  • 13篇专利
  • 2篇学位论文

领域

  • 34篇自动化与计算...
  • 21篇理学
  • 4篇电气工程
  • 3篇电子电信
  • 3篇交通运输工程
  • 2篇经济管理
  • 1篇一般工业技术
  • 1篇社会学

主题

  • 11篇鲁棒
  • 9篇微分
  • 7篇稳定性
  • 6篇时滞
  • 6篇微分方程
  • 6篇鲁棒稳定
  • 6篇鲁棒稳定性
  • 6篇机器证明
  • 6篇传感
  • 5篇读写
  • 5篇读写器
  • 5篇严格正实
  • 5篇数据仓库
  • 5篇微分系统
  • 5篇鲁棒性
  • 5篇感器
  • 5篇传感器
  • 5篇N
  • 4篇射频识别
  • 4篇天线

机构

  • 49篇中国科学院自...
  • 29篇北京大学
  • 17篇华东师范大学
  • 13篇北京邮电大学
  • 7篇中国矿业大学...
  • 4篇清华大学
  • 4篇中国科学院
  • 2篇四川大学
  • 2篇天津航海仪器...
  • 1篇北京化工大学
  • 1篇广东工业大学
  • 1篇迪肯大学
  • 1篇江苏科技大学
  • 1篇海南师范大学
  • 1篇上海师范大学
  • 1篇华南理工大学
  • 1篇上海大学
  • 1篇中国科学院成...
  • 1篇伊犁师范大学

作者

  • 78篇郁文生
  • 15篇王龙
  • 10篇杨克虎
  • 7篇刘国平
  • 7篇杨文川
  • 6篇黄琳
  • 6篇关强
  • 5篇刘禹
  • 5篇李驹光
  • 4篇王宏伟
  • 4篇柳贵东
  • 4篇黄涛
  • 3篇谭杰
  • 3篇俞元洪
  • 3篇杨路
  • 3篇姬靖
  • 3篇魏萍
  • 3篇聂雪媛
  • 3篇谭民
  • 3篇袁如意

传媒

  • 3篇中国科学（E...
  • 3篇计算机科学
  • 2篇电机与控制学...
  • 2篇北京大学学报...
  • 2篇控制理论与应...
  • 2篇四川大学学报...
  • 2篇信息与控制
  • 2篇软件学报
  • 2篇中国惯性技术...
  • 2篇科学技术与工...
  • 2篇第29届中国...
  • 2篇中国自动化学...
  • 1篇科学通报
  • 1篇自动化学报
  • 1篇中国矿业大学...
  • 1篇电力系统自动...
  • 1篇数学物理学报...
  • 1篇应用数学
  • 1篇应用数学和力...
  • 1篇自然科学进展

年份

  • 1篇2022
  • 1篇2021
  • 1篇2020
  • 2篇2017
  • 1篇2016
  • 1篇2015
  • 3篇2014
  • 3篇2013
  • 1篇2012
  • 6篇2011
  • 4篇2010
  • 2篇2009
  • 4篇2008
  • 5篇2007
  • 4篇2006
  • 4篇2005
  • 9篇2004
  • 4篇2003
  • 2篇2002
  • 2篇2001
共 78 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种读写器天线等功率线的测量系统及测量方法
本发明公开一种读写器天线等功率线的测量系统及方法，该测量系统包括置于微波暗室的外部的读写器、中间件、转台控制器、滑块控制器、上位机和绘图打印机；在微波暗室内部设置电子标签、转台、水平导轨、支架、两个定位传感器、读写器天线...
王宏伟谭杰郁文生朱智源
文献传递
基于Web的统计数据仓库原型的研究与实现(英文)
通过介绍可视化技术在宏观经济模拟系统中的应用,详细说明了一个基于Web的统计数据仓库原型(SDWs)的研究,包括数据准备、编码、聚集方法,提出了为决策支持服务的分析预测机制,在此基础上总结了数据仓库技术在统计行业中的应用...
杨文川郁文生朱武杰刘洋德妍
文献传递
空间生命支持系统中VCCR子系统的安全性验证
2014年
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性。
李倩郁文生
关键词：混成系统生命支持系统形式化验证
中立型微分系统x(t)-Σ<,k=1><'N>B<,k>x(t-κτ)=A<,0>x(t)+Σ<,k=1><'N>A<,k>x(t-κτ)时滞无关稳定的代数判据
分析了中立型微分方程及相关差分方程的特征根分布,明确了特征根特性与中立型微分系统时滞无关稳定的关系,通过讨论相关差分方程的全局双曲性,利用多项式完全判别系统,给出了系统x(t)-Σ<,k=1><'N>B<,k>x(t-κ...
魏萍关强郁文生王龙
关键词：中立型微分方程代数判据
文献传递
人口统计数据仓库的设计与实现
1.引言我国人口统计自80年代以来,通过三次全国人口普查,五年一次的1%人口调查和每年的1‰人口变动情况抽样调查,已经形成了比较完善的人口统计调查体系,第五次人口普查是世纪之交最重要的一次国情调查,不仅反映我国人口规模、...
杨文川郁文生黄涛
文献传递
基于Coq的有标集族相关定理的机器证明
2020年
基于计算机证明辅助工具Coq,参考“公理化集合论”形式化系统,实现朴素集合论形式化系统,并在此基础上给出有标集族及其交和并的形式化,完成有标集族相关定理的Coq描述及机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了Coq的规范、严谨、可靠.为构建完整的点集拓扑理论打下基础,在此系统下,有望实现拓扑空间相关性质的形式化系统.
刘佳吕红伟付尧顺郁文生
关键词：COQ机器证明
制造系统的可重构布局设计被引量：13
2001年
研究重构系统的新布局具有重要的理论与实际意义 .本文讨论了制造系统可重构布局研究的目标、对象、基础及研究范畴 ,提出了利用模拟退火方法寻找重构布局最优解的搜索算法 .
顾农谭民范英俐郁文生
关键词：可重构制造系统模拟退火算法
常用基本不等式的机器证明被引量：12
2011年
不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.
杨路郁文生
关键词：基本不等式机器证明
嵌入式智能传感器:系统设计与应用
本文提出了一种集成了六自由度惯性测量单元、三轴磁罗盘、单目摄像机以及高性能低功耗数字信号处理器的嵌入式智能传感器，并且简要地讨论了系统的硬件设计与构造。结合此智能传感器，提出了一种基于姿态四元数和摄像机极几何的姿态估计方...
杨克虎郁文生
关键词：智能传感器嵌入式系统极几何惯性测量单元数字信号处理器
文献传递
基于AADL的无线传感器网络的建模与分析被引量：3
2012年
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。
钱磊郁文生朱明华
关键词：无线传感器网络温度传感器嵌入式系统
全选 清除 导出
共8页<12345678>
聚类工具0