期刊文献+
共找到444篇文章
< 1 2 23 >
每页显示 20 50 100
Study on Logical Relations amongUnderground Survey Objects Using Quotient Topological Space 被引量:1
1
作者 陈宜金 《International Journal of Mining Science and Technology》 SCIE EI 1997年第2期7-10,共4页
A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological s... A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications. 展开更多
关键词 UNDERGROUND SURVEY objectS QUOTIENT TOPOlogicAL space logical RELATION
下载PDF
Semi-Automatic Objects Recognition in Urban Areas Based on Fuzzy Logic
2
作者 Federico Prandi Raffaella Brumana Francesco Fassi 《Journal of Geographic Information System》 2010年第2期55-62,共8页
Three dimensional object extraction and recognition (OER) from geographic data has been definitely one of more important topic in photogrammetry for quite a long time. Today, the capability of rapid generating high-de... Three dimensional object extraction and recognition (OER) from geographic data has been definitely one of more important topic in photogrammetry for quite a long time. Today, the capability of rapid generating high-density DSM increases the supply of geographic information but the discrete nature of the measuring makes more difficult to recognize correctly and to extract 3D objects from these surface. The proposed methodology wants to semi-automate some geographic objects clustering operations, in order to perform the recognition process. The clustering is a subjective process;the same set of data items often needs to be partitioned differently based on the application. Fuzzy logic gives the possibility to use in a mathematical process the uncertain information typical of human reasoning. The concept at the base of our proposal is to use the information contained in Image Matching or LiDAR DSM, and typically understood by the human operator, in a fuzzy recognition process able to combine the different input in order to perform the classification. So the object recognition approach proposed in our workflow integrates 3D structural descriptive components of objects, extracted from DSM, into a fuzzy reasoning process in order to exploit more fully all available information, which can contribute to the extraction and recognition process and, to handling the object’s vagueness. The recognition algorithm has been tested with to different data set and different objectives. An important issue is to apply the typical human process which allows to recognize objects in a range image in a fuzzy reasoning process. The investigations presented here have given a first demonstration of the capability of this approach. 展开更多
关键词 objectS RECOGNITION DSM Fuzzy logic
下载PDF
马克思对黑格尔现实观的批判与超越 被引量:1
3
作者 陈良斌 王静 《中南大学学报(社会科学版)》 CSSCI 北大核心 2024年第3期32-40,共9页
黑格尔从绝对精神出发建立起纯粹合理性的现实,并从本体论层面对现实概念加以形而上学式演证,突出了现实的总体性内涵,同时采用对现实的事后反思与之相映射。马克思在指出黑格尔现实观的逻辑泛神论本质后,批判继承了其现实观,并对之加... 黑格尔从绝对精神出发建立起纯粹合理性的现实,并从本体论层面对现实概念加以形而上学式演证,突出了现实的总体性内涵,同时采用对现实的事后反思与之相映射。马克思在指出黑格尔现实观的逻辑泛神论本质后,批判继承了其现实观,并对之加以实践的对象性改造,使现实概念具有了客观实在的品格。在此基础上,马克思将辩证法的总体性原则社会历史化,把理论置于社会历史的总体过程中去理解。他认为理论不仅源自社会现实,更是现实运动的关键环节,并将其嵌入到改变世界的无产阶级运动之中,以此完成了对黑格尔现实观的批判与超越。 展开更多
关键词 马克思 黑格尔 现实 客观逻辑 事后反思 双重透视 总体性
下载PDF
论思想的客观性
4
作者 王路 《求是学刊》 CSSCI 北大核心 2024年第5期103-116,共14页
语言表达认识。语言所表达的东西,即思想,具有客观性。语言在表达思想的时候还带有一种东西,这就是真之条件,即思想在什么情况下是真的。后者也是客观的。人们断定一个句子所表达的东西是不是真的,需要两个条件:其一,思想必须是人们认识... 语言表达认识。语言所表达的东西,即思想,具有客观性。语言在表达思想的时候还带有一种东西,这就是真之条件,即思想在什么情况下是真的。后者也是客观的。人们断定一个句子所表达的东西是不是真的,需要两个条件:其一,思想必须是人们认识的,即在人们经验范围之内;其二,句子的真之条件必须是清楚的,否则人们就无法判定思想是不是真的。对思想的认识是经验的,但是对真之条件的认识不是经验的,而需要借助逻辑的理论和方法。人们一般不知道真之条件,这通常并不影响人们进行交流。哲学中的举例说明就是借助对思想的理解。今天,人们借助关于真之条件的认识,对句子及其表达的东西作出更好的说明。哲学史的发展表明,人们从借助关于语言的考虑进步到借助逻辑的理论和方法,从关于真及其相关问题的探讨进步到关于真之条件的认识,从而使真与意义真正结合起来。 展开更多
关键词 思想 真之条件 客观性 举例 逻辑
下载PDF
计及气象因素与分时电价影响的综合能源系统负荷调控策略研究 被引量:1
5
作者 张力 金立 +1 位作者 任炬光 刘小兵 《综合智慧能源》 2024年第1期18-27,共10页
用能高峰时段,综合能源系统多元负荷受气象因素影响,使其用能需求量短时持续上升,导致供需矛盾加剧;同时,综合能源系统多能耦合转换与蓄放单元的电驱动特点(如冰蓄冷空调、电制冷制冰)致使其用能成本受分时电价影响进一步增加。以供冷... 用能高峰时段,综合能源系统多元负荷受气象因素影响,使其用能需求量短时持续上升,导致供需矛盾加剧;同时,综合能源系统多能耦合转换与蓄放单元的电驱动特点(如冰蓄冷空调、电制冷制冰)致使其用能成本受分时电价影响进一步增加。以供冷季用能高峰时段综合能源系统冷-电供需调控为研究对象,提出一种包含冷负荷需求自身调节与供冷功率主动控制的两阶段递进式调控策略,旨在实现多能供需平衡空间的拓展与用能成本的降低。基于模糊C均值聚类并考虑综合气象因素与分时电价的影响,选取调控时段;在第1阶段构建了温-湿舒适度最佳与冷能需求量最低的多目标负荷调节模型,在第2阶段提出了用能成本最低和运行能耗最小的多目标供冷输出功率主动控制策略;选取某校园综合能源系统实际运行数据进行算例仿真,采用ε-约束法以及多维偏好线性规划方法进行多目标求解,并基于用能舒适度变化的运行能耗、用能成本等指标,对比分析负荷需求在用能高峰时段调控优化前后的效果。结果表明,所提方法在满足用能舒适度的同时,能削减约13%的负荷需求,并降低约1.9%系统用能成本,有效缓解多能供需矛盾,增强系统运行的灵活性。 展开更多
关键词 综合能源系统 负荷调控 多目标优化 综合气象因素 分时电价
下载PDF
“检察公益诉讼法”调整对象确定的理论逻辑与内容安排
6
作者 张嘉军 师睿智 《中州学刊》 CSSCI 北大核心 2024年第10期63-69,共7页
“检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是... “检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是,检察公益诉讼的出发点和本质为保护公益、维护公共利益,这一本质特征决定了确定其调整对象的逻辑起点,“检察公益诉讼法”的调整对象应为公益关系。在这一逻辑前提下,需要对每种公益诉讼案件类型的调整对象进行具体分析。 展开更多
关键词 “检察公益诉讼法” 调整对象 逻辑起点 公益保护 公益关系
下载PDF
数学新课标总目标中基本概念的内在逻辑
7
作者 孙国春 《课程.教材.教法》 CSSCI 北大核心 2024年第7期102-109,共8页
《义务教育数学课程标准(2022年版)》总目标中的基本概念是“三会”导向的数学课程目标的主要构成。但因数量较多,渊源复杂,给基层教师理解“三会”导向的数学课程目标造成困扰。准确理解总目标中的基本概念,厘清隐含其中的逻辑关系,构... 《义务教育数学课程标准(2022年版)》总目标中的基本概念是“三会”导向的数学课程目标的主要构成。但因数量较多,渊源复杂,给基层教师理解“三会”导向的数学课程目标造成困扰。准确理解总目标中的基本概念,厘清隐含其中的逻辑关系,构建以基层教师教育经验为基石的数学课程目标整体逻辑框架,可以为基层教师理解和落实“三会”导向的数学课程目标提供经验支撑和方向引导,填补素养导向的数学课程目标与教师的教育经验之间的鸿沟。 展开更多
关键词 数学新课标 课程目标 核心素养 逻辑框架
下载PDF
古诗中的“衬托”手法——以宋前诗歌为考察对象
8
作者 王群丽 《杜甫研究学刊》 2024年第1期78-95,共18页
衬托手法在诗歌写作中应用极为广泛,它以次要物象映衬主要物象,使之特点更鲜明。衬托物经由兴、比喻、对比、踵事增华、渲染氛围等思维方式与被衬托物联系在一起,它可能是与被衬托物共处于特定环境的自然存在,也可能是作者引入的物象或... 衬托手法在诗歌写作中应用极为广泛,它以次要物象映衬主要物象,使之特点更鲜明。衬托物经由兴、比喻、对比、踵事增华、渲染氛围等思维方式与被衬托物联系在一起,它可能是与被衬托物共处于特定环境的自然存在,也可能是作者引入的物象或者典故。因为事物间的天然联系,诗歌按照自然状态反映外物,即可能采用衬托手法。写作对象不易摹写、对诗歌对仗之美的追求等,都可能促成衬托手法的使用。景物作为烘托物进入诗歌,经历了一个由简单到复杂的进化过程,这一过程与诗歌写作艺术的发展密切相关。衬托手法运用得宜,是诗歌创作的极大助力,但诗歌创作亦不必一味拘泥于衬托。 展开更多
关键词 衬托 思维逻辑 衬托物 进化历程
下载PDF
层层加码与层层递减:不同类型公共政策自上而下执行的权变逻辑 被引量:2
9
作者 谢来位 《求实》 CSSCI 北大核心 2024年第2期43-55,M0004,共14页
公共政策自上而下执行中层层加码的现象由来已久且较为普遍。基于不同类型公共政策主要直接功能存在的差异,对规范性、分配性、导向性等3类公共政策自上而下执行中对政策目标、政策工具、政策监控层层加码或层层递减的表现和结果展开分... 公共政策自上而下执行中层层加码的现象由来已久且较为普遍。基于不同类型公共政策主要直接功能存在的差异,对规范性、分配性、导向性等3类公共政策自上而下执行中对政策目标、政策工具、政策监控层层加码或层层递减的表现和结果展开分析,从利益逻辑、行为逻辑、制度逻辑探寻行为背后的逻辑动因。要消解政策执行中的层层加码或层层递减现象,应制定明确的政策目标并运用有效的政策工具,健全公共政策执行者激励相容机制,积极践行全过程人民民主,增强目标群体的民主法治监督能力和公共舆论客观理性,在减少政策执行层级的同时加强跨层级治理。 展开更多
关键词 公共政策 政策目标 政策工具 政策执行 层层加码 层层递减 利益逻辑 行为逻辑 制度逻辑
下载PDF
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 被引量:2
10
作者 马莉 钟勇 霍颖瑜 《计算机科学》 CSCD 北大核心 2014年第4期184-189,共6页
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描... Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。 展开更多
关键词 形式化描述语言 责任授权模型 object-Z 分布式时态逻辑
下载PDF
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量:2
11
作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多
关键词 OODB语言 约束演绎 多类型逻辑
下载PDF
基于多目标线性规划的本体冲突消除方法
12
作者 彭蔚 吴茂念 +2 位作者 郝秀兰 朱绍军 郑博 《计算机应用与软件》 北大核心 2024年第2期286-292,310,共8页
针对本体逻辑冲突消除传统方法未充分利用本体逻辑性质的缺陷,引入Shapley值法刻画本体逻辑性质,构建基于多目标0-1整数线性规划的本体冲突消除方法,使用分层序列法求解多目标线性规划模型。其解遵循理性放弃原则,避免传统方法中目标权... 针对本体逻辑冲突消除传统方法未充分利用本体逻辑性质的缺陷,引入Shapley值法刻画本体逻辑性质,构建基于多目标0-1整数线性规划的本体冲突消除方法,使用分层序列法求解多目标线性规划模型。其解遵循理性放弃原则,避免传统方法中目标权重的平均性或随机性。实验结果表明,采用该方法能够令解集遵循理性放弃原则的前提下,利用本体逻辑性质有效减少解集数量,从而提高决策效率。 展开更多
关键词 本体 逻辑冲突 多目标整数线性规划 最小不可满足子集 SHAPLEY值法
下载PDF
档案术语价值演化的逻辑理路及运行机制
13
作者 沈丹丹 孙大东 《档案管理》 北大核心 2024年第2期39-41,47,共4页
依据马克思的对象性理论和价值对象性理念,档案术语的价值不是现成的,而是对象性活动的物化,其价值演化可从对象性活动中去展开考察。档案术语的价值演化可从价值主体、价值客体和对象性活动三个维度展开分析,其逻辑理路包括过程性逻辑... 依据马克思的对象性理论和价值对象性理念,档案术语的价值不是现成的,而是对象性活动的物化,其价值演化可从对象性活动中去展开考察。档案术语的价值演化可从价值主体、价值客体和对象性活动三个维度展开分析,其逻辑理路包括过程性逻辑和内在性逻辑。借助马太效应的机理可有效揭示档案术语价值演化的运行机制,其中科学承认是演化的基点,档案术语的身份和地位及其变化则是科学承认累积的关键。 展开更多
关键词 档案术语 价值生命周期 价值主体 价值客体 演化逻辑 马太效应 运行机制
下载PDF
F-logic语言表达能力的研究
14
作者 田增平 王宇君 +1 位作者 曲云尧 施伯乐 《软件学报》 EI CSCD 北大核心 1997年第8期561-568,共8页
F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象... F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力. 展开更多
关键词 逻辑数据语言 F-logic语言 面向对象
下载PDF
制冷站双目标权重自适应非线性预测控制
15
作者 魏东 闫畔 冯浩东 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第1期49-58,共10页
针对传统制冷站控制系统易产生振荡,且无法实现系统性能整体优化的问题,本文提出一种制冷站非线性预测控制策略,优化目标函数设计为满足建筑冷量需求的同时,尽可能提高系统整体能效.为解决上述两个优化目标之间的矛盾关系,本文采用模糊... 针对传统制冷站控制系统易产生振荡,且无法实现系统性能整体优化的问题,本文提出一种制冷站非线性预测控制策略,优化目标函数设计为满足建筑冷量需求的同时,尽可能提高系统整体能效.为解决上述两个优化目标之间的矛盾关系,本文采用模糊逻辑设计了优化目标权重自适应模块,实时求取权重因子最优解;针对非线性系统在线优化求解困难问题,本文提出了基于神经网络的非线性滚动优化算法,采用神经网络作为反馈优化控制器,并将系统优化目标函数作为在线寻优性能指标,结合Euler-Lagrange方法和随机梯度下降法对控制器权值和阈值进行在线寻优,算法计算量小,占用存储空间适中,便于采用低成本的现场控制器实现制冷站预测控制.仿真实验结果表明,本文所提出的预测控制策略与PID控制相比,在未加入优化目标函数权重自适应模块情况下,系统平均能效比提高约32.5%;进行优化目标函数权重自适应寻优后,系统平均能效提高约39.43%. 展开更多
关键词 制冷站 非线性系统 预测控制 神经网络 权重自适应 模糊逻辑 双目标优化
下载PDF
形式语言Object-Z的模型检测研究
16
作者 吴彩燕 《苏州市职业大学学报》 2015年第3期29-35,共7页
Object-Z是一种用于表示面向对象系统规约的高层抽象语言,由于缺乏自动验证工具的支持,很难建立直接证明由Object-Z表示的面向对象系统规约正确性,成为Object-Z被广泛采用的最大障碍.模型检测是一种验证系统规约正确性的自动化技术.使... Object-Z是一种用于表示面向对象系统规约的高层抽象语言,由于缺乏自动验证工具的支持,很难建立直接证明由Object-Z表示的面向对象系统规约正确性,成为Object-Z被广泛采用的最大障碍.模型检测是一种验证系统规约正确性的自动化技术.使用模型检测工具SPIN验证Object-Z描述的正确性,把Object-Z的规约转换成标记转换系统,然后把标记转换系统转换为SPIN的输入语言Promela,使用线性时序逻辑刻画Object-Z中的历史不变式.通过对订票系统类的Object-Z描述的验证,结果表明该方案具有可行性. 展开更多
关键词 模型检测 object-Z SPIN 时序逻辑
下载PDF
世界文学、生态文学与我
17
作者 刘婷婷 《世界文学评论(高教版)》 2024年第2期186-190,共5页
本文从笔者和世界文学之间的关系出发,提出生态文学长久以来是世界文学中的一个重要部分,现在在持续发展着,并有着可期的潜力。生态文学的正常与良性发展必将为世界文学添砖加瓦,为维持以及促进世界文学的发展贡献自己的力量。本文以法... 本文从笔者和世界文学之间的关系出发,提出生态文学长久以来是世界文学中的一个重要部分,现在在持续发展着,并有着可期的潜力。生态文学的正常与良性发展必将为世界文学添砖加瓦,为维持以及促进世界文学的发展贡献自己的力量。本文以法国电影生态纪录片《鸟的迁徙》为经典范例,对影片中鸟类在迁徙前作准备的情景进行解说和诠释,并主要围绕有关这部电影的四个问题进行探讨和论述,表达笔者的相关思考、观点与感悟。本文希望以点及面,通过对《鸟的迁徙》的探讨与论述,帮助我们能对当代优秀的世界文学中的生态领域有所认知,启发我们注意到与世界级文学、世界优秀文学等重要特点与素养相通的方面。 展开更多
关键词 世界文学、生态文学与我 电影《鸟的迁徙》 事实与现象 客观规律 逻辑性 科学性 诗意与哲思表现 人文探寻与诉求 (电影与世界文学)的相通性
下载PDF
基于时序逻辑的Object-Z类切片的扩展
18
作者 佟长英 沈云付 《计算机技术与发展》 2009年第6期13-16,21,共5页
文中对程序切片进行了研究,报告了程序切片的现状,进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证,对Object-Z作切片处理是必须的。以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。通过面向对... 文中对程序切片进行了研究,报告了程序切片的现状,进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证,对Object-Z作切片处理是必须的。以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。通过面向对象程序依赖图对Object-Z进行切片,实现了Object-Z的抽象,给出了对于一个类或具有继承关系的多个类的刻划,即证明了在状态和事件上的公式在原模型与抽象模型中保持,扩展了Object-Z类切片方法。 展开更多
关键词 程序切片 KRIPKE结构 object-Z 时序逻辑 间隔逻辑 通用堆栈
下载PDF
基于全流域梯级水电站的智能化调度应用研究
19
作者 骞巍 孙晶莹 《大坝与安全》 2024年第3期1-4,14,共5页
为实现老挝南欧江全流域梯级水电站“度电必争、滴水归调”的智能化调度运行目标,基于数字化转型的管理理念,剖析梯级水电站统筹调度的难点,探索提高水文气象预测精度及水电站运行调度能力的实施路径与有效举措。通过水电站智能化调度... 为实现老挝南欧江全流域梯级水电站“度电必争、滴水归调”的智能化调度运行目标,基于数字化转型的管理理念,剖析梯级水电站统筹调度的难点,探索提高水文气象预测精度及水电站运行调度能力的实施路径与有效举措。通过水电站智能化调度提高电站经济效益、社会效益、生态效益,推动“双碳”目标的落实,为“一带一路”沿线国家流域水电开发、国内外各大流域梯级调控中心提供优化运行的指导与借鉴。 展开更多
关键词 多目标联合调度 大数据平台 智能化调度 水文气象预测
下载PDF
ODMG’93的ODL、OQL语言到F-logic程序的转换
20
作者 范启通 蔡子经 施伯乐 《计算机应用与软件》 CSCD 2000年第7期1-6,共6页
为了分析ODMG’93数据对象模型的语义,本文给出了一套转换规则,将ODMG’93的对象定义语言ODL、对象查询语言OQL转换到F-logic程序,并结合面向对象数据库管理系统O_2,通过具体的实例陈述了该转换规则是完全的。
关键词 ODL语言 OQL语言 F-logic程序 面向对象数据库
下载PDF
上一页 1 2 23 下一页 到第
使用帮助 返回顶部