期刊文献+
共找到234,563篇文章
< 1 2 250 >
每页显示 20 50 100
腱-鞘微阴阳模型论治屈指肌腱腱鞘炎 被引量:1
1
作者 冯宇 《现代中医药》 2024年第1期46-50,共5页
目的通过构筑微阴阳模型来阐释屈指肌腱腱鞘炎发病的中医病理机制及临床常用中医疗法的效验机制。方法根据西医对屈指肌腱腱鞘炎的发病机理分析,结合“膜系理论”“筋节理论”等相关学说,构筑中医对腱鞘结构认知的“滑液鞘-纤维鞘微阴... 目的通过构筑微阴阳模型来阐释屈指肌腱腱鞘炎发病的中医病理机制及临床常用中医疗法的效验机制。方法根据西医对屈指肌腱腱鞘炎的发病机理分析,结合“膜系理论”“筋节理论”等相关学说,构筑中医对腱鞘结构认知的“滑液鞘-纤维鞘微阴阳模型”及“肌腱-腱鞘微阴阳模型”,用于阐释屈指肌腱腱鞘炎的中医发病机制,同时用“阴平阳秘”来解释常用治疗此病的中医疗法的有效性。结果构筑两种微阴阳模型能够在“体、用”两方面对屈指肌腱腱鞘炎的发病及治疗进行中医阐释。结论构筑微阴阳模型是中西医结合对屈指肌腱腱鞘炎诊治认识上的有效方法,是一种利用中医的阴阳理论阐释此类常见病诊治有效性的说理工具。 展开更多
关键词 屈指肌腱腱鞘炎 微阴阳模型 膜系 筋结
在线阅读 下载PDF
一般原型——模型论在翻译研究中的应用
2
作者 赵联斌 《海外英语》 2010年第7X期171-174,共4页
一般原型——模型论是一个在中国土生土长的理论。该文的目的是把这一理论运用到翻译研究之中。该文认为,在把原语文本翻译成译语文本的过程中,译者的任务是对原语文本尽可能百分之百的模拟。原语文本实质上是译语文本的原型,译语文本... 一般原型——模型论是一个在中国土生土长的理论。该文的目的是把这一理论运用到翻译研究之中。该文认为,在把原语文本翻译成译语文本的过程中,译者的任务是对原语文本尽可能百分之百的模拟。原语文本实质上是译语文本的原型,译语文本实质上是原语文本的模型。该文的研究表明,翻译的标准其实是适合与忠实,这种翻译标准给译者在翻译过程中的权限提供了很大的空间,译者并不是被动模拟,而是基于忠实基础上的主动模拟。译者翻译的目的是为了适应译语文本读者的需求。 展开更多
关键词 原型——模型论 原型 模型 模拟 适合 忠实
在线阅读 下载PDF
中介时序逻辑系统MTL的模型论性质 被引量:2
3
作者 施庆生 朱梧檟 《南京航空航天大学学报》 EI CAS CSCD 1996年第6期800-805,共6页
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形... 时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 展开更多
关键词 逻辑系统 模型论 中介时序逻辑
在线阅读 下载PDF
中介逻辑的模型论性质 被引量:2
4
作者 钱磊 周以铨 《南京航空学院学报》 CSCD 1992年第3期291-297,共7页
中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻... 中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。 展开更多
关键词 数理逻辑 模型论 结构 中介逻辑
在线阅读 下载PDF
模型论方法在格中的应用 被引量:1
5
作者 陆煜杰 陈国龙 《佳木斯大学学报(自然科学版)》 CAS 2019年第1期159-160,共2页
模型论方法在抽象代数,数论,拓扑学,概率论等领域有着重要的应用.运用模型论中的紧致性定理和完全理论对格中的相关性质进行研究,证明满足一定条件下的格是子格,完备∧-半格和完备格。
关键词 模型论 紧致性定理 完全理论
在线阅读 下载PDF
走向模型论的模态逻辑 被引量:1
6
作者 马明辉 《逻辑学研究》 2009年第1期62-77,共16页
增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理。由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念。因此,增... 增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理。由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念。因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数。我们把讨论各种模型论逻辑的方式转移到模态方面。 展开更多
关键词 模型论 一阶逻辑 模态逻辑 分级模态词
在线阅读 下载PDF
剪切流场中分散相液滴形变三维力学模型论证 被引量:5
7
作者 王亮 董守平 +3 位作者 周建平 郭长会 张明明 王会娟 《石油化工设备》 CAS 2011年第2期1-6,共6页
针对乳化液破乳机理研究中剪切流场作用下分散相液滴形变模型选择的问题,通过改进设计内、外桶反向旋转剪切实验装置,并结合数字图像处理技术,从实验的角度率先对液滴变形的基本模型进行验证,实验结果表明,液滴在剪切流场中发生三维力... 针对乳化液破乳机理研究中剪切流场作用下分散相液滴形变模型选择的问题,通过改进设计内、外桶反向旋转剪切实验装置,并结合数字图像处理技术,从实验的角度率先对液滴变形的基本模型进行验证,实验结果表明,液滴在剪切流场中发生三维力学变形。在此基础上进一步对其变形规律及变形机理进行了一定的实验及理论探讨,提出了液滴形变非仿射度概念。通过对剪切流场中变形液滴表面应力分布进行模拟,提出了更加准确的液滴模型描述方法,为今后精确变形液滴形态数学模型的建立打下基础。 展开更多
关键词 乳化液 破乳机理 剪切流场 液滴形变三维模型 非仿射度
在线阅读 下载PDF
中国石油企业跨国经营政治风险模型论纲 被引量:6
8
作者 戴祖旭 舒先林 《中外能源》 CAS 2007年第6期10-14,共5页
当今世界,国际经济与政治的关联度日益提高,企业国际化经营政治风险增大。国外跨国石油公司日益加强对政治风险的研究和监管。近年来,中国三大石油公司跨国经营面临的最复杂、最重大的风险当属政治风险。为此,有必要通过构建数学模型对... 当今世界,国际经济与政治的关联度日益提高,企业国际化经营政治风险增大。国外跨国石油公司日益加强对政治风险的研究和监管。近年来,中国三大石油公司跨国经营面临的最复杂、最重大的风险当属政治风险。为此,有必要通过构建数学模型对风险形成机理、发生概率及其影响进行实证研究,以期有效预测、识别和监管中国石油企业跨国经营的政治风险,从而既丰富企业风险管理理论,又科学指导中国石油企业跨国经营实践。 展开更多
关键词 中国石油企业 跨国经营 政治风险 数学模型
在线阅读 下载PDF
从知识创造螺旋机理模型论知识挖掘技术 被引量:5
9
作者 张瑞玲 《现代情报》 北大核心 2005年第10期166-168,共3页
知识已成为关键的企业竞争的经济资源,知识挖掘日益受到重视。本文从知识创造过程的认识论和本体论的角度进行研究,从知识创造的螺旋机理出发,指出了知识挖掘技术在从内隐到外显的知识创造过程中所起的重要作用。从Lotus OA系统构架出... 知识已成为关键的企业竞争的经济资源,知识挖掘日益受到重视。本文从知识创造过程的认识论和本体论的角度进行研究,从知识创造的螺旋机理出发,指出了知识挖掘技术在从内隐到外显的知识创造过程中所起的重要作用。从Lotus OA系统构架出发剖析了知识挖掘所涉及的主要技术。 展开更多
关键词 知识 SECI 知识创造螺旋机理模型 知识挖掘
在线阅读 下载PDF
格蕴涵代数的模型论性质 被引量:1
10
作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期546-550,共5页
讨论有关格蕴涵代数结构的模型论性质 ,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态 ,理论T不是完备的、也不是模型完备的 ,因而不存在内在Skolem函数。另外 ,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵... 讨论有关格蕴涵代数结构的模型论性质 ,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态 ,理论T不是完备的、也不是模型完备的 ,因而不存在内在Skolem函数。另外 ,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积 ,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。 展开更多
关键词 格蕴涵代数 模型完备 模糊超积
在线阅读 下载PDF
水库一维泥沙数学模型论证研究——以新疆玉龙喀什水库为例 被引量:12
11
作者 肖俊 《水利科学与寒区工程》 2022年第5期5-9,共5页
为验证一维泥沙数学模型理论计算结果的准确性,把水库泥沙理论计算结果与实际水库泥沙淤积做对比,使一维泥沙数学模型更具有现实意义。以新疆玉龙喀什水库为例,构建一维不平衡输沙数学模型对该水库进行泥沙冲淤计算,同时对数学模型的成... 为验证一维泥沙数学模型理论计算结果的准确性,把水库泥沙理论计算结果与实际水库泥沙淤积做对比,使一维泥沙数学模型更具有现实意义。以新疆玉龙喀什水库为例,构建一维不平衡输沙数学模型对该水库进行泥沙冲淤计算,同时对数学模型的成果及计算方法进行了验证,经过原型监测地形、物理模型及数学模型的佐证。淤积形态基本与本文的数学模型一致、淤积库容差异都很小。因此一维不平衡输沙数学模型的水库泥沙淤积计算结果具有合理性及可靠性。 展开更多
关键词 玉龙喀什水库 数学模型 物理模型 淤积形态
在线阅读 下载PDF
模型论视角下对正规多元模态逻辑的阐述(英文) 被引量:1
12
作者 刘佶鑫 《逻辑学研究》 CSSCI 2019年第3期79-101,共23页
本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n 元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML 的结果也被看作是有关K的结论的直接推广,... 本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n 元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML 的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML 对于K 的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML 的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML 做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem 刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML 具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。 展开更多
关键词 模态逻辑 模型论 代数证明 多元语言 PML 逻辑系统 构造方法 元逻辑
在线阅读 下载PDF
用熵和简化生态系统熵模型论生命及生存环境的关系 被引量:3
13
作者 余丽芳 宫瑞婷 《北京建筑工程学院学报》 2002年第1期87-90,共4页
本文依据热力学第二定律引入熵讨论了生命与能量以及生存环境的关系 ,利用简化的生态系统熵模型 ,分析了人与环境共同生存的矛盾 。
关键词 热力学第二定律 模型 生命 生存环境
在线阅读 下载PDF
机械性、地景风貌与自然姿态之间:数码电影的物质模型论
14
作者 韩坤妮 《电影评介》 北大核心 2023年第19期49-52,共4页
2023年在全球范围内造成较为强劲轰动效应的院线电影,主要代表是既有口碑又有票房的《芭比》(格蕾塔·葛韦格,2023)和《奥本海默》(克里斯托弗·诺兰,2023),它们在制作上都坚持采用了部分传统手法配合计算机数字特效技术,展现... 2023年在全球范围内造成较为强劲轰动效应的院线电影,主要代表是既有口碑又有票房的《芭比》(格蕾塔·葛韦格,2023)和《奥本海默》(克里斯托弗·诺兰,2023),它们在制作上都坚持采用了部分传统手法配合计算机数字特效技术,展现出数字技术与传统拍摄手法的结合,以及数码电影蕴含的物质性。数码电影的发行不需要传统的胶片,而是通过数字形式传输文件。这在一定程度上降低了发行成本,也避免了因胶片老化或磨损而导致的质量损失。 展开更多
关键词 数字特效技术 拍摄手法 克里斯托弗·诺兰 院线电影 奥本海默 数码电影 发行成本 模型论
在线阅读 下载PDF
模型论中有关代数闭域的一个性质
15
作者 张龙 陈国龙 万展翔 《佳木斯大学学报(自然科学版)》 CAS 2013年第3期467-468,共2页
模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.
关键词 代数闭域 理想 模型完全性
在线阅读 下载PDF
有关模型论的一个问题
16
作者 王振山 陈国龙 路凌峰 《佳木斯大学学报(自然科学版)》 CAS 2013年第1期152-153,共2页
模型论在抽象代数,数论等很多经典数学中有着广泛的应用.本文给出了任意实闭有序域H的一个性质,并给予了证明.
关键词 实闭有序域 佐恩引理 模型完全性
在线阅读 下载PDF
中值定理和最值定理的模型论证
17
作者 赖宇庭 《湖南广播电视大学学报》 2000年第3期77-78,共2页
本文运用模型理论证明了微积分中的“中值定理”和“最大值、最小值定理”,从另一角度解决了微积分中上述两定理的理论证明。
关键词 模型理论 微积分 定理证明
在线阅读 下载PDF
考虑局部胶结破损热力学行为的结构性黄土二元介质本构模型
18
作者 王番 郅彬 +4 位作者 刘恩龙 王小婵 邓博团 李金华 张辉 《岩土力学》 北大核心 2025年第1期97-109,共13页
建立考虑局部胶结破损机制的本构模型是黄土力学核心任务之一,是解决黄土工程稳定性分析/评价的关键理论基础。基于热力学方法和岩土破损力学,建立了一个宏-细观热力学本构模型,它能够定量描述局部胶结破损的热力学行为及细观尺度应力-... 建立考虑局部胶结破损机制的本构模型是黄土力学核心任务之一,是解决黄土工程稳定性分析/评价的关键理论基础。基于热力学方法和岩土破损力学,建立了一个宏-细观热力学本构模型,它能够定量描述局部胶结破损的热力学行为及细观尺度应力-应变非均匀分布特征,提高了模型对变形的预测精度,其在数学形式上同剑桥模型类似。首先,通过热力学能量守恒定律,确定结构性黄土压缩变形过程中的结构破损功数学表达式,并发现结构性黄土局部损伤耗散的热力学行为主要来源:(1)破损集合体与未破损集合体之间的相互摩擦作用;(2)未破损集合体向破损集合体转换时,部分细观结构破损的不可逆热力学行为。基于此认识,建立了考虑胶结破损热力学行为的宏-细观本构模型框架,并通过分析结构性黄土变形机制(摩擦+胶结+破损共同作用),确定其自由能、耗散能和破损耗散能表达式;推导了一个考虑体积破损和剪切破损演化规律的损伤屈服函数及本构关系。通过所建立本构关系对已有试验数据进行预测,验证其合理性。 展开更多
关键词 结构性黄土 本构模型 局部破损 热力学 二元介质模型
在线阅读 下载PDF
基于深度学习贝叶斯模型平均代理的油藏自动历史拟合研究
19
作者 张凯 陈旭 +3 位作者 刘丕养 张金鼎 张黎明 姚军 《钻采工艺》 北大核心 2025年第1期147-156,共10页
油藏自动历史拟合过程中,需要频繁调用数值模拟器进行正向计算,导致计算时间长、资源消耗大。基于深度学习的油藏数值模拟代理模型提供了一种快速计算油水井生产动态的替代方案。然而,单一神经网络产量预测代理模型在特征提取和学习能... 油藏自动历史拟合过程中,需要频繁调用数值模拟器进行正向计算,导致计算时间长、资源消耗大。基于深度学习的油藏数值模拟代理模型提供了一种快速计算油水井生产动态的替代方案。然而,单一神经网络产量预测代理模型在特征提取和学习能力方面存在局限性。基于空间特征构建的代理模型侧重于学习油藏渗流的空间特性,但忽视了时间维度;基于时空特征构建的模型虽然擅长捕捉时间序列特征,却在空间特征学习方面不足。为此,文章提出了一种基于深度学习的贝叶斯模型平均代理方法,利用贝叶斯模型平均方法对两种深度学习代理模型进行集成,结合二者优势,增强代理模型对油藏特征的多维度学习能力,从而提高预测精度。该方法进一步结合多重数据同化集合平滑器,应用于实际油藏历史拟合中。实验结果表明,基于深度学习贝叶斯模型平均代理的历史拟合方法能够在保证高效计算的同时,准确拟合油藏实际生产动态,为快速、精确的历史拟合提供了一种创新解决方案。 展开更多
关键词 深度学习 历史拟合 产量预测 贝叶斯模型平均方法 集成代理模型
在线阅读 下载PDF
冻融循环作用下灰岩和石英岩力学特性及损伤本构模型试验研究
20
作者 刘先峰 王通 +3 位作者 李建国 袁胜洋 侯召旭 张俊 《中国铁道科学》 北大核心 2025年第1期1-14,共14页
针对季冻区岩体工程中岩石的冻融劣化问题,选取具有代表性的灰岩和石英岩为试验对象,通过冻融循环试验、单轴压缩试验以及SEM扫描电镜试验对岩石的孔隙率、宏-细观破坏特征、力学特性以及能量演化规律进行研究。根据典型岩石的应力-应... 针对季冻区岩体工程中岩石的冻融劣化问题,选取具有代表性的灰岩和石英岩为试验对象,通过冻融循环试验、单轴压缩试验以及SEM扫描电镜试验对岩石的孔隙率、宏-细观破坏特征、力学特性以及能量演化规律进行研究。根据典型岩石的应力-应变曲线,基于Lemaitre平面应变理论和统计理论,将冻融循环作用产生的损伤效应耦合到损伤本构模型中,考虑压密段的影响,根据岩石的损伤本构方程和试验曲线特点分2段拟合本构方程。结果表明:冻融循环作用更易加剧高孔隙率灰岩的风化;随着冻融次数的增加,灰岩和石英岩的抗压强度均服从指数衰减;模型曲线的峰值点与试验曲线的峰值点较为接近,分段损伤本构模型与试验得到的曲线吻合较好,该损伤本构模型以及参数选取是正确可靠的。 展开更多
关键词 岩石工程 冻融循环 力学特性 能量演化 损伤本构模型
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部