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

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

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

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

冗余现象的语用分析

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

英汉名词化隐喻实现形式及语篇功能对比研究

从隐喻性思维角度对比英汉名词化隐喻实现形式和语篇功能。英语是综合语型语言,可通过多种方式添加词缀隐喻化为名词。汉语属于形态不发达的语言,汉语的动词或形容词一致地体现过程或特性,隐喻地体现事物,它与英语的差别在于它从过程或特性转化为事物缺少形态变化,变化的仅仅是句法功能,词本身形式没有发生任何变化。名词化隐喻不仅在英汉语篇中大量出现,而且都具有使语篇衔接、客观的功能     

半连续条件下拟凹函数的两个判别准则

函数的半连续性与拟凸性的关系已在许多文献中进行了讨论,但函数的半连续性与拟凹性的关系却研究的很少,为此本文在文[1,2]的基础上,在半连续的条件下,给出拟凹函数的两个判别准则.     

某些特殊函数族支撑点的性质

本文研究了GL函数族和负实系数单叶函数族SR-支撑点的性质，得到了GL函数族支撑点的映照性质，并且获得了负实系数单叶函数族SR-的支撑点的形式．     

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

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

双解析函数的Riemann边值逆问题

给出双解析函数的一类Riemann边值逆问题正则型与非正则型情况的提法。基于双解析函数的正则型Riemann边值问题，讨论了双解析函数Riemann边值逆问题正则型情况的可解性，得到了该边值逆问题的可解性结论：当问题的指标κ≥0时，该边值逆问题具有2κ 1个线性无关解；当指标κ＜0时，该边值逆问题只有零解，即双解析函数的正则型Riemann边值逆问题的一般解具有2κ 1个自由度。     

M带多尺度函数逼近阶的频域条件

在小波理论中，精度或逼近阶是刻划尺度函数最重要的特征之一。就肘带多小波的多尺度函数逼近阶在频域里进行研究，给出了肘带多尺度函数具有逼近阶m的频域充要条件。     

应用独立分量分析提取机器的状态特征

以大型轧钢机和滚动轴承试验台为研究对象，应用独立分量分析方法分离机器的声音信号，并提取其状态特征，同时指出，对信号进行自相关预处理，可以突出信号的非高斯成分，较好地满足独立分量分析的前提条件，即源信号统计独立，因此，采用基于峭度的快速独立分量分析（ICA）算法，成功地分离出了信号的一些独立成分及对应的发声零部件，研究结果表明，根据信号结构选择预处理的方法十分重要，正确的预处理可以使独立分量分析有效地提取机械信号中的特征。