刘观生

作品数：12被引量：53H指数：5
导出分析报告
供职机构：浙江经济职业技术学院更多>>
发文主题：逻辑函数布尔差分逻辑电路K图BJ图更多>>
发文领域：电子电信自动化与计算机技术水利工程经济管理更多>>
发文期刊：《数字技术与应用》《科技通报》《浙江大学学报（理学版）》《浙江大学学报（工学版）》更多>>
所获基金：浙江省科技厅资助项目国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
智慧水务管理系统的研究与实现被引量：6
《数字技术与应用》2020年第10期131-133,共3页刘观生 徐文 吴响容 
为了更有效的提高供水系统的安全性和运行效率,本文提出了一种智慧水务管理系统。该系统结合了物联网、云计算及人工智能算法,实现了对供水设备的远程监控,降低了维护成本,同时根据采集的数据,利用人工智能算法能对供水设备的故障进行预...
关键词：供水管网 物联网 云平台 人工智能 
管理信息本体需求的谓词演算有限集构造被引量：5
《浙江大学学报（理学版）》2009年第4期401-407,共7页郭星明 郭天晨 刘观生 张三元 
国家"863"高技术研究发展计划资助项目(2007AA01Z311;2007AA04Z1A5);教育部博士学科点基金资助项目(20060335114)
由于管理信息需求的不确定性、多样性和动态性,管理信息系统(包括ERP)的开发一直被认为是一项高风险的投资项目.通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成...
关键词：管理信息系统 本体需求 谓词演算 有限集构造 
计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法
《浙江大学学报（理学版）》2007年第2期176-180,共5页刘观生 练益群 陈偕雄 
讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,...
关键词：或-符合展开 OC型逻辑函数 布尔偏导数 布尔差分 表格方法 
计算布尔差分与布尔偏导数的表格方法被引量：2
《浙江大学学报（工学版）》2006年第9期1486-1489,共4页刘观生 陈偕雄 
为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过...
关键词：RM展开 表格方法 布尔差分 布尔偏导数 
检测线性函数与线性变量的表格方法被引量：7
《浙江大学学报（理学版）》2006年第3期295-299,共5页练益群 刘观生 陈偕雄 
讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻...
关键词：线性函数 线性变量 逻辑函数 表格方法 
门级电路自动测试向量生成技术原理被引量：4
《浙江大学学报（理学版）》2006年第1期52-57,共6页刘观生 葛海通 陈偕雄 
国家自然科学基金资助项目(NO.90207002)
集成电路的飞速发展使得测试的难度不断增加,而ATPG技术在测试向量产生方面具有重要的意义,本文对该技术的发展及其所采用的方法进行了系统地介绍和分析.针对门级的组合电路和时序电路的ATPG方法具有许多相似之处,但也同时存在各自的特...
关键词：ATPG 门级电路 测试 
卡诺图的性质及其应用被引量：1
《杭州师范学院学报（自然科学版）》2004年第4期298-301,共4页徐月华 刘观生 陈偕雄 
结合海明距离图,对卡诺图的性质做了进一步的研究,在此基础上提出了几个新的性质并对此作了证明.文中还讨论了这些性质的应用并通过例子进行了说明,最后讨论了这些性质在bj图中的局限.
关键词：卡诺图 海明距离图 逻辑函数 数字电子技术 
基于b_j图计算逻辑函数布尔差分的新方法被引量：11
《浙江大学学报（理学版）》2004年第1期43-47,共5页吴桂初 刘观生 陈偕雄 
浙江省科技厅资助项目(001110021).
分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.
关键词：逻辑函数 布尔差分 降维bj图 二值模代数系统 
基于K图的函数RM展开式在固定极性下的最小化被引量：10
《浙江大学学报（理学版）》2003年第4期405-408,共4页刘观生 陈偕雄 
浙江省科技厅资助项目(001110021).
分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,...
关键词：逻辑电路 逻辑函数 K图 RM展开式 固定极性 最小化 BJ图 聚合圈 
谱系数图与K图互换的改进算法被引量：2
《科技通报》2003年第4期297-299,共3页刘观生 陈偕雄 
浙江省科技厅资助项目(001110021)
通过对Hadamard矩阵的分析,并结合谱系数图与K图的自身特点,从中找出两种图之间的对应关系,进而提出了一种谱系数图与K图互换的改进算法.此外,还对积项谱与K图的转换关系进行了探讨,得到了相应的积项谱转化为K图的方法.文中对这两种方...
关键词：电子技术 谱系数 HADAMARD矩阵 积 项谱 K图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部