期刊文献+
共找到448篇文章
< 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
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 被引量:2
3
作者 马莉 钟勇 霍颖瑜 《计算机科学》 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
4
作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多
关键词 OODB语言 约束演绎 多类型逻辑
下载PDF
F-logic语言表达能力的研究
5
作者 田增平 王宇君 +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
形式语言Object-Z的模型检测研究
6
作者 吴彩燕 《苏州市职业大学学报》 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
基于时序逻辑的Object-Z类切片的扩展
7
作者 佟长英 沈云付 《计算机技术与发展》 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
ODMG’93的ODL、OQL语言到F-logic程序的转换
8
作者 范启通 蔡子经 施伯乐 《计算机应用与软件》 CSCD 2000年第7期1-6,共6页
为了分析ODMG’93数据对象模型的语义,本文给出了一套转换规则,将ODMG’93的对象定义语言ODL、对象查询语言OQL转换到F-logic程序,并结合面向对象数据库管理系统O_2,通过具体的实例陈述了该转换规则是完全的。
关键词 ODL语言 OQL语言 F-logic程序 面向对象数据库
下载PDF
Multi Objective Multireservoir Optimization in Fuzzy Environment for River Sub Basin Development and Management 被引量:6
9
作者 D. G. REGULWAR P. Anand RAJ 《Journal of Water Resource and Protection》 2009年第4期271-280,共10页
In this paper, a multi objective, multireservoir operation model is proposed using Genetic algorithm (GA) under fuzzy environment. A monthly Multi Objective Genetic Algorithm Fuzzy Optimization (MOGAFU-OPT) model for ... In this paper, a multi objective, multireservoir operation model is proposed using Genetic algorithm (GA) under fuzzy environment. A monthly Multi Objective Genetic Algorithm Fuzzy Optimization (MOGAFU-OPT) model for the present study is developed in ‘C’ Language. The GA parameters i.e. population size, number of generations, crossover probability, and mutation probability are decided based on optimized val-ues of fitness function. The GA operators adopted are stochastic remainder selection, one point crossover and binary mutation. Initially the model is run for maximization of irrigation releases. Then the model is run for maximization of hydropower production. These objectives are fuzzified by assuming a linear membership function. These fuzzified objectives are simultaneously maximized by defining level of satisfaction (?) and then maximizing it. This approach is applied to a multireservoir system in Godavari river sub basin in Ma-harashtra State, India. Problem is formulated with 4 reservoirs and a barrage. The optimal operation policy for maximization of irrigation releases, maximization of hydropower production and maximization of level of satisfaction is presented for existing demand in command area. This optimal operation policy so deter-mined is compared with the actual average operation policy for Jayakwadi Stage-I reservoir. 展开更多
关键词 OPTIMIZATION Multi objective Analysis Multireservoir GENETIC Algorithms Fuzzy logic RESERVOIR Operation
下载PDF
马克思对黑格尔现实观的批判与超越 被引量:2
10
作者 陈良斌 王静 《中南大学学报(社会科学版)》 CSSCI 北大核心 2024年第3期32-40,共9页
黑格尔从绝对精神出发建立起纯粹合理性的现实,并从本体论层面对现实概念加以形而上学式演证,突出了现实的总体性内涵,同时采用对现实的事后反思与之相映射。马克思在指出黑格尔现实观的逻辑泛神论本质后,批判继承了其现实观,并对之加... 黑格尔从绝对精神出发建立起纯粹合理性的现实,并从本体论层面对现实概念加以形而上学式演证,突出了现实的总体性内涵,同时采用对现实的事后反思与之相映射。马克思在指出黑格尔现实观的逻辑泛神论本质后,批判继承了其现实观,并对之加以实践的对象性改造,使现实概念具有了客观实在的品格。在此基础上,马克思将辩证法的总体性原则社会历史化,把理论置于社会历史的总体过程中去理解。他认为理论不仅源自社会现实,更是现实运动的关键环节,并将其嵌入到改变世界的无产阶级运动之中,以此完成了对黑格尔现实观的批判与超越。 展开更多
关键词 马克思 黑格尔 现实 客观逻辑 事后反思 双重透视 总体性
下载PDF
ENTITY-ROLES MODEL AND OBJECT-ORIENTED KNOWLEDGE/DATA BASES
11
作者 Pan Jiuhui Liu Zhimin Wang Yunyi(Department of Computer Science, Central South University of Technology, Changsha, 410083, China) 《Journal of Central South University》 SCIE EI CAS 1994年第1期74-77,共4页
A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is ... A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is constructured.Any world to be modelled can be logically specified in this Language. The integrity constraints on the database and the deducing rules within the Database world are derived from the proper axioms of the world being modelled. 展开更多
关键词 EXPERT systems data model object-ORIENTATION database logic deductive QUERY
下载PDF
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies
12
作者 Jia Xu Patrick Shironoshita +2 位作者 Ubbo Visser Nigel John Mansur Kabuka 《International Journal of Intelligence Science》 2015年第1期44-62,共19页
Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checki... Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts instance checking into subsumption problems. This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSCs that could lead to intractable reasoning. In this paper, we propose a revision to this MSC method for DL SHI , allowing it to generate much simpler and smaller concepts that are specific enough to answer a given query. With independence between computed MSCs, scalability for query answering can also be achieved by distributing and parallelizing the computations. An empirical evaluation shows the efficacy of our revised MSC method and the significant efficiency achieved when using it for answering object queries. 展开更多
关键词 Description logic Ontology object QUERY SHI Most Specific Concept
下载PDF
论思想的客观性
13
作者 王路 《求是学刊》 CSSCI 北大核心 2024年第5期103-116,共14页
语言表达认识。语言所表达的东西,即思想,具有客观性。语言在表达思想的时候还带有一种东西,这就是真之条件,即思想在什么情况下是真的。后者也是客观的。人们断定一个句子所表达的东西是不是真的,需要两个条件:其一,思想必须是人们认识... 语言表达认识。语言所表达的东西,即思想,具有客观性。语言在表达思想的时候还带有一种东西,这就是真之条件,即思想在什么情况下是真的。后者也是客观的。人们断定一个句子所表达的东西是不是真的,需要两个条件:其一,思想必须是人们认识的,即在人们经验范围之内;其二,句子的真之条件必须是清楚的,否则人们就无法判定思想是不是真的。对思想的认识是经验的,但是对真之条件的认识不是经验的,而需要借助逻辑的理论和方法。人们一般不知道真之条件,这通常并不影响人们进行交流。哲学中的举例说明就是借助对思想的理解。今天,人们借助关于真之条件的认识,对句子及其表达的东西作出更好的说明。哲学史的发展表明,人们从借助关于语言的考虑进步到借助逻辑的理论和方法,从关于真及其相关问题的探讨进步到关于真之条件的认识,从而使真与意义真正结合起来。 展开更多
关键词 思想 真之条件 客观性 举例 逻辑
下载PDF
Overview of multi-objective optimization methods 被引量:2
14
作者 LeiXiujuan ShiZhongke 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第2期142-146,共5页
To assist readers to have a comprehensive understanding, the classical and intelligent methods roundly based on precursory research achievements are summarized in this paper. First, basic conception and description ab... To assist readers to have a comprehensive understanding, the classical and intelligent methods roundly based on precursory research achievements are summarized in this paper. First, basic conception and description about multi-objective (MO) optimization are introduced. Then some definitions and related terminologies are given. Furthermore several MO optimization methods including classical and current intelligent methods are discussed one by one succinctly. Finally evaluations on advantages and disadvantages about these methods are made at the end of the paper. 展开更多
关键词 multi-objective optimization objective function Pareto optimality genetic algorithms simulated annealing fuzzy logical.
下载PDF
计及气象因素与分时电价影响的综合能源系统负荷调控策略研究 被引量:1
15
作者 张力 金立 +1 位作者 任炬光 刘小兵 《综合智慧能源》 2024年第1期18-27,共10页
用能高峰时段,综合能源系统多元负荷受气象因素影响,使其用能需求量短时持续上升,导致供需矛盾加剧;同时,综合能源系统多能耦合转换与蓄放单元的电驱动特点(如冰蓄冷空调、电制冷制冰)致使其用能成本受分时电价影响进一步增加。以供冷... 用能高峰时段,综合能源系统多元负荷受气象因素影响,使其用能需求量短时持续上升,导致供需矛盾加剧;同时,综合能源系统多能耦合转换与蓄放单元的电驱动特点(如冰蓄冷空调、电制冷制冰)致使其用能成本受分时电价影响进一步增加。以供冷季用能高峰时段综合能源系统冷-电供需调控为研究对象,提出一种包含冷负荷需求自身调节与供冷功率主动控制的两阶段递进式调控策略,旨在实现多能供需平衡空间的拓展与用能成本的降低。基于模糊C均值聚类并考虑综合气象因素与分时电价的影响,选取调控时段;在第1阶段构建了温-湿舒适度最佳与冷能需求量最低的多目标负荷调节模型,在第2阶段提出了用能成本最低和运行能耗最小的多目标供冷输出功率主动控制策略;选取某校园综合能源系统实际运行数据进行算例仿真,采用ε-约束法以及多维偏好线性规划方法进行多目标求解,并基于用能舒适度变化的运行能耗、用能成本等指标,对比分析负荷需求在用能高峰时段调控优化前后的效果。结果表明,所提方法在满足用能舒适度的同时,能削减约13%的负荷需求,并降低约1.9%系统用能成本,有效缓解多能供需矛盾,增强系统运行的灵活性。 展开更多
关键词 综合能源系统 负荷调控 多目标优化 综合气象因素 分时电价
下载PDF
“检察公益诉讼法”调整对象确定的理论逻辑与内容安排
16
作者 张嘉军 师睿智 《中州学刊》 CSSCI 北大核心 2024年第10期63-69,共7页
“检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是... “检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是,检察公益诉讼的出发点和本质为保护公益、维护公共利益,这一本质特征决定了确定其调整对象的逻辑起点,“检察公益诉讼法”的调整对象应为公益关系。在这一逻辑前提下,需要对每种公益诉讼案件类型的调整对象进行具体分析。 展开更多
关键词 “检察公益诉讼法” 调整对象 逻辑起点 公益保护 公益关系
下载PDF
数学新课标总目标中基本概念的内在逻辑
17
作者 孙国春 《课程.教材.教法》 CSSCI 北大核心 2024年第7期102-109,共8页
《义务教育数学课程标准(2022年版)》总目标中的基本概念是“三会”导向的数学课程目标的主要构成。但因数量较多,渊源复杂,给基层教师理解“三会”导向的数学课程目标造成困扰。准确理解总目标中的基本概念,厘清隐含其中的逻辑关系,构... 《义务教育数学课程标准(2022年版)》总目标中的基本概念是“三会”导向的数学课程目标的主要构成。但因数量较多,渊源复杂,给基层教师理解“三会”导向的数学课程目标造成困扰。准确理解总目标中的基本概念,厘清隐含其中的逻辑关系,构建以基层教师教育经验为基石的数学课程目标整体逻辑框架,可以为基层教师理解和落实“三会”导向的数学课程目标提供经验支撑和方向引导,填补素养导向的数学课程目标与教师的教育经验之间的鸿沟。 展开更多
关键词 数学新课标 课程目标 核心素养 逻辑框架
下载PDF
面向对象时空数据模型研究概述
18
作者 姬龙涛 李亚汝 +1 位作者 张军海 刘雅浩 《时空信息学报》 2024年第6期732-744,共13页
时空数据模型是模拟处理具有时间、空间、主题等多维语义特征时空数据的有效工具。面向对象时空数据模型采用面向对象的思维和技术来认识、表达、存储与分析地理现象,通过构建时空对象实体、封装操作行为、模拟时序关系实现抽象描述地... 时空数据模型是模拟处理具有时间、空间、主题等多维语义特征时空数据的有效工具。面向对象时空数据模型采用面向对象的思维和技术来认识、表达、存储与分析地理现象,通过构建时空对象实体、封装操作行为、模拟时序关系实现抽象描述地理现象的产生、发展和灭亡的过程,具有支持变长记录、多元组存储和子对象嵌套的优势。本文通过概述已有研究的面向对象时空数据模型,纵向梳理模型的发展脉络和演变过程,总结相关研究构建模型的基本思路和独特视角;横向参照数据模型的抽象过程,从概念、逻辑、物理三个层次分析模型的构成和特点,梳理不同研究设计模型的内在关联与基本逻辑,以期为模型理论探索和实践应用提供一定的借鉴,为模型完善和新模型探索提供一些参考。 展开更多
关键词 时空数据 时空数据模型 面向对象 时空对象 概念模型 逻辑模型
下载PDF
古诗中的“衬托”手法——以宋前诗歌为考察对象
19
作者 王群丽 《杜甫研究学刊》 2024年第1期78-95,共18页
衬托手法在诗歌写作中应用极为广泛,它以次要物象映衬主要物象,使之特点更鲜明。衬托物经由兴、比喻、对比、踵事增华、渲染氛围等思维方式与被衬托物联系在一起,它可能是与被衬托物共处于特定环境的自然存在,也可能是作者引入的物象或... 衬托手法在诗歌写作中应用极为广泛,它以次要物象映衬主要物象,使之特点更鲜明。衬托物经由兴、比喻、对比、踵事增华、渲染氛围等思维方式与被衬托物联系在一起,它可能是与被衬托物共处于特定环境的自然存在,也可能是作者引入的物象或者典故。因为事物间的天然联系,诗歌按照自然状态反映外物,即可能采用衬托手法。写作对象不易摹写、对诗歌对仗之美的追求等,都可能促成衬托手法的使用。景物作为烘托物进入诗歌,经历了一个由简单到复杂的进化过程,这一过程与诗歌写作艺术的发展密切相关。衬托手法运用得宜,是诗歌创作的极大助力,但诗歌创作亦不必一味拘泥于衬托。 展开更多
关键词 衬托 思维逻辑 衬托物 进化历程
下载PDF
Sustainable Multi-Objective Multi-Reservoir Optimization Considering Environmental Flow
20
作者 Pushpak D. Dabhade Dattatray G. Regulwar 《Journal of Water Resource and Protection》 2021年第12期945-956,共12页
Increasing demand for water from all sectors presents a challenge for policy makers to improve water allocation policies for storage reservoirs. In addition, there are many other organisms and species present in river... Increasing demand for water from all sectors presents a challenge for policy makers to improve water allocation policies for storage reservoirs. In addition, there are many other organisms and species present in river waters that also require water for their survival. Due to the lack of awareness many times the minimum required quantity and quality of water for river ecosystem is not made available at downstream of storage reservoirs. So, a sustainable approach is required in reservoir operations to maintain the river ecosystem with environmental flow while meeting the other demands. Multi-objective, multi-reservoir operation model developed with Python programming using Fuzzy Linear Programing method incorporating environmental flow requirement of river is presented in this paper. Objective of maximization of irrigation release is considered for first run. In second run maximization of releases for hydropower generation is considered as objective. Further both objectives are fuzzified by incorporating linear membership function and solved to maximize fuzzified objective function simultaneously by maximizing satisfaction level indicator (λ). The optimal reservoir operation policy is presented considering constraints including Irrigation release, Turbine release, Reservoir storage, Environmental flow release and hydrologic continuity. Model applied for multi-reservoir system consists of four reservoirs, i.e., Jayakwadi Stage-I Reservoir (R1), Jayakwadi Stage-II Reservoir (R2), Yeldari Reservoir (R3), Siddheshwar Reservoir (R4) in Godavari River sub-basin from Marathwada region of Maharashtra State, India. 展开更多
关键词 OPTIMIZATION Multi-objective Analysis MULTI-RESERVOIR Reservoir Operation Environmental Flow Linear Programming Fuzzy logic
下载PDF
上一页 1 2 23 下一页 到第
使用帮助 返回顶部