弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

静磁场Dirichlet问题Galerkin法和牛顿法

作者在［１］,［２］中给出了静磁场Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题广义解的存在与唯一性。本文从理论上给出静磁场Ｄｉｒｉｃｈｌｅｔ问题的一种Ｇａｌｅｒｋｉｎ近似解法,并给出了在各向同性或无电流区情形下的误差估计和牛顿选代序列。     

关于star—cyclic正规算子的一个等价命题

J.B.Conway(1985)在A Course in Functional Analysis.New York Springer-Verlag.(1985)中IX.3中给出了star-cyclic正规算子的一个特性.即当N为star-cyclic正规算子,且λ∈σp(N)时,dimKer(N-λ)=1.本文证明了在复可分无穷维的Hilbert空间中正规算子为diagonalizable时,该性质和star-cyclic正规算子是等价的.     

载人飞船返回段的最优控制

本文介绍空间飞船再入段最优制导方法。纵向制导采用二次型性能指标最优的线性系统,得到最优控制规律。侧向制导利用庞特里亚金最小原理,得到最优开关曲线。结果表明,这些控制规律优于Rodney C.所介绍的制导方法。     

状态空间中的 H∞控制方法研究

本文简要介绍了H_∞控制方法的发展与应用。给出了作者博士论文期间的主要工作。     

薄膜晶体管液晶显示器对空间光调制模式与偏振器方向的关系

薄膜晶体管液晶显示器TFT LCD(Thin Film TransistorLiquidCrystalDevice)是信息光学研究中一种非常重要的电寻址空间光调制器SLM(SpatialLightModulator)。实验中通过调整TFT LCD的起偏器或检偏器的方向,可以分别得到正像、边缘暗突出像、负像等,并结合具有双折射特性的线性扭曲液晶介质对线偏振光的调制理论,对此给出解释。     

开放式自动测试系统软件设计

实现测试程序的可移植性、改善测试系统仪器互换性和提高ATS新技术注入能力是通用ATS研制的热点问题,遵循标准和实现开放式系统是解决问题的途径,软件系统是当前通用ATS实现开放性的制约因素.根据领域需求软件采用层体系结构模式,合理划分各层功能,在高层提供面向信号的编程接口,资源控制层提供了面向功能的接口,资源管理实现了系统对资源控制层构件开放的动态集成方式,实现了开放式的系统软件构架.     

2005年世界新锐武器扫描

2005年,在新军事变革的推动下,新鲜出炉的各类武器可谓“灿若星河”,但亮彻全年或举世震撼的“大作”却为数不多。本文本着“百里挑一、优中选优”的原则,重点介绍10种新锐武器,涵盖了海、陆、空三维战场空间,并把导弹单列为一类武器加以介绍。之所以选择这些武器,主要是因为它们具有一定的代表性:有的设计独特,放射着军事思想新变革的光辉;有的绝技超群,开创了武器发展新时代;有的另辟蹊径,拓宽了武器改进的新思路;有的影响深远,改变了地区乃至全球安全形势。陆战武器:重新又走热小国亦疯狂由于美国在伊拉克战争中一改科索沃战争全程空袭的…     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

复杂装备系统任务可靠性在役考核评估方法

根据面向部队、面向实战的原则,装备可靠性作为重要能力之一贯穿于装备全生命周期试验鉴定工作链路内。考虑到复杂装备系统在交付使用后通常要历经多种任务剖面,并且不同任务之间环境剖面和应力水平千差万别,致使订购方更加关注装备在役考核期间的面向实战条件的任务可靠性。本文给出了一种复杂装备系统多任务可靠性的在役评估方法,把装备在不同任务剖面下的故障率作为分类指标,当多任务剖面下的故障率相同时,利用截尾试验数据和Gamma分布建立可靠性模型;当多任务剖面下的故障率不同时,采用大数定理和解析法进行可靠性建模,并给出相应的可靠性评估方法。最后结合实例验证表明本文给出的方法可为复杂装备任务可靠性的在役考核提供一种合理可行的模型和方法。