郁文生
- 作品数：78 被引量：118H指数：7
- 供职机构：北京邮电大学电子工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电气工程交通运输工程更多>>
- 一种读写器天线等功率线的测量系统及测量方法
- 本发明公开一种读写器天线等功率线的测量系统及方法，该测量系统包括置于微波暗室的外部的读写器、中间件、转台控制器、滑块控制器、上位机和绘图打印机；在微波暗室内部设置电子标签、转台、水平导轨、支架、两个定位传感器、读写器天线...
- 王宏伟谭杰郁文生朱智源
- 基于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机器证明
- 制造系统的可重构布局设计被引量：11
- 2001年
- 研究重构系统的新布局具有重要的理论与实际意义 .本文讨论了制造系统可重构布局研究的目标、对象、基础及研究范畴 ,提出了利用模拟退火方法寻找重构布局最优解的搜索算法 .
- 顾农谭民范英俐郁文生
- 关键词：可重构制造系统模拟退火算法
- 常用基本不等式的机器证明被引量：12
- 2011年
- 不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.
- 杨路郁文生
- 关键词：基本不等式机器证明
- 嵌入式智能传感器:系统设计与应用
- 本文提出了一种集成了六自由度惯性测量单元、三轴磁罗盘、单目摄像机以及高性能低功耗数字信号处理器的嵌入式智能传感器，并且简要地讨论了系统的硬件设计与构造。结合此智能传感器，提出了一种基于姿态四元数和摄像机极几何的姿态估计方...
- 杨克虎郁文生
- 关键词：智能传感器嵌入式系统极几何惯性测量单元数字信号处理器
- 严格正实域的完整刻画和鲁棒严格正实综合方法被引量：2
- 1999年
- 引入弱严格正实域的概念 ,讨论了弱严格正实域的性质 ,利用多项式完全判别系统 ,给出系数空间中传递函数严格正实域和弱严格正实域的完整刻画 ,提出一种新的切实可行的系统鲁棒严格正实综合设计方法 .该方法对低阶稳定的区间多项式集或低阶稳定的多项式线段集来说 ,所得条件是充分必要的 ,对于高阶的情形也是十分有效的 ,并用实例说明该方法的有效性 .
- 王龙郁文生
- 关键词：控制系统不确定性
