基于异或运算的逻辑函数OC展开系数图与bj图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

基于异或运算的逻辑函数OC展开系数图与b_j图的转换

分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点.     

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

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

基于矩阵方法的dj展开系数与bj展开系数的转换

讨论了基于异或运算的bj展开系数和基于符合运算的dj展开系数的矩阵转换方法，给出了8种矩阵转换方法．虽然本文的讨论仅限于3变量，但是由于变换矩阵满足递推律容易，将这些方法推广至任意变量数．     

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

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

基于K图的逻辑函数OC展开式在固定极性下的化简

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.     

互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

逻辑函数最大项展开式和CRM展开式的转换

在逻辑函数的CRM展开式和两种新运算基础上，对函数量大项展开系数和CRM展开系统(dj系数)之间的关系作了较详细的讨论，并提出了两者的矩阵转换法，快速转换法和直接代入转换法，具备较好的实用性．     

一种基于或-符合展开的新颖通用逻辑门

提出了一种新颖的基于或-符合展开的三变量通用逻辑门(ULG3),讨论了逻辑函数或符合展开的图形表示--dj图,利用降维dj图分析了所有3变量NPN型特征函数的降维dj图的特点.从而验证了该通用逻辑门能实现所有3变量的逻辑函数.     

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例．实例验证了上述方法有效性．该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发．     

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

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

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

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

三变量通用阈值逻辑门的设计

讨论了逻辑函数的谱系数分类,给出了特征阈值逻辑函数的定义.在此基础上提出了三变量通用阈值逻辑门的设计方法,分别得到了单输出和带反相双输出的三变量通用阈值逻辑门,并给出了用三变量通用阈值逻辑门实现三变量阈值逻辑函数的实例.     

常系数线性差分方程组解法讨论

本文给出常系数线性差分方程组的一种解法:算子方法.     

谱系数图与dj图在0-1编码空间的图形互换

从函数最小项系数与基于（0,1）空间的谱系数以及Z系数的关系出发,引入了p-d,系数与反谱系数,进而提出了（0,1）空间的谱系数与矾系数的互换算法,并给出了相应的图形转换方法．实例表明,图形转换法具有简单、直接、方便的特点．     

基于知识的SA/SD自动转换技术和工具的研究

本文讨论按生命周期方法开发大型软件的SA/SD自动转换技术,将知识引入转换工具,重点介绍三维十字链表的数据模型和转换过程中专家知识的组织和引用原则。     

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

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