![动态模糊谓词逻辑关系学习算法及其应用研究]()
论文摘要机器学习是人工智能的核心组成部分。关系学习作为机器学习的一种新方法,主要致力于寻找学习任务内部之间的关联来找出相应的学习规则。动态模糊谓词逻辑关系是处理动态模糊关系的理...
![计算机科学中的逻辑应用研究]()
论文摘要目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动力，本文主要从两大线索来探讨逻辑学在计算机科学中的应用问题，一是从横向上，逻辑学的应用主要...
![面向融合的移动通信网络安全关键技术研究]()
论文摘要摘要固定移动融合(FixMobileConvergence,FMC)体系框架下的移动通信网络提供了更多的对外接口,网络具有了充分的开放性,原有体系的不安全因素完全暴露并...
![基于概念图知识表示方法的研究与实践]()
论文摘要概念图作为一种新的表示知识方法,语义表达能力强,可读性好,有效弥补了传统知识表示方法的不足。它的研究与应用,必将为解决知识获取瓶颈,促进人工智能和专家系统的发展,起到积...
![SDG故障诊断专家系统及其Visual Prolog实现]()
论文摘要故障诊断技术大致分为基于模型的方法和基于历史的方法,其中符号有向图SDG模型是一种深层知识模型,能够揭示复杂系统的变量间内在因果关系及影响,是定性仿真的一个重要分支,是...
![改进的RBAC模型及其在电子病历系统中的应用]()
论文摘要访问控制作为一种重要的安全技术,已经渗透到操作系统、数据库、网络和应用系统的各个方面。访问控制主要分为自主访问控制（DAC）、强制访问控制（MAC）和基于角色的访问控制...
![基于逻辑的软件演化执行引擎研究]()
论文摘要软件演化是指在软件系统的生命周期中软件维护和软件更新的动态行为。随着软件系统规模的不断扩大以及需求的不断变化,对软件模型演化能力的要求也越来越高。目前,软件模型的演化方...
![关于PI证明的若干注记以及逻辑公式的真度理论]()
论文摘要归结原理是定理自动证明的重要工具。归结的目的在于用归结原理证明子句集S不可满足。PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号（predicatesym...
![Z规格说明中一阶逻辑算子自动求精的研究与实现]()
论文摘要随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一种软件工程语言和形式化方法,在软件文档规范化...
