论文部分内容阅读
基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究
【机 构】
：
西南交通大学
【出 处】
：
西南交通大学
【发表日期】
：
2018年01期
其他文献
数据流的出现引发了人们对数据流处理技术的广泛研究。数据流频繁模式挖掘技术就是其中的一种,它在商务决策、知识库的应用中起着重要的作用。但是由于数据流本身动态多变、
服务发现协议(Service Discovery Protocol,SDP)是解决终端设备如何发现和获取网络中服务的协议。该协议让用户和应用程序,在没有预先配置的情况下,就可以自动定位服务,使用
计算机视觉和机器学习技术被广泛应用于数据挖掘、信息安全、遥感图像处理、生物信息学、智能交通、智能安防和医疗服务等领域。作为计算机视觉领域中的重要分支之一,运动目
生物体特征识别技术使用了人体本身所固有的生物特征，与传统的身份识别方法完全不同，具有更高的安全性、可靠性、和有效性，越来越受到人们的重视。人脸自动识别技术作为生物特征
随着计算机处理对象越来越复杂,所要求软件的功能就相应地要越来越强,软件的质量和可靠性尤为重要,软件测试是其重要保障。而软件测试是软件开发过程中的一个至关重要的环节,
非负矩阵分解是一种新兴的能够保持数据非负性的非监督机器学习技术。传统的非负矩阵分解算法实现非负约束主要有两种方法。第一种方法只在迭代过程中使用矩阵乘法、矩阵加法
入侵检测作为一种主动的安全防护手段,为主机和网络提供了动态的安全保障。它不仅检测来自外部的入侵行为,同时也对内部的未授权活动进行监督。利用网络协议的高度规则性,采
由驾驶员疲劳引起的车祸在机动车事故中占有很大比例,所以当驾驶员疲劳时给予警告,可以有效的减少交通事故的发生。驾驶员在车辆行驶过程中是否疲劳,可以由眼睛的状态反映出
随着国际互联网飞速发展,各种电子文本数据的数量激增,如何快速有效地获取、管理和使用这些文本数据,已经成为信息系统科学迫切需要解决的重要问题。近十年来,作为解决这些问