磁通密度反馈在磁悬浮系统中的应用

对于磁悬浮列车的悬浮控制,如果取悬浮间隙、电磁铁速度以及电流为状态变量进行反馈控制,在实验中控制参数的稳定区间较小,不易寻找控制参数的稳定区间,而且控制参数之间的影响比较严重;采用悬浮间隙、电磁铁速度以及磁通密度作为状态变量进行反馈控制的方法可以解决上述问题,便于实际的调试工作.仿真结果证明了第二种方法的有效性.     

大子直积与其系数环

设 为无限正则基数,F为集合I的滤子,通过模的 积和F-积给出了其系数环R相关结构的特征刻画。作为应用,一些已有的结果得到了推广。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

系统标定的一种新方法

以2008年高教社杯全国大学生数学建模竞赛的A题为研究背景,设计了利用数码相机进行系统标定的一种新方法,建立了相应的数学模型,并设计遗传算法实现了模型的快速求解,算例表明了模型及算法的有效性。     

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

序贯分析法在舰炮武器试验中的应用

射击精度是反映舰炮武器系统性能的最重要的技术指标 ,是交付部队使用前必须考核的试验项目。对以往试验中采用的建立在大子样统计理论基础上的传统的评定方法进行了分析 ,并对序贯分析方法的原理、方法及在工程中的应用情况进行了阐述。     

Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

双旋翼直升机旋翼的微多普勒特性分析

目前,国内外对双旋翼直升机的微多普勒特性研究相对还很少。建立了直升机旋翼回波的微多普勒模型,并基于该模型,分别计算了共轴式、横列式、纵列式以及交叉式双旋翼直升机的微多普勒。研究结果表明,不同种类的双旋翼直升机旋翼的微多普勒特性不同,通过对双旋翼直升机旋翼的微多普勒进行分析,可以对双旋翼直升机进行初步分类,为下一步双旋翼直升机的微多普勒识别提供了参考和借鉴。     

基于打击链的智能武器风险分析与控制方法研究

打击链是分析武器和系统等作战要素有效性的一种方法.针对当前智能武器概念缺乏一致定义的问题,本文提出了基于打击链作战方式的智能武器判定方法.针对智能武器认定困难引发的军控措施争论,分析了智能武器两方面的失控风险:人失去对自主武器的控制权与自主武器本身存在不可控因素和缺陷;以及智能武器的问责困境:如何在指挥者、编程者与智能...