基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.

基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.

节水技术在半导体制造企业的应用

介绍了集成电路制造中的用水,讨论了节水在该行业中的重要性。详细分析了用水的特征和可能实现的节水手段和方法,特别阐述了如何对生产过程中使用的超纯水进行节流回收和再利用有价值的废水,为实现环保节能的集成电路制造企业提供了现实可行的操作依据。

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.

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

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

逻辑函数对称变量检测算法

针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于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语言实现,实验结果验证了快速有效。

基于分解图检测含任意项特殊逻辑函数的方法

特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.

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

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

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

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

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

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

超纯水系统出现TOC季节性波动的原因与对策

针对上海地区的超纯水(UPW)制备系统在冬、春季出现TOC超标的问题,通过水质分析和检测仪器的诊断,推断原水中二乙基氨基化合物、尿素等有机物含量高,是导致超纯水系统的TOC出现季节性波动的主要原因。而现有UPW系统中的活性炭吸附、反渗透(RO)、低压紫外线氧化等工艺对这些小分子有机物去除效果并不理想。在RO后增设臭氧/NaBr的高级氧化单元,利用生成的次溴酸钠来分解这些低分子有机物,可以有效地控制UPW产品水的TOC出现季节性波动。

新农村建设文化力支撑初探

农村落后其根本原因在于农村教育相对落后和农村文化力的缺失,对此我们提出了一系列政策建议:把农民培训的经费纳入中央和地方政府固定的正常的财政支出;义务教育经费全部由公共财政负担的原则;切实加强高校农学专业的建设;减轻或免除高校农学专业学生的学费等。

计算含无关项布尔c-导数的K图方法

为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.

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

为简化布尔函数6类反对称变量的检测过程,提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发,在分析反对称逻辑变量Rademacher-Walsh(RW)变换谱系数特性的基础上,提出了基于RW变换检测CN(xi|xj)、CE(xi|xj)、CS(xi|xj)、CS(xi|xj)、CS(xj|xi)、CS(xj|xi)6类反对称逻辑变量的算法.应用结果表明,该方法具有易操作和计算机编程简单等优点.

解读“穷人的经济学”

舒尔茨是美国著名的经济学家,致力于农业经济学的研究,提出了穷人经济学理论。温家宝总理引用穷人经济学意欲表明,经济发展的重要任务是要更多地关注穷人,帮助穷人找到致富的道路。解决好农业问题,才能有利于经济的整体发展。穷人经济学是对传统经济学“富人理论”的一种挑战。

校园网内单播泛洪机制分析及其对策

本文分析了校园网内接入宽带所引发的单播泛洪机制,并提出对该局面多层次的应对措施。

高校网络安全管理模式的探索与实践

高校的数字化、信息化建设必须以校园网为依托,只有高速、稳定、安全、可靠的校园网络,数字信息资源、网络用户服务、信息服务、以及各种应用系统才能正常运行。如果校园网的安全性得不到保障,必然会成为高校数字化和信息化建设的障碍。

全域化视域横店文化产业发展研究

横店影视文化产业集群发展,形成以影视拍摄基地建设为基础,集聚影视文化企业,全面带动影视文化旅游产业发展的"横店现象",凸现区域经济文化产业发展的增长极。从经济学角度阐析横店文化产业全域化发展的理论基础,力图构建横店文化产业全域化发展的理论框架,探索横店影视文化产业从均衡封闭式的极化阶段向全域化的扩散阶段演变的路径,为区域经济文化产业发展提供理论支持。

基于产业融合横店文化产业发展研究

产业融合作为一种经济现象,为重塑新的产业形态和培育新的经济增长点提供全新的动力模式。横店作为“文旅融合的先行样本”,积极探索影视文化与旅游业的融合发展,形成文旅融合基地化建设、产业化集聚、专业化发展、市场化运作、规模化经营的发展路径。创新是产业融合的内在要求,唯有创新才能进一步推动横店影视文化和旅游业的深度融合。

检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.