郁文生
- 作品数：78 被引量：120H指数：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机器证明
- 制造系统的可重构布局设计被引量：13
- 2001年
- 研究重构系统的新布局具有重要的理论与实际意义 .本文讨论了制造系统可重构布局研究的目标、对象、基础及研究范畴 ,提出了利用模拟退火方法寻找重构布局最优解的搜索算法 .
- 顾农谭民范英俐郁文生
- 关键词：可重构制造系统模拟退火算法
- 多项式凸多面体的稳定性及严格正实性
- 2002年
- 对于由区间多项式的凸组合描述的不确定系统 ,它的Hurwitz稳定性可由某个仅由顶点和棱边构成的子集来保证 。
- 王志珍王龙郁文生
- 关键词：区间多项式值集
- 具有负极点传递函数的最小正实现
- 针对具有负极点的离散时不变线性单输入单输出系统的n阶有理传递函数,采用构造性方法,给出其存在n维正实现的充分必要条件;并将结果应用于正系统中的正分解问题,改进了参考文献中的相关结果。数值例子表明了方法的有效性。
- 孙熵伟郁文生王龙
- 文献传递
- 任意阶多项式族的鲁棒严格正实综合
- 2004年
- 任意两个n阶多项式a(s)与b(s),其凸组合保持Hurwitz稳定性是存在多项式c(s)使得c(s)/a(s)与c(s)/b(s)同时严格正实的充分必要条件.
- 郁文生王龙J.Ackermann
- 关键词：鲁棒稳定性鲁棒分析传递函数
