期刊文献+
共找到941,489篇文章
< 1 2 250 >
每页显示 20 50 100
基于技术接受模型论制造执行系统和人力资源管理系统的集成
1
作者 周宏慧 刘宝琦 《信息记录材料》 2024年第2期63-65,共3页
制造执行系统和人力资源管理系统集成可以整合智能制造和人力资源管理实践,提升制造的效益和效率、决策精准性,从而促进组织的创新、发展和竞争力。通过案例分析梳理集成技术采纳的技术和业务积累,基于技术接受模型(technology acceptan... 制造执行系统和人力资源管理系统集成可以整合智能制造和人力资源管理实践,提升制造的效益和效率、决策精准性,从而促进组织的创新、发展和竞争力。通过案例分析梳理集成技术采纳的技术和业务积累,基于技术接受模型(technology acceptance model, TAM)的视角,从感知易用性和感知有用性两个技术采纳决定因素对用户的态度和意愿进行论证。在智能工厂和人力资源管理定位转型的背景前提下,从现有集成技术条件和提升业务效益方面推演,得出集成制造执行系统和人力资源管理系统具有高可预见性和高可行性。 展开更多
关键词 制造执行系统 人力资源管理系统 集成技术 技术接受模型
下载PDF
模型论逻辑与理论计算机科学 被引量:10
2
作者 沈恩绍 《数学进展》 CSCD 北大核心 1996年第3期193-202,共10页
近年来,逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用,已愈来愈受重视.作为语义方法的逻辑基础,(一阶)模型论是研究(一阶)逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支;而模型论逻辑(又称广义... 近年来,逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用,已愈来愈受重视.作为语义方法的逻辑基础,(一阶)模型论是研究(一阶)逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支;而模型论逻辑(又称广义模型论)则是在抽象逻辑的框架中,用模型论的方法研究各种扩充逻辑系统的异、同及相互关系.本文从抽象逻辑的观点出发.介绍模型论中与计算机科学(CS)密切相关的若干概念及其应用.特别是广义的有限模型论,它在CS的刺激下于80年代形成并急速发展起来,已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用. 展开更多
关键词 模型论 有限模型论 计算机科学 数理逻辑
下载PDF
模型论弱力迫的证明论特征
3
作者 张玉平 王世强 《北京师范大学学报(自然科学版)》 CAS CSCD 1996年第1期32-35,共4页
推广形式的模型论弱力迫关系适合Gentzen证明论的一些右规则,因而模型论弱力迫关系可以用证明论性质刻画。
关键词 模型论 模型论力迫 证明论 模型论弱力迫
下载PDF
腱-鞘微阴阳模型论治屈指肌腱腱鞘炎 被引量:1
4
作者 冯宇 《现代中医药》 2024年第1期46-50,共5页
目的通过构筑微阴阳模型来阐释屈指肌腱腱鞘炎发病的中医病理机制及临床常用中医疗法的效验机制。方法根据西医对屈指肌腱腱鞘炎的发病机理分析,结合“膜系理论”“筋节理论”等相关学说,构筑中医对腱鞘结构认知的“滑液鞘-纤维鞘微阴... 目的通过构筑微阴阳模型来阐释屈指肌腱腱鞘炎发病的中医病理机制及临床常用中医疗法的效验机制。方法根据西医对屈指肌腱腱鞘炎的发病机理分析,结合“膜系理论”“筋节理论”等相关学说,构筑中医对腱鞘结构认知的“滑液鞘-纤维鞘微阴阳模型”及“肌腱-腱鞘微阴阳模型”,用于阐释屈指肌腱腱鞘炎的中医发病机制,同时用“阴平阳秘”来解释常用治疗此病的中医疗法的有效性。结果构筑两种微阴阳模型能够在“体、用”两方面对屈指肌腱腱鞘炎的发病及治疗进行中医阐释。结论构筑微阴阳模型是中西医结合对屈指肌腱腱鞘炎诊治认识上的有效方法,是一种利用中医的阴阳理论阐释此类常见病诊治有效性的说理工具。 展开更多
关键词 屈指肌腱腱鞘炎 微阴阳模型 膜系 筋结
下载PDF
一般原型—模型论的理论体系(Ⅰ) 被引量:9
5
作者 王宏强 王冰丽 《河南科学》 1996年第4期375-386,共12页
通过一般原型—模型论的同型公理(及模型公理)对该理论的内容体系作了大致的概括和描述。
关键词 原型-模型论 同型公理 模型公理
下载PDF
原型模型论与原型范畴论对比研究 被引量:5
6
作者 姜玲 《河南大学学报(社会科学版)》 CSSCI 北大核心 2013年第2期125-131,共7页
张今先生提出的原型模型论和Rosch提出的原型范畴论都使用原型一词,都对语言现象的研究具有很好的指导作用和很强的解释力,二者具有很强的可比性。就共性而言,原型模型论的"型"与原型范畴论的"范畴"具有大致相同的... 张今先生提出的原型模型论和Rosch提出的原型范畴论都使用原型一词,都对语言现象的研究具有很好的指导作用和很强的解释力,二者具有很强的可比性。就共性而言,原型模型论的"型"与原型范畴论的"范畴"具有大致相同的内涵;原型模型论的"模拟"与原型范畴论的"范畴化"具有大致相同的意义;相似性在原型模型论和原型范畴论中都具有十分重要的作用;模拟主体和认知主体都是语言阐释过程中起决定性作用的因素;模型和非典型成员都可以转化为原型。其差异性表现在:它们对原型的理解和界定并不相同,原型模型论中的"原型"通常是固定不变的,而原型范畴论中的"原型"有时是不固定的;"模型"和非典型的意义不同;原型与模型之间具有生成性,原型与非典型成员之间一般没有生成性。 展开更多
关键词 语言学 原型模型论 原型范畴论 共性 差异
下载PDF
“原型-模型论”及其在语言研究中的运用 被引量:8
7
作者 姜玲 《信阳师范学院学报(哲学社会科学版)》 2007年第6期80-83,共4页
文章介绍了"原型-模型论"的基本内容,并在此基础上说明"原型-模型论"为语言研究提供了一个新的视角,最后从语言的语音文字、词汇、语法和修辞现象的研究以及语言对比与文学翻译的研究等方面阐释"原型-模型论&q... 文章介绍了"原型-模型论"的基本内容,并在此基础上说明"原型-模型论"为语言研究提供了一个新的视角,最后从语言的语音文字、词汇、语法和修辞现象的研究以及语言对比与文学翻译的研究等方面阐释"原型-模型论"在语言研究中的具体运用。 展开更多
关键词 “原型-模型论 语言研究 具体运用
下载PDF
图书馆知识服务战略的辩证解析及其一体化模型论证 被引量:1
8
作者 徐红玉 王正兴 《新世纪图书馆》 CSSCI 2016年第3期34-38,共5页
从综述国内外知识服务战略研究进展入手,论文讨论了图书馆服务战略与知识战略的内涵,分别从知识型服务战略和服务型知识战略两个视角对知识服务战略进行辩证解析,从基础层、中间层、拓展层三个维度研究这两个战略互动,并整合统一,构建... 从综述国内外知识服务战略研究进展入手,论文讨论了图书馆服务战略与知识战略的内涵,分别从知识型服务战略和服务型知识战略两个视角对知识服务战略进行辩证解析,从基础层、中间层、拓展层三个维度研究这两个战略互动,并整合统一,构建一体化模型,在理论论证和实践体系上支持图书馆知识服务战略的深度转型。 展开更多
关键词 图书馆知识服务 知识服务战略 战略分析 一体化模型 模型论
下载PDF
一般原型—模型论的理论体系(Ⅴ)——在不同领域和学科中的应用研究进展 被引量:5
9
作者 王宏强 《河南科学》 1997年第4期489-499,共11页
通过一般原型—模型论的原-模关系公理(同型公理;模型公理)对该理论的内容体系作了大致的概括和描述,从而可以显示出一般原型—模型论的广阔研究范围与普适范围。
关键词 方法论 认识论 原型-模型论
下载PDF
情境语义学对外延模型论和可能世界语义学的批判 被引量:3
10
作者 王建芳 《晋阳学刊》 北大核心 2005年第1期54-56,共3页
情境语义学(situationsemantics)是20世纪80年代诞生的一种新的语义理论。情境语义学产生的最根本原因在于对既有逻辑语义研究的不满。巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然... 情境语义学(situationsemantics)是20世纪80年代诞生的一种新的语义理论。情境语义学产生的最根本原因在于对既有逻辑语义研究的不满。巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。 展开更多
关键词 情境语义学 外延模型论语义学 可能世界语义学 逻辑语义学
下载PDF
一般原型—模型论的理论体系(Ⅲ) 被引量:1
11
作者 王宏强 刘玉华 《河南科学》 1997年第2期213-259,共47页
通过一般原型—模型论的同型公理(及模型公理)对该理论的内容体系作了大致的概括和描述。
关键词 同型 方法论 认识论 原型-模型论 型位元
下载PDF
分式化时模的模型论性质的保持性 被引量:1
12
作者 王捍贫 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第3期368-374,共7页
将环R的分式环S-1R上的模MS-1R“限制”到R上时,模理论的纯性、纯入射性、初等等价、初等嵌入等模型论性质都是保持的。
关键词 模型论 数理逻辑 分式化时模 保持性
下载PDF
略论地图模型论的实践意义 被引量:3
13
作者 田德森 《地图》 北大核心 1991年第2期7-10,共4页
地图模型论是理论地图学研究中提出的一个重要理论。地图模型是地图应用、地图数学模型和计算机地图制图的基础。在现代科技条件下,该理论可以用来进一步分析和认识地图的潜力,充分发挥地图在地理环境系统研究中的作用,并从理论上进一... 地图模型论是理论地图学研究中提出的一个重要理论。地图模型是地图应用、地图数学模型和计算机地图制图的基础。在现代科技条件下,该理论可以用来进一步分析和认识地图的潜力,充分发挥地图在地理环境系统研究中的作用,并从理论上进一步探讨地图学的发展。 展开更多
关键词 地图模型论 地图制图学
下载PDF
四色定理和Ramsey定理基于模型论的证明 被引量:1
14
作者 潘孝铭 辛明海 《泉州师范学院学报》 2003年第6期17-19,共3页
四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.
关键词 四色定理 Ramsey定理 模型论 证明 图象定理 同构嵌入
下载PDF
模型论对实数理论的应用 被引量:1
15
作者 汪芳庭 《曲阜师范大学学报(自然科学版)》 CAS 1997年第2期57-60,共4页
基于模型论的一条原理,本文研究一种特殊语言的算术理论。
关键词 完备序域 模型论 实数理论 数理逻辑
下载PDF
模型论及其哲学思考 被引量:1
16
作者 郝宁湘 《科学技术与辩证法》 CSSCI 1999年第3期17-21,共5页
本文揭示了模型论的基本思想和几个重要结论的哲学意义,并运用模型论的思想探讨了数学与科学的相互关系。
关键词 形式语言 赋值 模型论 哲学思考 科学 数学
下载PDF
ATMS的模型论基础
17
作者 张玉平 怀进鹏 《计算机学报》 EI CSCD 北大核心 1996年第9期668-672,共5页
本文将每个ATMSK转化为一阶语言Lx的模型MK,模型MK是语言LK的一阶理论TK的模型.应用非单调推理理论中的谓词限定的技巧,可以构造出LK的理论TKPC,使得MK是TKPC的唯一模型.同时,语言LK还包含关系符号... 本文将每个ATMSK转化为一阶语言Lx的模型MK,模型MK是语言LK的一阶理论TK的模型.应用非单调推理理论中的谓词限定的技巧,可以构造出LK的理论TKPC,使得MK是TKPC的唯一模型.同时,语言LK还包含关系符号ξ,使得对每个n,{E|MK|=nξE}是n相对于ATMSK的标号. 展开更多
关键词 一阶语言 模型论 ATMS
下载PDF
_(ω1ω)语言格值模型论的省略型定理及其应用
18
作者 别荣芳 《北京师范大学学报(自然科学版)》 CAS CSCD 1996年第3期307-311,共5页
利用和谐性质的方法给出_(ω_1ω)片断上的省略型定理。作为应用,对中的完备理论T,讨论了原子模型的存在性,T有素模型的充要条件以及模型u为素模型的充要条件,并给出了原子模型与素模型之间的关系。
关键词 格值模型 模型 无限语言 省略型定理 模型论
下载PDF
原型模型论视角下的英语完全倒装句及其生成机制分析 被引量:1
19
作者 张晓娜 《济源职业技术学院学报》 2010年第4期74-77,共4页
原型模型论是一门原理论,强调现实、语言和思维之间的辩证统一关系,提出了从思维到语言的研究视角。根据这一理论,英语倒装句与常式句是模拟主体通过语言层面的不同模型对客观世界的摹写和反映,而模拟主体认知层面的突显则构成了各种完... 原型模型论是一门原理论,强调现实、语言和思维之间的辩证统一关系,提出了从思维到语言的研究视角。根据这一理论,英语倒装句与常式句是模拟主体通过语言层面的不同模型对客观世界的摹写和反映,而模拟主体认知层面的突显则构成了各种完全倒装句型的生成机制。 展开更多
关键词 英语完全倒装句 原型模型论 生成机制
下载PDF
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
20
作者 刘富春 《模糊系统与数学》 CSCD 北大核心 2006年第2期28-33,共6页
模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具,在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中,对逻辑程序进行了语义的研究。给出了其语法和语义描... 模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具,在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中,对逻辑程序进行了语义的研究。给出了其语法和语义描述,并且将逻辑程序的许多主要结论推广到再扩充模糊逻辑中。首先,得到了关于模糊逻辑推论的充分必要条件以及模型交与强模型交性质。然后,通过引入一个H erbrand解释算子Pτ:LBp→LBp,给出了确定性程序P的H erbrand模型的充分条件和强H erbrand模型的充分必要条件。最后,建立了确定性程序的最小强H erbrand模型的不动点刻画定理。 展开更多
关键词 模糊逻辑 逻辑程序 模型论Herbrand模型 不动点
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部