透射光栅衍射效率研究

透射光栅广泛应用于 X光能谱测量 ,为获得定量的 X光能谱 ,首先在北京同步辐射源上对透射光栅的衍射效率在多个入射 X光能量点进行了实验标定 ,获得了透射光栅衍射效率的实验结果。为模拟透射光栅衍射效率实验标定结果 ,发展了一个新的透射光栅衍射效率计算模型 ,该模型不同于国外已发展的矩形栅线模型和梯形栅线截面模型 ,而是假设透射光栅栅线具有准梯形截面。模型计算结果与实验标定结果符合很好。     

弹性分组环网的分组延时性能研究

本文采用了M/G/1/K排队模型对Darwin标准草案中建议的弹性分组环网的分组传输延时进行了性能分析,结果表明不同优先级的业务等待延时不同,高优先级分组在网络中传输延时最低,中优先级分组的延时仅略低于低优先级分组,当网络规模增加时,这种差距逐渐减小甚至可以忽略;并且从理论上推导出网络最大吞吐量,这对于制定相关标准、设计和规划实用网络具有重要指导作用.     

固定效应空间自回归分位数模型的变量选择

本文研究了固定效应空间自回归分位数模型的变量选择问题.通过惩罚压缩相关参数,达到了同时识别空间效应、估计未知参数和选择解释变量的目的.此外,给出了变量选择的实现算法并证明了惩罚估计量的大样本性质.数值模拟和实例分析均表明了所提方法的优良表现.     

广义线性回归极大似然估计的强相合性

设有该文第1节所描述的广义线性回归模型,以$\underline{\lambda}_n$和$\overline{\lambda}_n$分别记$\sum\limits_{i=1}^{n}Z_iZ_i^{\prime}$的最小和最大特征根,$\hat{\beta}_n$记$\beta_0$的极大似然估计.在文献[1]中,当\{$Z_i,i\ge1$\}有界时得到$\hat{\beta}_n$强相合的充分条件,在自然联系和非自然联系下分别为$\underline{\lambda}_n\rightarrow\infty$, $(\overline{\lambda}_n)^{1/2+\delta}=O(\underline{\lambda}_n)$（对某$\delta>0$)以及$\underline{\lambda}_n\rightarrow\infty$, $\overline{\lambda}_n=O(\underline{\lambda}_n)$.作者将后一结果改进为只要求$(\overline{\lambda}_n)^{1/2+\delta}=O(\underline{\lambda}_n)$,从而与自然联系情况下的条件达到一致.     

基于有理多项式模型的高分四号卫星可见光通道面阵成像载荷在轨几何定标

针对我国首颗静止轨道高分辨率光学遥感卫星高分四号（GF4）的可见光通道面阵成像载荷,基于成像模型中内外方位元素的相关特性,提出一种基于先验有理多项式（RPC）模型的在轨几何定标方法,以地面控制点的真实像点和基于RPC模型计算的虚拟像点为观测值,在初始的定标参数基础下重建精确的几何定标参数,实现卫星成像载荷系统性几何误差的补偿。本方法完全避免了传统在轨几何定标构建严格几何成像模型中复杂的辅助数据处理和多个成像坐标系统的转换,建模和解算均极为简单,且定标结果可直接应用于基于严格几何成像模型的地面处理系统。通过一组GF4卫星面阵载荷的真实影像数据实验验证了本方法的有效性和模型的合理性,结果表明：本方法可有效补偿成像模型中的系统几何误差,且得到定标结果与基于严格几何成像模型的传统定标方法几乎一致。     

Influence of roughness on the detection of mechanical characteristics of low-k film by the surface acoustic waves

The surface acoustic wave （SAW） technique is a precise and nondestructive method to detect the mechanical charac- teristics of the thin low dielectric constant （low-k） film by matching the theoretical dispersion curve with the experimental dispersion curve. In this paper, the influence of sample roughness on the precision of SAW mechanical detection is inves- tigated in detail. Random roughness values at the surface of low-k film and at the interface between this low-k film and the substrate are obtained by the Monte Carlo method. The dispersive characteristic of SAW on the layered structure with rough surface and rough interface is modeled by numerical simulation of finite element method. The Young＇s moduli of the Black DiamondTM samples with different roughness values are determined by SAWs in the experiment. The results show that the influence of sample roughness is very small when the root-mean-square （RMS） of roughness is smaller than 50 nm and correlation length is smaller than 20 μm. This study indicates that the SAW technique is reliable and precise in the nondestructive mechanical detection for low-k films.     

多级PIN限幅器高功率微波效应研究

基于PIN二极管电热自洽耦合模型,构建了两级PIN限幅器高功率微波(HPM)效应电路模型。根据模拟模型设计加工了两级限幅器实验样品,限幅器输入、输出特性注入实验数据与模拟计算结果基本一致,验证了多级限幅器模型的有效性,表明该多级PIN限幅器模型能够应用于HPM效应模拟。针对不同HPM波形参数进行了HPM效应模拟,计算结果表明：随着注入功率的增大,脉宽增宽,前级厚I层PIN二极管结温升比后级薄I层PIN二极管结温升要高,因此厚I层PIN二极管更易受到损伤;而频率和前沿参数对结温升影响较小。     

机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。     

SU(3)L×U(1)X模型和暗物质的新的候选者

提出了一个基于SU(3)_L×U(1)_X群的弱电相互作用模型.在该模型中,每一代轻子均包含两个中性粒子.计算了新的中性轻子(N粒子)的寿命,并估计了它的质量上限,从而说明N粒子可以看作暗物质的候选者.     

工业过程混沌稳态优化控制研究

本文基于混沌现象普遍存在于各类非线性动力学系统中这一事实，针对工业过程中的混沌运动行为，给出了混沌稳态的严格定义，并对工业过程的混沌稳态优化控制问题刊物了数学描述。仿真结果表明，文中的定义以及对问题的描述是准确和恰当的；本文的工作为解决工业过程的混沌稳态优化问题提供了理论依据。