有关Fuzzy命题否定的数学表示

本文在[1]的基础上,对Fuzzy命题的否定形式的数学表示做了更进一步的研究,使其更符合自然语言(汉语)的规律。     

关于具有常平均曲率和数量曲率超曲面的Mbius几何的一个注记

设x:M→Sn 1(n≥3)是n 1-维单位球中的无脐点超曲面, Mobius不变量G,Φ,A和B分别表示x的Mobius度量, Mobius形式, Blaschke形式和Mobius第二基本形式．本文证明了如果x的Mobius形式Φ平行,并且A λG μB=0,其中λ,μ分别是定义在M上的光滑函数,那么Φ=0,由此及李海中、王长平(2003年)文献中的分类定理给出了Sn 1中具有平行的Mobius形式及满足A λG μB=0的超曲面的分类．此结果推广了他们及张廷枋(2003年)文献中的结果．     

一维问题的一种积分形式的流量重构算法

1引言我们考虑如下一维二阶椭圆边界值问题(-(β(x)p′)(x))′=f(x),x∈(a,b) p(a)=p(b)=0(1))其中β=β(x)是一恒正函数,且β∈H~1(a,b),f∈L~2(a,b)．事实上,在此条件下,我们可保证p∈H~2(a,b)(见[1],[2])．(1)之弱形式为：求p∈H_0~1(a,b)使得a(p,q)=(f,q),(?)q∈H_0~1(a,b),(2)其中a(p,q)=(?)_a~bβp′q′dx,(f,g)=(?)_a~bfqdx．给定(a,b)的一个分割α=x_0＜x_1＜…＜x_(n-1)＜x_n=b,令h=(?)(x_i-x_(i-1)),(?)_i表示通常相应于节点x_i的形状函数,即(?)_i是连续的分段线性函数且满足(?)_i(x_k)=δ_(ik),这里δ_(ik)=(?)i,k=0,1,…,n．又记V_h~0=span{(?)_1,(?)_2,…,(?)_(n-1)),取V_h~0作为p的逼近空间,则求解(1)的标准有限元格式为：求ph∈V_h~0使得     

论行政机关的公司登记行为

行政机关的公司登记行为是一种特殊的具体行政行为。公司登记机关应对登记申请材料进行形式审查而非实质审查。因此，公司登记机关是否违法，及法院对公司登记行为的合击性进行审查，也主要是围绕公司登记机关是否尽到形式审查之义务这一中心。     

韩非与马基雅维里政治思想之比较研究

在政治学领域，中国的韩非与意大利的马基雅维里都是不可忽略的人物。他们对于特殊政治形式——君主专制的深刻认识和大力鼓吹，不仅在实践上对于他们分别所处的时代产生重要影响，而且在理论上对于人类政治学说的发展，也贡献了宝贵的思想财富。     

让思想品德课教学焕发出生命活力--浅谈思想品德课互动式教学

长期以来，思想政治课教学普遍采用灌输式，极大地阻碍了学生素质的提高，能力的培养。新一轮课程改革则采用互动式课堂教学，注重师生互动，生生互动，注重通过形式多样生动活泼的互动式教学方式，激发学生学习兴趣，培养学生各种能力。互动式课堂教学的形式主要有讨论式、小品表演、体验式、查阅式、辩论式等。     

关于Smale一个猜想的推广

本文对ＳｍａｌｅＳ．的一个猜想作了推广，证明了对Ｐ＞１，文［２］中的定理１没有“Ｌ^ｐ形式”     

关于meso—四苯基卟啉在冰醋酸中的存在形式

前言卟啉在生物化学、分析化学、药物化学等领域有着广泛研究和重要应用［１～３］。近年来虽然对卟啉类化合物的研究报道很多［４～６］，但对卟啉在酸性介质中的研究很少。较早期的研究工作认为卟啉类化合物在酸性介质中仅以其二酸形式存在［７］。本文实验结果显示ｍｅ...     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。