浅谈数学中的合情推理

合情推理是数学发现的重要方法,本文介绍了合情推理的概念、作用、途径.所论及的内容对数学教学有参考价值.     

Single Qubit and Its Universal Logic Gate Made of a Heisenberg Spin Cluster with Five Particles

We investigate an anisotropic Heisenberg spin cluster with five particles controlled by a time-dependent magnetic field. With the algebraic dynamical method, we obtain the exact analytical solution to the time dependent Schr6dinger equation. Based on the analytical solution, it is shown that the system can be used as a universal single qubit logic gate controlled by the strength and frequency of the magnetic field, and the six special single qubit logic gates can be realized physically. We also discuss the anti-decoherence property of the qubit and its logic gates resulted from particle coupling effect and collectivity of the cluster.     

一个令人费解的逆否命题

作者在给“百千万骨干教师”讲授逻辑问题时 ,一位教师向我提出了一个令他困惑不解的问题 ,下面是解决此问题的全过程 .(为叙述方便 ,把“百千万骨干教师”视为学生 )问题 :原命题　若 x≥ 0 ,则 x2 ≥ 0 .逆否命题　若 x2 <0 ,则 x<0 .学生甲 :逆否命题这样写对吗 ?教师 :对呀 .学生甲 :原命题显然是真的 ,然而逆否命题怎样是假的呢 ?教师 :这个问题提的好 .(因为刚讲过逻辑研究的对象 ,这个问题正好与逻辑研究的对象有关 )请同学们讨论逆否命题到底是真还是假 ?学生乙 :在实数范围内 ,x<0不可能 ,所以逆否命题不存在 .学生丙 :不对 .x2 <0…     

Pre—Separation Axioms in Fuzzifying Topology

1　 IntroductionYing[5,6 ] introduced and elementally developed so called fuzzifying topology with the semanticmethod of continuous valued L ogic.Shen[7] introduced and studied T0 -,T1-,T2 (Hausdorff) -,T3(regularity) -,T4 (normality) -separation axioms in fuzzifying topology.In [3 ]the concepts of thefamily of fuzzifying pre-open sets,fuzzifying pre-neighbourhood structure of a point and fuzzifyingpre-closure are introduced and studied.It is worth to mention that pre-separation axioms are …     

Quantum Logic Network for Probabilistic Teleportation of Two-Particle State in a General Form

A simplification scheme of probabilistic teleportation of two-particle state in a general form is given.By means of the primitive operations consisting of single-qubit gates,two-qubit controlled-not gates,Von Neumann measure-ment and classically controlled operations,we construct and efficient quantum logical network for implementing the new scheme of probabilistic teleportation of a two-particle state in a general form.     

逻辑控制系统中三种控制技术分析

本文分析常用的继电控制、可编程序控制器(PLC)和正在发展、兴起的在线可编程器件CPLD／FPGA的特点及在逻辑控制中特点及应用，为正确选择三种控制方法提供一定的参考。     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广，并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用，结果表明该算法具有良好的无线电抗干扰效果。