最小函数依赖集F‘的最优算法

在数据库设计中，依据函数依赖集的定义及Armstrong公理，求出的是一个可能存在冗余的函数依赖集。为了判断一个函数依赖是否为某一函数依赖集逻辑蕴含，只要用求属性闭包的方法求出函数依赖中决定子的属性闭包，判断依赖子是否包含在属性闭包中即可。本文从求属性闭包的角度出发，给出一个求最小函数依赖集的算法。     

多变量逻辑函数的分组化简法

根据逻辑函数的并项公式，总结了N变量最小项系列逻辑相邻的关系提出了多变量情况下，用分级法构造并项表化简逻辑函数为最简与或式     

三变量复合逻辑函数

利用逻辑函数基本项构成了数字电路常用三变量复合逻辑函数F=AA′BB′的结构型式,F详尽描述了逻辑电路信息传递过程,同时也提供了研究三变量逻辑函数组合险象的坚实基础。     

逻辑函数功能的语言描述

逻辑电路的功能就是电路所代表的逻辑函数的功能,通常用函数表达式、真值表、卡诺图、逻辑图来表示,作者在此文中提出了逻辑函数一种新的表示方法——语言描述。     

函数的绝对连续性

本文先讨论了绝对连续与一致连续的关系，然后分别给出了在闭区间上绝对连续函数的必要件和充分条件，最后用一个例子来说明这些条件的应用．     

逻辑函数的组合项化简法

提出了逻辑函数的组合项化简法，它吸取了卡诺图化简法和列表化简法的优点，是一种全新的逻辑函数化简法，与代数化简法，卡诺图化简法和列化简法相比，显更加直接和简便，所谓组合项，即由几个最小项合并而成的项。     

多变量逻辑函数几何表达法

综述近年来舟山师专科研所得的部分成果,供参考交流。     

基于DNA粘贴模型求解最小集合覆盖问题

运用DNA计算模式中基于粘贴运算的粘贴模型求解最小集合覆盖问题.在粘贴模型中,用存储复合体来表示子集,并利用粘贴运算的巨大并行性,可以有效地求解最小集合覆盖问题.举例说明了基于DNA粘贴模型求解最小集合覆盖问题的过程.     

一类控制系统的绝对稳定性

用Grujic型的Liapunov函数研究了一类控制系统的绝对稳定性.得出了存在Liapunov函数的充要条件.推广并简化了Grujic的结果,从而得出了系统按指数律绝对稳定的较方便的准则.     

逻辑函数多维体化简方法

在分析逻辑函数手工化简的基础上，给出了在计算机中逻辑函数通常采用的多维体表示方法和便于用计算机编程实现的代数化简方法一多维体化简方法及化简步骤。     

一种改进的线性容差电路的k-故障诊断

提出了一种改进的线性容差电路的k-故障诊断方法。与现有方法相比,较多地利用了已知的统计特性,缩小了电路可能的故障范围。同时,还证明了故障诊断与信号解卷积模型的相似性,将信号处理领域的方法引入线性电路故障诊断中。计算机模拟实验证实了该方法的有效性。     

一种光纤色散监测的改进方法

在双边带相位监测方法的基础上,对系统结构进行了改进,提出了一种用于非归零码光纤通信系统累积色散实时监测的新方法,并进行了详细的理论推导和仿真计算。结果表明,在不对发射机做任何修改的情况下,就可获得较高精度的监测。在1.55 祄工作波段,10 Gb/s数据的累积色散监测范围达到?40 ps/nm。     

区域内解析函数带位移的边值问题理论的算子方法

本文是对奇异积分方程和解析函数边值问题当前研究工作的综合评述,指出了今后理论发展的二个基本方向。对借助算子方法研究边值问题的有关方法,思想和意义进行了专门论述。扼要地给出了用算子方法研究边值问题的各种表现形式以及它与传统积分方程方法的区别。     

面向时滞测试生成的改进遗传算法(英文)

在提出的无冒险的时滞测试能量函数的基础上,对传统的遗传算法进行了改进,即在搜索中根据进化程度对群体尺寸进行调整来加速收敛,用于时滞测试生成。实验证明该方法是一种较有发展前途的算法。     

用最小多项式求线性微分方程组的基解矩阵

给出了最小多项式的两个性质；从理论上阐述了最小多项式与任何由矩阵级数定义的矩阵函数间的关系，并给出了用最小多项式代替特征多项式计算矩阵函数的方法；最后通过实例验证了该方法在简化计算方面的有效性．     

改进的基于听觉掩蔽特性的语音增强

该文利用人耳感知的掩蔽特性,研究了一种改进的基于人耳听觉掩蔽特性的语音增强方法。该方法改进了对含噪语音中噪声的估计,即在估计噪声时,先在帧上判断语音的有无,然后在频率点上判断语音的有无,最后再从感知的角度,利用估计出的语音信号计算掩蔽阈值,以此在时域和频域上合理地调整增强系数。仿真结果表明,该方法不仅使信噪比有较大的提高,而且减少了语音失真,同时也很好地抑制了背景噪声和残余音乐噪声。