高等代数中的不变性哲学思想及其应用

本文探讨高等代数课程中变与不变的对立统一性,以便从更高的视角理解其本质.

面向行为不变性的事件日志采样方法

信息系统在执行过程中收集了大量的业务流程事件日志,模型发现旨在从事件日志的行为信息中发现流程模型为业务流程理解和改进提供事实依据。直接跟随活动关系(DF)作为事件日志中最基本的行为信息是模型发现算法的基础。根据是否考虑日志的DF频次特征,将已有模型发现算法分为考虑频次和不考虑频次两类。已有面向模型发现的日志采样方法注重于提高模型发现的效率,却损失了事件日志中DF频次信息,得到的样本日志在使用基于DF频次的模型发现算法时改变了原始日志的行为。因此,针对基于DF频次的模型发现算法,提出一种面向行为不变性的日志采样方法,具体而言,该方法包括通过按比率选取轨迹变体及频次、计算轨迹的DF权重和基于集合覆盖采样三个阶段,使得样本日志包含的行为信息与原始日志一致。通过公开事件日志数据集上的实验分析表明,与已有的日志采样方法比较本文方法得到的样本日志能更准确地保留原始日志中的DF频次信息,从而确保更高的模型挖掘质量。

不变性原则与Python亮点

针对目前Python教学中“以C语言知识解释Python语法”的倾向及其所导致的一些基本概念错误,回顾“软件危机”发生以来人们在“去变量赋值”副作用和函数式编程两个方面的努力,从不变性原则的高度阐述这些举措对于提高程序质量的意义,在此基础上提出Python程序设计语言的亮点并强调对于回归Python本质的重要性,目的是为进一步学习和应用打下坚实基础。

职业英语技能测量的不变性研究

本研究采用MG-CFA和Rasch模型,基于实用英语交际职业技能等级证书(VETS)初级首考数据,从性别、学校类型和专业类型三个维度对VETS的测量不变性进行了检验。MG-CFA用于检验考试整体层面的测量不变性,包括结构不变性、弱不变性、强不变性和严格不变性检验;Rasch用于检验考试题目层面是否存在DIF以及DIF的效应量。MG-CFA分析结果发现VETS对于不同性别和类型的考生均呈现严格不变性,不存在测量偏差;对于财经商贸类和教育与体育类考生的测量呈现弱不变性,这可能和该维度个别任务出现DIF有关。虽然基于Rasch的分析结果显示三个维度的任务呈现显著DIF,但都属于轻度DIF,可以忽略不计。

基于RC充电时间过零点不变性的高精度高稳定振荡器

设计了RC充电时间过零点不变性振荡器,该振荡器提供对电压和温度不敏感的高精度高稳定性时钟信号。分析并推导了RC充电过程中过零电压的时间不随电源电压变化的特性,采用温度补偿技术最大限度地保证了RC充电过程中过零电压的时间不随温度变化。基于180 nm工艺实现了该振荡器,仿真结果表明,该振荡器可以稳定输出2 MHz,电压从2.5 V~5.5 V的频率波动小于1%,温度从-40℃~125℃的频率波动小于1%,PVT条件下的最大电流不超过150μA。

一类由α-稳定过程驱动的随机时滞微分方程的LaSalle不变原理

LaSalle不变原理是研究随机系统稳定性的重要工具.考虑到时滞与样本轨道跳跃对系统稳定性的影响,本文通过特殊半鞅的收敛性,建立了一类由α-稳定过程驱动的随机时滞微分方程的LaSalle不变原理.利用LaSalle不变原理给出了一类延迟方程解渐进稳定的充分条件.

简式大学生心理素质问卷的测量不变性

为考察简式大学生心理素质问卷(CSPSz-SV)的测量不变性,采用CSPSz-SV对11所高校的1783名大学新生进行调查,间隔6个月后对其中的447名大学新生进行第二次调查。多组验证性因子分析显示,CSPSz-SV三因子模型(认知品质、个性品质和适应性)满足跨性别、跨专业、跨家庭以及跨地域的测量不变性;纵向不变性分析进一步显示,CSPSz-SV得分跨时间的形态、弱、强以及严格不变性模型均可接受。CSPSz-SV得分在大学新生群体中具有跨性别、跨专业、跨家庭、跨地域以及跨时间的测量不变性。

浅水波方程的旋转不变性及自适应求解

针对二维浅水波方程数值求解问题,对该类方程通量函数的旋转不变性进行了理论推导,构造了基于移动网格的混合旋转通量法。基于变分原理的自适应移动网格法能够将网格根据解的特点自适应分布,且网格移动与微分方程数值求解相互独立。混合旋转通量法能够保留熵稳定格式和HLL格式的优点,且克服了因网格扭曲变形造成的计算中断问题。数值结果表明所构造算法所得数值结果分辨率高,算法鲁棒性强。

基于自动数据增强的不变性跨域行人重识别

针对随机数据增强的不确定性和模型迁移过程中自身性能受限的问题,提出一种基于自动数据增强的不变性跨域行人重识别模型。利用自动数据增强策略对源域和目标域数据进行增强,在ResNet-50中引入外观不变形使图像的外观变化不会影响模型输出,联合交叉熵损失函数和圆损失函数对源域进行监督学习,通过学习目标域内的变化适应源域与目标域数据分布差异。所提模型在公共数据集Market-1501、DukeMTMC-reID和MSMT17上进行比较分析,验证了模型的有效性,结果表明,相比目前一些跨域行人重识别先进算法,所提算法效果有明显提升。

基于相干合成涡旋光束光场分布角向不变性的评价函数构建及其应用研究

大气湍流引入的波前畸变导致相干合成涡旋光束质量劣化,需进行波前畸变校正。基于相干合成涡旋光束光场分布的角向不变性,通过像清晰度函数提取明暗干涉条纹区域的总光强,构建角向条纹对比度评价函数,将评价函数应用于随机并行梯度下降算法,可以实现单环以及双环阵列结构的相干合成涡旋光束波前畸变自适应校正。仿真实验结果表明,相较于光强相关系数等传统评价函数,以角向条纹对比度作为评价函数的随机并行梯度下降算法具有校正性能好、收敛速度快的优点。此外,单环和双环结构相干合成涡旋光束的波前校正结果均验证了角向条纹对比度作为相干合成涡旋光束评价函数的有效性及优势。

平面单元及平面问题的一种缩放不变性

证明了有限元中二维单元的一个特性,即厚度不变时,将单元按比例缩放,单元的刚度矩阵不变。由此指出二维问题的一个奇特现象:当厚度不变时,将模型按比例缩放,则在相同的约束和(集中)载荷下的结构变形不变。对分布载荷和力偶,若把它们折算成集中力时保持力的大小不变,则结论也成立。

基于地物不变性的侧扫声纳条带图像匹配方法

为解决侧扫声纳条带图像拼接时共视目标的扭曲和错位问题,提出了基于地物不变性的特征点匹配方法。该方法对侧扫声纳图像重叠区域进行符合地物不变性的特征点提取、K-均值分区和薄板样条弹性变换等处理,实现匹配点对的精确配准。采用某海域实测侧扫声纳数据对算法进行了验证,结果表明,特征点匹配效率和准确率高于传统的RANSAC算法,配准精度达到0像素偏差,拼接后的图像能够准确反映海底地貌特征,对大面积、高质量的海底地形地貌图像获取有重要意义。

以波检验非奇异静态球对称黑洞的共形不变性

共形不变性可以改善或消除存在于黑洞中的奇点,并且这一性质可能仍然存在于这些黑洞附近的强引力区域中.本文作者尝试通过研究非奇异静态球对称黑洞对波的吸收和散射来检验这种共形不变性,给出了不同共形参数下黑洞的部分和全吸收截面,以及微分散射截面由于所研究的时空与史瓦西黑洞背景时空是共形相关的,光子轨迹没有区别,但波动光学却受到共形参数的影响。研究结果表明,波的吸收通常随着共形参数的增加而增加,而黑洞的阴影仍然与史瓦西时空的情况相同.此外,随着共形参数的增加,散射的振荡模式中的峰值向较小的观察角度偏移,而辉光散射下峰值的宽度没有表现出敏感的依赖性。因此,共形引力中,非奇异静态球对称黑洞对波的吸收和散射的独特特征,在低频区可以将其与史瓦西黑洞区分开来,在高频极限及辉光峰的对比中,则可以与其他替代引力的球对称黑洞区分开来.

一种基于交比不变性的视线补偿方法

由于交比不变模型在计算视线时存在将角膜面理想化以及未区分光轴和视轴的问题,导致计算的视线落点误差较大,为此提出一种构建虚拟平面并通过注视轨迹校准的方法来计算视线落点。该方法根据人眼生理特征建立虚拟平面,并使用一种新的校准方法进行校准,使用最小二乘法对校准点进行拟合,改善了多点校准方法过程复杂性和体验差的问题。通过对不同处理条件下的视线落点偏差进行比较,说明该方法可在保证视线计算精度的前提下简化校准过程。

基于空间波束不变性的升空平台大规模MIMO导频攻击检测与消除方法

针对升空通信平台大规模多输入多输出(Multiple-Input Multiple-Output,MIMO)系统中在通信接入阶段遭受导频攻击引入的信息泄露问题,提出了一种基于空间波束不变性的导频接入攻击检测与消除方法。该方案基于用户空间波束域信道结构特征,在缺少信道先验信息的条件下使用点排序簇结构(Ordering Points to Identify the Clustering Structure,OPTICS)聚类算法,分离提取接入攻击与合法用户的波束域信道,消除接入攻击导致的信号损伤,实现合法用户信号安全传输。仿真结果表明,所提方案能够有效降低导频接入攻击对系统安全传输的影响。

基于ASIFT与Harris改进的影像仿射不变性算法研究

通过ASIFT算法,提取出其算法中的仿射不变模型Affine算子,再利用Harris算子进行影像特征检测。通过两种算子的结合得出仿射不变模型的解算参数,使得影像的匹配算法具有仿射不变性。利用无人机光学影像对改进算法进行影像仿射不变性实验。实验结果表明:改进的Affine-Harris算法与Harris算法相比,对于影像的匹配,在仿射不变性上优于原算法。

随机中立型泛函微分方程的Lasalle定理

随机型的Lasalle定理是研究随机系统的稳定性的重要理论工具.本文应用It公式、半鞅收敛定理与ko lm ogorov-Cˇentsov定理等随机分析知识,以及H lder不等式等技巧,首次建立了一般随机中立型泛函微分方程的Lasalle定理,由此得到一些有用的随机稳定性判据.本文所建立的结果涵盖并推广了已有文献的结论.最后给出了一个例子说明本文结果的有效性.

具有尺度与旋转不变性的立体影像自动匹配研究

提出一种具有尺度与旋转不变性的影像自动匹配算法。首先基于方向小波变换构造三尺度特征点算子,进行两尺度匹配,保证其尺度不变性问题;其次构造特征点64维描述向量,解决影像匹配的旋转不变性。分别采用地面立体像对、无人机平台立体像对、航空立体像对进行试验分析。试验结果表明,提出的立体匹配算法具有良好的尺度和旋转不变性。

静动态结合的Java程序不变性分析方法

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.

图像奇异值特征矢量缩放不变性分析及应用

图像奇异值特征矢量以其稳定性和它在转置、平移、旋转和镜像变换下具有的不变性,被认为是一种图像的代数特征,广泛应用于图像匹配和图像识别。通过矩阵运算,证明了奇异值特征矢量在图像做缩放变换时具有不变性,并将这种性质运用于图像匹配。实验结果表明这种不变性与奇异值特征矢量在图像做转置、平移、旋转和镜像变换时所具有的不变性一样,是奇异值特征矢量能够作为图像代数特征的一个重要依据。