量化单一带标公式的消解

在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解决这类公式的可满足性问题。最后,根据消解算法,得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类。     

强正则带与完备正则带

引入了强正则带和完备正则带的概念,用强加细半格和完备加细半格分别对它们的结构加以描述,并且讨论它们之间以及它们与一般正则带、正规带之间的关系。     

极大子群的次正规完备与有限群的可解性

利用有限群的特殊极大子群的正规完备和次正规完备对有限群可解性进行研究,给出了有限群可解的几个充分必要条件,这些结论是对已有的有限群刻画的补充和推广.     

关于弹性力学的Boussinesq和Love解

如果弹性区域满足4个条件,Noll和Gurtin证明了Boussinesq和Love解是完备的。在本文中,将证明对Boussinesq解的完备性而言,上述4个假设是不必要的,而对Love解的完备性,只需2个假设就足够了。     

中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

L—不分明完备映射

本文以良紧性理论为基础引入了L-不分明完备映射的概念,证明了这种映射是可乘的.基于文中所证明的L-不分明闭映射的几个刻划定理,展开了关于L-不分明完备映射的不变量和逆不变量的讨论,建立了较为理想的L-不分明完备映射理论.     

不可满足公式的完备证明系统

合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。     

有限群的σ-半次正规子群

令G是一个有限群.如果G中存在子群K,满足G=HK,且对任一K₁1相似文献   

向量映射的非线性标量化函数的性质及应用

引入了拓扑向量空间上向量映射的标量化函数的概念,证明了向量函数的下(上)半连续性和凸性可以遗传给对应的标量化函数.利用这些性质得到向量优化问题弱有效解存在的充分条件.     

正规带的张量积与极小正规带同余

证明在半群范畴中,两个半群的张量积的极大正规带同态象恰好是这两个半群极大正规带同态象在正规带范畴中的张量积.     

曲梁剪应力的积分方程解

直接对曲梁剪应力的积分方程求解 ,导出了曲梁剪应力和径向应力的计算公式 .这些公式不仅满足平衡方程 ,而且满足曲梁上、下表面处力的边界条件 .将该理论用于研究悬臂曲梁在自由端受集中力作用的情况 ,计算结果表明 ,与其他采用附加假设的近似解相比 ,据此得到的应力解具有很高精度 ,同弹性理论解和有限元解非常接近 .     

广义随机2-D离散系统的统计特性

广义随机2-D离散系统的研究因系统的复杂性而进展缓慢。为对该系统的状态向量估计和最优控制进行后续研究，该文利用系统的状态变量表达式，讨论系统状态的统计特性。在系统具有正则无穷远极点和奇异无穷远极点的条件下，得到了系统状态向量的均值、方差阵及协方差阵的计算公式。     

钢管高强混凝土承载能力计算公式适用性分析

通过实测的钢管高强混凝土短柱的承载能力与目前常用的钢管混凝土承载能力计算公式的计算结果进行对比,从而找出适用的计算公式。结果表明,欧洲规范和Good C.D.提出的公式低估了钢管高强混凝土的承载能力;JCJ01-89提出的公式有局限性,在含钢率超过13.6%后将低估其承载能力;用我国规程CECS28-90中提出的计算公式来计算钢管高强混凝土的承载能力最为准确。     

强连通强符号非异带号有向图的特征刻画

强符号非异矩阵 (简称S2 NS矩阵 )在定性矩阵理论的研究中有重要意义 .据此研究与S2 NS矩阵直接相关的S2 NS带号有向图的特征刻画问题 .一个带号有向图S称为是S2 NS带号有向图 ,若S中所有圈的符号均为负 ,且S中任意两条同始同终的路均同号 .注意到在此定义中所涉及到的两个条件都不能用多项式算法来进行验证 .这里首次给出强连通情况下S2 NS带号有向图S的一个可以用多项式算法进行验证的特征刻画     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

量子力学中的守恒量

文章论述了量子力学中的守恒量与对称性的关系,具体讨论了空间平移不变性与动量守恒、空间转动不变性与角动量守恒、时间平移不变性与能量守恒的关系.     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

非对称线型体外预应力梁自振频率特性分析

体外预应力技术在结构加固等方面具有独特的应用优势.为了全面分析体外索各种线型布置下体外预应力梁的动力性能,运用结构动力学知识给出了较为精确的体外索非对称线型布置的体外预应力简支梁自振频率计算公式.Ayaho Miyamoto等人给出的只适用于体外索对称线型布置的体外预应力梁自振频率计算公式在取相应的对称线型系数时,经验算,与其是一致的,因此体外预应力自振频率计算公式得以修正和扩充.     

中文电子文档的数学公式定位研究

区别于传统基于图像和西文文档的公式定位方法, 针对中文电子文档的特点, 提出一种基于机器学习和规则相结合的独立公式和内嵌公式的定位方法。设计了适合中文文档的页面分行策略和词块划分规则; 选择适合中文文档的公式特征和机器学习算法; 针对公式定位中的过分割问题, 提出行合并与词块合并等后处理手段。实验结果表明, 该方法可以有效地从中文电子文档中自动定位公式区域。此外, 构建了公开可用的中文数据集, 以促进不同数学公式定位方法间的相互比较及性能评估。