技能映射通过析取模型诱导的多分知识结构

基于程序性知识的评估,提出由项目自身的状态结构诱导多分知识结构的方法,以建立适用于问题解答的多分评估体系.首先,根据各项目的解答或操作步骤设定响应值集,通过项目状态转移函数定义项目状态空间;然后,用操作程序表示技能,由过程函数导出析取的技能映射;最后,讨论技能映射通过析取模型诱导的多分知识结构.结果表明：技能映射通过析取模型诱导的多分知识结构是多分知识空间.     

基于生成对抗网络的渐进式夜视图像彩色化算法

受限于夜景光照不足等影响,夜视成像中的部分内容极易缺失或模糊,导致这部分的彩色化效果不佳.为此,本文提出了一种基于生成对抗网络的夜视图像彩色化算法, 通过对纹理细节的修复来提升图像模糊区域的彩色化效果.首先,在模糊区域修复中,利用下采样操作减少模糊图像块的比例,并用梯度调节预测器对模糊图像块周围的像素值进行预测,以此来不断增强和修复模糊的纹理细节.其次,在彩色化过程中,依托于生成的超分辨率图像和已有的先进对抗网络着色模型,通过最小化亮度和纹理等失真,来生成较为清晰的彩色图像.实验结果表明,经过模糊区域恢复和增强之后,灰度图像的PSNR平均提升0.33 dB.相比之前的夜视图像彩色化方法,本文方法可以赋予灰度夜视图像更丰富、自然的色调,更清楚地表达图像的细节,从而提高目标探测和识别效率.     

良定Hadamard问题的统一研究

本文给出了良定Ｈａｄａｍａｒｄ问题的一个统一定理。     

分形编码中的最优压缩映射

提高传统分形压缩编码的性能。方法将分形变换编码建模为一个不等式约束条件下的非线性规划问题,将压缩射条件作用到最优射的求解过程中,得到全局意义上的最优压缩映射,给出了该模型及相应的求解算法,对算法收敛性,初始点选择等问题进行了讨论。     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

凸度量空间中广义压缩映射的公共不动点

利用刘立山提出的集值映射和单值映射的次相容性条件,给出了完备凸度量的空间中集值广义坟缩射存在唯一公共不动点的一个充要条件和一个充分条件。     

终周期双峰映射拓扑熵的计算

利用符号动力学的揉理论,讨论双峰映射拓扑熵的计算．对于具有重要意义的终周期揉序列对,给出了决定其拓扑熵的揉行列式的解析表达式．     

关于狭义拟仿紧空间的两个问题

利用狭义似仿紧空间的等价刻划,给出一个非狭义拟仿紧的正规弱θ－加细空间,此外还证明了强完备映射的逆保持狭义拟仿紧性。这两个结果分别回答和部份回答了蒋继光提出的两个问题。     

兰道定理中的一个新上界

对在单位园盘Ｄ中正则的函数ｆ（ｚ）＝ａ０＋ａ１ｚ＋…,且ｆ（ｚ）≠０,１,证明了｜ａ１｜≤２｜ａ２｜｜ｌｏｇ｜ａ０｜｜＋Ａ－Ｍ｜ｌｏｇ｜ａ０｜｜＋Ａ－４πＫ１１＋｜ａ０｜Ｋ｜ａ０｜１＋｜ａ０｜［］｛｝,其中Ａ是海曼常数,Ｍ是绝对常数．