关于事实反驳与一般假说的开放逻辑

最近李未给出了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论.开放逻辑的一个重要概念就是假说重构.开放逻辑的其它重要概念如认识进程等的定义及其有关性质都可依赖于假说重构的概念而得到.假说重构有两种:N-重构和R-重构,从构造上说,N-重构较为简单,R-重构较为复杂.故R-重构可以说是建立开放逻辑的关键.而R-重构相应的模型论概念是理想事实反驳,因而对事实反驳的进一步研究无论对开放逻辑本身,对开放逻辑在知     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

书面语言中情绪信息的加工

语言不仅能够表达概念信息,也能承载情绪信息.研究语言中蕴含的情绪信息加工,对情感神经科学和语言理解的研究都具有重要意义.行为学、脑电和磁共振成像的研究表明,在不同加工阶段,情绪词中情绪信息的加工既表现出自动化加工又表现出控制性加工;情绪词语加工具有优先性和优势性,词汇加工的网络受到了情绪加工网络的影响.当情绪词出现在句子中时,情绪凸显性使情绪词语的加工优先于句子水平上的语义加工.另外,句子水平上情绪信息加工的研究发现,情绪性句子可以激活情绪加工相关的脑区,并且相比中性句子可以更强地激活语言加工相关的脑区.因此,语言网络与情绪网络有着复杂的联系.     

K—致凸空间与K—致光滑空间

在Banach空间几何研究(特别是凸性与光滑性的研究)中,相互共轭关系的研究占据着重要地位。因此,一旦给定某种凸性C(或光滑性S),并且凸性C(或光滑性S)被广泛研究时,合理引进并研究凸性C(或光滑性S)的对偶概念——某种光滑性(或凸性)显得尤为重要。     

K—致凸空间与K—致光滑空间

<正>在Banach空间几何研究(特别是凸性与光滑性的研究)中,相互共轭关系的研究占据着重要地位。因此,一旦给定某种凸性C(或光滑性S),并且凸性C(或光滑性S)被广泛研究时,合理引进并研究凸性C(或光滑性S)的对偶概念——某种光滑性(或凸性)显得尤为重要。     

基于连续值逻辑■上拓扑中仿紧性的刻画

文献[1]给出了基于连续值逻辑(?)上拓扑(简称不分明化拓扑)的定义,并用逻辑的语义方法讨论了有关性质。继而文献[1]的作者又深入讨论了紧性、一致性等拓扑学中重要内容。那么,人们广为关注的拓扑学中另一个重要内容——仿紧性在此类拓扑中又如何刻划呢?本文的定理回答了这个问题,即得到了在T_3条件下的四种等价刻画。文中涉及的术语与记号     

科技译文中的似是而非

科技翻译以正确理解为本(第一标准),以简洁通顺为第二标准。但近年来,某些科技刊物的汉译文中的似是而非的句子,屡见不鲜。现摘得数例,按其失误原因和性质,列举分析于下。一、望文生义汉译时,没有深入分析原句的语言现象和逻辑内容,更没有注意词和句子与上下文的联系,而是凭主观猜想进行翻译。     

仿紧性的一个刻画(Ⅱ)

一、引言及预备概念 五十年代,在附加T_2或正则分离性的条件下E. Michael给出了仿紧性众所周知的一系列基本刻画。1967年Mack首先对不附加分离性的仿紧空间得到了很好的刻画。其后,Junnila在文献[2—4]中进一步发展和丰富了这方面的成果。本文继续这一方面的工作。我们修改Junnila研究次亚紧性的技术用于研究仿紧性;引入局部星形F~*-加细序列的概念并用它给出仿紧性的新刻画,即后面的定理。     

多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

广义Kac-Moody代数模的权链与权集

广义Kac-Moody代数的概念是由Borcherds首先引入的,普通Kac-Moody代数的许多结果都可推广到其上去(详见文献[1]和[2]中§11.13),本文讨论了广义Kac-Moody代数模L(A)的权链和权集的某些性质.设A=(a_(ij))_(n×n)为一实矩阵且满足(Cl)a_(li)=2或a_(ii)≤0,(C2)a_(ij)≤O,如果i≠j;a_(ij)∈Z,如果a_(ii)=2,(C3)a_(ij)=O当且仅当a_(ji)=0,     

复数代数无关性判别法则

我们得到下列的复数代数无关性判别法则,其中推论A·3就是习知的Durand判别法(Comp.Math.,35(1977),3:259—267)。设是有限或无限非空集,用γ,n_0等表示与n无关的正常数,O(n|……)表示Durand函数,其定义及性质见上面所引     

聚酮聚肽类天然产物生物合成过程中“多余”结构单元的引入、去除及其生物学意义

来源于动植物或微生物的天然产物,特别是聚酮类(polyketides,PKs)、非核糖体聚肽类(non-ribosomal peptides,NRPs)及其杂合化合物,由于其广泛而良好的生物活性而在现代医药产业中占有重要地位,引起人们极大的研究兴趣.近年来,在PKs,NRPs及其杂合类化合物的生物合成研究中,一些结构单元先被引入,再在后续反应中被去除的现象在某些分子中陆续被发现.这些结构单元包括脂肪酰基、氨基酸残基、非天然氨基酸残基和脂肪酰基-氨基酸等,其引入往往发生在聚酮合成酶或聚肽合成酶的装配线上,而去除发生在线下,并且去除机制差异巨大.更特别的是,这些结构单元看似多余,但实际上起到了非常重要的作用,例如作为生化反应的保护基团、控制后续生化反应指导分子组装、特殊的自身抗性保护机制等等.本文总结了2000年以来报道的这一类分子中额外结构单元的引入以及去除的生化过程,探讨这一过程在生命活动中的重要作用,从这些有限的例子中发现一些规律,为分析其他复杂生化反应和生物体生命活动提供线索,为其他化合物的生物合成途径研究提供参考,并且可以作为基因信息与化合物结构关联的重要桥梁为现代生物信息学分析提供依据.     

Morita系统环的IBN性

在环论研究中,IBN(不变基数)性质(参见文献[1])是一个非常重要的性质,只有在IBN环上的自由模才可定义其维数和秩,IBN环在代数K-理论和拓扑学中也有应用.另一方面,Morita系统环(ring of Morita context)是一个包含众多环类的非交换环,如矩阵环、自同态环和环的Morita等价等,它的IBN性引起人们的兴趣.本文证明了若M为有限生成右S-模,N为有限生成左S-模,则T为IBN环当且仅当R或S为IBN环.这一结果使许多重要的已知结论成为特例.     

并联机构的等价关系和偏序关系在机构综合与自由度分析中的应用

并联机构的运动类型(或运动模式)指的是机构末端执行器可实现的刚体运动的集合, 它是所有支链运动类型的交集. 作为非瞬时自由度并联机构一个主要运动学特性, 运动类型在局部具有刚体变换群(或特殊欧氏群)的子流形(或特别地具有Lie子群)结构. 基于这个子流形性质和子流形簇的概念, 我们定义了运动类型以及并联机构的等价关系和偏序关系: 如果两个运动类型在SE(3)单位元的某一开邻域内一致, 那么我们称这两个运动类型等价; 如果其中一个运动类型在SE(3)单位元的某一开邻域内为另外一个的子流形, 那么我们称这两个运动类型之间具有序关系, 并由此定义了并联机构的一种偏序关系, 研究了运动类型和并联机构的等价与偏序关系, 并给出了其在并联机构综合、自由度分析和非过约束构型等方面的应用.     

泛系方法论、泛系逻辑与智能科学的一些问题

一、泛系方法论与泛系逻辑泛系方法论是关于侧重关系、关系转化与泛对称(广义对称)的一种一般事理研究与广义系统研究,它与思维科学或认知心理学结合而形成了泛系逻辑.泛系方法论与泛系逻辑从特有的侧面对逻辑学、认知心理学、开发运筹与智能科学开展了一些新的基础性探索,部分地拟化了逻辑学、认识论与方法论三者的一致性以及某些事物的典型的辩证规律.泛系方法论和泛系逻辑有七种基础性的概念,简称为泛系基本概念或泛系概念,它们是:     

允许修改推理规则的开放逻辑

最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献[2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。     

中国玉米螟虫的性信息素

我国玉米螟曾被鉴定为Ostrinia nubilalisH(?)bner,但Mutuura等认为是O.furnacalisGuen(?)e,O.furnacalis的性信息素未见载于文献,而O.nubilalis的早有大量报道,其主要成份为顺或反-11-十四烯醇乙酸酯(Z或E11-14:Ac).此外另一同属异种为害玉米的O.obumbratalis (Lederer)在田间也能为1:1的Z及E11-14:Ac混合物所引诱.但我们及兄弟单位均曾进行过田间试验,不论Z或E11-     

ЭТО的用法和译法

一词在各种文章中经常见到,在科技文章中也不例外。当同志们一见到,头脑中很快出现:是指示代词变来的中性第一格或第四格,中文可译成“这个”。这只是一个方面的用法和译法。此外,还可在不同的句子结构中可译成“这是”;“(这)正是“,“(这)就是”;有时甚至不译出来……     

族性结构中包孕的确定结构的穷举生成

自Kekule以后,化学家就一直把分子的结构式作为描述化合物的重要手段.然而,族性结构的计算机处理问题,由于其自身的复杂性,至今未能完全解决.族性结构就是指用一个式子隐含多个化合物的一种化学结构表达方式.这一表达方式首先由美国人Markush在1925年向美国专利局申请专利时,为了不使竞争者用对发明作细微修改后就能避开专利保护而采用的.因此,族性结构有时也被称为Markush结构.由于在结构式中采用了一个或数个可变部分,而可变部分由一系列结构碎片(基团)所定义,因此族性结构能对应于一类物质.族性结构的这一特点决定了它的计算机处理系统不能采用对族性结构所代表的所有化学物质(确定结构)逐个都进行描述与存储,而只能存储能穷尽地产生所有这些确定结构所需要的信息.当需要知道族性结构所包含的确定结构时,再由这些信息来产生它们.本工作主要是介绍用于这一目的的从族性结构获得其所包含的确定结构的穷举生成.     

格值模型力迫法

Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。