期刊文献+
共找到307篇文章
< 1 2 16 >
每页显示 20 50 100
The Exchange from Relational Schemas to XML Schemas Based on Semantic Constraints
1
作者 YANG Chengsen SUN Jinguang 《Wuhan University Journal of Natural Sciences》 CAS 2008年第4期485-489,共5页
XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to b... XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to be exchanged between their applications. In this paper, we propose a new method to solve the problem of automating the conversion of relational data into XML. During the conversion, we considers not only the structure of relational schemas, but also semantic constraints such as inclusion dependencies during the translation--it takes as input a relational schema where multiple tables are interconnected through inclusion dependencies and converts it into an X-Schema. Finally, in order to validate our proposal, we present experimental results using real schemas. 展开更多
关键词 XML relational schemas semantic constraints inclusion dependencies
下载PDF
On Detecting and Enforcing the Non-Relational Constraints Associated to Dyadic Relations in MatBase
2
作者 Christian Mancas 《Journal of Electronic & Information Systems》 2020年第2期1-8,共8页
MatBase is a prototype data and knowledge base management expert intelligent system based on the Relational,Entity-Relationship,and(Elementary)Mathematical Data Models.Dyadic relationships are quite common in data mod... MatBase is a prototype data and knowledge base management expert intelligent system based on the Relational,Entity-Relationship,and(Elementary)Mathematical Data Models.Dyadic relationships are quite common in data modeling.Besides their relational-type constraints,they often exhibit mathematical properties that are not covered by the Relational Data Model.This paper presents and discusses the MatBase algorithm that assists database designers in discovering all non-relational constraints associated to them,as well as its algorithm for enforcing them,thus providing a significantly higher degree of data quality. 展开更多
关键词 Conceptual data modeling Database constraints theory Non-relational constraints Data structures and algorithms for data management Dyadic relation properties Data quality (Elementary)Mathematical Data Model MatBase
下载PDF
On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase
3
作者 Christian Mancas 《Journal of Computer Science Research》 2024年第1期31-42,共12页
Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered... Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase. 展开更多
关键词 Database constraints Homogeneous binary function products Dyadic relations Modelling as programming The(Elementary)Mathematical Data Model MatBase
下载PDF
Lie symmetry and its generation of conserved quantity of Appell equation in a dynamical system of the relative motion with Chetaev-type nonholonomic constraints 被引量:2
4
作者 王肖肖 韩月林 +1 位作者 张美 贾利群 《Chinese Physics B》 SCIE EI CAS CSCD 2013年第2期45-49,共5页
Lie symmetry and conserved quantity deduced from Lie symmetry of Appell equations in a dynamical system of relative motion with Chetaev-type nonholonomic constraints are studied.The differential equations of motion of... Lie symmetry and conserved quantity deduced from Lie symmetry of Appell equations in a dynamical system of relative motion with Chetaev-type nonholonomic constraints are studied.The differential equations of motion of the Appell equation for the system,the definition and criterion of Lie symmetry,the condition and the expression of generalized Hojman conserved quantity deduced from Lie symmetry for the system are obtained.The condition and the expression of Hojman conserved quantity deduced from special Lie symmetry for the system under invariable time are further obtained.An example is given to illustrate the application of the results. 展开更多
关键词 Chetaev-type nonholonomic constraints dynamics of relative motion Appell equation Lie symmetry
下载PDF
Lie symmetry and Hojman conserved quantity of a Nielsen equation in a dynamical system of relative motion with Chetaev-type nonholonomic constraint 被引量:2
5
作者 王肖肖 孙现亭 +2 位作者 张美玲 解银丽 贾利群 《Chinese Physics B》 SCIE EI CAS CSCD 2011年第12期259-263,共5页
The Lie symmetry and Hojman conserved quantity of Nielsen equations in a dynamical system of relative motion with nonholonomic constraint of the Chetaev type are studied. The differential equations of motion of the Ni... The Lie symmetry and Hojman conserved quantity of Nielsen equations in a dynamical system of relative motion with nonholonomic constraint of the Chetaev type are studied. The differential equations of motion of the Nielsen equation for the system, the definition and the criterion of Lie symmetry, and the expression of the Hojman conserved quantity deduced directly from the Lie symmetry for the system are obtained. An example is given to illustrate the application of the results. 展开更多
关键词 nonholonomic constraint of Chetaev's type relative motion Nielsen equation Hojman conserved quantity
下载PDF
数字普惠金融发展缓解融资约束研究——基于涉农企业的实证分析 被引量:3
6
作者 田霖 郭梦琪 《重庆大学学报(社会科学版)》 北大核心 2024年第3期70-85,共16页
伴随数字经济的蓬勃发展,数字普惠金融为缓解涉农企业融资约束提供了新的可能和路径。将北京大学数字普惠金融2011—2020年市级数据与中国涉农企业数据进行匹配,实证检验数字普惠金融发展对涉农企业融资约束的影响。研究表明:数字普惠... 伴随数字经济的蓬勃发展,数字普惠金融为缓解涉农企业融资约束提供了新的可能和路径。将北京大学数字普惠金融2011—2020年市级数据与中国涉农企业数据进行匹配,实证检验数字普惠金融发展对涉农企业融资约束的影响。研究表明:数字普惠金融发展可以显著缓解涉农企业融资约束,该结论在进行多种稳健性检验后依然成立。其中,数字普惠金融覆盖广度的影响效果优于使用深度和数字化程度;数字普惠金融发展能够通过降低融资成本、提高信息透明度等机制缓解涉农企业融资约束;数字普惠金融发展对非国有企业融资约束的缓解作用相对于国有企业更大,对加工服务业企业融资约束的缓解作用相对于养殖种植业企业更大。传统金融发展越好的地区,数字普惠金融发展对企业融资约束的缓解作用更强。总体而言,在缓解涉农企业融资约束异质性方面,数字普惠金融的“逐利性”大于其“普惠性”。文章为乡村振兴背景下解决涉农企业融资难题、助推农业经济发展提供理论参考和实践指引:第一,要继续推进数字普惠金融发展,为涉农企业提供数量众多、业态丰富的新型金融服务;第二,涉农企业要积极进行信息披露,减小与金融机构间的信息不对称程度,拓宽自身融资渠道;第三,要加大对落后地区和经营养殖种植业企业的扶持力度和资源倾斜,发挥数字普惠金融的应有之义。 展开更多
关键词 数字普惠金融 涉农企业 融资约束 融资成本 信息透明度
下载PDF
职务犯罪治理视域下监察监督与检察监督的关系研究 被引量:1
7
作者 卫跃宁 熊馥琳 《青少年犯罪问题》 2024年第3期3-14,共12页
在职务犯罪治理视域下,监察监督和检察监督有着各自的规范意蕴,二者之间存在着共性与差异性。从宏观层面来看,监察监督和检察监督均能对公权力起到约束和规范作用,在监督目标上具有一定的同向性。但从微观层面来看,二者的监督对象、监... 在职务犯罪治理视域下,监察监督和检察监督有着各自的规范意蕴,二者之间存在着共性与差异性。从宏观层面来看,监察监督和检察监督均能对公权力起到约束和规范作用,在监督目标上具有一定的同向性。但从微观层面来看,二者的监督对象、监督阶段、监督范围和监督方式均有所不同。当前,监察监督与检察监督的关系也面临着一些困境。在配合关系上,监察监督与检察监督的沟通协调机制仍不够完善。在制约关系上,集中体现为检察监督对监察监督的制约不足。应当重塑监察监督与检察监督的关系,通过进一步完善二者之间的沟通协调机制,加强检察监督对监察监督的制约,平衡二者之间的关系,进而实现职务犯罪的有效治理,推动国家治理现代化纵深发展。 展开更多
关键词 职务犯罪治理 监察监督 检察监督 配合关系 制约关系
下载PDF
银行业竞争、融资约束与涉农企业创新效率
8
作者 王文烂 余东烨 《华南农业大学学报(社会科学版)》 北大核心 2024年第5期95-106,共12页
以上市涉农企业作为研究对象,利用其2016—2021年相关数据,在使用三阶段DEA测度其创新效率的基础上,使用固定效应模型探究银行业竞争对涉农企业创新效率的影响。研究发现,银行业竞争促进了涉农企业创新效率的提升;从影响机制来看,银行... 以上市涉农企业作为研究对象,利用其2016—2021年相关数据,在使用三阶段DEA测度其创新效率的基础上,使用固定效应模型探究银行业竞争对涉农企业创新效率的影响。研究发现,银行业竞争促进了涉农企业创新效率的提升;从影响机制来看,银行业竞争通过缓解涉农企业的融资约束,从而提升了其创新效率;同时银行业竞争主要促进了下游涉农企业创新效率的提升。在进行内生性检验后,又进行了替换被解释变量、滞后解释变量等稳健性检验,结论依然成立。最后,从政府、银行和涉农企业三方面提出政策建议。为提高涉农企业创新效率、稳定农业企业的农业科技创新主体地位提供实证证据及优化建议。 展开更多
关键词 银行业 涉农企业 创新效率 融资约束
下载PDF
某型复杂工程机械变速箱体复合工艺约束机加工线平衡研究
9
作者 金初云 胡俊逸 +1 位作者 陈勇 王一鸿 《机电工程》 CAS 北大核心 2024年第4期720-731,共12页
为解决机加工生产线平衡问题所包含的加工任务刀具需求、机床类型需求、加工方位约束、“紧密”型和“或”型约束等复杂条件,建立了机加工生产线平衡数学模型,并采用含多重筛选机制的粒子群算法进行了求解。首先,建立了满足此复杂实际... 为解决机加工生产线平衡问题所包含的加工任务刀具需求、机床类型需求、加工方位约束、“紧密”型和“或”型约束等复杂条件,建立了机加工生产线平衡数学模型,并采用含多重筛选机制的粒子群算法进行了求解。首先,建立了满足此复杂实际约束条件的机加工生产线平衡问题数学模型;然后,采用粒子的位置坐标作为粒子群搜索的权重信息,进行了加工任务、集中任务的选取,并设计了多重筛选机制构造启发式任务集生成规则;采用此规则对待分配加工任务进行了多重筛选,以得到可供直接分配的加工任务集合,粒子群算法(PSO)从此集合中依次选取了加工任务,构成了完整的解,并形成了具体的任务分配方案;最后,为提高程序的实用性和可视性,设计了加工任务的甘特图生成模块,通过对某复杂工程机械变速箱体零件的实际案例研究,将简化后的任务信息代入算法进行了求解。研究结果表明:该方法实现了多组平衡率高于90%的优化结果,在节拍时间为1120 s时,得到94.66%的较高平衡率,排产方案表格内容与甘特图显示一致;算法推演结果满足设定的多种复合约束条件,通过与人工排产对比说明了该算法的有效性并具有较好的经济性、实用性;对柔性生产案例进行探讨,证明该算法运算结果具备一定的生产柔性。 展开更多
关键词 机械加工工艺 粒子群算法 生产线平衡数学模型 箱体类零件 约束关系矩阵 启发式备选任务集生成规则
下载PDF
融合知识和约束图的远程监督关系抽取方法
10
作者 刘琼昕 牛文涛 王佳升 《北京理工大学学报》 EI CAS CSCD 北大核心 2024年第7期731-739,共9页
远程监督关系抽取通过自动标注数据减少人工标注成本,但存在句子标签噪声和关系长尾分布两个问题.为解决上述问题,提出一种融合知识图中实体信息以及实体和关系间约束的关系抽取方法.该方法对目标实体和其邻居实体的属性进行编码,对目... 远程监督关系抽取通过自动标注数据减少人工标注成本,但存在句子标签噪声和关系长尾分布两个问题.为解决上述问题,提出一种融合知识图中实体信息以及实体和关系间约束的关系抽取方法.该方法对目标实体和其邻居实体的属性进行编码,对目标实体和邻居实体构成的邻居图进行编码,对实体类型和关系间约束进行编码,并通过多源融合注意力模块进行信息整合,构建关系抽取模型.该方法在NYT-10数据集上的AUC值为0.524,P@100值为94.8%,长尾指标Hits@K较之前最先进模型均有提升,取得了优异表现,表明该方法融合实体信息和约束信息解决远程监督关系抽取两个主要问题的有效性. 展开更多
关键词 远程监督关系抽取 知识上下文 约束图 多源融合注意力
下载PDF
水资源约束下黄河流域水城互馈机制与调适路径研究
11
作者 王新涛 《区域经济评论》 北大核心 2024年第3期145-150,共6页
黄河流域在我国经济社会发展和生态安全方面具有十分重要的地位,但是水资源保障形势严峻,已经是黄河流域城市发展的最大刚性约束。在水资源约束下,水城之间的互动反馈机制作用乘数放大,胁迫、优化、增长、收敛等效应复合发力,水城关系... 黄河流域在我国经济社会发展和生态安全方面具有十分重要的地位,但是水资源保障形势严峻,已经是黄河流域城市发展的最大刚性约束。在水资源约束下,水城之间的互动反馈机制作用乘数放大,胁迫、优化、增长、收敛等效应复合发力,水城关系的复杂性、矛盾性、可变性等明显增强。贯彻落实黄河流域生态保护和高质量发展战略,推进水城协调发展,要坚持系统观念,完善约束倒逼和挖潜提升、系统治理和水沙关键、流域统筹和因城施策、市场调节和政府调控相结合的调适路径。 展开更多
关键词 水资源约束 黄河流域 水城关系 互馈机制
下载PDF
抽象性位移事件及其汉语编码的认知阐释
12
作者 张克定 《天津外国语大学学报》 2024年第5期10-19,111,共11页
作为认知主体的人不仅有能力识解出抽象性位移事件,而且有能力将其编码为特定的语言结构并用于交际。作为一种特殊的位移事件,抽象性位移事件的形成是有认知理据的,这一认知理据就是抽象实体的可动化机制。该机制有其自身的认知特性,其... 作为认知主体的人不仅有能力识解出抽象性位移事件,而且有能力将其编码为特定的语言结构并用于交际。作为一种特殊的位移事件,抽象性位移事件的形成是有认知理据的,这一认知理据就是抽象实体的可动化机制。该机制有其自身的认知特性,其使用会受到一定的条件限制。编码抽象性位移事件的语言表达式可以叫作抽象性空间位移关系构式。汉语抽象性空间位移关系构式的构成既要受到整体性限制条件的制约,又要受到局部性限制条件的制约。 展开更多
关键词 抽象性位移事件 编码 汉语抽象性空间位移关系构式 认知机制 限制条件
下载PDF
融合词法句法信息的方面级情感分析模型
13
作者 衡红军 杨鼎诚 《计算机工程与设计》 北大核心 2024年第3期837-844,共8页
为解决现有方面级情感分析方法缺乏句法约束和词义信息的问题,将句法依存树和知识图谱融合起来对句子编码,提出一种词法句法相结合的图神经网络模型。利用图神经网络分别提取句法依存树中的句法信息和知识图谱中的词法信息,经过位置编... 为解决现有方面级情感分析方法缺乏句法约束和词义信息的问题,将句法依存树和知识图谱融合起来对句子编码,提出一种词法句法相结合的图神经网络模型。利用图神经网络分别提取句法依存树中的句法信息和知识图谱中的词法信息,经过位置编码模块和掩码加权模块捕捉重要性更高的单词;将两种特征进行结合获得融合句法词法信息的文本表示,进行情感分类。在3个公开数据集上的实验结果验证了该模型的有效性。 展开更多
关键词 方面级情感分析 句法约束 词义信息 句法依存树 知识图谱 关系图注意力网络 图卷积网络
下载PDF
地方政府债务扩张与企业关联担保
14
作者 张甜 曹廷求 《财贸研究》 北大核心 2024年第9期67-78,共12页
基于2010—2020年沪深A股上市公司数据,考察地方政府债务扩张对企业关联担保行为的影响。研究发现,地方政府债务扩张显著推升了当地企业的关联担保水平。作用机制检验结果表明,地方政府债务扩张会加剧企业融资约束,进而使得企业增加关... 基于2010—2020年沪深A股上市公司数据,考察地方政府债务扩张对企业关联担保行为的影响。研究发现,地方政府债务扩张显著推升了当地企业的关联担保水平。作用机制检验结果表明,地方政府债务扩张会加剧企业融资约束,进而使得企业增加关联担保活动。异质性分析显示,地方政府扩张对企业关联担保的推升作用主要存在于外部融资依赖程度高、债务资金流入行业企业,且在地方债体制管理改革后更明显。经济后果研究表明,在地方政府债务扩张的背景下,关联担保水平的提升虽增强了企业信贷融资能力,但是也加剧了企业市场风险。研究结论为科学管控地方政府债务规模、防范化解金融风险提供了有益参考。 展开更多
关键词 地方政府债务 关联担保 挤出效应 融资约束
下载PDF
线缆长度驱动的两阶段热管约束组件布局优化方法
15
作者 陈献琪 周炜恩 +1 位作者 姚雯 夏宇峰 《宇航学报》 EI CAS CSCD 北大核心 2024年第6期842-853,共12页
针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解... 针对航天器总体布局设计过程中需要考虑线缆长度的问题,提出一种以线缆长度最小化为目标的两阶段热管约束组件布局优化方法。面向几何、质心、热管散热以及线缆长度等多种复杂约束相互耦合的布局难题,基于分而治之的思想提出将原问题解耦为两个序贯优化子问题,通过构建并求解子问题的混合整数规划模型,实现了综合考虑多条线缆最短化目标下预埋热管舱板组件布局的高效优化设计。数值布局算例结果表明,在包含15个组件、3条有线信息链路的多种优化场景下,本方法均可以找到两级求解框架下的最优布局设计结果,充分验证了方法的可行性和有效性。 展开更多
关键词 航天器 组件布局优化 线缆长度 热管约束 混合整数规划
下载PDF
基于类间排名相关性的解耦知识蒸馏
16
作者 陈颖 朱子奇 +1 位作者 徐仕成 李敏 《计算机技术与发展》 2024年第1期52-58,共7页
知识蒸馏(KD)从提出到现在已经取得了很大的成功,不过很多蒸馏策略都是把目光放在了中间层的特征,反而忽略了logit蒸馏的可发展性。解耦知识蒸馏(DKD)的提出使得logit蒸馏重回大众视野。不论是知识蒸馏还是解耦知识蒸馏,都是使用了强一... 知识蒸馏(KD)从提出到现在已经取得了很大的成功,不过很多蒸馏策略都是把目光放在了中间层的特征,反而忽略了logit蒸馏的可发展性。解耦知识蒸馏(DKD)的提出使得logit蒸馏重回大众视野。不论是知识蒸馏还是解耦知识蒸馏,都是使用了强一致性约束条件从而导致蒸馏效果次优,特别是在教师网络和学生网络架构悬殊时这种现象尤为突出。针对这个问题,提出了基于类间排名关系一致性的方法。该方法保留教师和学生非目标类预测间的关系,利用类间的排名相关性作为知识蒸馏模型中代理损失和评价指标之间的关系,从而进行教师网络与学生网络的关系匹配。该方法把这种较为轻松的关系匹配扩展到解耦知识蒸馏中,并在数据集CIFAR-100和ImageNet-1K进行验证。实验结果表明,该方法对于CIFAR-100的分类准确率达到了77.38%,比基准方法提高了0.93百分点,提高了解耦知识蒸馏图像分类的效果,证明了方法的有效性。同时,对比实验的结果证明该方法更具有竞争力。 展开更多
关键词 知识蒸馏 解耦知识蒸馏 强一致性约束 关系匹配 排名相关性
下载PDF
基于约束图的远程监督长尾关系抽取方法
17
作者 张万里 佟安 李文桥 《现代电子技术》 北大核心 2024年第21期91-96,共6页
关系抽取任务可以从非结构化文本中抽取出实体对的关系信息,是信息抽取的核心任务。远程监督可以通过自动构建训练数据的方式降低人工的成本和压力,但原始语料本身存在数据不平衡的现象,导致长尾分布问题。针对这一问题,基于多示例学习... 关系抽取任务可以从非结构化文本中抽取出实体对的关系信息,是信息抽取的核心任务。远程监督可以通过自动构建训练数据的方式降低人工的成本和压力,但原始语料本身存在数据不平衡的现象,导致长尾分布问题。针对这一问题,基于多示例学习的思想,提出一种基于约束图的远程监督长尾关系抽取方法。首先根据知识图谱本体结构构建约束图,利用图卷积神经网络对其进行编码;其次利用分段膨胀卷积神经网络和实体注意力机制对句子进行编码;最后结合上述编码信息进行分类预测。在公开数据集NYT10上,相较于主流最优模型在Hits@10、Hits@15和Hits@20上分别提高了约0.6%、1.5%和2.6%,证明了实体类型和关系之间的约束信息对远程监督长尾关系抽取的重要性。 展开更多
关键词 关系抽取 远程监督 长尾分布 约束图 深度学习 知识图谱 注意力机制 膨胀卷积
下载PDF
政府补助与涉农类企业创新投资——基于融资约束视角
18
作者 王闽 胡伟 《北京化工大学学报(社会科学版)》 2024年第1期29-41,共13页
以A股涉农上市公司2015—2021年数据为样本,探讨政府补助对涉农企业创新投资的影响效应,并探究融资约束的调节作用。结果表明,研究期间我国政府补助对涉农企业创新投资产生显著的正向激励效应,而融资约束对涉农企业创新投资产生抑制效... 以A股涉农上市公司2015—2021年数据为样本,探讨政府补助对涉农企业创新投资的影响效应,并探究融资约束的调节作用。结果表明,研究期间我国政府补助对涉农企业创新投资产生显著的正向激励效应,而融资约束对涉农企业创新投资产生抑制效应。检验融资约束与政府补助交互作用对创新投资的影响时发现,融资约束对政府补助正向激励涉农企业创新投资存在反向抑制效应。以上效应在经济上行期、非国有产权性质、中小规模涉农企业中表现尤为明显。 展开更多
关键词 政府补助 涉农企业 融资约束 创新投资 调节效应
下载PDF
理想气体有限时间热力学实验平台的搭建与有限时间热力学的前沿研究
19
作者 翟若迅 马宇翰 +1 位作者 董辉 孙昌璞 《物理实验》 2024年第6期1-10,共10页
与热机有关的热力学循环研究促使了热力学基础理论的建立.目前在应用需求的驱动下,热力学研究从平衡态走向非平衡态,热力学循环理论也从准静态过程走向了有限时间过程,形成了有限时间热力学这一前沿科学领域.但是,在大学阶段的物理教学... 与热机有关的热力学循环研究促使了热力学基础理论的建立.目前在应用需求的驱动下,热力学研究从平衡态走向非平衡态,热力学循环理论也从准静态过程走向了有限时间过程,形成了有限时间热力学这一前沿科学领域.但是,在大学阶段的物理教学中热力学领域的实验(特别是热循环及其效率的实验测量)较少.本文详细介绍了基于理想气体的有限时间热力学实验平台,以及如何利用该平台对理想气体的热力学循环进行精确测量.通过该平台可以定量测量热力学循环的功率和效率,检验有限时间热力学的重要理论预言,如不可逆熵产生对时间的反比标度、有限时间卡诺循环的功率与效率的约束,以及最大功率效率与卡诺效率之间的函数关系.该有限时间热力学实验平台可以推广到大学物理实验教学,促进热力学实验教学的升级. 展开更多
关键词 有限时间热力学实验 热力学循环 功率-效率约束关系 最大功率效率
下载PDF
立体逻辑方阵视域下直接复合命题推理系统研究
20
作者 安尤丹 《贵州工程应用技术学院学报》 2024年第4期67-73,共7页
逻辑方阵理论经学界同仁不断探索,已由波依提乌的平面逻辑方阵向立体逻辑方阵转变。立体逻辑方阵表示包含两个自变元A、B的联言命题A∧B、相容选言命题A∨B、充分条件假言命题A→B、必要条件假言命题A←B及其异化形式之间的真假制约关系... 逻辑方阵理论经学界同仁不断探索,已由波依提乌的平面逻辑方阵向立体逻辑方阵转变。立体逻辑方阵表示包含两个自变元A、B的联言命题A∧B、相容选言命题A∨B、充分条件假言命题A→B、必要条件假言命题A←B及其异化形式之间的真假制约关系,据此视域可推演出直接复合命题推理系统。 展开更多
关键词 立体逻辑方阵 真假制约关系 直接推理 复合命题推理
下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部