拟幂零等价算子Weyl定理的稳定性

线性算子的谱理论,特别是Hilbert空间上Browder定理和Weyl定理在紧摄动下的稳定性问题是目前研究的热点,本文利用拟幂零等价算子的定义及其之间的关系,研究了它们的Browder定理和Weyl定理在紧摄动下的稳定性,并得出它们的稳定性是等价的.     

中低纬度下惯导极区性能模拟测试方法

针对惯性导航系统极区性能试验难以实地开展的问题, 研究了一种模拟测试的方法, 并基于横向坐标系编排给出了以组合导航系统作为测量基准的惯导模拟测试方案。首先分析了模拟测试技术研究的必要性, 然后根据轨迹形变最小原则详细推导了基于横向坐标系编排的极区模拟测试转换公式, 之后针对测试中采用不同基准的情况, 提出了相应的惯性测量单元(inertial measurement unit, IMU)转换算法, 并提出以惯性导航系统/全球导航卫星系统(inertial navigation system/global navigation satellite system, INS/GNSS)为参照基准的一种具体测试方案, 最终完成了仿真实验, 验证了模拟测试理论的正确性。结果表明, 在基准误差不计的情形下，试验导航参数误差与惯导实地横向编排解算误差相当。初步验证了所提方法替代极区实地试验进行精度性能评估的可行性, 为后续极区模拟测试评估研究奠了定理论基础。     

The Convergence of Least-Squares Progressive Iterative Approximation for Singular Least-Squares Fitting System

Data fitting is an extensively employed modeling tool in geometric design. With the advent of the big data era, the data sets to be fitted are made larger and larger, leading to more and more leastsquares fitting systems with singular coefficient matrices. LSPIA (least-squares progressive iterative approximation) is an efficient iterative method for the least-squares fitting. However, the convergence of LSPIA for the singular least-squares fitting systems remains as an open problem. In this paper, the authors showed that LSPIA for the singular least-squares fitting systems is convergent. Moreover, in a special case, LSPIA converges to the Moore-Penrose (M-P) pseudo-inverse solution to the leastsquares fitting result of the data set. This property makes LSPIA, an iterative method with clear geometric meanings, robust in geometric modeling applications. In addition, the authors discussed some implementation detail of LSPIA, and presented an example to validate the convergence of LSPIA for the singular least-squares fitting systems.     

Pd/Pt修饰的AlGaN/GaN HEMT器件氢传感特性研究

制备了Pd/Pt修饰的AlGaN/GaN高电子迁移率晶体管(HEMT)器件.对器件的氢传感特性测试表明,Pd/Pt合金修饰的器件的氢响应和响应(恢复)速率要优于Pd和Pt单独修饰的器件,Pd和Pt质量比为2 mg∶1 mg的氢传感器具有最佳的氢传感性能.对吸附平衡的稳态分析进一步证实了这一结论.室温下氢体积分数为0.1%,氢气通入流速为200 mL/min时,Pd/Pt(2 mg∶1 mg)样品的电流变化为0.249 mA,响应时间和恢复时间分别为41 s和42 s.此外,测试温度增加到55℃也进一步提高了器件对氢气的响应和响应速率.     

Irrational-Behavior-Proof Conditions Based on Limit Characteristic Functions

Irrational-behavior-proof(IBP) conditions are important aspects to keep stable cooperation in dynamic cooperative games. In this paper, we focus on the establishment of IBP conditions.Firstly, the relations of three kinds of IBP conditions are described. An example is given to show that they may not hold, which could lead to the fail of cooperation. Then, based on a kind of limit characteristic function, all these conditions are proved to be true along the cooperative trajectory in a transformed cooperative game. It is surprising that these facts depend only upon the individual rationalities of players for the Shapley value and the group rationalities of players for the core. Finally,an illustrative example is given.     

多态关联系统典型逻辑结构

多态关联系统逻辑建模是多态关联系统可靠性理论的基本研究内容。由于逻辑建模中的ＮＰ问题,给出多态关联系统通用的逻辑结构是不现实的。本文借鉴多值逻辑中有关函数构造的理论,定义了三类典型的多态关联系统逻辑结构。     

频谱分析方法在仿真可信性研究中的应用

应用频谱分析方法进行仿真可信性评估。分析了傅立叶谱估计、最大熵谱估计的统计特性,并分别构造相容性检验。引入瞬时谱估计分析非平稳随机信号,以及应用于某型近炸引信数字仿真模型验证的一个实例。     

资源优化配置与利用模型研究综述分析

对资源优化配置与利用模型及研究思路进行了综述性分析,并对各模型的改进或拓宽做了进一步的讨论,为更深入研究资源优化配置与利用问题作准备．     

常见矩阵秩不等式取等的充要条件

考虑分决矩阵和矩阵运算中的常见秩不等式的取等条件,利用分决矩阵的初等变换给出了若干秩不等式取等的充要条件.