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

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={x∈H:0∈Tx}≠Φ。 xk∈H,βk>0,求 xk及ek满足( )　　xk+ek∈ xk+βkT( xk),‖ek‖≤ηk‖xk- xk‖, k≥0,其中,ηk≥0,supk>0ηk<1,βk≥β>0。设PC:H→C为H到C上的最近点投影算子,定义xk+1=PC( xk-ek),k≥0,证明了若T满足(S)型条件,则{xk}k≥0强收敛于T的某个零点。     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

升压变换装置研制过程中难点问题的解决

结合大功率数字式全电力炮控系统所用的升压变换装置(270 V/32 A)的研制,详细阐述了尖峰电压、偏磁现象、波形振荡产生的机理,并从理论上提出了解决上述问题的方法.研制过程中,通过推挽式变压器的合理设计、控制方案的完善、总体布局的优化等一系列技术措施,较好地抑制了尖峰电压、偏磁、波形振荡的产生;试验结果表明所采取措施的有效性和正确性.     

传统的方位定义应用局限性研究

本文分析了传统的方位定义与计算存在的应用局限性根源,提出了适合航海及各种规模军事演练需求的改进的方位定义和计算方法,并分析了两种方位定义下的方位计算误差及适用条件.     

航天器推进系统模块化建模方法

为了研究由复杂增压气路和推进剂供应管路组成的航天器推进系统的动力学问题,基于AMESim软件平台,构建了模块化、可扩展的航天器推进系统仿真模型UPSSim.模型中,增压气路采用分段集中参数模型,推进剂供应管路采用分布参数模型,并考虑了系统各组件与环境的换热.对某型轨控发动机的变轨过程进行了仿真,UPSSim能准确模拟该发动机变轨过程中系统参数的变化,计算结果与设计性能参数、飞行遥测数据吻合较好.仿真结果表明,本文所采用的模块化建模与仿真方法适用于复杂管网的建模,在航天器推进系统仿真建模与仿真领域具有较好的应用前景.     

具有优先级消息的AFDX建模与性能分析

以Petri网为工具,建立了基于具有优先级消息传输的AFDX(航空电子全双工以太网)网络模型,通过仿真,求解出消息发送时的平均等待时间,得到的指标结果验证了高优先级数据消息帧发送等待延时明显小于低优先级数据消息帧的发送等待延时,充分说明了优先级对紧急数据传输的重要性。模型有助于进一步理解航电系统不同优先级消息在AFDX网络中的传输机制,为以AFDX为总线的综合航电系统的设计和完善提供重要的理论依据。     

机载二次电源系统的建模与仿真分析

为了提高机载二次电源系统的效能评估,以工程应用需求及其提供的试验数据为依据,结合Saber仿真软件的特点,根据机载二次电源系统的特点及功能要求,利用基于原理图、基于实验数据和基于功能要求的建模方法,分别建立了二次电源系统的三相静止变流器、DC-DC变换器、过流保护装置及负载舵机的仿真模型。通过系统仿真实验,结果证明所建立的模型均达到了系统的功能要求,同时也证明了相应建模方法的可行性、准确性和有效性。     

某通用检测诊断平台的检测诊断系统设计

装备保障是装备战斗力的重要组成部分,对部队战斗力的形成具有重要的支撑作用。装备保障离不开保障资源,保障资源是实施装备保障的重要基础条件,从一定意义上讲,保障资源与装备自身具有同等重要的地位。介绍了某装备系统的保障资源建设中,基于某装备通用检测诊断平台的适配器软硬件的设计,及其组成的通信控制设备检测诊断系统的设计。     

基于典型弹道的反导导弹制导方式分析

针对典型的导弹弹道仿真,通过对反导导弹的几种备选制导律进行了参数调试和数字仿真,设计了初、中制导方案,通过数字仿真给出了弹道规划,明确了允许的发射条件。同时,分析了各方案主要的制导信息误差及其影响,针对高斯噪声误差模型提出了制导信息误差指标。最终确定了较优制导方案。该方案经数字仿真验证具有较优的攻击区性能,攻击区较大、发射条件约束较为宽松,以当前的技术水平有望实现。     

基于UML的陆军合成营指挥训练信息系统模型构建

统一建模语言(Unified Modeling Language,UML)是一种通用的、可视化标准建模语言,是面向对象的系统开发工具之一,适用于各种软件开发方法、软件生命周期的各个阶段.提出了一种基于UML和HLA组件技术开发陆军合成营指挥训练信息系统的方法.采用Rational Rose2003实现了使用UML对陆军合成营指挥训练信息系统的分析、设计的全过程.