共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
质量(或结合能)是原子核最基本的性质之一。从三十年代Weizscker的质量半经验公式开始,先后提出过三十余个公式。以往对质量公式的好坏,基本上是笼统地根据质量的计算值与实验值的方均根偏离来判断。但考虑到公式所含项数较多,这种笼统的比较不易判断公式中某一项形式的正确程度。如果我们能找到一些在实验上可以(直接或间接)测定的物理 相似文献
4.
一、导言格点规范理论提供了一个方便的规范不变的非微扰正常化方法。理论中常采用Wilson作用量形式。然而这不是唯一的,任一作用量只要符合Wilson提出的条件,就可以和Wilson形式等价。格点系统的任何性质如果与连续理论性质有关,就必须对不同的作用量有一定 相似文献
5.
在WORD97中可以建立表格并且利用表格中的“公式”命令对表格中的数据进行一定公式的计算已经不是难事。(本栏目在上一期已经有过阐述)如何利用WORD在已经建立的表格基础上进一步制作相应的图表却不是简单的操作就能了事的。 第一步制作表格,如下表: 泰石发展有限公司季度报表 相似文献
6.
所有的键盘都有F键。一般都是12个,他们叫作功能键,其位置在键盘顶部,从F1到F12。不过你知道所有这些键的作用吗?你知道这些键怎么为你节省时间吗?F1:帮助键。如果你处在一个选定的程序中,需要帮助,那么可按下F1。如果现在不是处在任何程序中,而是处在资源管理或桌面,那么按下F1就会出现Windows的帮助程序。如果你正在对某个程序进行操作,而想得到Windows帮助,则需要按下Win+F1.按下Shift+F1,会出现“What is This?”的帮助信息。F2:重命名键。如果在资源管理器中选定一个文件或文件夹,按下F2则会对这个选定的文件或文件夹重命名。F3… 相似文献
7.
8.
按照Smale一种算法称作是良好的,如果计算复系数多项式一个根的成本,随多项式阶数增加不是指数式的。对于形如f(z)=x~z c_1z~(a-1) … c_m,所有|c_k|<1的多项式,Smale证明了Newton方法算一个根的成本按[100(n 2)]~9/μ~7增加,这里μ是允许论断失败的概率,0<μ<1(BulletinAMS,4(1981),1—36)。 相似文献
9.
巧妙地使用空格键,或许能够提高工作效率呢!这不,以下是笔者使用空格键的四个实例。1.暂停播放当使用Real0ne Player播放视频时,按下空格键可暂停播放,再次按下空格键则从暂停处继续播放。2.向下翻屏在IE浏览器中,按下空格键则向下滚屏。与此相反,按下Shift+空格键,则向上滚屏。3.巧妙“查找”如果你要查找名称中包含有“三则”或者“技巧”的文件,可以使用Window“s开始”菜单中的“查找”或者“搜索”命令,以关键字“三则技巧”(两个词间有一个空格键)进行查找。4.巧妙“搜索”如果你要使用“搜索引擎”查找同时包含“三则”或“技巧”… 相似文献
10.
11.
惯用法(usage)现象存在于自然语言的各个层次中,而在不同的层次中又有不同的表现形式,对所有层次上的惯用法现象作统一的讨论,为这样一篇短文所无法胜任,本文只集中讨论惯用法现象在句子这一层次的特殊形式——常用句的惯用性(或叫做“现成性”、“习用性”、“习语性”),但笔者相信这种讨论完全可以推广到整个惯用法现象,因此下面在不是必须 相似文献
12.
13.
比类,是我国传统的数学方法之一。最初,把按一定规律堆积起来的物体与相似的立体几何模型相比较,从已知的体积公式推出各种垛积公式(即高阶等差级数公式〕,叫做比类。以后,用按一定规律的计算替代实物,加以观察和比较,得出更吸引人们注意的成果,如元代朱世杰《四元玉鉴》(1303)中所提 相似文献
14.
Boole算子Fuzzy逻辑中的广义归结原理 总被引:2,自引:0,他引:2
王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归 相似文献
15.
众所周知,有限力迫伴随T~f关于T_v通常是超算术的。我们证明:如果T~f是∑_1-理论(相对于T_v)则它便是可判定的(相对于T_v)。十九世纪数学的成就之一,是找到一种计算方法,对每一个正的原始公式φ,得出一个无量词公式φ~*(结式),使得,这里T是域的理论。A。Robinson发展了一种模型论的方法,可证明这种结式的存在性。我们进一步说明,计算所需结式的(能行)算法的存在性,亦可用模型论力迫加以证明(由于方法的一般性)。还有其它应用。 相似文献
16.
设I为线段(即区间,亦即直线的非平凡的连通子集),f∶I→I为连续映射。f的周期点集P(f)和非游荡集Ω(f)定义如通常。设。如果存在ε>0使得(或者,则称x在Y中是左孤立的(相应地,右孤立的);如果x在Y中是左孤立的或者是右孤立的,则 相似文献
17.
如果n竞赛图T_n中任意n—k 1子竞赛图都是可约的,则T_n称为k可约的。如果T_n是k可约的,但不是k 1可约的,则T_n称为严格k可约的。设t(n)和s(n)分别表示n竞赛图和强n竞赛图的所有同构类的个数。对于给定正整数k,设 相似文献
18.
针对轴对称的任意二维非均匀媒质,建立了求解静电或稳恒场问题Green函数的高效纵向数值模式匹配理论。所导出的公式皆为特别宜于计算机模拟的矩阵代数形式。所建立的数值计算方法使得求解全部问题无需进行任何数值积分运算,计算效率较二维有限元法可提高两个数量级。本文所运用的纵向数值模式匹配法,是Chew等人建立的径向数值模式匹配理论的延伸和发展。Pai曾用类似方法求解电磁波测井问题,Gianzero曾给出过二层构造的公式。本文给出的解答可普遍适用于任意二维非均匀构造中Green函数的求解,实现石油测井中复杂地质环境的精细数值模拟。 相似文献
19.
利用Selberg迹公式,导出次数为2的四元数半空间上尖点形式的一个维数公式,并计算出一些共轭类对维数公式的贡献。 相似文献
20.
至少在地球上,你如果想要节省体能,最好的方法是慢走而不是快跑。然而,来自麻省理工学院(MIT)的克里斯多弗·卡尔(Christopher Carr)在他最近的一项研究中指出:对于在重力比地球小的太空中进行探索活动的宇航员来说,情况则恰恰相反。如果快跑而不是慢走,那么在氧气消耗完之前的 相似文献