杨斌
- 作品数：9 被引量：14H指数：3
- 供职机构：烟台职业学院更多>>
- 相关领域：自动化与计算机技术自然科学总论兵器科学与技术更多>>
- 基于描述逻辑的OntoUML模型的推理研究被引量：1
- 2010年
- 作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用。基于描述逻辑的推理系统保证了其推理的合理性和有效性。本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法。
- 王秀玮杨斌
- 关键词：描述逻辑本体元模型
- 本体在概念建模中的应用研究被引量：3
- 2011年
- 概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关。在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础,基于本体的概念建模研究得到了充分重视。探讨了基于本体的概念建模理论、概念建模语言中本体的作用、上层本体与领域本体的关系;对基于本体的概念模型以及本体语言及其逻辑基础在概念模型的一致性检测的应用进行了研究。
- 杨斌齐玉东孟凡磊王亚宁
- 关键词：本体描述逻辑
- 一种多功能可折叠的笔记本散热装置
- 本实用新型提供一种多功能可折叠的笔记本散热装置，所述笔记本散热装置包括散热装置本体、主散热部件、散热装置支撑面、散热装置支撑柱以及手掌支撑体；所述主散热部件设于所述散热装置本体的内面上，其中，所述笔记本散热装置还包括转动...
- 王秀玮刘旭东杨斌
- 文献传递
- 分布式导弹发射控制系统设计模型
- 1997年
- 分布式导弹发射控制系统是以多微机结构处理导弹发射控制过程的一种控制系统，是当代导弹武器发射控制系统所广泛采用的一种先进技术。通过对某类常规战术导弹实施分布式发射控制模型设计的分析。
- 朱德明糜玉林杨斌
- 关键词：分布式控制导弹数学模型控制系统导弹发射
- 概念建模研究综述被引量：3
- 2012年
- 概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关。在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础。基于本体的概念建模研究得到了充分的重视。本文对概念建模的发展、概念建模语言、基于本体的概念建模以及概念模型的质量评估进行系统的阐述。
- 杨斌齐玉东孟凡磊
- 关键词：本体
- 军事概念模型中的部分-整体关系的表达与推理被引量：2
- 2010年
- 军事概念模型各要素之间存在着各种复杂的关系,部分-整体关系是这些要素之间的一种极为重要的关系类型,决定了作为统一整体的模型的内在组成和构件之间的联系。首先,从本体上对军事概念模型中的各种部分-整体关系类型进行了详细地分类,然后使用描述逻辑对各种关系进行了形式表示,最后给出了对关系实例的正确性检验的推理算法。
- 齐玉东杨斌郭天杰
- 关键词：本体描述逻辑军事概念
- 基于AOP的Web服务综合安全模型研究
- 立足于解决当前Web服务的全局安全性问题。从问题域的特殊性质入手,抽象出Web服务综合安全问题。区别于同类研究中多数集中于安全性问题的某一方面,从安全性问题的全局定义入手,对Web服务所涉及的传输安全、访问控制和安全审核...
- 杨斌李先国齐玉东孟凡磊
- 关键词：WEB服务安全安全断言标记语言可扩展访问控制标记语言面向方面编程
- 基于本体的军用元数据模型研究被引量：4
- 2011年
- 元数据是"关于数据的数据",是用来描述资源属性的信息。使用元数据的目的是为了使资源更容易被发现、获取和利用。然而由于不同的部门采用的元数据模型不同,导致了数据不能在部门间共享。为了解决这一问题,文中将本体的思想引入到元数据模型中,并参照军用标准建立了基于本体的军用元数据模型。与传统的元数据模型相比,这种模型能从语义层面更好的表达领域中的各个概念以及概念之间的各种关系,为解决信息系统之间的异构问题提供了相应的理论基础。
- 王亚宁齐玉东程继红杨斌
- 关键词：本体元数据元数据模型
- 基于描述逻辑的OntoUML模型的形式化表示被引量：2
- 2012年
- 将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。
- 齐玉东杨斌李瑛谢晓方
- 关键词：描述逻辑本体语义
