基于因素逻辑的分类推理法重构

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:zhulong22
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。
其他文献
四年一度的世界杯已成为全球最具影响力的体育赛事,其传播价值早已超越了他体育本身的意义,被演绎成了一个全新的营销、文化符号,变成一个集事件营销、体育营销、品牌营销等各种
期刊
在我国的法律规范中,隐私权还不是一个独立存在的法律概念,只被纳入名誉权的范畴进行保护。但在司法实践中,一旦新闻报道的内容被法官确认为属于他人隐私,则不管是否属实,均
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
巨大淋巴结增生症即Castleman病(CD),是一种少见的淋巴组织增生性疾病,临床分为局灶型(LCD)与多中心型(MCD)。LCD预后良好,而MCD是一种涉及全身性感染的疾病,与人类疱疹病毒8
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在2014年国际工程科技大会上习近平发表了题为《让工程科技造福人类、创造未来》的主旨演讲。讲话中习近平强调了工程科技是改变世界的重要力量,发展科学技术是人类应对全球挑
商标的基本功能在于区分商品或服务的来源。商标注册原则造成许多注而不用商标的出现,造成商标稀缺资源的浪费。注册商标不使用撤销制度弥补了这一缺陷,有助于促进商标的使用。
人的思想品德是在对生活的认识、体验和实践过程中逐步形成的。《义务教育思想品德课程标准》指出:本课程是以初中生生活为基础,以促进初中生思想品德健康发展为目标。学习这
期刊