r序同态与r开集在子拓扑空间中的性质

提出了r不定序同态、r连续序同态、r开序同态并讨论了它们之间的相互关系,得出了LF-r开集在开子空间中仍是LF-r开集,两个LF拓扑空间之间序同态r连续的充要条件等结论。     

临近空间单粒子效应的数值模型和电路模拟

针对临近空间单粒子效应进行了数值模型仿真和特征尺寸为0.1 μm的反相器电路的脉冲注入模拟研究。数值仿真结果表明器件临界电荷随着工作电压的降低而减小,敏感横截面随着临界电荷的降低而逐渐增大。临近空间微电子器件的单粒子翻转概率随敏感横截面增大而上升,但其又随临近空间高度的增加而下降。此外,利用SPICE软件脉冲注入模拟观察到了反相器电路的单粒子翻转现象。所得结论有助于深入研究临近空间的单粒子效应并为器件抗辐射加固提供了理论依据。     

化学配比对TiAl有序合金微观组织和变形特性的影响

本研究用三点弯曲实验测定了铝含量为43at·％～56at·％的Ti-Al二元合金的力学性能;利用光学显微镜、X射线衍射仪和透射电子显微镜研究了不同成分合金的微观组织和变形亚结构。实验结果表明:根据不同成分合金的微观组织可将其分成三类,即:γ-TiAl单相组织(52at·％～56at·％Al);双态组织(46at·％～50at·％Al)和全片层结构晶粒组织(43at·％～46at·％Al),其中以具有细晶双态组织的合金具有较好的塑性变形能力。本文从微观组织结构和变形位错组态的变化,探讨了合金成分对TiAl基有序合金塑性变形的影响机制。     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

一类多线性振荡奇异积分算子的有界性

考虑了一类多线性振荡奇异积分算子并获得了其在一维Lebesgue空间Lp(R)(1＜p＜∞)的有界性.并通过迭代方法,将这种有界性推广到高维的Lebesgue空间Lp(Rn)(1＜p＜∞)上.     

商品美学定量分析

系统地阐述了商品美学定量化研究的意义及其方法，为商品美学定量化研究建立了理论框架．     

插值Blaschke积的两个刻划定理

信据Ｂｌａｓｃｈｋｅ积在Ｈ＾∞的极大理想空间Ｍ上的零点分布，给出了Ｂｌａｓｃｈｋｅ积是插值Ｂｌａｓｃｈｋｅ积的两个刻划定理。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果