广义布尔函数的计数

给定真包含{0,1)的布尔代数B及它的包含{0,1)的真子集A,|A|=k,|B|=m=2~t。函数g:A×B→满足下列条件:     

求算溶液中大分子链分维的一种方法

分形(fractal)理论是近年才发展起来的一个数学新分支(B.B.Mandelbrot,TheFractal Geometry of Nature,1982),在各门学科中都有广泛而独特的应用。大分子链可视为由链段构成,而链段又由链节构成。链段本身受周围环境(溶剂、温度等)的影响,其大小、形态随时发生着变化。根据分形理论,大分子链有很好的自相似性,其形态可由分数维(D)来描述。通常,求算D值很困难,特别是复杂的大分子。本文给出了计算D值的一种简便方法。 de Gennes的标度理论给出了聚合度     

科学哲学的两种传统

综观科学哲学,从其与科学的联系看它是有前科学性、全科学性和后科学性,从它与哲学的关系看它涉及本体论,认识论和方法论。以前科学性为特征的科学哲学是自然哲学式的,以全科学性为特征的科学哲学可以称为科学论,以后科学性为特征的科学哲学称为科学基础论。从哲学角度看,有本体     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

在Frontpage2000中插入Flash动画的两种方法

在很多网页中我们都可以看到大量的Flash动画,但在使用Frontpage2000制作网页时并没有看到直接插入Flash动画的功能。我想著名的微软公司不可能连这点都做不到吧。通过自己的摸索和研究,我终于找到了插入Flash动画的两种方法,现介绍给大家,让我们共享Flash动画在网页上闪动的魅力吧。     

M序列的两种推算方法

本文给出移存器序列的两种推算方法。第一种方法是沿用归纳法思路,但不作图,要点是表格化、公理化与简化;第二种方法是将文献[5]的剪接法由做图改为算术形式,以利机器计算,推理可参考文献[5]。文中注供编程序参考。最后对几种算法作了对比和有关说明。     

单调函数的两个定理

§1.最近,庄圻泰教授证明了如下的两条定理:     

论建立国际通用的计数制度——探讨计数单位和计数方法的国际标准化问题

前言在科学领域中,任何一种国际通用的制度的建立和国际标准化的实现,都是以利于国际间交流和科研工作为目的的,都是建立在人类社会需要的基础之上的。国际通用的计数制度也不利外,随着科学技术和国际间经济、文化交流的高度发展,建立一个国际通用的计数制度(参考计量制度)势在必行。长期以来,当人们想到或遇到欧美人把中国的“亿”计作成“100million”或“100兆”,把“万”计作“10千”,或者中国人和日本人把欧美的“bi11ion”计作”10亿”,把“million”计作“100万”时.人们总是认为这只     

论FFP中ρ和μ两函数的合成逻辑本质

一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”。至于FFP与合成逻辑的关系,文献[2]论述了“基本合成子I,S,K能够被定义成FFP中的泛函”。本文,从另一方面,论证“FFP中的表示函数ρ和语义函数μ可表示成合成逻辑中的合成子”,从而,揭示了ρ和μ的本质,也为FFP语言奠定了合成逻辑基础。将文献[1]中的第四层逻辑(FP语言)与ρ和μ两合成子联合起来,就构成了FPP这一更高级合成逻辑。     

单频GPS快速定位中模糊度解算的一种新方法

研究只利用几个历元的单频相位数据进行GPS快速定位的新方法. 首先分析了GPS快速定位法矩阵的结构特性. 基于Tikhonov正则化原理, 针对这种特性, 设计了一种正则化矩阵的构造方法. 通过新的正则化矩阵的作用, 减弱了法矩阵的病态性. 新方法解算几个历元的单频GPS相位数据, 可以得到比较准确的模糊度浮点解及其相应的均方误差矩阵, 用均方误差矩阵代替协因数阵, 结合LAMBDA方法, 可准确快速地确定模糊度. 以一个3 km多的基线实测数据为例, 新方法仅用5个历元(5秒)的单频L1相位数据, 确定的整周模糊度值与长时间的Bernese软件解算的结果一致. 197组序列解确定整周模糊度的成功率为100%. 与传统的方法相比, 新方法明显地提高了快速定位的准确性和效率. 新方法在变形监测和准动态定位以及姿态确定等方面有良好的应用前景.     

元素周期表中增加两种最重的元素

据国际纯化学与应用化学联盟（IUPAC）网站6月1日报道,114号元素和116号元素现已正式成为元素周期表这个庞大家族中最具重量级的一员。这两种新元素的原子放射性极强,稳定存在的时间均不到1秒,此后便很快衰变为较轻的原子。     

关于分形维数计算的两种方法

本文分别利用广义体积和多分形自由能两种方法计算分形维数,其结果均与原来结果一致. 1.利用广义体积计算分形维数 把三维空间中的单位正方体的边长分别划为i,j,k等分,设所得小长方体的边长和体积为r_(i1),r_(i1),r_(k1)和v_1     

测量电阻的两种简易方法例析

电阻测量是电学实验中的重点,也是学生学习中的难点.它一直是高考的热点,且题型新颖多变.文章介绍了测量电阻的等效替代法、公式计算法两种简易方法.     

两类Melnikov函数的等价性

高维同宿分支或异宿分支的研究已引起人们的广泛重视.由于系统维数的增高,这类分支问题往往比较困难.我们在文献[1]中考虑系统     

公路工程附和导线平差的两种计算方法

文章通过对307国道清徐段改线工程北营-油房堡公路的附和导线测量,提出导线平差的两种方法,提高了平差后数据的准确率,为今后施工测量放样奠定了良好的基础.     

高分子尾形链构象分布的两种理论方法

当分子链的一端附着于某一固体壁时,就形成了尾形高分子构象,显然,它可以看成是高分子吸附的最简单的形式,除高分子吸附与解吸外,许多涉及表面和界面的高分子问题都与尾形链的构象有关,例如固体表面上的接枝聚合、嵌段共聚体的液晶层状结构、高分子表面活性剂在两相的分配、高分子对于胶体的稳定性、橡胶单点粘结力学等.然而,尾形链分子构象理论的研究相当薄弱,众所周知,高分子构象问题与随机行走问题有明显对应关系,由简单随机行走导出的理想高分子链构象的Gauss分布,已经是整个高分     

长期股权投资的两种核算方法的比较

长期股权投资核算一直是理论和实务中的难点,文中主要针对实务中长期股权投资的成本法和权益法两种核算方法的不同之处进行比较,从适用范围、核算程序和账务处理等方面展开论述。     

原子核领域中两种相变研究的新进展

《原子核领域中两种相变研究的新进展》一文评述了原子核领域中(更确切地说是中高能重离子碰撞过程中),可能存在的液气相变和退禁闭相变研究的新进展。事实表明,有关液气相变的研究已开始走向成熟,而退禁闭相变的研究尚需作更长久的努力。     

长期股权投资的两种核算方法的比较

随着“伽利略”计划首颗卫星的成功发射,欧盟与美国的空间竞赛由此开始。     

两族解析函数逆函数的系数估计

记在单位圆内解析,Ref′(z)>0}, 在单位圆内解析,Re[f(z)/z]>0)。设f(z)∈(?)或S_0,其逆函数在w=0处有展式