期刊文献+
共找到451篇文章
< 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
暂未订购
第二期“双高建设计划”的目标逻辑、现实困境与解决对策 被引量:8
3
作者 郭福春 梁帅 《中国职业技术教育》 北大核心 2025年第7期12-20,共9页
三螺旋模型理论是阐释政府、产业、院校在“双高建设计划”中协同创新的理论切入点。第二期“双高建设计划”的目标逻辑主要体现在从“自身发展”转向“服务贡献”、国家战略牵引与地方特色赋能相结合、以“两体”共振实现产教双端供需... 三螺旋模型理论是阐释政府、产业、院校在“双高建设计划”中协同创新的理论切入点。第二期“双高建设计划”的目标逻辑主要体现在从“自身发展”转向“服务贡献”、国家战略牵引与地方特色赋能相结合、以“两体”共振实现产教双端供需适配、标准框架前置强调全过程评价。目前,职业院校开展第二期“双高建设计划”面临服务区域经济社会能力不强、对技术革新与产业变革的贡献度不高、产教融合协同机制不畅、院校特色化发展不鲜明、数字赋能教育教学深度不足等现实困境。针对上述问题,需构建“需求—供给—反馈”动态机制,打通基础研究到产业转化的创新闭环;健全“制度—资源—评价”产教协同框架,推进“五金”要素协同升级;深化“基础设施—教学模式—治理体系”的数字化转型。 展开更多
关键词 “双高建设计划” 目标逻辑 现实困境 解决对策
原文传递
中国特色社会主义政治经济学理论体系——前置条件与体系构建 被引量:1
4
作者 白永秀 赵兴花 《中国经济问题》 北大核心 2025年第2期1-12,共12页
理论体系构建的科学性及其程度是衡量一门学科成熟度的重要标志。本文回顾总结中国特色社会主义政治经济学理论体系的构建思路,发现存在三条主路径:参考较为成熟的理论体系来构建、聚集重大现实问题来构建及聚焦研究主线来构建。综合上... 理论体系构建的科学性及其程度是衡量一门学科成熟度的重要标志。本文回顾总结中国特色社会主义政治经济学理论体系的构建思路,发现存在三条主路径:参考较为成熟的理论体系来构建、聚集重大现实问题来构建及聚焦研究主线来构建。综合上述三条主路径的构建思路,本文以社会主义初级阶段的生产资料所有制结构为逻辑起点,以社会主义初级阶段的生产关系为研究对象,围绕市场效率与社会公平的辩证统一关系,以马克思主义政治经济学为指导,借鉴西方经济学的合理成分,紧密结合中国特色社会主义初级阶段经济发展实践,按照“总—分—总”的结构安排,构建涵盖生产方式与基本经济制度理论、生产理论、分配理论、交换理论、消费理论、宏观经济理论及对外经济理论的“七部体系”。 展开更多
关键词 中国特色社会主义政治经济学 理论体系 逻辑起点 研究对象 研究主线
原文传递
职教本科“金师”培养:逻辑规约、目标澄明与张力取径
5
作者 张健 《江苏高职教育》 2025年第3期12-23,共12页
职教本科“金师”培养是职业教育“五金”建设的重要内涵之一,关乎职业教育高质量发展和现代化目标的实现,其逻辑规约是职教本科外延拓展的应然规定、培养对象内涵提质的刚需确定和育人质量实现期许的逻辑绑定。职教本科“金师”培养的... 职教本科“金师”培养是职业教育“五金”建设的重要内涵之一,关乎职业教育高质量发展和现代化目标的实现,其逻辑规约是职教本科外延拓展的应然规定、培养对象内涵提质的刚需确定和育人质量实现期许的逻辑绑定。职教本科“金师”培养的五维目标维度是“教明其道、教精其术、教强其能、教创其新、教践其实”。职教本科“金师”培养的张力取径包括:理论提升——读研写三管齐下;方法澄明——践悟创多维联动;技能立身——手脑心均衡发展;创新立教——道术器体系构建;笃行守望——过程构序变革教学进阶。 展开更多
关键词 职教本科 “金师” 逻辑规约 目标澄明 张力取径
在线阅读 下载PDF
谢林的“黑格尔思想仿效说”考论——谢林自然哲学与黑格尔逻辑学的关系
6
作者 庄振华 《云南大学学报(社会科学版)》 2025年第3期33-44,共12页
谢林认为黑格尔逻辑学仿效他的自然哲学的建构方法,却丢失了这一建构的原本精神,陷入空洞的主观性观念演进。从两种学说出现的先后次序以及黑格尔逻辑学对谢林的一些典型学说(如“概念—判断—推论”“可能性—现实性—必然性”“实体... 谢林认为黑格尔逻辑学仿效他的自然哲学的建构方法,却丢失了这一建构的原本精神,陷入空洞的主观性观念演进。从两种学说出现的先后次序以及黑格尔逻辑学对谢林的一些典型学说(如“概念—判断—推论”“可能性—现实性—必然性”“实体性—因果性—交互作用”三组关系)明显的承袭与偏差来看,谢林的判断是有一定依据的。但对勘“维尔茨堡体系”与《逻辑学》中的相关文本后不难发现,黑格尔不仅在层面划分、概念演绎、逻辑必然性呈现等方面更胜一筹,还发展出不同于谢林“理智直观”所见的绝对者自身建构模式的一套独立的演绎模式,即“客观思维”直面与摆脱现实事物中的现成化危险,并不断向更加深广的层面拓展的演绎模式。黑格尔并没有陷入谢林批评的“单纯主观推演”和“缺乏现实性”的困境。不仅如此,黑格尔同样有理由依据自己独立的思想路径,反过来批评谢林思想的外在性、形式主义。从谢林与黑格尔的中后期思想来看,两人的相互批评大体而言是一种坚守自身立场、罔顾对方独特路径的先入为主式误解。在反形而上学思潮流行的当前时代,我们澄清两人思想关系不应以相互攻讦为目的,而应开显两种思想路径的互补性,这样才更有利于展示它们对于当前“人文疲弊、科技飞升”的吊诡局面的矫正作用,如展示理性的高贵“出身”,以及理性在避免现成化与提升自身方面的巨大潜力。 展开更多
关键词 自然哲学 逻辑学 理性 理智直观 客观思维
在线阅读 下载PDF
考虑淡水壳菜腐烂影响的长距离输水隧洞检修通风方案优化方法
7
作者 刘长欣 余红玲 +3 位作者 王晓玲 郭章潮 李沛 王佳俊 《水利学报》 北大核心 2025年第3期375-386,共12页
长距离输水隧洞检修期排水时,壁面附着的淡水壳菜会死亡腐烂并释放出大量有害气体,严重威胁检修安全。现有地下工程通风安全研究侧重于考虑通风效果的通风方案比选,难以获取兼顾通风效果和通风成本的全局最优方案,且缺乏考虑淡水壳菜腐... 长距离输水隧洞检修期排水时,壁面附着的淡水壳菜会死亡腐烂并释放出大量有害气体,严重威胁检修安全。现有地下工程通风安全研究侧重于考虑通风效果的通风方案比选,难以获取兼顾通风效果和通风成本的全局最优方案,且缺乏考虑淡水壳菜腐烂有害气体的影响。此外,基于帕累托最优准则(PO)的多目标优化方法在输出非支配解集后,需要结合多准则决策方法进行二次选择方可得到最优解,优化效率较低。针对上述问题,提出考虑淡水壳菜腐烂影响的长距离输水隧洞检修通风方案模糊逻辑多目标优化方法。首先,结合模糊隶属度函数将多个优化目标转换到相同的连续域空间,并综合处理成统一的优化指标,构建基于模糊逻辑(FL)的多目标优化数学模型,以进行兼顾通风效果与通风成本的全局寻优;然后,提出基于混沌映射和最优邻域扰动策略改进的沙漠猫群优化(ISCSO)算法求解多目标优化数学模型,避免非支配解集的二次选择,提高优化效率。性能测试和案例研究表明,本文提出的ISCSO-FL多目标优化方法在解的质量、解的鲁棒性以及计算复杂度等方面具有优越性。本文方法得到的最优方案能够满足通风安全需求,通风成本相比初始方案降低21.9%,且优化效率相比基于PO准则的多目标优化方法提高68.1%。本研究可为地下工程通风方案的设计与优化提供新思路。 展开更多
关键词 长距离输水隧洞 检修通风 淡水壳菜腐烂 多目标优化 模糊逻辑 改进沙漠猫群优化算法
在线阅读 下载PDF
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 被引量:2
8
作者 马莉 钟勇 霍颖瑜 《计算机科学》 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
超越二元之争:现代灾害风险科学研究的逻辑进路及转向 被引量:1
9
作者 王超 《灾害学》 北大核心 2025年第2期61-64,76,共5页
认识与建构具有高度复杂性与不确定性特征的现代灾害风险的话语体系是建立在二元论的基础之上,但这种传统不利于理解灾害中事实与价值的统一。该文通过提出“概念化-工具化-实操化”的逻辑进路,阐释了客观实在论与社会建构论在风险认知... 认识与建构具有高度复杂性与不确定性特征的现代灾害风险的话语体系是建立在二元论的基础之上,但这种传统不利于理解灾害中事实与价值的统一。该文通过提出“概念化-工具化-实操化”的逻辑进路,阐释了客观实在论与社会建构论在风险认知、风险分析与风险决策方面的争论,主张以二重性取代并超越传统二元论。研究结果表明,风险认知上,强调灾害风险客观实在性与社会建构性的辩证统一;风险分析上,应综合客观灾害风险评估与主观感知;风险决策上,要根植于复合治理情景,利用科学理性和经验材料等混合证据进行整体抉择。为灾害风险科学研究提供了整合性视角,对于应对风险社会的复杂性挑战与推动现代灾害风险治理的理论创新具有一定借鉴价值。 展开更多
关键词 灾害风险 二重性 客观实在性 社会建构性 逻辑进路
在线阅读 下载PDF
F-logic语言表达能力的研究
10
作者 田增平 王宇君 +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
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量:2
11
作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多
关键词 OODB语言 约束演绎 多类型逻辑
在线阅读 下载PDF
“改变世界”何以可能与如何有效——《德意志意识形态》中的未来社会论证逻辑探究
12
作者 许恒兵 《长白学刊》 2025年第3期28-39,共12页
《德意志意识形态》的突出贡献在于,马克思通过阐明生产实践对于社会现实的塑造性作用,证明了世界是可以改变的,并由此实现了对未来社会主体行动逻辑的重塑。主体行动只有在认识变革对象运行规律的基础上才能取得实际成效。为此,马克思... 《德意志意识形态》的突出贡献在于,马克思通过阐明生产实践对于社会现实的塑造性作用,证明了世界是可以改变的,并由此实现了对未来社会主体行动逻辑的重塑。主体行动只有在认识变革对象运行规律的基础上才能取得实际成效。为此,马克思开启了探寻“真正的实证科学”的研究之路,并遵循对社会结构和制度的研究一定要关联于生产领域的基本原则,实现了对人类历史普遍运行规律的揭示。以此为前提,马克思从分工视角出发对资本主义社会展开客观描述,并基于生产力和交往关系的矛盾运动引出无产阶级革命,从而首次开启对未来社会的客观结构逻辑论证。《德意志意识形态》并没有完成对资本主义社会的生理学解剖,从而其对未来社会的客观结构逻辑论证远未达至科学的高度,但它却指明了此后的努力方向,因而在马克思思想演进历程中发挥着转折性作用。深刻认识《德意志意识形态》所开启的未来社会论证的完整理论图景,对于我们始终坚持在弘扬历史主动精神和深化客观规律认识的辩证统一中推进中国式现代化,具有十分积极的意义。 展开更多
关键词 《德意志意识形态》 未来社会 主体行动逻辑 客观结构逻辑
在线阅读 下载PDF
非形式逻辑视域下墨家“三物逻辑”研究
13
作者 赵江慧 《哲学进展》 2025年第10期325-332,共8页
墨家“三物逻辑”以“故”、“理”、“类”为核心范畴,形成了一套具有鲜明实践导向的论证理论体系。该体系强调论证须具备真实可靠的依据(“故”)、合乎规范的推理规则(“理”)以及恰当的同异关系(“类”),三者共同构成“辞得以生”的... 墨家“三物逻辑”以“故”、“理”、“类”为核心范畴,形成了一套具有鲜明实践导向的论证理论体系。该体系强调论证须具备真实可靠的依据(“故”)、合乎规范的推理规则(“理”)以及恰当的同异关系(“类”),三者共同构成“辞得以生”的充分必要条件。在论证推理过程中,墨家逻辑强调从前提到结论须严格遵循“故”、“理”、“类”的标准,这一思路与非形式逻辑的RSA评价标准——相关性、充分性、可接受性——高度契合。通过这一比较,不仅可以揭示墨家逻辑与非形式逻辑在强调实践导向与实质有效性方面的共同理论倾向,也更清晰地展现出逻辑普遍性与文化特殊性的统一关系。 展开更多
关键词 “三物逻辑” 非形式逻辑 评价标准 实质有效
在线阅读 下载PDF
形式语言Object-Z的模型检测研究
14
作者 吴彩燕 《苏州市职业大学学报》 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
重思马克思对黑格尔辩证法的透视与批判——基于《1844年经济学哲学手稿》的考察
15
作者 张镭宇 《内蒙古大学学报(哲学社会科学版)》 2025年第3期48-54,110,111,共9页
《1844年经济学哲学手稿》是马克思与黑格尔辩证法产生本质分野的一个重要节点。理解与论证“共产主义”概念需要向黑格尔辩证法请益。而费尔巴哈对黑格尔辩证法的理解是马克思成功吸纳黑格尔辩证法遗产的中介。马克思通过对黑格尔辩证... 《1844年经济学哲学手稿》是马克思与黑格尔辩证法产生本质分野的一个重要节点。理解与论证“共产主义”概念需要向黑格尔辩证法请益。而费尔巴哈对黑格尔辩证法的理解是马克思成功吸纳黑格尔辩证法遗产的中介。马克思通过对黑格尔辩证法展开透视与批判,在蕴含并超越费尔巴哈哲学立场的基础上,开辟出一个以“对象性活动”概念为内核的尝试,重铸人与社会历史、人与自然的关系的崭新视界,生发出能够真正化解抽象同一性与二元对立性的存在论立场,从而开启一场孕育内在统一的“新世界观”(即唯物史观)与“新唯物主义逻辑”(即社会历史辩证法)的哲学革命。重思马克思对黑格尔辩证法的透视与批判,有助于把握马克思辩证法的本质意蕴与理论意义。 展开更多
关键词 《1844年经济学哲学手稿》 辩证法 存在论 对象性活动 新唯物主义逻辑
原文传递
铁路货运场站作业安全冲突防护方法研究
16
作者 张岩 李博宇 +2 位作者 周升健 黄孜 汤翔 《铁路物流》 2025年第6期45-51,共7页
智能化安全冲突防护方法对于确保铁路货运场站作业安全具有至关重要的作用。基于对铁路货运场站安全管理面临的问题及原因分析,提出安全冲突防护需求和解决思路。构建包括数据采集、信息传输和安全报警单元的物理架构,提出4种位置数据... 智能化安全冲突防护方法对于确保铁路货运场站作业安全具有至关重要的作用。基于对铁路货运场站安全管理面临的问题及原因分析,提出安全冲突防护需求和解决思路。构建包括数据采集、信息传输和安全报警单元的物理架构,提出4种位置数据采集方案,设计多源融合定位、视频定位算法流程,分别给出人员与设备之间冲突、设备之间冲突和范围冲突的安全冲突防护逻辑。提出的铁路货运场站安全冲突防护方法可在一定程度上防护人员与设备之间冲突、设备之间冲突和范围冲突,能够促进铁路货运场站安全管理水平提升。 展开更多
关键词 铁路 货运场站 多源融合定位 目标检测 冲突防护逻辑
在线阅读 下载PDF
Multi-objective Optimization of Welding Parameters in Submerged Arc Welding of API X65 Steel Plates 被引量:1
17
作者 M.A.MORADPOUR S.H.HASHEMI K.KHALILI 《Journal of Iron and Steel Research International》 SCIE EI CAS CSCD 2015年第9期870-878,共9页
Submerged arc welding(SAW)is one of the main welding processes with high deposition rate and high welding quality.This welding method is extensively used in welding large-diameter gas transmission pipelines and high... Submerged arc welding(SAW)is one of the main welding processes with high deposition rate and high welding quality.This welding method is extensively used in welding large-diameter gas transmission pipelines and high-pressure vessels.In welding of such structures,the selection process parameters has great influence on the weld bead geometry and consequently affects the weld quality.Based on Fuzzy logic and NSGA-II(Non-dominated Sorting Genetic Algorithm-II)algorithm,a new approach was proposed for weld bead geometry prediction and for process parameters optimization.First,different welding parameters including welding voltage,current and speed were set to perform SAW under different conditions on API X65 steel plates.Next,the designed Fuzzy model was used for predicting the weld bead geometry and modeling of the process.The obtained mean percentage error of penetration depth,weld bead width and height from the proposed Fuzzy model was 6.06%,6.40% and 5.82%,respectively.The process parameters were then optimized to achieve the desired values of convexity and penetration indexes simultaneously using NSGA-II algorithm.As a result,a set of optimum vectors(each vector contains current,voltage and speed within their selected experimental domains)was presented for desirable values of convexity and penetration indexes in the ranges of(0.106,0.168)and(0.354,0.561)respectively,which was more applicable in real conditions. 展开更多
关键词 submerged arc welding weld bead geometry fuzzy logic multi-objective optimization API X65steel
原文传递
ODMG’93的ODL、OQL语言到F-logic程序的转换
18
作者 范启通 蔡子经 施伯乐 《计算机应用与软件》 CSCD 2000年第7期1-6,共6页
为了分析ODMG’93数据对象模型的语义,本文给出了一套转换规则,将ODMG’93的对象定义语言ODL、对象查询语言OQL转换到F-logic程序,并结合面向对象数据库管理系统O_2,通过具体的实例陈述了该转换规则是完全的。
关键词 ODL语言 OQL语言 F-logic程序 面向对象数据库
在线阅读 下载PDF
基于时序逻辑的Object-Z类切片的扩展
19
作者 佟长英 沈云付 《计算机技术与发展》 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
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies
20
作者 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
上一页 1 2 23 下一页 到第
使用帮助 返回顶部