Dirichlet空间上Hankel算子的紧性

Hankel算子作为特殊的算子类在H∞控制问题中有着重要作用，关于Hankel算子的Nehari定理与模型匹配问题具有密切关系。本文讨论了Dirichlet空间上Hankel算子的相关问题，证明了在Dirichlet空间上，凡符号在C^1(D^-)中的Hankel算子均为紧算子。     

无穷直线上的双解析函数的Riemann边值问题

研究双解析函数在无穷直线上的Riemann边值问题，并给出了该问题的可解性定理。     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

有关李群局部生成定理的运用与研究

本由李群局部生成定理出发得出了一些结论，并对李群结构性质作了相关讨论。     

试论我国有限责任公司资本制度

由于立法目的不同，在实践中我国就同一种有限责任公司类型下存在两种不同的资本组织形态，只有在法律上分清了两种资本制度的差异，才能将两者的优势结合起来，在实践中做好衔接和协调，现代化企业制度的建立做好保障。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

钢骨高强混凝土柱的轴压比限值

在做出基本假定的情况下,通过分析钢骨高强混凝土柱截面中钢筋、混凝土和型钢的受力,确定出影响钢骨高强混凝土柱发生不同破坏形态的界限轴力,从而得出界限轴压比·在进一步针对轴压比的研究中发现,当钢骨高强混凝土柱截面中的型钢型号、混凝土等级、柱截面尺寸变化时,其轴压比的限值也是可变的,而不是一个定值·因此,在实际结构工程设计时应根据不同的情况采用不同的轴压比限值·     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．