模糊命题系统Gdel和L~*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.     

模糊命题系统G(o)del和L*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p→（qr）基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL＊≤Gτd.     

G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

积分语义学中的积分相似度与伪距离

研究了积分语义学理论的相似度与伪距离 ,对特殊公式In=p1∧p2 ∧…∧pn,Un=p1∨ p2 ∨…∨ pn 的真度值进行了计算 ,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质 .得到了 :( 1 )在任何一个逻辑系统中τ(In) =1n 1 ,τ(Un) =nn 1 ;( 2 )在Lukasiewicz逻辑系统中 ,对公式A和正数ε ,存在公式B ,使得1 -ε<ξ(A ,B) <1 ;( 3)在Lukasiewicz逻辑系统中 ,(ⅰ )设C为矛盾式 ,则 ρ(A→C ,B→C) =ρ( A , B) ,(ⅱ ) ρ( (A→B)→B ,(C→D)→D) =ρ(A∨B ,C∨D) .     

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。     

几个三值命题逻辑系统中命题真度的分布

利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在[0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．     

NS*-拟正规子群与有限群的p-幂零性

设G是有限群,称群G的子群H为G的NS-拟正规子群,如果对于满足(p,|H|)=1的每个素数p和适合H≤L≤G的每个子群L,均有NL(H)包含L的某个Sylowp-子群。称群G的子群H为G的NS*-拟正规子群,如果G有正规子群K使得G=HK,且H∩K为G的NS-拟正规子群。本文主要讨论p阶及p2阶子群的NS*-拟正规性对群G的p-幂零性的影响,得到群G为p-幂零的若干充分条件。     

有限群的可解性（英文）

设H是有限群G的一个p子群.1H在G中满足Φ*性质,如果对G的任一非可解Frattini主因子L/K,|G:NG(K(H∩L))|是p的方幂;2H称为在G中Φ*嵌入的,如果存在G的次正规子群T使得HT是G的S拟正规子群且H∩T≤S,其中,S≤H在G中满足Φ*性质.这里主要利用Φ*嵌入子群进一步研究有限群的结构,特别地,得到了群G可解的一些新判别准则.     

Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析

对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.     

Segal代数S_p(G)的近似单位元

设G是局部紧的交换群,G是它的对偶群,S(G)是群G上的一个Segal代数,即S(G)是L_1(G)的一个平移不变子代数,并且对任何f∈S(G)以及任何x∈G有‖τ_xf‖s=‖f‖s,其中τ_x是平移算子,τ_xf(y)=f(y-x),同时x→τ_xf是G→S(G)的连续映射。此外,S(G)中的范数和L_1(G)中的范数满足下列关系:‖f‖_1≤C‖f‖s,f∈S(G),C是常数。同时,S(G)在L_1(G)中(按范数‖‖1,)稠密(关于Segal代数的知识可参见[6])。又设S_p(G)(1≤p<∞)是S(G)的一个子代数,其元素f的Fourier变换f∈L_p(G),在S_p(G)中定义范数为‖f‖S_p=‖f‖S ‖f‖p。我们知道,S_p(G)也是一个Segal代数。     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

“真空的真空”的存在性问题

许多科学家包括诺贝尔奖获得者李政道教授都预言,真空是未来物理学的一个重要研究对象.十七世纪的伽利略时代人们曾讨论过"真空"是否存在的问题.当时的学术界分成两派,一派以帕斯卡为代表,认为真空存在,另一派以笛卡尔为代表,认为真空不存在,最后实验证明"真空存在派"正确.现代研究表明,真空并非一无所有,这样就产生了一个新的问题"排除了真空物质后的空间",即"真空的真空"是否存在.本文探讨了与"真真空"有关的问题,提出了一些观测实验方法,这些方法可以帮助我们最终解答"真真空"的存在性问题.     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

人-自观念演进的否定之否定

在人与自然界的关系的演进过程中,形成了与不同文明时期相适应的人-自观念。从＂天人合一＂到＂人定胜天＂再到＂和谐共生＂,这是人-自观念演进的肯定、否定、否定之否定的辩证发展过程,也是一个合乎规律的过程,它们都是时代的产物,都包含着不同程度的合理的因素,我们必须对它们进行具体的辩证的分析。     

老年人生活空间移动性影响要素研究进展

 老年人生活空间移动性是老年人在日常生活中能动生活状态的重要表征。在梳理老年人生活空间移动性相关概念、测度方法基础上，分析了物质环境要素和非物质环境要素对老年人生活空间移动性的影响；提炼出有效支持老年人生活空间移动性的中观环境规划、微观环境设计和政策文化扶助层面的策略；指出了老年人生活空间移动性的研究建议和发展方向。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题，人们往往是从行政许可实施违法的角度进行研究，而对于设定违法及其责任追究的探讨却相对薄弱。然而。行政许可设定一旦违法，其对相对人和社会公共利益的损害将会更大，因此，对许可设定的违法及其责任问题进行研究，以避免违法行政行为的发生，促进政府依法行政，不仅必要而且是非常有意义的。     

曲面"侧"概念的"参照物"理解法

曲面“侧”是一个重要而难以理解的概念,本文对曲面“侧”概念的讲授方法进行了探讨,给出了曲面“侧”概念的“参照物”理解法,通过实践证明,效果良好。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

动量守恒定律和动量矩守恒定律的正确表述

现行力学教材和普通物理教材大都把动量守恒定律和动量矩守恒定律视为质点组动量定理和动量矩定理的推论，忽视了守恒星的本质意义，是不正确的．本文绘出正确表述．