何骞
- 作品数：5 被引量：6H指数：2
- 供职机构：湖南城市学院数学与计算科学系更多>>
- 发文基金：国家自然科学基金湖南省教育厅重点项目湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 部分四值逻辑中Sheffer函数的判定被引量：1
- 2011年
- 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。
- 金辉霞何骞
- 关键词：多值逻辑SHEFFER函数准完备集
- 部分二值逻辑中Sheffer函数的构造与判定算法被引量：4
- 2010年
- 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。
- 何骞刘任任
- 关键词：SHEFFER函数准完备集
- 部分三值逻辑中Sheffer函数的判定算法被引量：6
- 2009年
- 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
- 何骞刘任任
- 关键词：多值逻辑准完备集SHEFFER函数
- 社会治安网络视频监控系统设计方案
- 2011年
- 随着安社会视频监控系统迅速向数字化、网络化的新一代系统迈进,安防产业面临着一个新兴的、机遇与挑战并存的发展成长空间,智能视频监技术发展将势不可挡。本文设计一个安全的视频监控方案。该方案新增加的视频监控点,采用前端模拟设备和视频服务器,通过视频服务器实现图像采集编码一体化,并考虑如何将智能分析的结果用于快速检索。面对未来海量的视频图像数据,需要在视频数据存储之前进行特征叠加的图像预处理,便于在事后可以对海量视频信息进行快速检索。
- 何骞金辉霞
- 关键词：视频监控社会治安系统集成流媒体
- 部分二、三值逻辑中Sheffer函数的构造及判定算法
- 多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。
在多值逻辑理论中,函数系完备性之判定问题是一个基本而又...
- 何骞
- 关键词：多值逻辑极大封闭集SHEFFER函数
- 文献传递
