期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到75篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
法教义学观念的源流 被引量：21
1
作者 雷磊 《法学评论》 CSSCI 北大核心 2019年第2期42-52,共11页
从历史上看,教义学观念首先起源于古希腊医学,随后古希腊哲学和古罗马的"规则法学"继受了相关观点并予以创新。法教义学经中世纪注释法学与人文主义法学奠定雏形,并由理性自然法学说提供方法论基础。源流时期的法教义学观念... 从历史上看,教义学观念首先起源于古希腊医学,随后古希腊哲学和古罗马的"规则法学"继受了相关观点并予以创新。法教义学经中世纪注释法学与人文主义法学奠定雏形,并由理性自然法学说提供方法论基础。源流时期的法教义学观念保持了大体一致:在基本观念上,法教义被认为是用以表述法律的一般性规则或命题,具有权威性;在方法论上,法教义学被认为是公理演绎方法(几何学方法)构造出的概念-命题体系。这使得作为知识形态之法教义学有别于研究型思维、决疑术和论题学。澄清这一源流可以为当下的法教义学研究提供更为扎实的"历史的向度"。 展开更多
关键词 教义 法教义学 权威 一般性规则 公理体系
原文传递
行政法总则的立法技术 被引量：14
2
作者 王青斌 《法学》 CSSCI 北大核心 2022年第11期17-30,共14页
行政法法典化是行政法体系化与国家治理现代化的必然要求,而制定行政法总则是近期可以实现且可行性较高的立法目标。行政法总则的制定很大程度上依赖抽象技术的运用。概念的抽象程度越高,就越能够保持行政法体系的开放性与前瞻性。整体... 行政法法典化是行政法体系化与国家治理现代化的必然要求,而制定行政法总则是近期可以实现且可行性较高的立法目标。行政法总则的制定很大程度上依赖抽象技术的运用。概念的抽象程度越高,就越能够保持行政法体系的开放性与前瞻性。整体而言,行政法总则的立法技术主要包括“提取公因式”“提炼学理共识”与“体系补全”,三者共同促进行政法总则的体系化。从总则与分则的关系角度考察,通过“提取公因式”这一立法技术能够将行政法制度的共性与一般性内容提炼形成基础性规范;通过“提炼学理共识”这一立法技术能够将行政法理论与实践中的学术共识提炼形成共识性规范;通过“体系补全”这一立法技术能够将行政法治实践中的理念与制度提炼形成拾遗性规范。 展开更多
关键词 行政法总则 立法技术 公因式 学理共识 体系补全
原文传递
异质成本分配模型的公理体系及分配方法 被引量：9
3
作者 郑立群 李瑞函 吴育华 《管理科学学报》 CSSCI 2003年第6期15-20,共6页
在建立成本分配问题数学模型的基础上,提出了异质成本分配模型的公理体系,将异质成本分配规则应满足的公理性质分为基本公理性质、一般公理性质和特殊公理性质三类;通过案例研究,深入分析了产出规模不变性、需求单调性、比例性和上限性... 在建立成本分配问题数学模型的基础上,提出了异质成本分配模型的公理体系,将异质成本分配规则应满足的公理性质分为基本公理性质、一般公理性质和特殊公理性质三类;通过案例研究,深入分析了产出规模不变性、需求单调性、比例性和上限性等公理性质的强制性,并对EANS方法、Aumann Shapley值法、Friedman Moulin序列方法和Shapley Shubik方法等典型的异质成本分配方法对公理性质的满足情况进行了全面讨论,通过严格的数学证明,得出了有价值的结论. 展开更多
关键词 公理化研究 异质成本分配模型 公理体系 强制性分析
下载PDF
对李冶《测圆海镜》的新认识 被引量：9
4
作者 莫绍揆 《自然科学史研究》 CSCD 1995年第1期22-36,共15页
和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完整的定义，完善合适的公理，丰富多彩的定理，已经建立了一个完善的公理系统... 和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完整的定义，完善合适的公理，丰富多彩的定理，已经建立了一个完善的公理系统，为我国数学开辟了一条公理推演的新路。本文在论述这点以外，还指出李冶已完善地解决了由两事而解勾股形的问题，还对洞渊九容提出一些新见解。 展开更多
关键词 李冶 天元术 公理系统 解勾股形 容圆问题
下载PDF
基于模态逻辑D公理系统的Conformant规划方法 被引量：6
5
作者 吕帅 刘磊 +1 位作者 李莹 石莲 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1160-1168,共9页
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试. 展开更多
关键词 conformant规划 模态逻辑 自动推理 可满足性 公理系统 D公理
下载PDF
基于公理化设计的可编程序控制器控制系统设计方法 被引量：7
6
作者 王晓勇 唐敦兵 +1 位作者 楼佩煌 马万太 《计算机集成制造系统》 EI CSCD 北大核心 2008年第11期2097-2104,共8页
为提升可编程序控制器控制系统设计的系统性和科学性,提出了基于公理化设计原理的可编程序控制器控制系统的设计方法,并建立了设计过程模型。该过程模型把可编程序控制器控制系统设计分为系统层设计和软件层设计两个设计层次,每个层次... 为提升可编程序控制器控制系统设计的系统性和科学性,提出了基于公理化设计原理的可编程序控制器控制系统的设计方法,并建立了设计过程模型。该过程模型把可编程序控制器控制系统设计分为系统层设计和软件层设计两个设计层次,每个层次都基于公理化设计理论进行设计。两个设计层之间通过层级映射关系进行连接,实现了公理化设计理论与可编程序控制器控制系统传统设计知识的有效结合。最后通过实例验证了该方法的可行性。 展开更多
关键词 公理化设计 可编程序控制器 控制系统 设计方法
下载PDF
图书馆联盟激励机制研究——基于智猪博弈公理化 被引量：6
7
作者 韩晶晶 《经济研究导刊》 2013年第15期251-252,258,共3页
通过智猪博弈公理化系统模型的建立与分析,最后得出能激励大小图书馆进行知识共享的激励机制,帮助管理者更好地分配资源,有效地激励主动共享资源的图书馆,对激励的额度进行量化处理,提高资源管理的效率。
关键词 智猪博弈 公理化 知识共享 激励
下载PDF
Pawlak粗糙集的公理系统 被引量：1
8
作者 邱卫根 《系统工程与电子技术》 EI CSCD 北大核心 2006年第11期1752-1755,共4页
粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论,粗集公理系统研究是粗集理论及应用研究的基础。利用模糊关系及其运算的矩阵表示,建立Pawlak粗近似空间的公理体系,该公理系统由三条相互独立的非常简洁的表达式构成。... 粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论,粗集公理系统研究是粗集理论及应用研究的基础。利用模糊关系及其运算的矩阵表示,建立Pawlak粗近似空间的公理体系,该公理系统由三条相互独立的非常简洁的表达式构成。获得的结果深刻地揭示了经典等价关系与模糊等价关系的本质区别,进一步深化了Pawlak粗集理论。 展开更多
关键词 粗糙集 近似空间 矩阵表示 公理系统
下载PDF
第一次数学危机及其意义探析 被引量：5
9
作者 张今杰 陈华 《宁波大学学报（人文科学版）》 2011年第6期7-12,共6页
2的出现动摇了毕达哥拉斯的"数本论"的信念根基,导致了数学史上第一次危机。第一次数学危机的本质在于悖论及其内含的无限性概念。第一次数学危机带来了希腊数学界的极大混乱,但危机的解决带来了数学公理化体系和逻辑学的发展。
关键词 悖论 无理数 数学危机 “万物皆数” 公理化体系
下载PDF
试论认知逻辑研究中的若干问题 被引量：2
10
作者 王左立 《南开学报（哲学社会科学版）》 CSSCI 北大核心 2003年第6期109-115,共7页
认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法... 认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。 展开更多
关键词 认知逻辑 可操作性 公理系统 语义学
下载PDF
国际油气勘探开发项目中的谈判模型
11
作者 张书铨 王叶 罗东坤 《煤炭经济研究》 2024年第5期139-149,共11页
围绕油气领域,对谈判地位的定义、影响因素、作用机制等方面进行分析和建模,得到以下主要成果:通过冯·诺依曼等人的公理化方法,建立了刻画谈判地位定义的模型,将无形的谈判地位和有形的谈判收益联系起来;在大量经典理论和谈判案例... 围绕油气领域,对谈判地位的定义、影响因素、作用机制等方面进行分析和建模,得到以下主要成果:通过冯·诺依曼等人的公理化方法,建立了刻画谈判地位定义的模型,将无形的谈判地位和有形的谈判收益联系起来;在大量经典理论和谈判案例的研究基础上,提炼出谈判地位的影响因素体系,并进一步建立了谈判模型的基本框架;提出了谈判投入和谈判产出的新概念,以及谈判双方投入-产出比值相等的新思想,并建立了谈判的完整框架和一系列投产模型,将所有影响因素对谈判地位的作用机制进行了清晰的刻画;对投产模型进行了较充分的理论检验和应用说明,结果表明,该模型具有理论合理性和应用价值。基于以上研究成果,期望对中国油气公司乃至其他能源公司在国际合作项目中提高谈判地位和谈判收益有所帮助。 展开更多
关键词 国际油气项目 双边谈判 谈判地位 谈判收益 投产模型 公理体系
原文传递
基于公理设计的机械系统稳健性分析及应用 被引量：5
12
作者 程贤福 李骏 +1 位作者 徐尤南 朱启航 《中国机械工程》 EI CAS CSCD 北大核心 2015年第6期721-728,共8页
以用户需求为切入点,对产品的功能语义和功能需求进行元模型描述,将用户需求转化为功能要求。以公理设计为指导框架,基于独立公理和Z字形映射方式,寻找并确定设计参数,明确功能要求之间及其与设计参数的相互关系,建立完整设计矩阵。将... 以用户需求为切入点,对产品的功能语义和功能需求进行元模型描述,将用户需求转化为功能要求。以公理设计为指导框架,基于独立公理和Z字形映射方式,寻找并确定设计参数,明确功能要求之间及其与设计参数的相互关系,建立完整设计矩阵。将公理设计矩阵转换为设计结构矩阵并对其进行重构,生成几个相互之间具有较小依赖度的聚类耦合模块,得到系统稳健关联矩阵。然后将各个模块之间的关联参数作为可控因素,通过试验设计分析其对目标影响的重要程度并实施针对性的控制与调整,从而提升机械产品系统的稳健性。基于所提出的稳健性分析方法进行了起重机小车的设计,说明了该方法的应用过程,证明该方法是可行性的。 展开更多
关键词 稳健性分析 试验设计 公理设计 机械系统
下载PDF
机械产品概念设计方案生成技术研究及软件系统开发 被引量：1
13
作者 宋慧军 林志航 王凯波 《机械设计》 CSCD 北大核心 2002年第5期1-3,共3页
概念设计方案生成被认为是产品概念设计中最为关键的技术。它是决定产品最终质量、市场竞争力以及企业获利最为重要的因素。本文基于公理化设计 (AxiomaticDesign)理论 ,讨论了机械产品概念设计方案生成的关键技术和实现策略 。
关键词 机械产品 概念设计 公理化设计 方案生成 软件系统 软件开发
下载PDF
物理学中的公理化方法 被引量：3
14
作者 王泽农 《南京师大学报（自然科学版）》 CAS CSCD 1996年第4期85-89,共5页
讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度。
关键词 公理系统 不完备性 认识论 物理学 公理化法
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量：3
15
作者 余军成 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多
关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
下载PDF
构筑公理化图书馆学体系 被引量：3
16
作者 陈大辉 《图书馆工作与研究》 CSSCI 北大核心 2012年第9期4-8,共5页
迄今成熟的学科体系都是公理体系。因此,构筑公理化图书馆学体系值得尝试。以这样的视角重新诠释图书馆学五定律表明其就是个公理体系。以此为启示构筑公理化图书馆学体系:以"文献信息是为了用的"为公理,得到推论一"人... 迄今成熟的学科体系都是公理体系。因此,构筑公理化图书馆学体系值得尝试。以这样的视角重新诠释图书馆学五定律表明其就是个公理体系。以此为启示构筑公理化图书馆学体系:以"文献信息是为了用的"为公理,得到推论一"人人享有利用文献信息的平等权利"和推论二"在文献信息的采集、组织、保存、传播与利用活动中追求低成本与高效率"。整个图书馆学体系可以此为逻辑框架。图书馆学不仅应当成为图书馆人的职业指南,而且应当成为他们的精神家园。 展开更多
关键词 图书馆学 公理体系 图书馆学五定律 逻辑 文献信息
下载PDF
电路学的基本公设与基本规律 被引量：3
17
作者 林争辉 《上海交通大学学报》 EI CAS CSCD 北大核心 1995年第1期8-15,共8页
本文提出了电路理论的两个基本公设和一个假设，提出了关于电路基本规律性的观点，论述了电路理论和系统理论在方法论上的统一性．
关键词 电路理论 基本公设 基本变量 电路学 基本规律
下载PDF
极小非正规时序逻辑的矢列式演算系统 被引量：2
18
作者 马明辉 王善侠 邓辉文 《中国科学：信息科学》 CSCD 北大核心 2017年第1期31-46,共16页
本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究... 本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究,建立了C2t的一个加标矢列式演算系统GC2t,并且证明了GC2t的可靠性和完全性,同时还证明了GC2t的切割消除定理(cut elimination),然后得到C2t的可判定性.在GC2t中还可以进行证明搜索. 展开更多
关键词 非正规时序逻辑 公理系统 矢列式演算 完全性 可判定性
原文传递
关于高等师范院校数学系几何课程内容设置的思考 被引量：2
19
作者 王如山 《数学教育学报》 北大核心 2008年第5期84-86,共3页
目前的高等师范院校数学系几何课程设置和教学内容已显陈旧,不利于师范生的培养,可以从以下5个方面进行改进和完善.（1）重视公理化几何理论的教学,承继传统几何学精华;（2）课程设置适应几何学本身及相应学科的迅速发展,教学内容与现... 目前的高等师范院校数学系几何课程设置和教学内容已显陈旧,不利于师范生的培养,可以从以下5个方面进行改进和完善.（1）重视公理化几何理论的教学,承继传统几何学精华;（2）课程设置适应几何学本身及相应学科的迅速发展,教学内容与现代几何学发展主流相接轨;（3）调整教学内容,避免相互间的重复与隔裂;（4）增强与中学数学的联系,体现高等师范院校的特点;（5）理顺教学内容的逻辑顺序,优化课程设置. 展开更多
关键词 课程内容设置 公理化体系 几何学主流方向
下载PDF
论牛顿运动三定律的独立性与内在逻辑自洽一致性 被引量：2
20
作者 钟庆 《四川教育学院学报》 2012年第1期108-111,共4页
牛顿力学在经典物理中是相当成熟的典范,在《自然哲学的数学原理》中牛顿用八个定义、四个注释、三个定律和六个推论建立了牛顿力学的公理化体系,但牛顿力学也是一直争论不休、不断发展和不断完善的科学。最近发表的《论接触体间牛顿第... 牛顿力学在经典物理中是相当成熟的典范,在《自然哲学的数学原理》中牛顿用八个定义、四个注释、三个定律和六个推论建立了牛顿力学的公理化体系,但牛顿力学也是一直争论不休、不断发展和不断完善的科学。最近发表的《论接触体间牛顿第三定律的可演绎性》,断言牛顿第三定律不独立可由第二定律推演得出,以及早先争论的第一定律只是第二定律的特殊情况,第一定律中存在逻辑循环,第一定律不构成基础和独立的规律等等。于此,讨论牛顿运动三定律的各自独立性与内在逻辑自洽一致性。 展开更多
关键词 运动学 动力学 牛顿运动三定律 公理化体系 独立性 自洽一致性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部