关于一类扩散过程的随机变分计算

对一类比较广泛的随机微分方程的解进行了随机变分计算，在一定条件下得到了相应的分部积分公式．     

中西早期微积分思想及其比较

追溯了微积分的早期思想渊源，对中西数学家所作出的贡献进行了比较。     

基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

化归在微积分学中的应用

化归是一种重要的思维方式,是方法论中解决问题的一般原则,也是解决数学问题的一种常用数学思想和方法。由于化归将问题转化、变形,使问题归结为能够或容易解决的问题,然后再返回求得原问题的解答,化归的目的是使问题化繁为简、化难为易。微积分学中有许多问题是通过化归的思想而得到解决的,为此,本文对化归在微积分学中的一些应用进行分析和讨论。     

海丝的科学语言观

演绎的两种语言模型和整体论都对观察和理论的关系进行了探讨,海丝在这种讨论的基础上对语言中的描述性谓词进行重新考察,提出“原初识别”的概念,既否定了观察谓词的独立稳定性,又否定了绝对理论谓词的存在,从而为我们探讨观察与理论的关系提供了新的思考路径。     

Modeling Trusted Computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

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

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

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

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

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

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

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

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