逻辑函数RM展开式和CRM展开式的转换

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性.     

CRM展开系数与谱系数之间的直接转换算法

通过引入了n-dj系数,提出了实现CRM展开系数与谱系数之间直接互相转换的矩阵算法,并给出了相应的dj图与谱系数图的图形转换算法.实例表明,图形转换法具有简单、直接、方便的特点.     

基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

函数CRM展开式在固定极性下最小化的图形方法

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.     

包含无关项的MPRM展开式最小化算法

通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究,结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算法.首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式,并用系数矩阵的形式表示;然后删除函数中的冗余变量,归纳出一种包含无关项MPRM展开式最小化算法,得到与项数较少的MPRM展开式;最后随机选取15个MCNC基准电路进行测试,结果表明该算法能有效地优化电路面积.     

包含无关项的MPRM展开式最小化算法

通过对包含无关项布尔逻辑函数SOP（Sum—of-Products）展开式和MPRM（MixedPolarityReed—Muller）展开式的研究,结合基于系数矩阵的FPRM（FixedPolarityReed—Muller）展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算法．首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式,并用系数矩阵的形式表示;然后删除函数中的冗余变量,归纳出一种包含无关项MPRM展开式最小化算法,得到与项数较少的MPRM展开式;最后随机选取15个MCNC基准电路进行测试,结果表明该算法能有效地优化电路面积．     

基于零点的函数K图和dj图的转换

介绍了函数的最大项展开式和CRM展开式及其图形表示，提出函数K图和dj图的零点的概念，并以此为基础讨论了基于零点的函数K图和dj图之间的转换方法。     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

CRM型对称函数及其逻辑综合

逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.     

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

基于表格法的RM展开系数与或-符合展开系数的转换

讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法．在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法．与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点．     

城市扩张的空间模式研究——以杭州市为例

以杭州市中心城区的多时相TM/ETM+遥感影像为数据源,采用建设用地扩张强度、空间自相关方法等,分析了杭州市1991~2010年间城市扩张的时空特征,并探讨其扩张的空间模式及其演化.结果表明：（1）杭州市城区快速扩展,各街道 乡镇扩张程度存在明显差异;（2）杭州城市扩张的“热点”方位变化大致为：城北-城西-多方位-城东,其变迁规律与杭州城市扩张模式的总体变化规律一致;（3）杭州市城市扩张的空间模式主要有边缘式、填充式、自发式和线性轴状,且随城市演化过程总体遵循以下轨迹：首先,主城表现为边缘式为主、填充式为辅的扩张;其次,外围自发式的扩张形成了副城;接下来主副城都表现为从填充为主、边缘为辅的扩张转变为边缘为主、填充为辅的扩张;而线性轴状扩张是沿交通线发展并贯穿整个城市空间的演化过程.     

基于Landsat的合肥市城市扩张研究

城市扩张及其驱动力分析在协调城市扩张与土地资源保护的矛盾、促进城市可持续发展中具有重要作用.以合肥市1996,1999,2002,2005,2008,2011,2014年Landsat影像为数据源,采用监督分类方法获取合肥市城市用地时空分布定量信息,从城市面积变化、形态变化和重心迁移3个方面分析合肥市城市扩张情况,并结合自然环境、经济发展、人口增长、交通建设、政府行为等影响因子对合肥市城市发展的驱动力进行分析.结果表明:1996～2014年合肥市城市用地面积扩张286.09km~2,扩张率为394.7%,扩张速度为15.89km~2·a~(-1).近20a来,合肥市在外形上逐渐趋于狭长,以向西南扩张为主,并呈现以交通线为主的星形扩张,城区扩张亦十分明显.驱动力分析得出合肥市扩张的主要影响因子为人口增长与经济发展.     

杭州城市建设用地扩张的时空演变分析

基于杭州市1914—2018年间6期近代地图与遥感影像数据,通过目视解译数字化的近代地图,使用面向对象的分类方式对CORONA、Landsat TM和OLI影像进行分类并提取建设用地数据,计算扩张速度、重心变化、景观格局指数和增长类型,分析建设用地的扩张过程与扩张模式。结果表明：（1）近百年来杭州城市建设用地扩张明显,扩张过程主要集中在改革开放后。（2）杭州城市重心经历了“北—西北—北—东南—南”的变化过程,由向单一方向扩张转变为多方向均衡发展的态势。（3）建设用地扩张过程基本符合“扩散—融合”假说;城市核心区呈现蛙跳增长、填充增长、边缘增长依次主导的螺旋式发展过程,研究区域整体表现为边缘增长始终占相对重要地位的特征。（4）通过近代地图与遥感影像的集成分析,为长时间尺度的城市研究提供了一种路径。     

基于正极性或-符合展开的易测性网络

为提高数字电路的可测性，提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现，并给出了测试网络中所有单固定故障的通用测试集．该实现基于逻辑函数的正极性或-符合展开，网络的同或部分分别采用了串联和树形结构．为提高可测性，同或串的实现结构只需增加1个控制端及1个观察端，同或树的实现结构只需增加3个控制端及1个观察端．对于1个n变量的逻辑函数，两种实现结构下通用测试集的基数分别为（n＋4）和（n＋5）．这样短的通用测试集非常适合用内建自测试实现，从而有效地缩短测试时间．     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

2000年以来宁波城市空间扩展特征及其驱动力分析

基于遥感影像数据, 提取宁波城区土地利用数据, 从扩展速度与强度、紧凑度等方面分析城市空间扩展特征, 选取区位环境、人口社会、产业经济和政府决策四方面分析宁波城市扩展驱动力. 研究发现: (1)宁波主城区城市空间扩展存在明显阶段性, 2000~2005年空间快速扩张, 此后扩展强度缓和; 外延式扩展方式造成了城市形态复杂, 紧凑程度较差. (2)受制于地形影响, 城市空间向东沿交通干道呈现廊道式扩张; GDP和常住人口是城市空间扩张的决定性因素; 产业结构、政府投资微弱地影响城市扩展趋势.     

Reed-Muller展开系数与谱系数之间的直接转换算法

本文通过引入p-bj系数,提出了实现Reeb-Muller展开系数与谱系数之间直接互相转换的矩阵算法。通过利用bj图与谱系数图,发展了有效实现谱系数转换为bj系数的图形方法。