Banach空间中的1阶Bessel序列

在Banach空间X中引入了1阶Bessel序列与Bessel算子的概念,证明了X上的全体1阶Bessel序列构成一个Banach空间;对X上的任意1阶Bessel序列f={fn}n∈Λ,引入了算子Tf:X*→l1,给出一个序列成为1阶Bessel序列的若干充分必要条件;引入(1,∞)阶对偶对的概念,证明了(f,g*)成为X×X*中的(1,∞)阶对偶对当且仅当Tf*Tg*|X=IX.     

一类半导体方程组整体弱解的存在性

考虑一类半导体方程组的混合初边值问题。利用正则化算子和逼近过程，通过一系列先验估计，在迁移率既不为常数，又不满足速度饱和的条件下，证明了其整体弱解的存在性．     

基于遗传算法的轨道综合养护计划模型设计

根据大型养护机械线路综合养护的特点,设计了基于遗传算法的0—1整数型轨道状态最优综合养护计划模型,并结合线路不平顺数据,对模型求解效果进行了检验,初步实现了大型养护机械养护作业安排的计算机解析,从算法角度解决了轨道不平顺状态计算机辅助决策系统的关键问题.     

多种粒子系统的统计分布函数

运用系综统计法，对多种近独立粒子系统的粒子数分布规律进行了研究，得到了在平衡状态下多种粒子系统的统计分布函数，并对结果进行了讨论。     

一类分数次积分算子在Herz型Hardy空间上的有界性

给出了一类具有分数次积分性质的次线性算子在Herz型Hardy空间上的有界性质,特别地给出了在端点处的弱型估计.     

DSP Builder实现MP3音频解码中的IMDCT

文章主要讨论如何使用 DSP Builder来实现 MP3音频解码中的 IMDCT。MDCT和 IMDCT是 2种重叠正交变换 ,也是 MPEG音频标准中运算量最大的 2种运算 ,主要应用在数字信号处理当中。采用正弦递归循环公式 ,实现 IMDCT的内核 ,得到一种该变换的高效实现方法 ,这种方法特别适合 VLSI的并行实现     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

关于凸性模的若干应用

改进和推广了Kadecˇ凸性模定理,并讨论了凸性模对无条件收敛级数和算子级数的应用.     

可编程控制器实验台的设计

介绍了一种以计算机技术为基础的可通过编程来进行过程控制或使机器运行的新型工业控制装置，主要从设计方案、主要功能、程序运行等方面论述了可编程控制器实验台的设计。     

冗余现象的语用分析

语言具有冗余性是一个不争的客观事实。虽然它与语言的经济原则、格赖斯的会话原则相背离，但根据交际的需要，冗余现象有它存在的理据。冗余现象在交际中的积极作用可以从外交辞令、寒暄应酬、日常交际、演说词等语用的角度来体现。语用学中的目的意图原则、语境理论可为冗余现象提供相关的理论依据。