期刊文献+
共找到191篇文章
< 1 2 10 >
每页显示 20 50 100
计算布尔E-导数的新算法 被引量:6
1
作者 厉晓华 杭国强 《电路与系统学报》 CSCD 北大核心 2012年第5期1-5,共5页
为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重... 为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重复项来得到。含任意项布尔函数的1值最小项和任意项中相应位取反变换产生重复的1值最小项和新的任意项来计算一阶布尔E-导数。二阶含任意项布尔E-导数通过相应两位取反变换产生重复的1值最小项和新的任意项来计算。该方法用表格模拟了计算布尔E-导数的过程。应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适用求解多变量逻辑函数以及计算机编程。 展开更多
关键词 逻辑函数 布尔E-导数:表格算法 任意项
下载PDF
校园综合门禁管理平台的设计 被引量:7
2
作者 许彩娥 徐锋 +2 位作者 厉晓华 鲁东明 程艳旗 《通信学报》 EI CSCD 北大核心 2013年第S2期141-147,共7页
针对当前高校门禁管理建设中多系统多卡、门禁流水数据分散、扩展性能差等问题,在分析已有系统架构的基础上,提出了以感知层、传输层、应用层为核心的校园综合门禁管理平台三层框架设计,通过统一校园卡介质及授权、实施分级管理及门禁... 针对当前高校门禁管理建设中多系统多卡、门禁流水数据分散、扩展性能差等问题,在分析已有系统架构的基础上,提出了以感知层、传输层、应用层为核心的校园综合门禁管理平台三层框架设计,通过统一校园卡介质及授权、实施分级管理及门禁联网、全面规范接入标准、集中存储数据流水等手段,实现基于校园卡门禁应用数据的统一处理。该设计方案不仅能方便高校门禁应用的管理,而且为开展基于门禁数据挖掘及支撑领导决策奠定基础。 展开更多
关键词 门禁 一卡通 数字校园 框架设计
下载PDF
校园WLAN扁平化部署和精细化管理的探索与实践 被引量:7
3
作者 王佶 邹池佳 江肖强 《网络安全技术与应用》 2012年第4期69-71,共3页
本文以校园WLAN的架构模式及管理模式为研究对象,分析了目前校园WLAN的架构现状的存在问题,提出了无线网扁平化架构模式和精细化的管理方法,以及介绍了浙江大学校园WLAN建设实践。
关键词 校园WLAN 扁平化架构 精细化管理
原文传递
基于K图的布尔E-导数计算的图形方法 被引量:5
4
作者 厉晓华 郑强 杭国强 《浙江大学学报(理学版)》 CAS CSCD 2013年第3期260-262,303,共4页
分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.
关键词 K图 降维K图 布尔E-导数 故障检测 密码学特性
下载PDF
逻辑函数对称变量检测算法 被引量:3
5
作者 厉晓华 杭国强 陈偕雄 《电路与系统学报》 北大核心 2013年第2期31-35,共5页
针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性... 针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性检测算法。该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量xi、xj的各类对称性。该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的。该算法已用C语言实现,实验结果验证了快速有效。 展开更多
关键词 逻辑函数 与-或-非代数系统 对称检测
下载PDF
高校网络日志大数据分析平台研究 被引量:5
6
作者 单康康 王佶 +3 位作者 常晓洁 牟星亮 张华 朱生 《计算机时代》 2017年第4期86-88,共3页
许多高校面临着用户快速增长、网络数据庞大、信息安全隐患等多方面的问题,校园网每天生成NAT、DNS、Web、VPN等海量网络日志,对网络IT运维管理和大数据处理提出挑战。通过介绍一种基于大数据的海量网络日志分析平台,研究大数据分析平... 许多高校面临着用户快速增长、网络数据庞大、信息安全隐患等多方面的问题,校园网每天生成NAT、DNS、Web、VPN等海量网络日志,对网络IT运维管理和大数据处理提出挑战。通过介绍一种基于大数据的海量网络日志分析平台,研究大数据分析平台的技术架构与总线模块,实现了对校园网海量日志进行统一收集与大数据分析。 展开更多
关键词 校园网 信息化建设 网络日志 运维管理 大数据分析
下载PDF
简化分解图在计算布尔e-导数中的应用 被引量:3
7
作者 厉晓华 杭国强 《浙江大学学报(理学版)》 CAS CSCD 2013年第6期646-649,共4页
为简化与-或-非代数系统中一阶和n阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函... 为简化与-或-非代数系统中一阶和n阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点. 展开更多
关键词 简化分解图 布尔e-导数 任意项 逻辑函数
下载PDF
高校数字校园数据质量管理研究 被引量:4
8
作者 贾春燕 赵亚萍 程艳旗 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第A01期272-275,共4页
数据质量管理是数字校园的首要问题。文章以高校信息化建设为背景,分析了数据质量理论及数据质量问题产生的原因,阐述了数据质量管理整体框架和主要内容。一方面通过完善数据质量管理制度和流程,对数据进行科学有效的质量管理和控制;另... 数据质量管理是数字校园的首要问题。文章以高校信息化建设为背景,分析了数据质量理论及数据质量问题产生的原因,阐述了数据质量管理整体框架和主要内容。一方面通过完善数据质量管理制度和流程,对数据进行科学有效的质量管理和控制;另一方面通过技术手段实施数据检查,说明在数据质量管理中如何发现数据质量问题,并通过数据质量管理流程进行改进,提出了数据质量问题的解决方法。 展开更多
关键词 数据质量 管理 数字校园
下载PDF
基于Wi-Fi室内定位的校园信息服务平台研究 被引量:4
9
作者 王佶 单康康 +3 位作者 张华 朱生 常晓洁 江肖强 《计算机时代》 2013年第4期64-65,68,共3页
基于Wi-Fi室内定位的校园信息服务平台是以云计算技术、物联网技术和移动互联网技术为基础,在智慧校园中提供楼宇内位置服务和信息发布服务的一套系统,校园用户可以通过智能终端获取校园信息位置服务。该平台主要是通过用户智能终端的AP... 基于Wi-Fi室内定位的校园信息服务平台是以云计算技术、物联网技术和移动互联网技术为基础,在智慧校园中提供楼宇内位置服务和信息发布服务的一套系统,校园用户可以通过智能终端获取校园信息位置服务。该平台主要是通过用户智能终端的APP设计和基于C/S模式的后台服务器"云"的搭建,从而实现在智慧校园中的定位信息服务。 展开更多
关键词 WI-FI 室内定位 校园信息 ANDROID IOS
下载PDF
RADIUS协议在ACR中的研究 被引量:4
10
作者 单康康 张兴明 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第A01期65-68,共4页
针对大规模接入汇聚路由器(ACR)可运营的要求,根据ACR用户实际业务需求提出了在ACR中利用远程用户拨号认证协议(RADIUS)实现AAA的方案,制定了相应的RADIUS报文数据项,最后给出了RADIUS单元模块的实现。
关键词 大规模接入汇聚路由器 RADIUS 宽带运营支撑系统 ACR接入门户
下载PDF
基于或-符合运算Reed-Muller展开系数的对称变量检测算法
11
作者 厉晓华 杭国强 陈偕雄 《电路与系统学报》 北大核心 2013年第2期20-24,共5页
针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变量xi、xj展开的子函数系数矩阵和或-符合运算Reed-Muller展开... 针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称性检测算法。该算法通过分析逻辑函数关于变量xi、xj展开的子函数系数矩阵和或-符合运算Reed-Muller展开系数按变量xi、xj组合分解系数矩阵的对应关系,揭示了任意两变量间各类对称性所满足的分解系数矩阵的约束条件,提出了各类逻辑变量的对称性检测步骤。应用结果表明,与传统方法相比,免去了从逻辑函数的CRM展开式变换为最小项展开式或RM展开式的变换域转换过程,也解决了在该域中图形方法检测的完备性问题,具有简单、直观、完备及适合计算机编程等优点。 展开更多
关键词 或-符合代数系统 Reed-Muller展开 对称检测 逻辑函数
下载PDF
信息整合在高校信息门户建设中的应用 被引量:3
12
作者 方伟杰 洪波 +1 位作者 王建国 郭晔 《福建电脑》 2011年第8期141-142,共2页
为了更好解决高校信息门户过程中存在的问题,本文针对高校个性化信息门户建设进行了研究,介绍了信息整合的背景、概念及其方式,同时提出了个性化信息门户建设的总体框架,通过在数据整合与身份认证整合的基础上进行信息整合实现高校资源... 为了更好解决高校信息门户过程中存在的问题,本文针对高校个性化信息门户建设进行了研究,介绍了信息整合的背景、概念及其方式,同时提出了个性化信息门户建设的总体框架,通过在数据整合与身份认证整合的基础上进行信息整合实现高校资源与服务的综合利用。 展开更多
关键词 信息整合 数据整合 信息门户
下载PDF
基于大数据的校园网海量日志分析平台研究 被引量:3
13
作者 单康康 王佶 +1 位作者 常晓洁 郑强 《信息通信》 2017年第3期154-155,共2页
信息技术在高校校园网中的迅速普及与应用,随之带来的是日新月异的各种新应用和新生态用户体验,同时也出现了大数据处理的困难与挑战。文章通过介绍一种基于大数据的大规模网络日志分析平台,研究大数据分析平台的技术架构与总线模块,实... 信息技术在高校校园网中的迅速普及与应用,随之带来的是日新月异的各种新应用和新生态用户体验,同时也出现了大数据处理的困难与挑战。文章通过介绍一种基于大数据的大规模网络日志分析平台,研究大数据分析平台的技术架构与总线模块,实现了对校园网海量日志进行统一收集与大数据分析。 展开更多
关键词 校园网 海量日志 大数据
下载PDF
浙江大学网络计费系统的设计与实现 被引量:3
14
作者 牟星亮 郑强 朱生 《计算机与现代化》 2013年第6期156-158,161,共4页
介绍已在浙江大学校园网中投入实际应用的网络计费系统的设计思想与实现方案,对新采用的网络计费方式进行详细阐述,讨论系统的几个特色功能,如灵活的计费管理、完善的统计报表和便捷的网上自助缴费等。
关键词 计费系统 RADIUS LDAP J2EE
下载PDF
特殊逻辑函数布尔差分及布尔e-导数的性质研究 被引量:1
15
作者 方伟杰 厉晓华 杭国强 《浙江大学学报(理学版)》 CAS CSCD 2013年第5期535-538,共4页
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 展开更多
关键词 布尔差分 布尔e-导数 线性函数 冗余函数 自反函数 自双反函数
下载PDF
高校国有资产管理系统的设计与实现 被引量:2
16
作者 郎玲燕 谢家启 +1 位作者 姚文和 方伟杰 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2012年第S1期354-356,共3页
本文结合浙江大学国有资产管理的现状,提出了一种基于数据总线与服务总线的渐进式推进国有资产管理信息系统的建设方法,详细阐述了系统的功能模块组成,总结了系统的建设特点,对兄弟院校国有资产管理信息系统的建设具有一定的借鉴意义.
关键词 国有资产管理 数据集成 业务协同
原文传递
浙江大学:知识资源集成管理三大对策 被引量:1
17
作者 赵亚萍 程艳旗 鲁东明 《中国教育网络》 2012年第1期61-63,共3页
针对高校数字知识资源集成管理过程中普遍存在的信息组织系统性、集成标准选取、数据质量控制等问题,以浙江大学知识资源服务工程为例,基于5年多来的实践,提出了解决这些问题的对策,包括系统性规划、规范化管理以及强有力的技术支持。
关键词 知识资源 集成管理 浙江大学 数据质量控制 规范化管理 信息组织 管理过程 资源集成
下载PDF
计算含无关项布尔差分及布尔偏导数的表格算法 被引量:2
18
作者 邵梁 厉晓华 《科技通报》 2019年第3期119-122,共4页
为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项... 为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项来计算布尔差分及布尔偏导数。表格算法与代数方法、图形方法相比,具有快速便捷,适用多变量布尔函数及易于计算机编程等优点。 展开更多
关键词 无关项 布尔函数 布尔差分 布尔偏导数 表格算法
下载PDF
基于DSpace的大学个性化知识资产管理系统研究与设计——以浙江大学机构知识库系统为例 被引量:2
19
作者 赵亚萍 周东升 程艳旗 《中国教育信息化(高教职教)》 2012年第8期60-63,共4页
本文通过剖析大学知识资产管理的需求持续性,满足机构知识资产管理、机构知识传播和机构知识能力三个层面的目标,结合DSpace系统特征,与大学URP数字化校园建设集成,提出大学个性化知识资产管理系统的设计和实现。
关键词 DSPACE 知识资产 大学URP数字化校园
下载PDF
关于旋转对称布尔函数性质之研究 被引量:2
20
作者 袁书宏 厉晓华 邹池佳 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2011年第1期55-57,共3页
旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.
关键词 旋转对称函数 特殊布尔函数 K图 BJ图 rj图
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部