Sound field prediction of ultrasonic lithotripsy in water with spheroidal beam equations 

With converged shock wave,extracorporeal shock wave lithotripsy(ESWL)has become a preferable way to crush human calculi because of its advantages of efficiency ...
《Chinese Physics B》  2015年 第01期 下载次数(39)| 被引次数(1)

Orlicz-Hardy spaces associated with operators 

Let L be a linear operator in L2(Rn) and generate an analytic semigroup {e-tL}t 0 with kernel satisfying an upper bound of Poisson type, whose decay is measured...
《Science in China(Series A:Mathematics)》  2009年 第05期 下载次数(38)| 被引次数(7)

19世纪以前的变分法 

变分法是研究泛函极值的数学分支,它不仅与数学中众多分支联系紧密,而且也为物理学提供了重要的原理,同时又有着十分广泛的应用,凶此,对其历史进行研究,具有极为重要的理论价值和现实意义。本文在查阅大量原始文献和相关研究文献的基础上,利用文献分析和比较研究方法,以“为什么数学”为切入点,结合微积分学、物理学(特别是变...
西北大学  博士论文  2008年 下载次数(2628)| 被引次数(26)

模糊逻辑系统中的形式化证明 

众所周知,模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今,模糊逻辑在现实生活中的各个领域获得了广泛的应用,尤其是在人工智能领域、自动控制以及聚类分析领域.这些突出的成就使得其在研究不确定性问题中成为了最重要的研究方法与手段.近年来,模糊逻辑系统中的形式化证明也成为了模糊逻辑的一个新的研究热点.在模糊逻辑的众多研究方向之...
浙江理工大学  硕士论文  2016年 下载次数(42)| 被引次数(1)

Process Passing Calculus,Revisited 

In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attemp...
《Journal of Shanghai Jiaotong University(Science)》  2013年 第01期 下载次数(32)| 被引次数(2)

量子de Rham复形 

量子de Rham复形首先由Woronowicz所构造并进行研究,它是李群上de Rham复形的量子化,是非交换微分几何中主要研究对象之一。研究了量子de Rham上同调的余模结构和相应性质,并发现了量子de Rham双复形的一个消没定理。
《中山大学学报(自然科学版)》  2010年 第02期 下载次数(43)| 被引次数(1)

A functional presentatinon of Pi calculus 

From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The ...
《Science in China(Series F:Information Sciences)》  2001年 第01期 下载次数(64)| 被引次数(0)

WMTL-代数中的蕴涵滤子及其应用 

MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数的概念,讨论了剩余格,WMTL-代数,MTL-代数的区别与联系;其次,在WMTL-代数中引入了蕴涵滤子...
《计算机学报》  2018年 第04期 下载次数(96)| 被引次数()

Applications of Orlicz-Hardy spaces associated with operators satisfying Poisson estimates 

Let L be a linear operator in L2 (Rn) and generate an analytic semigroup {e-tL } t 0 with kernel satisfying an upper bound estimate of Poisson type,whose decay ...
《Science China(Mathematics)》  2011年 第11期 下载次数(30)| 被引次数(10)

Concurrent Calculus (CC) and Its Properties 

Concurrent calculus (CC) is a mathematical model for higher-order concurrent and communicating systems. Compared with the existing calculi such as CCS, CMP,...
《Science in China,Ser.A》  1993年 第06期 下载次数(13)| 被引次数(0)

The Relations among Some Similar Formulas in First-Order Formal System L 

The relations among some similar formulas ((?)xi)A(xi), A(xi),((?)xi)A(xi), A(t) and A(ai) which are in first-order fuzzy predicate calculi formal system L* ...
Proceedings of the Second Conference on Fuzzy Inform…  2005-08-01 下载次数(10)| 被引次数(0)

A higher-order duration calculus and its completeness 

This paper studies how to describe the real-time behaviour of programs using duration calculus. Since program variables are interpreted as functions over ti...
《Science in China(Series E:Technological Sciences)》  2000年 第06期 下载次数(42)| 被引次数(1)

离散可积系统中的变换和约化 

离散可积系统的变换和约化对于探讨方程间的联系以及构造精确解等具有重要意义.本文分为以下三部分进行讨论.第一,利用ABS链方程的分解构造Backlund变换.讨论了 ABS链方程的分解性质,并按照两个方向的平移将其分解,通过选取不同的函数h来构造BT.当h为仿线性时,给出了所有满足多维相容性的相容三重组.当h非仿线性时发...
上海大学  博士论文  2017年 下载次数(44)| 被引次数()

基于语言真值格值逻辑的归结自动推理研究 

关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容.为处理某些不确定性信息的推理问题,建立在格值逻辑系统上的归结理论与方法得到了快速发展.另一方面,人类处理不确定性时常用自然语言描述不确定性或者在不确定性的环境中进行推理(即不确定性推理),并基于此进行判断与决策,所以基于语言值的推理与决策成了非常引...
西南交通大学  博士论文  2008年 下载次数(274)| 被引次数(13)

基于格值一阶逻辑系统的不确定性推理及其应用研究 

不确定性推理是人工智能研究领域的关键问题之一.基于逻辑系统研究推理是一种科学的研究方法.现实生活中人们大都习惯用[0,1]上的值或自然语言描述不确定性,并在不确定性的环境中进行推理,进一步基于此进行判断与决策,所以研究[0,1]和语言真值上的不确定性推理成了引人关注的研究领域. 本文基于国内外相关...
西南交通大学  博士论文  2010年 下载次数(280)| 被引次数(3)

共找到相关记录436条12345678910下一页