搜索到1430篇“ 公理化“的相关文章
全部数字资源类型
相关度排序
公理化的矩阵半张量积
2024年
本文给出矩阵半张量积的一个公理化框架,它包括矩阵–矩阵半张量积、矩阵–向量半张量积和向量–向量半张量积.首先,对目前通用的各类矩阵半张量积的基本性质与应用做一个综述性的回顾.然后,介绍一种新近出现的矩阵半张量积,即保维数矩阵半张量积.跟普通矩阵乘法一样,它是多功能的,即它可同时实现矩阵–矩阵乘积、矩阵–向量乘积和向量–向量乘积这3种功能.最后,本文介绍保维数矩阵半张量积的一些代数性质,包括非方矩阵的Cayley-Hamilton定理,非方矩阵的特征值、特征向量等.
程代展赵荣冯俊娥
公理化真理论的标准辨析
2024年
公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的,也无法同时被满足,存在着不足之处。依据公理化真理论的指导思想和紧缩真理论的承诺,可尝试从后承视角提出新的标准,即公理化真理论的形式真定理不应削弱哲学直观,且应充分证明哲学上合理的真原则。该新标准有着较好的简洁性与解释力,可以评价不同的公理化真理论,而且KF-CONS系统更符合该标准。
刘大为
均衡博弈的核心妥协解及其公理化
2024年
效用可转移的均衡博弈的核心刻画了参与人形成稳定的合作后收益的分配方式.以参与人合作形成前后所得到的最少支付和最大支付为参考点,本文定义了参与人的最小权力向量和最大权力向量,然后将这两个向量的唯一有效妥协定义为一个新的解,称为核心妥协解.本文分析了均衡博弈的核心妥协解与另一个著名妥协解τ-值以及核心之间的关系.基于最小权力优先性和零规范情形最大权力比例性,公理化刻画了均衡博弈的核心妥协解.将最小权力优先性替换为策略均衡不变性,本文给出了核心妥协解的另一个公理化刻画.最后,以机场跑道成本分摊为例,分析了核心妥协解的应用.
宫豆豆徐根玖
关键词：均衡博弈公理化
公理化设计下标准化工程实践基地建设研究
2024年
标准化工程专业与机械制造、物流生产联系紧密,具有实践性强的特点。针对标准化工程专业的人才培养现状及存在的问题,打造产教融合的教学模式,对于培养应用型、创新型人才具有重要作用。在产教融合的驱动下,提出了对标准化工程实践基地建设的新要求。在建设过程中,由于缺乏基本理论的指导,导致基础设施繁杂,教学资源冗余,实践教学效果不高等问题。针对标准化工程实践基地的建设难题,提出了公理化设计的设计方法,给出并分析了建设的设计步骤与功能效果。公理化设计提供了基本原则和指导框架,主要以基础设施层为基本框架、资源管理层为核心内容和实践教学层为最终目标,为标准化工程实践基地建设方法提供参考。
徐滨程林张彩玲
关键词：公理化设计
半格模态逻辑以及格的模态公理化新方法
2024年
本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结构。为了刻画下半格,本文使用了带有一元模态词P和二元模态词的多元混合逻辑语言并给出了半格上的多元混合逻辑的完整公理化。在已有的相关结果中,格的定义主要基于偏序关系。在本文的后半部分,提出了一种更符合代数视角的格的替代定义,并给出了相应的模态公理化结果。
王潇扬
关键词：模态逻辑公理化逻辑语言偏序关系半格
基于公理化设计的“8”字形绕线机构设计
2024年
绕线机被广泛的应用于工业线材绕线作业中,为了提升企业“8”字形绕线的作业水平与可靠性,简化绕线机构与降低制造成本,避免绕线过程易缠绕等缺点,设计了一种新型“8”字形绕线机构。运用公理化设计理论指导“8”字形绕线机构的设计过程,并以此为依据构建了“8”字形绕线机构模型。运用ADAMS对所构建的模型进行了系统动力学仿真,通过所选关键点的运动轨迹、速度与加速度等仿真结果,表明设计机构达到了设计要求。最后,通过制作样机验证了设计的可行性与有效性,为今后进行类似于“8”字形绕线机构的设计工作提供了必要的参考与设计指导依据。
潘红恩马鲁强陈菁岚仇晓黎
关键词：公理化设计系统动力学分析
基于公理化集合论的数系建立及其形式化实现
形式化验证技术基于数学和逻辑的方法,近年来被广泛用于验证硬件、软件或系统的正确性。数学定理机器证明是人工智能基础理论研究的一部分,它以数学机械化为纲领,运用形式化方法,可以被看作是形式化验证技术在数学领域的一个分支。分析...
冷姝锟
关键词：COQ
基于公理化设计的燃气轮机可靠性指标识别方法
本发明公开了一种基于公理化设计的燃气轮机可靠性指标识别方法，包括以下步骤：步骤一：搭建可靠性指标种类确定框架，采用公理化设计的原理模型搭建产品可靠性指标过程的应用模型；步骤二：分析产品任务需求，根据产品的寿命剖面和任务剖...
黄敏 杨美玉 刘学军 张智博 张澄源
高中数学教学中培养学生公理化思想的实践研究
2024年
公理化思想是数学学习中的重要内容,其在高中阶段的教学中具有重要的作用.本文从公理化思想在高中数学教学中的作用,培养学生公理化思想的方法和实践策略以及在培养学生公理化思想中遇到的挑战等方面进行探讨,旨在为数学教学提供一些借鉴和思路.
陆娜
关键词：公理化思想高中数学逻辑思维
效用可转移合作博弈的Shapley值公理化研究进展综述
2024年
随着全球经济融合和国际关系日益紧密,合作共赢已然成为当今时代的核心趋势。合作博弈理论作为研究合作问题的有力工具,主要探讨如何在参与者之间分配合作所产生的收益。Shapley值作为合作博弈中最重要的单值解之一,具有重要研究意义与价值。本文将主要介绍目前Shapley值公理化的研究工作,从可加性、均衡贡献性、边际性、公平性、简约一致性、相关一致性和一些特殊的参与者性的角度,分别归纳整理了Shapley值基于这些性质的公理化研究结论。最后对未来研究进行了展望。
李文忠徐根玖
关键词：合作博弈SHAPLEY值公理化方法
加载更多 ∨

相关作者

李娜
作品数：452被引量：1,293H指数：13
供职机构：辽宁科技大学材料与冶金学院
研究主题：集合论 布尔值模型 膜生物反应器 布尔值 公理化
惠小静
作品数：98被引量：227H指数：10
供职机构：延安大学数学与计算机科学学院
研究主题：真度 相似度 命题逻辑系统 伪距离 随机真度
潘小东
作品数：36被引量：77H指数：4
供职机构：西南交通大学数学学院
研究主题：格蕴涵代数 公理化 解集 相似度 模糊集
孙浩
作品数：121被引量：388H指数：9
供职机构：西北工业大学
研究主题：压电分流 振动控制 形状记忆合金 公理化 航空发动机
徐根玖
作品数：29被引量：72H指数：3
供职机构：西北工业大学
研究主题：公理化 思政 合作博弈 高等数学 生源危机