【摘 要】
：
分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空
【机 构】
：
北京航空航天大学数学与系统科学学院
【基金项目】
：
自然科学基金(11371044),基本科研业务费项(YWF-15-SXXY-011)资助
论文部分内容阅读
分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推理机制的内涵,利用正交模律取代经典逻辑中的分配律,可以实现量子逻辑的推理能力。最后,通过范畴理论中伴随函子的概念重新审视逻辑推理机制,使经典逻辑推理机制推广到更广泛的逻辑领域中。
其他文献
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境
针对粒子滤波的重要性密度函数选择问题，提出一种基于集合卡尔曼滤波（Ensemble Kalman Filter，EnKF）的改进粒子滤波算法。该方法利用集合卡尔曼滤波产生粒子滤波在每一时刻各粒子
针对当前风电场有功出力的研究多侧重于理论方面,缺少具体软件平台的实现,开发了基于VC＋＋与SQL Server数据库的风电场有功出力仿真软件平台。首先,利用VC＋＋丰富的函数库对风电场
隐私保护是当前数据挖掘领域的一个研究热点，其目标是在不暴露原始数据信息的前提下准确地实现挖掘任务。针对隐私保护序列模式挖掘问题，提出了项集的布尔集合关系概念，设计了基
研究了物联网终端设备软件的开发系统,开发了终端软件并进行了仿真和测试。通过进入该系统的软件开发平台,采用JAVA编写程序,然后使用系统切换平台把编写的程序软件导入到主测试平台,测试软件参数并进行仿真。高校智慧食堂的APP软件开发及仿真测试结果表明,该程序满足指标和功能要求。本系统以虚拟云桌面操作系统为平台,使用Citrix虚拟桌面客户端软件登录服务器,能够完成以云+端虚拟桌面系统实现实验环境与真实
SQLice数据库在Android，iOS，Windows Mobile，Symbian以及Palm等移动终端应用领域有着广泛应用。针对现有SQLite数据库删除数据的恢复技术存在的恢复结果乱码较多、恢复数据不完
对文本的特征提取方法以及深度神经网络的分类器的搭建进行研究。首先,在全局和局部的特征提取方法的基础上,通过对文本特征内耦合关系和文本特征间耦合关系进行分析,确定用
关键蛋白质对于细胞生活是不可缺少的,识别关键蛋白质可以帮助了解细胞生活的最小需求,同时对药物设计也有非常大的作用。随着高通量技术的发展,人们可得到越来越多的蛋白质-
针对稀疏保持投影算法在特征提取过程中无监督和L1范数优化的计算量较大的问题,提出一种基于流形学习和稀疏约束的快速特征提取算法。首先通过逐类PCA构造级联字典,并基于该