排序方式: 共有36条查询结果,搜索用时 531 毫秒
1.
在不使用系统£*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统£*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统£*的满足性定理和紧致性定理,其结果完善了系统£*的理论体系. 相似文献
2.
详细介绍了CIPN模型下的接入网的优点、技术实现方法和物理构成,阐述了CIPN模型下的接入网,为将来城域网组成建设提供了新思路. 相似文献
3.
R_0-代数上的滤子拓扑空间 总被引:1,自引:0,他引:1
周红军 《山东大学学报(自然科学版)》2012,(4):110-115
在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。 相似文献
4.
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子△↓的△↓-解释,也需要用到选择公理,另外指出了已有代数证明的不足之处,并作了修正。 相似文献
5.
6.
基于MM440变频器和S7-300PLC的定氧加铝系统 总被引:1,自引:0,他引:1
针对炼钢工序中定氧加铝系统的工艺及控制要求,基于西门子S7-300 PLC,MM440变频器和现场总线技术设计了定氧加铝自动控制系统,PLC和MM440之间采用PROFIBUS DP现场总线技术进行通讯。运行结果表明,该自动控制系统运行稳定,具有良好的准确性、快速性和即时性等。 相似文献
7.
基于水泥浆的微观结构和力学模型,研究了混凝土徐变发生的几种机理,揭示了徐变的生是由于混凝土在持载作用下混凝土内部水分的运动以及与外界环境发生水分交换而引起的.考虑环境温度升高加快了水泥的水化反应速率和水分的蒸发速率,混凝土的早期强度发展加快,收缩减小,因而徐变减少;另一方面,温度升高降低了水泥浆中水的粘滞性,又增加了混凝土的徐变.研究中采用了国外学者的试验图表,分析了环境温度升高时混凝土徐变的变化规律.研究结果表明,混凝土早期短时间暴露在炎热干燥的环境中有利于降低徐变,而长时间处于高温环境中(<70℃)的混凝土的徐变将随温度的升高而增大. 相似文献
8.
9.
模糊蕴涵在模糊逻辑和近似推理领域中发挥着非常重要的作用。 不同的构造方法可以生成不同的模糊蕴涵, 其中常见的模糊蕴涵类有(S,N)-蕴涵、 R-蕴涵、 QL-蕴涵和Yager蕴涵等。 从经典逻辑中的重言式p→q≡(p∧q)出发, 在模糊逻辑中研究由三角模T和模糊否定N按上述方式生成的模糊蕴涵, 称为(T,N)-蕴涵, 进而研究(T,N)-蕴涵的一些基本性质, 包括输入律与分配性等。 最后讨论(T,N)-蕴涵与 f-蕴涵、 g-蕴涵、(S,N)-蕴涵和R-蕴涵间的关系。 相似文献
10.
针对三角模基于单调函数的左连续伪逆的构造法无法直接对偶到三角余模上的情况,提出利用单调函数的右连续伪逆和准逆构造三角余模的方法,找到了与三角模的左连续伪逆构造方法的相对方法。研究了闭区间上单调函数的右连续伪逆的基本性质,分别利用单位闭区间上单调不减函数的右连续伪逆与准逆给出了三角余模的多种构造方法,并通过具体实例加以验证。 相似文献