重心坐标应用于几何定理的机械化证明

用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

微分中值定理与Newton-Leibniz公式的关系及证明

用Newton-Leibniz公式证明了广义微分中值定理，并且证明了所有的微分中值定理与Newton-Leibniz公式在一定条件下可以相互证明。     

概率方法在不等式证明中的应用

本文利用概率论的性质,定理以及由性质,定理推导出的有关结论证明了一些不等式,阐述了概率方法在不等式证明中的应用,显示不概率应用巧妙性和优越性。     

LDPC码低复杂度译码算法研究

在描述置信传播（BP）译码算法基础上，研究和分析了两种降低复杂度的译码算法。Min-Sum算法主要讨论了简化校验节点的消息更新运算，并应用密度进化方法对此算法进行极限性能分析，求出最佳修正参数α以改进译码性能。强制收敛技术致力于减少BP和MSA算法译码过程中“激活”节点的数目，从而降低译码复杂度。AWGN信道仿真结果表明，两种算法在降低译码复杂度的同时，译码性能没有明显降低。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

Golay码的神经网络译码算法

本文提出了Golay码的一个神经网络译码器N(23,12),证明了Golay码的最大似然译码等价于N(23,12)收敛于能量函数的全局稳定状态。N(23,12)是一个异步的组合逻辑电路,能用12个大数逻辑门和77个异或门电路来实现。根据Golay码的循环结构,本文还提出了一个神经网络译码算法。计算机模拟表明,该算法达到了Golay码的纠错能力,并且,译码速度优于Kasami的修正捕错译码算法。新算法作为一种完全译码算法,不仅适用于Golay码,而且适用于任何循环码,特别是平方剩余码的译码。     

“正核条件”与KOPOBKИH条件的等价性

众所周知,线性正泛函数(或线性正算子)序列的收敛问题可归纳为验证定理的条件。本文给出一个同样能适用于收敛性的“正核条件”,在较一般的意义下证明上述二者的等价性,对实变函数的一些问题给出应用,並对函数证明了定理。     

LDPC码的快速联合加权比特翻转译码算法

针对低密度奇偶校验码的加权比特翻转,提出一种快速联合加权比特翻转译码算法。该算法首先以平均幅度作为校验方程,其次以可靠性比率来判断译码出错率,最后在最大迭代次数或达到了零出错率时输出结果。与WBF译码算法相比加快了LDPC码的译码速度,并且误码性能也得到明显改善。相比以平均幅度为信息节点的加权比特翻转算法和可靠性比率加权比特翻转算法,该改进型算法避免了单比特翻转算法在译码过程中产生的同一比特循环翻转现象。     

一种新的二维最大熵图象阈值分割方法

根据最大熵原理提出了一种用二维最大熵获取二值图象的新方法，介绍了用梯度－区域灰度均值二维最大熵求取阈值的原理和过程。计算机仿真结果表明，采用本文提出的阈值分割方法，对于直方图平坦的灰度图象处理效果尤为理想。     

基于协调权的案例学习群决策分类方法

基于案例学习的决策方法具有易于理解、贴近 实际决策过程的优点，成为当前决策领域的一个研究热点。文中针对如何有效地集成不同决 策专家提供的案例信息，提出了一种基于协调权的案例学习群决策模型用以解决多属性分类 决策问题。该方法首先针对各决策者给出不同案例数据，通过构建混合整数规划模型，识别 出具有一致案例信息重要度最大化的典型案例集。然后设计了分类阈值远离程度最大化模型 ，以此确定兼容各个决策者案例信息的指标权重（协调权）和最优分类阈值，由此构建一致 性的效用函数并应用获得的阈值进行分类决策。最后通过案例研究以及与其他模型的比较分 析，验证了方法的可行性。     

基于C51单片机的MP3播放器的设计与实现

介绍一种基于C51内核的单片机MP3解码系统的设计与实现,系统采用高性能51单片机和灵活的模拟音频接口,通过对MP3的编解码算法和编程的改进与优化,实现实时解码过程。     

切削过程优化问题的边界极值解法

本文首先讨论切削过程优化问题目标函数的极值问题,并完成切削过程优化问题目标函数无极值的证明,给出了在刀具耐用度满足泰勒公式条件下的特例证明。在此基础上提出了该类问题的边界极值解法,把两维空间内的求极值问题转化为一维问题求解,大大减小了计算量。本文还讨论了边界极值求解方法在计算机实现过程中若干问题,包括约束分类方法、约束边界的组合方法、约束边界在计算机内的表达方式等问题。本文最后给出了一个应用边界相比求解的实际例子,并与采用传统的数学规划求解方法进行了比较。结果表明,两者计算结果一致,采用边界极值法的计算速度比数学规划方法提高了一个数量级。     

理论门槛值的研究

阐述了应力强度因子门槛值△Ｋｔｈ的重要性，讨论了理论门槛值的概念，分析了工程门槛值的局限性，提出了理论槛值的求解方法，实例分析显示了理论门槛值研究，无论对于工程应用或理论研究均具有重要意义。     

双重迭代置信传播空时编码调制及其在准静态MIMO衰落信道下的性能

提出一种结合低密度校验码和空时分组码的置信传播编码调制方案，并对其在准静态MIMO衰落信道下成对差错概率及最优星座选择进行了分析，并给出了相应的参考设计准则。为防止过多错误反馈造成译码失效，提出采用内、外双重迭代方式提高系统的鲁棒性。同时．由于该方案LDPC(Low—density parity—check)码校验矩阵作为迭代终止判决准则，使得迭代算法的平均复杂度降低。     

消逝波存在的证明和新型热象仪原理方案的探讨

光从光密媒质射向光疏媒质时,若入射角大于临界角,则发生全反射,但在光疏媒质中仍有电磁波存在,这个电磁波称为消逝波。本文介绍了一种装置,使从光疏媒质一侧成象在界面上的红外象,转换成可见光象,从而间接证明了消逝波的存在;同时探讨了如何利用这种装置构成新型热象仪。     

Motycka估算方法中滤波位置改变对最大瞬时畸变值预测的影响

将Motycka方法中脉动压力滤波改为瞬时畸变滤波可减少其估算机时。本文从理论上建立了上述两种滤波位置所获得的瞬时畸变的随机统计参数和最大值之间的关系,用计算所得结果进行了验证。验证表明可用瞬时畸变滤波方法替代脉动压力滤波方法去估算最大瞬时畸变值。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。