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

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

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

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

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

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

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

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

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.     

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

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

基于互补型SET的通用阈值逻辑门设计

与MOS管相比,单电子晶体管(SET)具有超低功耗、超高集成度等优点,被认为是可能取代MOS管的新一代量子器件的主要竞争者.在简要介绍SET特性及通用阈值逻辑门(UTLG)的基础上,沿用CMOS逻辑电路的设计思想,提出了功能强大的基于互补型SET的三变量UTLG实现方案.利用一个UTLG辅之少量门电路就可实现全部256个三变量逻辑函数.通过实例说明了利用查表设计进行UTLG综合的过程.对所设计的SET电路进行了Pspice仿真,结果表明,基于SET的UTLG以及用UTLG实现的全比较器均具有正确的逻辑功能.     

基于支持向量机及遗传算法的光刻热点检测

提出一种基于支持向量机（SVM）及遗传算法（GA）的集成电路版图光刻热点检测方法.首先对版图样本进行离散余弦变换（DCT）以提取样本的频域特征,然后基于这些样本训练SVM分类器以实现对光刻热点的检测.为了提高光刻热点检测的精度及效率,采用遗传算法（GA）对频域特征进行选择,并同时优化SVM参数.实验结果表明,基于SVM及版图频域特征并结合遗传算法进行优化的光刻热点检测方法可以有效提高版图光刻热点的检测精度.