共查询到20条相似文献，搜索用时 953 毫秒
1.
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系． 相似文献
2.
3.
王廷明 《福建师大福清分校学报》2008,(5):7-9
将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质．以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具． 相似文献
4.
5.
岳铁旺 《中学生数理化(高中版)》2005,(7):54-56
递推公式是数列的重要内容之一，尽管考试大纲中指出：会根据递推公式，写出数列的前几项，但是此知识点的考查在近几年的高考中有升温的迹象，所考查的方法一般有两种：一是根据递推公式写出前几项（一般前5项），然后猜想通项公式，用数学归纳法证明；二是直接由递推公式等价变形，转化为已知数列——等差（比）数列，然后进行推理计算。下面主要探究如何利用递推公式的变换，求数列的通项公式。 相似文献
6.
应用已知的谱半径公式,根据等价范数的概念推导出一个新的谱半径公式,根据等价范数的概念推导出一个新的谱半径公式,并给出了它的一些相关结果. 相似文献
7.
8.
彭世金 《数理天地(高中版)》2009,(2):2-2
若数列{an}的前n项的和为Sn,则下列描述相互等价：
（1）{an}是等差数列;（2）an=an＋b;
（3）Sn=pn^2＋qn． 相似文献
9.
等差数列常见的求和公式有：
①Sn=a1n＋n（n-1）/2d;
②Sn=n（a1＋an）/2;
③Sn=An^2＋Bn（A=d/2,B=a1=d/2）. 相似文献
10.
利用已有的理论[1-6],给出了（f,f^-）-知识膨胀度与萎缩度的概念,讨论了（f,f^-）-知识与f-知识以及（f,f^-）知识与f-知识的关系,提出了（f,f^-）-知识膨胀与萎缩平衡定理、（f,f^-）-知识集上知识膨胀链定理、（f,f^-）-知识集上知识萎缩链定理,以及（f,f^-）-知识的应用. 相似文献
11.
12.
丢掉任意的大小限制,就回到结构的前集合论观点,由此得到点图的一个类对应物:点系统概念。定义点系统之间的观察等价性概念有不同设想,利用结构打开思想是一个更具现实性的选择。打开概念真正刻画了有关一个集合的所有的东西,也就是它的元素;如果两个对象(集合,类或者点系统)的所有打开是一致的,那么这两个对象是观察等价的。打开具有相对极大性,它们聚合了一个集合及其元素在第α层可以得到的所有信息。模态语句与相应的打开真正地刻画了相同的信息,这就使观察等价性关系和到α层的等价关系很容易根据模态语句来表达。 相似文献
13.
链状四角系统的Randic指数 总被引：1，自引：0，他引：1
设G=（V,E）是一个图,其中顶点集V={v1,v2,…,vn}．G的Randid指数为：X（G）=∑vjvj∈E（G）1/√d（vi）d（vj）,其中d（v）表示顶点v的度．Randic指数是化学图论中常见且重要的一个拓扑指数．给出直链四角系统、锯齿链四角系统和转向细胞个数为1的链状四角系统的Randid指数． 相似文献
14.
供应链管理的成功实施必须具备以下条件：供应链成员企业之间的合作和信任、一体化的管理、完善的信息系统（以先进完善的信息系统为基础）;中国企业实施供应链管理的难点在于：信用体系不健全、企业之间的合作观念淡薄、企业的管理水平较低;为此可采取的对策有提高对供应链管理观念的认识、加快建立健全中国的信用体系、完善基础管理,提高企业现代化管理水平、加快企业信息化的建设步伐。 相似文献
15.
讨论由数域F上的一个n阶方阵A所决定的线性变换DA：Mn（F）→Mn（F）,X→AX—XA的不动点。主要结果如下：（1）由DA的全体不动点组成的集合构成矩阵空间Mn（F）的一个子空间,并且这个子空间中的每一个矩阵都是幂零矩阵;（2）如果A是可对角化矩阵,那么由DA的不动点组成的子空间,其维数不超过ψ（n）,这里n≥2,并且当n为奇数时,ψ（n）=1／4（n^2—1）,当n为偶数时,ψ（n）=1／4n^2;（3）如果m=p1q1＋p2q2＋…＋psqs且p1＋q1＋p2＋q2＋…十ps＋qs≤n,那么存在一个一个n阶方阵A,使得由DA的不动点组成的子空间,其维数等于m,这里p1,q1,p2,q2,…ps,qs都是正整数;（4）如果DA是矩阵空间Mn（C）上的线性变换,那么DA有非零不动点当且仅当存在A的两个特征值,其差等于1。这里n≥2,并且C表示复数域。 相似文献
16.
给出了G单位区间[0,1]的定义并在其上引入了元素间的可分度的概念,讨论了其基本性质,并在此定义的基础上确定了一个度量ρ,从而（[0,1],ρ）成为一个度量空间（文中称“G单位逻辑度量空间”）,并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论,并得到一些好的结果.最后,在MV单位区间上引入了类似ρ的一个度量ρ,′并证明了（[0,1],ρ′）是通常度量空间。 相似文献
17.
根据YIN和WANG的方法,结合Fichera-Oleinik理论,研究奇异扩散方程：φ（ u）/t =div（ραu p-2u）,（x,t）∈QT =Ωx（0,T）,其中Ω是RN 中的有界区域,边界Ω充分光滑,ρ（x）=dist（x,Ω）, p 〉1,α〉0,φ满足：φ∈C2,且存在δ〉0使得φ′（s）〉δ〉0.证明了α≥p -1时,不需要任何边值条件,方程最多有一个满足初值条件的解;而0〈α〈 p -1时,方程存在唯一满足初边值条件弱解. 相似文献
18.
用吡嗪-2-羧酸合成了配合物[Cu(C5H3N2O2)2],并通过元素分析、红外分析及X-射线衍射对其结构进行了表征.晶体属单斜晶系,空间群为:P2(1)/c,晶胞参数:a=5.0624(9),b=15.414(3),c=7.1110(13),β=106.701(2)°,V=531.48(16)3,Z=2.F(000)=310,吸收系数μ=2.072mm-1,最终偏离因子R1=0.0216,wR2=0.0594.中心铜原子与两个吡嗪-2-羧酸配体形成配合物分子,各分子之间通过弱相互作用形成一维链状结构. 相似文献
19.
设（x,d）是紧致度量空间,f：X→X是连续映射,k（X）为X的所有非空紧致子集赋予由d诱导的Hausdorff度量而得到的空间,由,诱导的集值映射f^-：k（X）→K（X）定义为f^-（A）={f（a）：a∈A）,主要考虑（X,f）的周期点集与（k（X）,f^-）的周期点集之间的关系,得到了如下重要结果：证明了若P（f^-）是闭集,则P（f）是闭集,并举例证明了它的逆命题不一定成立;证明了P（f^-）：r（X）能蕴含p（f）：X,并给出了一个反例说明了p（f）=X不一定蕴合P（f^-）=r（X）;证明了在X为有限集时p（f^-）：X能蕴含P（f^-）k（X）。 相似文献
20.
杨爱丽 《内江师范学院学报》2006,21(6):19-21
给出了相应于广义R0-代数的PL*公理体系的定义及PL*公理体系的若干重要性质．证明了PL*公理体系的[F]-定备性,最后给出了PL*公理体系中的广义演绎定理． 相似文献