基于 Swin Transformer 和 Style-based Generator 的盲人脸修复

盲人脸修复任务是从低质量的图像（例如模糊、噪声和压缩图像）中恢复高质量的图像.由于事先不知道低质量图像的退化类型和退化参数,因此盲人脸修复是一个高度病态的问题,在修复过程中严重依赖各种先验指导.然而,由于面部成分和面部标志等面部先验通常是从低质量图像中提取或估计的,可能存在不准确的情况,这直接影响最终的修复性能,因此难以有效利用这些先验知识.此外,目前的主流方法基本都是依赖ConvNets进行特征提取,没有很好地考虑长距离特征,导致最终结果缺乏连续一致性.本文提出了一种改进的StyleGAN模型,命名为SwinStyleGAN,应用在高级视觉任务上表现出色的Swin Transformer来提取长距离特征,并通过改进后的类StyleGAN合成网络逐步生成图像.本文设计了一个空间注意力转换模块SAT来重新分配每个阶段特征的像素权重,以进一步约束生成器.大量实验表明,本文提出的方法具有更好的盲人脸修复性能.     

Abel数域的导子计算公式

本文基于Kronecker-Weber 定理,利用素数在Abel 数域中的分歧指数明确地给出了Abel 数域的导子计算公式. 特别地,二次数域的导子公式可以容易地从该公式推导出来.     

采用空间量化技术的泉州传统街巷风貌改造策略

以福建省泉州市的传统街巷为研究样本,通过空间量化技术探究泉州街巷形成的大致演变过程与形成逻辑;然后,采用等级、功能与宽度3个因子辨析街巷,并生成一套适用于泉州传统街巷空间的风貌改造策略.结果表明：泉州街巷的主要差异在于等级、功能与宽度的不同,同时等级、功能与宽度的变化也会导致街巷类型的转变,街巷的属性能够通过等级、功能与宽度共同组成的复合评价体系进行辨析;最后,通过梳理泉州现有的街巷格局,并针对街巷分别提出相应的改造策略.     

关于二重极限教学的一点注记——与《微积分解题方法与技巧》一书的作者商榷

本文首先对《微积分解题方法与技巧》一书中某题的解法提出质疑;然后研究了三种不同情形下可以得出不同的结果;进而否定了该书的解法;最后指出,被高等数学广泛采用的“极坐标代换法”不能直接用于二重极限,并给出了理论上的解释和证明。     

对混合Abel群中一定理证明的改进

本文指出了A.T.库洛什“群论”(上)书中一定理证明的错误,并给出了正确的证明。     

改进的细菌转化试验方法

本文对“细菌转化实验方法”进行了改进。用改良碱酶法制备的质粒DNA(PBR322)作供体,转化经氯化钙处理的受体菌E.Coli C600,使后者获得抗氨苄青霉素和抗四环素的特性。改进后的转化方法操作简便,不受设备限制。     

有限co-H-复形上的同调分解(Ⅱ)

考虑与若干球的一点触空间∨ｌｋ＝１Ｓｎｋ有关的同调分解问题,得到有关结果．然后利用∨ｌｋ＝１Ｓｎｋ上的同调分解获得群［∨ｌｋ＝１Ｓｎｋ,Ｙ］的秩的表达式,即任取∨ｌｋ＝１Ｓｎｋ上的一个同伦可结合的ｃｏ－Ｈ－结构,都有ρ［∨ｌｋ＝１Ｓｎｋ,Ｙ］＝ｋ＞０βｋ（∨ｌｋ＝１Ｓｎｋ）γｋ（Ｙ）     

二面体群D_(2p)的出度为3的Cayley有向图的正规性

设Ｇ是一个有限群,Ｘ＝Ｃａｙ（Ｇ,Ｓ）是Ｇ关于Ｓ的Ｃａｙｌｅｙ有向图,称Ｘ关於群Ｇ是正规的,如果Ｇ的右正则表示Ｒ（Ｇ）在Ｘ的自同构群Ａｕｔ（Ｘ）中是正规的．设Ｄ２ｐ是２ｐ阶二面体群（ｐ为素数）,本文考察了Ｃａｙ（Ｄ２ｐ,Ｓ）（其中｜Ｓ｜＝３）关於Ｄ２ｐ的正规性,并给出了这些图的全自同构群．     

基于最小矩阵距离准则的一种群体决策方法

在分析了基于层次分析法的群体决策方法的类型、评价准则后,提出了一种基于最小矩阵距离准则的群体决策方法。该方法应用一个矩阵空间上的距离公式,将求群体判断矩阵的问题看成为求与各个体判断矩阵的距离之和为最小的矩阵的问题,然后又进一步等价为目标规划问题。该方法比较直观可信,因而容易说服各评判者接受由该方法得到的群体判断矩阵。