赵春娜
- 作品数：22 被引量：272H指数：7
- 供职机构：首都师范大学信息工程学院更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国际科技合作与交流专项项目更多>>
- 相关领域：自动化与计算机技术经济管理冶金工程兵器科学与技术更多>>
- 原料场智能逻辑控制系统被引量：3
- 2013年
- 以唐钢原料场为例,介绍了大型原料场的工艺流程和控制方式,对常用的控制模式和实现方法进行了详细论述,介绍了控制系统的架构和硬件、软件设计。将工业现场总线技术和工业以太网技术结合,应用到大型综合原料场控制系统,解决了远程、强干扰、大容量复杂的系统数据和信息传输控制问题。
- 袁晓红赵明赵春娜
- 关键词：原料场控制模式可编程控制器现场总线工业以太网
- 成比例分数阶系统的仿真研究被引量：3
- 2008年
- 成比例分数阶系统是一种特殊的分数阶系统。这里提出将成比例分数阶系统的基本阶次项看作一个整体,成比例分数阶系统就转化成一个常规的整数阶系统。通过对成比例分数阶系统的基本阶次项进行近似化研究,减少了系统的复杂性。并用仿真实例进一步演示了该方法的简洁性,可以有效分析成比例分数阶系统问题。
- 赵春娜张祥德孙艳蕊
- 关键词：分数阶微积分仿真
- 基于框图的分数阶非线性系统仿真方法及应用被引量：29
- 2006年
- 针对在实际情况中应用越来越广泛的分数阶微积分系统,提出了分数阶微积分方程的框图求解法。通过Simulink搭建仿真框图,可以直接求出分数阶非线性微积分方程的数值解析解。该方法最大的优点是能够解决由一般的分数阶微积分知识所不能或是很难求解的复杂分数阶微积分问题,对于分数阶的线性微积分方程也完全适用。用仿真实例进一步演示了该方法的简洁、有效,可以解决任意的分数阶微积分方程的求解问题。
- 薛定宇赵春娜潘峰
- 关键词：分数阶微积分分数阶系统
- 一种反辐射武器作战效能评估方法被引量：15
- 2011年
- 反辐射武器作战效能评估是反辐射武器研制、引进、装备过程中必要的步骤。随着反辐射武器研制的加速发展,反辐射武器的效能评估已经由单纯的精度指标考核向综合对抗能力转变。与此对应,如何综合评估复杂对抗环境下的反辐射武器作战效能成为相关研究重点。针对目前反辐射武器靶场试验的现状,提出了一种基于非线性指标聚合的反辐射武器作战效能评估模型,并给出了相应的指标体系模型、指标聚合方法、指标评分方法、指标权重确定方法。最后进行了仿真举例,结果验证了该方法的有效性和可行性。
- 刘义赵春娜王雪松王国玉冯德军
- 关键词：反辐射武器
- 烧结系统终点温度与点火强度最优控制算法被引量：1
- 2012年
- 铁矿石烧结是钢铁生产流程的关键环节,烧结矿的物理特性,如强度、粉末含量、粒度,以及化学成分的稳定性直接影响高炉的炉况及铁水质量。通过最优控制算法,建立了烧结过程工艺参数与烧结终点温度之间的最优控制模型,实现了烧结终点温度与点火强度的最优控制。
- 袁晓红赵国新赵春娜
- 关键词：温度智能控制
- 拉普拉斯变换微积分性质在HOL4中的形式化被引量：2
- 2014年
- 拉普拉斯变换是系统时域频域分析转换的基本工具,基于拉普拉斯变换的数值计算广泛用于信号传输的评估和重要安全系统的分析等,但是其存在计算不精确等问题.高阶逻辑定理证明是验证系统的一种严密的形式化方法.本文在高阶逻辑证明工具HOL4中使用积分、微分、超越函数、复数等定理建立了拉普拉斯变换形式化模型,并且对拉普拉斯变换的线性性质、微分性质、积分性质、频移性质进行了逻辑推理证明.最后通过对电机传递函数的形式化验证说明拉普拉斯变换形式化的有效性和正确性.
- 赵刚赵春娜关永吕兴利李晓娟施智平王瑞叶世伟
- 关键词：拉普拉斯变换形式化验证定理证明
- Gauge积分在HOL4中的形式化被引量：7
- 2013年
- 积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4(Higher-Order Logic 4)中形式化,包括积分的线性运算性质、积分不等式、分部积分、积分分裂定理、子区间的可积性、对特殊函数的积分的形式化及积分极限定理、柯西可积准则,并根据相关性质对反相积分器进行了验证。
- 谷伟卿施智平关永张杰赵春娜叶世伟
- 关键词：形式化验证定理证明积分器
- 一种用于高可靠通信系统验证与性能分析的形式化方法
- 一种用于高可靠通信系统验证与性能分析的形式化方法，该方法有五大步骤。本发明是一种基于模型检验和定理证明相结合的通信系统形式化验证与分析的方法。拟基于假设保证的方法，建立环境状态机，对网络通信系统的设计进行层次化建模，对关...
- 李晓娟关永施智平王瑞张杰赵春娜华伟董玲玲
- 文献传递
- 分数阶控制器与整数阶控制器仿真研究被引量：29
- 2009年
- 分数阶PID控制器多了两个可调参数,可以取得更好的控制效果.针对位置伺服系统测试问题,设计了分数阶PID控制器,并与整数阶PID控制器相比较,仿真结果演示了分数阶PID控制器的控制效果明显优于最好的整数阶PID控制器.无论是在输入发生变化,还是系统负载或参数变化,给出的分数阶PID控制器的控制效果都是比较稳定的.
- 赵春娜赵雨张祥德李英顺
- 关键词：分数阶微积分分数阶系统分数阶PID控制器仿真
- 模糊识别在构建商业银行稳定评价模型中的应用被引量：1
- 2007年
- 我国商业银行的稳定对于整个金融体系的稳定有着重要影响,而商业银行稳定的评价是一个多目标多层次的复杂过程。为此基于模糊识别的方法建立一个商业银行稳定指标评价模型,并选取某家商业银行的实际数据对该模型作了实证分析。
- 杨绍杰李志军赵春娜
- 关键词：商业银行模糊识别
