莱布尼茨与微积分发明权之争——纪念莱布尼茨诞生360周年

莱布尼茨是卓越的数学家和哲学家，他和牛顿相互独立地创建了微积分。17世纪末，在欧洲爆发了一场激烈的旷日持久的微积分发明权之争。通过争论和调查，人们公认：莱布尼茨和牛顿都是微积分的发明人，他们的微积分各有特色。     

The Implementation Technology of a Model Description and Management Tools of Comprehensive Information

ＴｈｅＩｍｐｌｅｍｅｎｔａｔｉｏｎＴｅｃｈｎｏｌｏｇｙｏｆａＭｏｄｅｌＤｅｓｃｒｉｐｔｉｏｎａｎｄＭａｎａｇｅｍｅｎｔＴｏｏｌｓｏｆＣｏｍｐｒｅｈｅｎｓｉｖｅＩｎｆｏｒｍａｔｉｏｎＷＡＮＧＳｈｉｐｉｎｇ；ＸＩＡｎｂａｎｇ（ＭａｎａｇｅｍｅｎｔＳｃｈｏ...     

具有非正则象征的Weyl类算子的有界性

以拟微分算子，Ｌ－Ｐ分解为工具，讨论了具有非正则象征的Ｗｅｙｌ类算子在Ｓｏｂｏｌｅｖ空间Ｈ￣ｓ，ＨＯｌｄｅｒ空间和空间Ｈ￣ｓ∞上的有界性的充分条件。     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.     

由微分学和回路方程的物理意义讨论h参数

由晶体管输入和输出回路的偏微分方程,导出h参数的物理意义,并由此画出输入和输出端的等效电路.     

先常规后反向电压补偿式双积分A/D转换的研究

介绍了常规双积分A／D转换的原理及特点。为了克服基准参考电压稳定性对转换精度的影响，针对桥式电阻电路、在不需要基准参考电压的情况下．采用先常规后反向电压补偿的方法、实现了双积分A／D转换。重点说明了反向补偿电压的产生，补偿电阻与输入电压以，的关系，先常规后反向电压补偿双积分A／D转换的工作过程和原理：     

椭圆积分在求磁感强度上的应用

以求载流椭圆中心和截流圆环内任意点的磁感强度为例,说明椭圆积分在求磁感强度上的具体应用.并根据所求得的结果,分析载流圆环内磁感强度的分布规律.     

中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o     

2+1维N=1超Poincaré张量运算

本文目的是构造2+1维N=1超Poincare张量运算,?起超共形张理运算,本文的方法直接简单,结果显法,在2+1维的情况下,物质多重态的定域超过有变?和动能多重态公式中,出现了1+1维情况下所没有的?。