具有Barcan公式的若干正规量词模态系统的代数语义

对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S~*关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献[1]那样,通过验证性质(E)去证明。但是,除极少数系统外,(E)的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献[2]与[3]中的工作和高恒珊在文献[4]     

变量极小公式复杂性

基于逻辑公式的极小变量集合的需求, 研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质. 引入等价关键变量和可满足关键变量概念, 证明它们的判定复杂性分别为NP-完全和D^P-完全. 通过等价关键变量和可满足关键变量, 分别定义VME和VMS. 证明了Unique-SAT VMS VME SAT, 其中Unique-SAT是具有唯一成真赋值的公式类. 进一步证明VME是NP-完全, VMS属于D^P且是coNP-难.     

大气和海洋短期运动与守恒及非守恒格式的关系

针对大气和海洋系统的短期运动, 以一维浅水波方程为例, 对守恒格式与非守恒格式的计算稳定性进行了比较分析, 指出守恒格式与非守恒格式的计算稳定性在本质上是完全不同的. 在此基础上, 进一步讨论了大气和海洋系统的短期运动与守恒及非守恒格式之间的关系. 数值试验证明, 对大气和海洋系统的短期运动问题, 用所构造的平方守恒格式进行数值求解是稳定的, 而用中央差格式(CTCS)非守恒格式则是不稳定的. 所以用平方守恒格式解决这类问题有更多的优势.     

惊厥剂青霉素和抗惊厥剂苯巴比妥钠对小鼠全脑薄片摄取~3H—GABA的影响

至今已有较多的工作证明,青霉素具有产生惊厥的药理作用,而苯巴比妥钠则是一种有效的抗惊厥剂。虽然二者的作用机制还不完全清楚,但许多工作表明它们是通过改变中枢神经系统(CNS)中抑制性神经递质——r-氨基丁酸(GABA)的生理活性而发生作用的。文献[7]曾报道了小鼠不同脑区存在着两种GABA摄取系统,即高亲和性及低亲和性GABA摄取系统,并且证明另一种具有抗惊厥药理作用的化合物氨氧乙酸(AOAA)只抑制     

超对称多重三波相互作用模型的量子可积性

量子完全可积系统是近年来十分活跃的研究领域,经典Yang-Baxter方程和量子Yang-Baxter方程在经典和量子完全可积系统理论中起着核心作用.1973年,Gaudin给出了一类新的完全可积量子模型,正如Faddeev首先注意到的,这些模型可以与经典Yang-     

几何定理机器证明20年

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今20年,几何定理机器证明的研究和实践有了很大的进展。对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,消点法、搜索法更能生成其可读的证明。几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破。研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用。     

遗传算法优化求解排课问题的应用研究

排课问题是一个有约束的、多目标的组合优化问题,并且已经被证明为一个NP完全问题,运用计算机进行自动排课既是高校教务管理的迫切需要,同时也有重要的理论意义,本文的目的就是要找到一种解决这种复杂问题的方法.     

“吴方法“与吴文俊

1978年,一位中国学者正式发明了几何定理机器证明的新方法,这就是举世公认的“吴方法”。应用这种方法,使欧氏几何定理的证明完全实现了机械化。利用它,人们便能借助计算机很快地重新验证已经证明过的定理,这些定理要是用传统方法来证明的话,难度之大是不可想象的。     

完全分配格上保并映射类的交运算

文献[1]给出关于保并映射类中交运算的一个公式。本文将指出在几乎所有完全分配格中,这个公式是不成立的。也就是说,原证明是不对的。我们只在添加一个自然条件后,才可以给出该公式的证明。     

不存在4k(k>1)阶完全循环的Hadamard矩阵的猜想的证明

在文献[1]中综述过Hadamard矩阵(以下简称H阵)的研究状况。不存在4k(k>1)阶完全循环的H阵,是未证明的猜想之一。我们将证明它。为此,先引入     

拓扑线性空间中的紧集

本文给出了有关拓扑空间中紧集定理的一个新证明 ,从而完善了 [1,2 ]中的有关结果 .　　紧集是拓扑空间中最基本、最重要的结构之一 .它一直是人们研究的热点问题 .[1,2 ]中有关拓扑线性空间的定理证明 ,均有不妥之处 .本文给出了一种新的证明 ,从而完善了上述结果 .　　设Ａ为线性拓扑空间中的集合 ,Ａ称为紧集是指Ａ的任意开覆盖均有有限子覆盖 .Ａ称为完全有界集是指对零点的任一邻域Ｖ ,都有ｚ1,ｚ2 ,… ,ｚｎ∈Ａ使Ａ ∪ｎｉ=1 (ｚｉ Ｖ) .Ａ称为完备的是指Ａ中任意Ｃａｕｃｈｙ网均收敛于Ａ中一点[1,2 ] .　　定理[1,2 ] 　设Ａ为线…     

关于Niederreiter,Robinson的一个问题

Niederreiter和Robinson(J. Austral. Math. Soc.,(ser A),33(1982),197—212)最近证明,对q为奇数的有限域F_q,F_q上任何完全映射多项式的简化次数不超过q—3。他们指出,决定上述结果对偶数q是否成立,是一有趣的问题。我们肯定地解决了这个问题,证明了     

昆虫复眼晶锥的结象可能是完全的

Maxwell鱼眼是一个无象散完全结象系统.人们对于昆虫复眼,有一个逐步加深的认识过程. 文[2]中的图3是北京萤火虫(Pyrococelia     

可积系统的Lax代数

文献[1]给出一个方法来证明AKNS系统的Lax算子构成一个无穷维Lie代数.如何将这方法推广到一般可积系统是本文的主要目的.记号基本按文献[1].在此先分析其方法的主要步骤.     

求解析取范式永真性问题的一个近似快速算法

NP完全问题是一类在计算复杂性理论中被证明为较难求解的问题,这类问题中包含有很多在理论和实际中很有意义的问题。NP完全问题中的一个问题的对偶问题若存在快速(多项式意义下)的求解算法,则所有NP完全问题都有快速的求解算法。但目前人们还没有找到一个求解NP完全问题的真正快速算法,并且有迹象表明求解NP完全问题的真正快速算法是不存在的。本文针对一个典型的NP完全问题的对偶问题——析取范式永真性     

Ляпунов方法在充液腔体旋转运动稳定问题中的应用

处理连续系统的运动稳定问题通常有二种办法:一种为简正模方法(Normal mode approuch);另一种为整体法(Global approuch),包括直接方法和能量法。前一方法要和后者等价必须假定本征模是完全的(个别情形能证明)。在最近三十年来,直接方法推广到连续系统已取得很大进展。在文献[3]中,我们应用简正模方法处理了充液腔体整体旋转运动的稳定问题。现有的     

高维Hadamard矩阵的几个猜想之证明

本文所指的猜想(d,e,c)出自文献[1]的第Ⅵ节。下面我们将证明:猜想d与e是正确的,猜想c可以举出反例。 猜想d:由m~2Hadamard矩阵可以造出m~2完全正常的Hodamard矩阵。下面定理1就是一种证明。     

问题征解(5)

试证明2~p 3~p不可能是完全乘幂,其中p为素数。截止期:1991年12月10日(以邮戳为凭)。优胜者名额:50名。     

非线性非保守连续系统的类能量守恒量

非保守系统的特征是能量不守恒, 为探讨非保守系统是否可能存在具有能量量纲和正定性的守恒量, 分析了计及几何非线性的轴向运动梁的弯曲振动. 基于系统的控制方程, 对于两端简支和固支两种边界条件, 证明了系统能量不守恒. 构造了具有能量量纲的正定量并证明该量在运动过程中守恒. 应用该守恒量证明了直线平衡位置的稳定性. 研究表明非线性非保守连续系统可能存在类能量守恒量.     

黄土中石英粉砂的热发光及黄土地层年龄测定的初步研究

热发光是晶体被加热到红热温度之前发射的光.它主要是由品格缺陷以捕获电子的一形式贮存起来的电离辐射能,在加热过程中又以光的形式释放出来.热发光的机制目前尚未完全清楚,但大量实验证明,若不受其他因素干扰,晶体的热发光强度与晶体中所积累的辐射剂量之间呈线性关系.这就为热发光技术用于考古、地质样品的年龄测定提供了可能性.近十年来,热发光技术已成功地