偶数Goldbach猜想计算机可解问题讨论(Ⅰ)

根据递归可计算性理论 ,提出偶数Goldbach猜想计算机可解命题 .首先把问题转化为研究第一类命题 :偶数N的全排列是否存在问题 ?即是否存在B(2n)素数矩阵中 .文中设计并构造了基本存在模型 ,提出了完备互余式 (modN )等一组新的互余理论概念 .构造性地证明了偶数N的唯一存在性 ,并给出 :任一给定的正偶数 N≥ 6 ,必定唯一存在素数完备互余式 (mod N (P) )或正则素数完备互余式 (mod+ N (P) )中 .     

Goldbach猜想对于Peano公理组的条件独立性--对一些数论问题的逻辑讨论(Ⅰ)

用模型论方法证明了,在对于自然数系的Ｇｏｌｄｂａｃｈ猜想及一阶Ｐｅａｎｏ公理组的某种等 价表述下,前者在逻辑上独立于后者．此外,还宣布了一些其他结果．     

一种为Turbo码设计的节省存储单元的交织器

提出了一种为Turbo码而设计的交织器.相对于那些需要存储整个交织深度的交织器来说,这种交织器由于采用奇偶对称映射方法,因此只需记忆一半的交织深度,从而可减少近50%的存储单元,并且这种映射的约束对Turbo码的性能无损,这在硬件实现时是非常重要的.     

外磁场中超导体“中间态”几何形状的计算机模拟──均匀场中的两个特殊模型

由于影响外磁场中超导体"中间态"几何形状的物理量过多,理论上还没有得到任何严格的一般解,使得计算机的模拟成为必要．从唯象的角度,本文尝试着引入了一个新的物理量ρ,并利用计算机对无限大平板和无限长圆柱体进行了模拟．     

基于SET/MOS混合结构的奇偶校验码产生电路的设计

基于单电子晶体管(SET)的库仑振荡效应和多栅输入特性,利用SET和金属氧化物半导体场效应晶体管(MOS管)的互补特性,设计了基于SET/MOS混合电路的奇偶校验码产生电路.利用HSPICE对所设计电路进行仿真验证,结果表明,该电路能够实现产生奇偶校验码的功能.该SET/MOS混合电路的实现只需要1个PMOS管、1个N...     

在特定条件下计算二重积分的简化公式

本文给出在对称区域上的奇偶函数的二重积分简化分式，并用该公式计算这类二重积分。     

大偶数可表示为两个奇素数之和

引进了“当P=2α 1，α∈N，且α≠2uv u v，任意u、v∈N，则P=2α 1为素数”这一与素数定义完全等价的代数表达式后，用一种新的筛法证明了任一大偶数皆可表示为两个奇素数之和。     

单片机与微机远程通信接口电路的设计及编程

本文对RS－232及RS－485两种标准串口通信进行对比，最终确定远程通信选用-485标准串口通信方式，并以MAX485芯片为例，介绍了单片机与微机远程通信接口电路及处理方法。对单片机与微机RS－485的串口通信工作原理做了简单的论述，给出了单片机与微机实现通信的框图及程序设计方法。     

关于贝特朗奇论的讨论

贝特朗奇论著名中外,广为选用,见文[1—5].然而,同一个问题,得出了三个不同的答案.是不足为奇,还是确系“奇论.”本文就此进行讨论.贝特朗(Bertrand)奇论.在半径为 R 的圆内任意作一条弦,问其长超过内接等边三角形的边长 R 3~(1/2)的概率等于多少?解1 任一条弦交圆周二点,由对称性不妨先固定弦的一端 A 于圆周上,另一端 B 是任意     

多模奇与偶相干态光场可分辨性的证明

构造了一般形式的多模相干态光场，并由一般形式的多模相干态光场及其相反态光场构造出一般形式的多模奇相干态光场和多模偶相干态光场；运用L．Knoell等人提出的两个量子态之间的距离函数，从理论上严格证明了多模奇相干态光场与多模偶相干态光场是完全可以分辨的量子态光场．