广义四元数代数的线性表示及其乘法的可易性

给出了广义四元数代数的两种线性表示,导出了两个广义四元数代数同构的充要条件;推出了广义四元数矩阵乘法的可易性.     

基于循环并行处理的表图结合IR设计

针对循环结构的自动并行化处理,提出一种新的表图结合的中间表示IR(Intermediate Representation)设计方法,该算法具备较低的时间和空间复杂度,能够估算循环结构的相关程度,是一种功能更加完善、性能更加稳定的IR。     

概念系统的图形表示方法

现代术语学的创始人欧根·维斯特（Eugen Waster）的《普通术语学和术语词典编纂学导论》（Einfurung in die allgemeine Terminologie und terminologische Lexikographie）的德文版第三版（1991年在波恩出版）中，讨论了术语学中概念系统的图形表示方法。笔者根据该书中“3．4”节的内容，写成了这篇读书心得。     

论意思表示

本文较系统地论述了民法理论中的意思表示，意思表示的要素分析，意思表示解释的瑕疵等都有所涉及，综合了大陆法系，英美法系以及我国台湾的民法理论，对我国的民法提出了不少建议。     

A Note on Abelian Extensions

Let K/Q be any abelian extension where Q is the field of rational numbers. By Galois theory and the Frobenius formula for induced characters, we prove that there exists a metabelian group G and an irreducible character X of G such that K=Q（X）.     

因素空间理论与知识表示的数学框架(续)——反馈外延的精细化与概念内涵的表达

本文是文献［１～３］的继续，本文及后续论文仍将系统地研究因素空间理论及其在知识表示中的应用．首先讨论反馈外延的精细化问题，介绍两种提高精度的方法：剖分法和三角模法．然后，研究概念内涵的表达问题，给出概念外延与概念内涵的相互转化方法．     

尼奥斯湖爆炸解说生物灭绝

1986年，喀麦隆尼奥斯湖发生爆炸，造成1700多人死亡。最近，一位科学家表示，这不是一个孤立的现象。水中的气体含量高可能是造成过去大灭绝的根源，对人类也是一个潜在的威胁。     

基于曲波变换的地震数据压缩感知重构算法

为提高地震数据压缩感知重构的信噪比和保真度, 提出一种基于曲波变换的地震数据压缩感知重构算法。建立了地震数据压缩感知重构模型, 分析了基于曲波变换稀疏表示的地震数据各尺度之间能量与熵的分布特性, 结合分块压缩感知技术降低随机观测的计算复杂度, 利用曲波变换稀疏表示高频区域各尺度之间的相关性, 设计了随信息熵变化的自适应双变量收缩阈值迭代重构的方法。实验结果表明, 在相同的采样率下,该算法重构的地震数据峰值信噪比提高了1. 5 dB 以上, 并且具有良好的细节信息保持能力。     

基于双重字典及联合特征的遥感图像超分辨率算法

为了解决低分辨率遥感图像超分辨重建的问题,本文提出了一种基于双重字典及联合特征的遥感图像超分辨率算法.超分辨率重建技术目的就是根据低分辨率图像重建出原始高分辨率图像的高频信息.本文将图像的高频信息分解成为主高频信息和残差高频信息两个部分,然后针对主高频信息和残差高频信息,分别训练主高频字典和残差高频字典,并结合稀疏表示方法对图像进行重构.同时,为了建立更能反映图像内部结构信息的字典,本文联合图像的不同的结构特征,建立统一的字典.本文算法对图像取得较好的复原效果,复原出的高分辨率图像更接近于真实图像,与其他方法相比具有更好的主观和客观质量.     

KL分位数估计的Bahadur表示

Bahadur表示对于分位数估计的大样本性质的研究有着重要的作用,本文在独立样本的条件下,证明了KL分位数估计的Bahadur表示及其收敛速度op(k-1/2n),并通过Bahadur表示给出了其渐近正态性和置信区间估计。