论证一类不等式问题 展示数学发现的方法

通过对一个不等式的加强和完善,探求出推广这一类问题的途径,解决了一类不等式问题。     

一种基于MPSoC的网络处理器模型及其应用

从MPSoC系统设计角度出发提出了网络处理器的参数化分析模型,称为NePlat。该模型采用数据流进程网络(DPN,Dataflow Process Network)描述网络应用,构造参数化异构硬件资源,并将应用模型映射到体系结构资源上评价网络处理器性能。     

海上游击战的信息作战机理分析*

科学地研究游击战的获胜机理是军事学领域尚未解决的核心问题之一。运用信息作战原理,在海上游击战环境中,通过潜艇与航母战斗群反潜直升机的对抗来分析海上游击战的信息作战原理,研究表明:航母受到攻击的威胁通常为潜艇的1.5到5倍,只要发挥潜艇的信息与火力的联合作战优势来削弱航空母舰战斗群的反潜信息与火力的联合作战优势,仅单艘潜艇就可对航空母舰造成重创。信息作战原理不仅揭示了游击战环境中各种小概率事件及随机因素的影响机理,而且也可用作为对游击战指挥控制原理进行研究的理论基础及方法。     

亚音速轴流风扇静转子相互作用线谱噪声预报

静转子相互作用线谱噪声是亚音速轴流风扇主要噪声源之一,快速预报该噪声对风扇设计初期的叶片选型和参数设计具有重要意义.因此在叶栅响应函数理论的基础上考虑静转子叶片的相互作用,采用叶片经验尾流模型模拟转子尾流,推导得到静转子叶栅相互作用线谱辐射声功率半经验半理论计算公式.通过与NASA已有的试验模型和计算模型结果对比,验证...     

柱锥级联型爆磁压缩发生器的实验研究

研究了柱锥级联型爆磁压缩发生器。给出了主要实验结果。发生器的负载是3.5μH,最大电流是55.8KA,上升前沿是14.3μs,电压为30.5KV。平均电流放大倍数是6.4。     

多人多任务动态决策建模的环境

就人的组队如何解决多任务环境中具有不定性情况下分布式资源管理等问题 ,在微机上采用具有音响—图形功能的 Turbo pascal程序语言 ,建立了一个可以控制的实验环境 ,经分析得出 :在此环境中 ,可以模拟、产生 C3分布系统方面基本的决策制作问题 ,且能充分适应于复杂性的逐步引入 ,可用作建立多人多任务动态决策模型的载体 ,开发组队决策的规范—描述理论。     

PLC与计算机的通讯系统设计

以 OMRON CPM1 A型 PLC为例 ,介绍了如何用 Visual Basic语言实现计算机与PLC的通讯 .该方案具有硬件简单、使用灵活的特点 .该通讯系统对于用计算机控制 PLC实现集中监控提供了可靠的手段 ;同时为利用计算机进一步开发基于 PLC信息的故障诊断系统诊断信息的获取提供了可靠的渠道     

概率化认知控制模式下人为差错概率的量化方法

在现有成果的基础上,对CREAM方法中的人为差错概率量化进行了改进.介绍了CREAM基本法量化人为差错概率的基本思想;讨论了两种概率化认知控制模式的确定方法:贝叶斯网络法和模糊逻辑法,强调了概率化认知控制模式下量化人为差错概率的必要性.通过理论推导,构建了概率化认知控制模式下人为差错概率的量化方法.另外,为了提高计算效...     

低轨预警自由段弹道估计的多项式逼近算法

低轨单星对自由段弹道的估计是天基预警系统需解决的关键技术之一.建立了低轨预警卫星对自由段弹道的观测模型,针对极大似然估计批处理算法的大运算量问题,给出了一种多项式逼近算法,由观测数据的逼近多项式在一些特定采样点的值形成伪观测数据,以伪观测数据代替原观测数据进行弹道估计.仿真表明,精度与极大似然估计相当,运算量显著降低.     

一种基于TF·IEF模型的在线新闻事件探测方法

空间电磁编队具有不消耗推进剂、无羽流污染、连续可逆和同步控制等优势,静态电磁编队在光学干涉成像等领域具有广阔应用前景。动力学平衡态的稳定性与控制是实现静态电磁编队的基础。论文针对双星电磁编队沿径向、切向和法向分布的三种平衡态构形,利用Kane方法建立了6-DOF耦合非线性动力学模型,分析了三种平衡态构形的开环稳定性、耦合特性与控制需求,最后设计LQR控制器,实现了平衡态构形的稳定控制,并进行了仿真验证。