检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于谱系数的反对称变量检测算法

浙江大学学报（理学版） 2015年第3期42卷 306-309页

作者：厉晓华浙江大学信息中心浙江杭州310028

为简化布尔函数6类反对称变量的检测过程,提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发,在分析反对称逻辑变量Rademacher-Walsh(RW)变换谱系数特性的基础上,提出了基于RW变换检测CN(xi|xj)、CE(xi|xj)、CS(xi|xj)、CS(xi|xj)... 详细信息

关键词： Rademacher-Walsh变换谱技术反对称逻辑变量

在线全文

学校读者我要写书评

暂无评论

毛泽东对外开放思想的时代特征

毛泽东思想研究 2000年第5期 16-18页

作者：厉晓华金华市城乡建设学校

1936年初冬，毛泽东在保安与斯诺谈论中国革命与世界事务时说：当中国真正获得独立时，那么外国正当贸易利益就可享有比以前更多的机会。四亿五千万人民生产和消费的力量不是一件能完全由中国人来管的事情，而必须要许多国家来参加。我... 详细信息

1936年初冬，毛泽东在保安与斯诺谈论中国革命与世界事务时说：当中国真正获得独立时，那么外国正当贸易利益就可享有比以前更多的机会。四亿五千万人民生产和消费的力量不是一件能完全由中国人来管的事情，而必须要许多国家来参加。我们巨大的潜在生产力用在各方面创造性的活动上，能够帮助改善全世界经济和提高全世界的文化的水准。这段话已经闪烁着毛泽东对外开放的思想，由于受国内和国际环境的影响，毛泽东对外开放的思想又带有显著的时代特征。本文试图就这一问题作粗浅的探索。

关键词：世界经济对外开放贸易利益消费机会国际环境国内毛泽东正当人民

在线全文

学校读者我要写书评

暂无评论

检测含无关项旋转对称逻辑函数的快速算法

浙江大学学报（理学版） 2019年第5期46卷 574-578页

作者：徐锋厉晓华浙江大学信息技术中心

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最... 详细信息

旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。

关键词：旋转对称逻辑函数无关项检测算法

在线全文

学校读者我要写书评

暂无评论

毛泽东对外开放思想渊源初探

时代文学（上半月） 2006年第5期 132-134页

作者：厉晓华浙江义乌工商学院

青年时期的毛泽东就是一个志存高远、思想开放、博学善思和放眼世界的人。学习和接受西方资产除级思想文化,特别是马克思主义,为毛泽东对外开放思想的形成创造了思想务件。马克思主义对外开放理论是毛泽东时外开放思想的理论根源。列宁... 详细信息

青年时期的毛泽东就是一个志存高远、思想开放、博学善思和放眼世界的人。学习和接受西方资产除级思想文化,特别是马克思主义,为毛泽东对外开放思想的形成创造了思想务件。马克思主义对外开放理论是毛泽东时外开放思想的理论根源。列宁对社会主义国家对外开放理论进行的全面而系统的阐述,并在苏联进行的初步实践,为毛泽东对外开放思想的形成奠定了深厚的实践基础。

关键词：毛泽东对外开放渊源

在线全文

学校读者我要写书评

暂无评论

农村城镇化制度性障碍分析

农村经济 2006年第1期 100-102页

作者：厉晓华义乌工商学院副教授浙江义乌322000

农村城镇化受到户籍管理制度及依附于它的基础教育、就业和计划生育政策,行政管理体制和财政体制,土地制度及与之相联系的社会保障、土地流转、农村宅基地等制度的制约。要克服农村城镇化进程中的制度性障碍,就必须创新户籍管理制度、... 详细信息

农村城镇化受到户籍管理制度及依附于它的基础教育、就业和计划生育政策,行政管理体制和财政体制,土地制度及与之相联系的社会保障、土地流转、农村宅基地等制度的制约。要克服农村城镇化进程中的制度性障碍,就必须创新户籍管理制度、行政体制和土地政策。

关键词：城镇化制度性障碍创新

在线全文

学校读者我要写书评

暂无评论

构建新农村建设文化力支撑体系研究

农村经济 2007年第4期 114-117页

作者：厉晓华义乌工商学院公共教学部

社会意识的相对独立性和社会意识与社会存在发展的不平衡性,决定了我国农村社会事业发展的长期性和艰巨性。由于农村文化力短缺现象严重,制约了农村经济社会的发展,要根本上解决新农村建设的“素质”瓶颈,应该从构建制度化的农民培训体... 详细信息

社会意识的相对独立性和社会意识与社会存在发展的不平衡性,决定了我国农村社会事业发展的长期性和艰巨性。由于农村文化力短缺现象严重,制约了农村经济社会的发展,要根本上解决新农村建设的“素质”瓶颈,应该从构建制度化的农民培训体系;平等的教育体制;人才和优质劳动力向农村、农业“回流”的机制等文化力支撑体系入手,从长远和根本上为新农村建设提供保障。对此,我们提出了一系列政策建议把农民培训的经费纳入中央和地方政府固定的财政预算支出;义务教育经费全部由公共财政负担;切实加强高校农学专业的建设;减轻或免除高校农学专业学生的学费等。

关键词：新农村建设文化力支撑体系

在线全文

学校读者我要写书评

暂无评论

计算布尔E-导数的新算法

电路与系统学报 2012年第5期17卷 1-5页

作者：厉晓华杭国强浙江大学信息中心浙江杭州310028 浙江大学城市学院信息与电气工程学院浙江杭州310015

为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重... 详细信息

为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重复项来得到。含任意项布尔函数的1值最小项和任意项中相应位取反变换产生重复的1值最小项和新的任意项来计算一阶布尔E-导数。二阶含任意项布尔E-导数通过相应两位取反变换产生重复的1值最小项和新的任意项来计算。该方法用表格模拟了计算布尔E-导数的过程。应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适用求解多变量逻辑函数以及计算机编程。

关键词：逻辑函数布尔E-导数:表格算法任意项

在线全文

学校读者我要写书评

暂无评论

检测旋转对称函数的表格方法

浙江大学学报（理学版） 2009年第4期36卷 412-415页

作者：厉晓华浙江大学网络与信息中心浙江杭州310028

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法.文中... 详细信息

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.

关键词：旋转对称函数逻辑函数表格方法

在线全文

学校读者我要写书评

暂无评论

计算机辅助特殊逻辑函数检测

浙江大学学报（理学版） 2009年第3期36卷 288-290页

作者：厉晓华浙江大学网络与信息中心浙江杭州310028

在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.

关键词：特殊逻辑函数线性函数冗余函数自反函数自双反函数计算机辅助设计