强模态归结

研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．     

DISCOVERY OF MICROFOSSILS FROM THE 1848－MA－OLD CHANGZHOUGOU FORMATION，JIXIAN SECTION，NORTH CHINA

ＤＩＳＣＯＶＥＲＹＯＦＭＩＣＲＯＦＯＳＳＩＬＳＦＲＯＭＴＨＥ１８４８－ＭＡ－ＯＬＤＣＨＡＮＧＺＨＯＵＧＯＵＦＯＲＭＡＴＩＯＮ，ＪＩＸＩＡＮＳＥＣＴＩＯＮ，ＮＯＲＴＨＣＨＩＮＡＺｈａｎｇＺｈｏｎｇｙｉｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＥａｒｔｈＳｃｉｅｎｃ...     

MAGNETIC RELAXATION AT EARLY TIMES AND FLUX DIFFUSION BARRIER V（J，B，T） FOR Ti－1223 DOPED WITH Pb AND Ba BY COMPLEX AC SUSCEPTIBILITY MEASUREMENTS

ＭＡＧＮＥＴＩＣＲＥＬＡＸＡＴＩＯＮＡＴＥＡＲＬＹＴＩＭＥＳＡＮＤＦＬＵＸＤＩＦＦＵＳＩＯＮＢＡＲＲＩＥＲＶ（Ｊ，Ｂ，Ｔ）ＦＯＲＴｉ－１２２３ＤＯＰＥＤＷＩＴＨＰｂＡＮＤＢａＢＹＣＯＭＰＬＥＸＡＣＳＵＳＣＥＰＴＩＢＩＬＩＴＹＭＥＡＳＵＲＥＭＥＮＴＳＤ...     

LINEAR STABILITY OF TWO－LAYER GENERALIZED NEWTONIAN FLUIDS FLOWING DOWN AN INCLINED PLANE

ＬＩＮＥＡＲＳＴＡＢＩＬＩＴＹＯＦＴＷＯ－ＬＡＹＥＲＧＥＮＥＲＡＬＩＺＥＤＮＥＷＴＯＮＩＡＮＦＬＵＩＤＳＦＬＯＷＩＮＧＤＯＷＮＡＮＩＮＣＬＩＮＥＤＰＬＡＮＥ￥ＷａｎｇＰｅｉｇｕａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｅｂｅｉＵｎｉｖ...     

POLYCYCLE－COMPOUNDING STRUCTURES AND REGIONAL LAYERSLIP－DIPSLIP SYSTEMS：IMPLICATIONS FOR THE TARIM BASIN，XINJIAN

ＰＯＬＹＣＹＣＬＥ－ＣＯＭＰＯＵＮＤＩＮＧＳＴＲＵＣＴＵＲＥＳＡＮＤＲＥＧＩＯＮＡＬＬＡＹＥＲＳＬＩＰ－ＤＩＰＳＬＩＰＳＹＳＴＥＭＳ：ＩＭＰＬＩＣＡＴＩＯＮＳＦＯＲＴＨＥＴＡＲＩＭＢＡＳＩＮ，ＸＩＮＪＩＡＮ￥ＳｕｎＹａｎ；ＪｉａＣｈｅｎｇｚａｏ（Ｄｅ...     

BIOGENESIS OF THYLAKOID MEMBRANES WITH RECONSTRUCTION OF CHLOROPHYLL-PROTEIN COMPLEXES IN DELETION-MUTANT OF ORF469 IN BLUE-GREEN ALGA

ＢＩＯＧＥＮＥＳＩＳＯＦＴＨＹＬＡＫＯＩＤＭＥＭＢＲＡＮＥＳＷＩＴＨＲＥＣＯＮＳＴＲＵＣＴＩＯＮＯＦＣＨＬＯＲＯＰＨＹＬＬ－ＰＲＯＴＥＩＮＣＯＭＰＬＥＸＥＳＩＮＤＥＬＥＴＩＯＮ－ＭＵＴＡＮＴＯＦＯＲＦ４６９ＩＮＢＬＵＥ－ＧＲＥＥＮＡＬＧＡＷｕＱｉｎ...     

n—RDS型李代数及其构造

本文通过对李代数理想格的讨论,研究李代数的结构。根据理想格满足的一些条件,给出李代数的一簇子类Ｒｎ,ｎ≥１,Ｒｎ中元素称为ｎ－ＲＤＳ型李代数。本文刻划了Ｒｎ的一些特性,并得到了关于特征零代数闭域Ｆ上有限维ｎ－ＲＤＳ型李代数的一系列结果,特别是,对ｎ≥２决定了所有ｎ－ＲＤＳ型李代数;证明了：对任何正整数Ｎ,存在Ｎ维可解１－ＲＤＳ型李代数。     

桥梁固有模态的识别

介绍了所编制的实桥环境随机振动测试数据处理及固有模态识别程序ＥＤＰＦＤＭ，该程序以频域法为基础，可对经实桥分组环境随机振动测试面得到的大量数据进行快速自谱、互谱及相位差和凝聚性分析，从而识别出桥梁的固有模态有对应的结构阻尼比的估计范围，以香港汲水门大桥固有模态环境随机振动测试为实例，结合用ＭＳＣ－ＮＡＴＲＡＮ通用程序的模态分析结果，证明了程序ＥＤＰＦＤＭ的效率和可靠性。     

THE INITIAL－BOUNDARY VALUE PROBLEM FOR THE SYSTEM OF THE SECOND ORDER COMPLEX EQUATIONS

ＴＨＥＩＮＩＴＩＡＬ－ＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＦＯＲＴＨＥＳＹＳＴＥＭＯＦＴＨＥＳＥＣＯＮＤＯＲＤＥＲＣＯＭＰＬＥＸＥＱＵＡＴＩＯＮＳＱｉｕＦｅｎｇ（邱峰）；Ｇｕｏｙｕｚｈｕ（郭玉柱）（ＢｅｉｊｉｎｇＮｏｒｍａｌＵｎｉｖｅｒｓｉｌｙ，...     

外源GA对垂柳茎部次生木质部和次生韧皮部发生的影响(简报)

外源ＧＡ对垂柳茎部次生木质部和次生韧皮部发生的影响（简报）张凤娟（河北农业技术师范学院基础部，昌黎，０６６６００ＥＦＦＥＣＴＳＯＦＥＸＴＥＲＮＡＬＧＡＯＮＳＥＣＯＮＤ－ＸＹＬＥＭＡＮＤＳＥＣＯＮＤ－ＰＨＬＯＥＭＯＦＷＥＥＰＩＮＧＷＩＬＬＯＷＳＴＥＭＳ...     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

模态逻辑系统S5的本原运算子集

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.