基于指令集映射的汇编语言教学探索

X86、MIPS、ARM是本科生课程中最常见的三种汇编语言指令集,其中X86指令集代表复杂指令集(CISC),MIPS、ARM则代表精简指令集(RISC)。X86指令集一般用于汇编语言程序设计的入门教学;MIPS、ARM指令集一般用于计算机组成原理、计算机系统结构等课程中的计算机底层逻辑教学。在实际教学中,由于学时有限,难以覆盖上述所有指令集;然而,各类指令集都可能出现在实际的应用场景中。以教学实践为基础总结了在X86汇编语言课程中,引入MIPS和ARM汇编语言的方法,分析了三种汇编语言对应硬件结构的异同之处,提出了一种以功能为核心的多汇编语言指令集映射方法,并给出了基于该方法的部分指令对应关系以及实现同一功能的不同汇编代码示例,为多汇编语言教学课程建设提供基础。

基于剪切变换及凸集映射的2D数据重建技术研究

以剪切变换理论为基础,结合凸集映射理论使用最小二乘法,并反复迭代求取误差函数最小化实现2D数据重建.以图像直方图、信噪比和峰值信噪比为指标,通过图像案例验证了基于剪切变换的凸集映射的2D数据重建的效果.实验结果表明:算法重建的数据结果与原始数据对比具有很好的一致性,与基于图像金字塔实现的数据恢复算法相比,在运行速度上有显著的提升.

凸函数的支撑凸集及其集映射

本文研究了线性空间中凸函数的支撑泛函存在性以及支撑泛函的数值域,利用子空间中支撑泛函延拓的方法,构造出在线性空间任意点的支撑泛函,确定在同一支撑点上支撑泛函的数值域,从而得到支撑泛函具有唯一性的充分必要条件,最后对支撑凸集到支撑泛函集的集映射进行讨论.

集映射算子和半光滑性

讨论n维空间C可微集映射算子,利用Rn的集映射算子来讨论函数的性质,并且把这思想应用于广义牛顿法.进一步讨论C可微集映射算子、半光滑、方向导数和连续性,以及它们之间关系.

集—集映射的最优化问题的Lagrange对偶关系

本文讨论集—集映射的多目标最优化问题．首先给出了Ｌａｇｒａｎｇｅ乘子定理，其结果可视作卢占禹（１９９５）的一个定理在有限维情形时的改进；其次研究了对应的对偶关系，推广了Ｈｓｉａ，Ｗ．Ｓ．和Ｌｅｅ，Ｔ．Ｙ．（１９８８）文中集—点映射情形时的相应结论．

基于反泄露傅里叶变换和凸集映射的OVT域数据重建方法

基于偏移距矢量面元(Offset Vector Tile,OVT)的地震数据处理方法可以较好地提高复杂地质体的成像精度。但由于采集成本和地理地质条件等因素的影响,常导致采集不规则,CMP覆盖次数不均匀,在OVT域内数据很难实现理想的规则采集。因此,数据重建技术是OVT域关键的处理技术之一。本文通过分析OVT域的数据特征,提出利用反泄漏傅里叶变换(anti-leakage Fourier transform,ALFT)和凸集映射(Projection Onto a Convex Set,POCS)联合进行OVT域数据重建的方法。利用反泄漏傅里叶变换可使重建结果在有限频宽内保持数据信号不受损失同时亦可压制高频信号的假频问题。通过模型数据随机抽稀后的重建结果与原始数据的对比分析,验证了本文所提方法的有效性和可行性。将该方法应用到南方某实际三维地震资料的处理中,数据重建前后的叠加剖面与偏移结果的效果对比,亦表明本方法在提高断层成像精度方面具有良好的效果。

一种基于凸集映射的高分辨率图像恢复算法

介绍了一种基于凸集映射(POCS)算法的高分辨率图像恢复方法,通过仿真对比了其与双线性插值方法恢复高分辨率图像的差异,仿真结果表明,该方法有助于改善高分辨率图像的恢复质量。

集-集映射向量极值问题的Lagrange乘子和鞍点定理

本文先建立了集－集映射的一个广义择一性定理．在目标为锥凸和满足 推广了的Ｓｌａｔｅｒ约束规格的条件下，我们利用本文的择一性定理，给出了集一集映射 向量极值问题关于锥－超极小解的Ｌａｇｒａｎｇｅ乘子定理和鞍点定理．

基于临界条件点——集映射与信息扩散的风险评估模型

基于信息扩散思想和模糊集合理论,提出了一种基于临界条件的知识获取和评估建模的研究思想和算法技术,阐述了基本的方法步骤和模型推导,并以航空气象的保障评估为例,构建了气象条件影响飞机起降安全的风险评估模型。

锥凸集到集映射的基本性质

提出了锥凸集到集映射的概念，并讨论了这类映射的基本性质。

锥凸集到集映射的择一性定理

本文为考虑集值映射的极值问题，提出了锥凸集到集映射的概念，借助Ｍｏｒｒｉｓ序列证明了若干这类映射的择一性定理。

半动力系统中闭集的稳定性和极限集映射的连续性

研究了半动力系统中闭集的各种稳定性之间的关系和半动力系统中一类特殊的闭集即各种极限集的稳定性与相应极限集映射的半连续性之间的密切联系,给出了几个极限集映射上(下)半连续的充分或必要条件.

线形空间中具有集到集映射的向量极值问题的Lagrange型对偶

在非常一般的偏序线性空间中,利用Morris序列以及商空间理论,讨论了序凸锥为非点式锥,且所含映射均为集到集映射的向量极值问题的一种Lagrange型对偶。

改进集映射下参数广义向量拟平衡问题解映射的Berge下半连续性

该文主要讨论了一类新的参数广义向量拟平衡问题解映射的稳定性.首先,定义了改进集映射,基于改进集映射,将序结构进行推广并应用于拟平衡问题的研究,得到了改进集映射下参数广义向量拟平衡问题(IPGVQEP).然后,给出了一类与改进集映射相关的非线性标量化函数Ψ,利用非线性标量化函数Ψ得到了与原问题(IPGVQEP)对应的标量化问题(IPGVQEP)Ψ,并获得了原问题与标量化问题解之间的关系.最后,引入了一个关键假设HΨ,借助关键假设HΨ及原问题与标量化问题间解的关系,获得了IPGVQEP解映射Berge下半连续性的充分必要条件,并举例验证了所得结果.

关于含参可行集映射的下半连续性的一个记注

讨论了含参可行集映射在分别满足Cottle,Abadie,Guignard和Constraint Rank(CR)约束规范时的下半连续性.给出了在满足Cottle约束规范时的下半连续性定理,并通过反例证明了该含参可行集映射在Abadie,Guignard和CR这3种约束规范下不一定具有下半连续性,这些结论可用于非线性规划和半无限规划.

下半连续集映射的不动点定理

提出完备空间(x,d)到其全部非空子集族B(x)的下半连续集值映射一条不动点定理,使C larke[1]不动点定理成为这一定理的特例.

多目标规划解集映射的稳定性

本文利用集合值映射的概念,讨论了非劣解集在目标空间扰动时的稳定性,决策空间中非劣解的稳定性。

集值映射的Michel-Penot方向导数与Michel-Penot次微分

采用标量化方法,研究集值映射的方向导数和次微分.借助Gerstewizt函数,给出了集值映射的Michel-Penot方向导数和Michel-Penot次微分的概念,研究了它们的性质,建立了它们的计算法则,并利用Michel-Penot次微分给出了无约束集值优化问题的优化条件.

图-凸集值映射的性质

借助回收映射和余切导数得到了图-凸集值映射的两个性质.

一类集值映射的方向度量次正则性

在有限维Hilbert空间中,研究连续可微单值映射与连续闭凸集值映射之差的集值映射的度量次正则性问题.首先,在适当的连续性假设条件下,得到了这类集值映射的强度量次正则性的充分条件;然后,研究了这类集值映射在存在某种“单值选择”条件下的方向度量次正则性,并给出了这类集值映射的方向度量次正则性的一些充分条件.