K──表示域

本文证明了两个结论：（a）设D是有界圆型域，O∈D，对于其任意不变度量的核函数K，如果f∈Aut（D），f（t）＝0那么f有（1＇）的表示形成。（b）设Ω是关于坐标分量对称的有界Rrinhardt域，O∈Ω，如果f∈Aut（Ω）且f（o）＝0，那么f必为酉变换。此外还给了Chrtan引理另外一个证明。

雷达动目标短时稀疏分数阶表示域探测方法

机动目标检测和精细化运动状态估计始终是雷达信号处理的热点和难点问题,基于时频分布的动目标检测方法难以同时获得高时频分辨率,且参数估计精度受搜索步长的限制。稀疏时频分布技术结合了经典时频分析技术和高分辨稀疏域信号处理的优势,是传统变换域处理技术的扩展。构建了短时稀疏分数阶表示域信号处理框架,并在此基础上,提出了两种雷达机动目标检测和估计方法,即短时稀疏分数阶变换和短时稀疏分数阶模糊函数,实现了时变信号的时间-稀疏变换域高分辨表示。对海雷达目标探测试验验证表明,所提方法适用于复杂背景下雷达机动目标的探测,并能获得目标运动状态的精细估计。

基于互信息解耦表示的跨域压力足迹图像检索

足迹作为人体生物特征之一,在生物识别领域具有重要意义,而同一对象的不同鞋型压力足迹图像在足迹轮廓特征上具有显著性差异,导致其类内差异大。针对压力足迹图像的跨域检索,文中提出了一种基于互信息解耦表示的跨域压力足迹图像检索方法。首先,构建了一个包含200人足迹图像的多域压力足迹数据集,从定性和定量两个角度分析跨域压力足迹图像的特点;其次,采用两个独立的编码器实现图像解耦模块,该模块将压力足迹图像解耦为域特定表示和域共享表示,通过域分类法保证域特定表示包含更多域相关的信息;然后,通过最小化互信息损失扩大域特定表示和域共享表示之间的距离,同时,为避免解耦过程中信息的丢失,基于域特定表示和域共享表示重构原始压力足迹图像;最后,通过特征提取模块进一步提取域共享表示的深层卷积特征,经过度量模块计算不同特征间的关联度,从而实现跨域压力足迹图像检索。对比及消融实验结果表明,该方法的解耦模块具有一定的有效性,在多域压力足迹数据集上的性能表现良好,首位查询结果的检索准确率达到79.83%,平均准确率达到65.48%。

关于表示域的一个注记

对中的一类有界域D,利用表示域的概念,证明了对域D的任一不变Kahler度量,都可以导出相同的Aut(D).

测高卫星径向摄动的空域表示

测高卫星径向轨道误差是影响测高数据精度的重要因素之一。通过在空域内分析径向误差的特性,可以更好地了解径向轨道误差的空间分布模式,鉴别各种平差方法的有效性,对径向轨道误差在交叉点平差时的可观测性有一个较为清晰而明确的认识。本文根据测高卫星轨道不同于一般卫星轨道的特点,导出了对于一般卫星轨道无法得出的保留至e^2的径向误差的空域表示公式,并分析了径向误差在交叉点平差中的可观测性,得出了一些有益的结论。

基于单逻辑程序的一致性规划任务有限域表示方法

有限域表示(FDR)能有效地压缩状态空间,其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序,而一致性规划任务的初始状态数量通常较大,所以这通常需要较大的时间和空间开销,甚至导致内存溢出。为了提高转换算法运行效率使其能处理更为复杂的规划问题,提出了一种基于单逻辑程序的IFDR转换算法。IFDR算法从初始信念状态中所有可能的初始世界状态得到一个事实集,再由动作和公理计算得到一个规则集。一个事实集和一个规则集组成一个逻辑程序,IFDR用此单逻辑程序完成实例化。实验结果表明IFDR算法在解决问题的效率和数量上都有所提高。

域规则表示和主线推理法

传统的产生式知识表示，在规则式中没能体现出前提对结论的影响程度和结论间的相互关系，而这在许多领域中是存在的，基于产生式表示的专家系统，其推理算法是顺序的，而且在推理过程中不作任何判断．这大大影响了系统的推理速度，本文提出了影响率和域规则知识表示等概念及一种新的推理算法．

一种用于人脸识别的contourlet域稀疏表示分类器

超完备稀疏表示法可以有效解决人脸识别领域中由于光照、表情变化、遮挡和噪声问题等原因造成的性能瓶颈。基于超完备稀疏表示法,将人脸识别问题看作是为多个线性回归模型中的分类问题,提出了一种基于Contourlet域的稀疏表示分类器,改进了利用主成分分析进行数据预处理所造成的鉴别信息丢失,提升了稀疏表示分类器的鉴别能力。在ORL库、Yale库、扩展Yale库和PIE库上大量实验结果验证了算法的有效性。

利用平面域的解析表示求条件概率密度

本文给出了利用平面域的解析表示求条件概率密度的有效方法.

利用平面域的解析表示求边缘概率密度

在课程'概率论和数理统计'中,如何快速有效地求出求边缘概率密度,既是教学的重点更是教学的难点。充分利用《高等数学》所学平面域的解析表示,得到了求边缘概率密度的有效方法。

C^n中有界域的解析自同胚群

如何求C^n中有界域D的解析自同胚群Aut(D)?本文提供了一种非常一般的方法:由域D的Bergman核函数,就可以求出Aut(D),并对一类非对称性域定出了它的Aut(D)。

一种压缩域特征提取与语义图像检索技术

为了解决“语义鸿沟”问题 ,通过将隐含语义索引 (L SI)技术引入到图像语义提取问题的研究中 ,试图从图像的视觉特征中抽取出“高层概念”.基于 GM(1,1)压缩域中的一种图像特征 ,提出了一种建立“图像视觉特征”与“语义信息”之间映射的技术方法 .实验研究表明 ,这种基于压缩域特征和 L SI技术的图像检索方法能显著改善图像检索的性能 。

过程信号的周期域分析

本文提出一种以信号周期为自变量，以定义在本信号周期内的时、频域参量为变量的新的信号分析方法，并详细阐述了这种信号分析方法的实用意义，实现了各项周期参量的周期域表示。可以预言，这种信号分析方法将可揭示过程信号中的某些至今尚未十分明了的奥秘。

PPDDL一致性规划任务的有限域转换方法

给出了PPDDL一致性规划任务和有限域一致性规划任务的定义,扩展了非确定动作等相关语义,并在此基础上提出了一种将PPDDL表示的一致性规划任务转换为有限域表示的一致性规划任务的CFDR方法,实现了经典规划的FDR转换算法在一致性规划中的扩展。相比MCPT算法,主要改进了其中的合成不变量方法和任务生成方法,此外还增加了对于非确定动作效果的表示和处理。通过在标准的一致性规划域上的实验,证明了CFDR的适用性和有效性。

一类Bergman-Hartogs域的全纯自同构群

本文考虑一类Bergman-Hartogs域Ω_(D)的全纯自同构群,这类域既不是齐性域也不是圆型域.它的底域D是齐性域,并且使得Ω_(D)在某个紧Lie群作用下不变.本文利用表示域和极小域的性质以及全纯映照在边界的性质等,给出这类Bergman-Hartogs域的最大全纯自同构群.