期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
(Q)格值模型的省略型定理 被引量:1
1
作者 王捍贫 谢惠扬 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第3期409-413,共5页
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。
关键词 广义量词 格值模型 省略型定理 格值逻辑
在线阅读 下载PDF
L(Q)格值模型的初等子模型(英文)
2
作者 谢惠扬 王捍贫 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第5期623-629,共7页
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理 。
关键词 广义量词 格值模型 初等扩充 初等子模型 完备弱可补格 线性序弱可补格
在线阅读 下载PDF
_(ω1ω)语言格值模型论的省略型定理及其应用
3
作者 别荣芳 《北京师范大学学报(自然科学版)》 CAS CSCD 1996年第3期307-311,共5页
利用和谐性质的方法给出_(ω_1ω)片断上的省略型定理。作为应用,对中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u为素模型的充要条件,并给出了原子模型与素模型之间的关系。
关键词 格值模型 模型 无限语言 省略型定理 模型
在线阅读 下载PDF
两个初等等价的不同构的有限格值模型
4
作者 沈云付 《北京师范大学学报(自然科学版)》 CAS CSCD 1994年第3期317-320,共4页
在二值模型论中,2个初等等价的有限模型必定同构,但本文构作一个反例证明同样的结论在格值模型论中不成立,因而Keisler-Shelah同构定理也不成立。
关键词 格值模型 初等等价 同构
在线阅读 下载PDF
研究格值模型论的一种新方法
5
作者 张玉平 《北京师范大学学报(自然科学版)》 CAS CSCD 1992年第4期420-425,共6页
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
关键词 多值模型 紧致性 格值模型
在线阅读 下载PDF
Characteristics of unsteady flow in porous media while considering threshold pressure gradient with Green's function 被引量:2
6
作者 曹仁义 陈岭 +2 位作者 Y.Zee Ma 刘雪莹 于柏慧 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第1期201-208,共8页
The flow behavior in porous media with threshold pressure gradient(TPG) is more complex than Darcy flow and the equations of motion, and outer boundary and inner boundary with TPG are also different from Darcy flow fo... The flow behavior in porous media with threshold pressure gradient(TPG) is more complex than Darcy flow and the equations of motion, and outer boundary and inner boundary with TPG are also different from Darcy flow for unsteady flow of a producing well in a reservoir. An analytic method to solve this kind of problem is in a need of reestablishment. The classical method of Green's function and Newman product principle in a new way are used to solve the unsteady state flow problems of various shapes of well and reservoir while considering the TPG. Four Green's functions of point, line, band and circle while considering the TPG are achieved. Then, two well models of vertical well and horizontal well are built and simultaneously the function to calculate the moving boundary of each well model is provided. The results show that when considering TPG the pressure field is much different, which has a sudden pressure change, with a moving boundary in it. And the moving boundary of each well model increases with time but slows down rapidly, especially when the TGP is large. 展开更多
关键词 non-Darcy flow Green's function moving boundary threshold pressure gradient (TPG)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部