一类次线性Hamilton系统的次调和解

运用极小极大方法得到一类局部强制的次线性Hamilton系统的次调和解的存在性定理.     

广义凸集值向量优化问题的弱有效解

在序线性拓扑空间中定义了广义凸集值映射．引进了相对内部．应用凸集分离定理建立了一个广义凸集值映射的择一性定理．运用此定理获得了弱有效解意义下的集值向量优化问题的最优性条件．     

具有多奇性的非线性热方程的定解问题

利用Kato类函数和Green胎紧函数的性质得到了具有多奇性的非线性热方程的初值问题和初边值问题．弱解的存在性．     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

一类二阶系统周期解的存在性

讨论了一类二阶系统{（M（t)u′)′ Au(t) ↓△F(t,u(t)=h(t),；u(0)-u(T)=u′(0)-u′(T)=0，在非线性项满足次线性条件下周期解的存在性，利用鞍点定理得到该问题至少存在一个周期解．     

Dirichlet空间上Hankel算子的紧性

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

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

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

采样间隔非均匀一阶渐近增长模型及贝叶斯预测

利用贝叶斯预测方法给出采样间隔非均匀情况下的一阶渐近增长模型，当观测误差方差已知时，给出了它的先验分布、预测分布和后验分布的修正递推算法。     

高速DSP图像处理系统的模拟视频输入接口设计

根据以TMS320C6201为中心的高速DSP图像处理系统的要求，设计了由高速模拟视频前端（AFF）和I2C总线单片机所构成的模拟视频输入接口电路，分析其工作原理，探讨了与系统编程有关的几个重要问题，经实际应用表明，该接口电路构成简单，功能强、智能化程度高，且引入的系统噪声较小，从而为后级的视频数字滤波提供了较好的数据源。     

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

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