压强的洛仑兹不变性的证明

在狭义相对论里 ,压强是一个不变量 ,本文用经典力学压强的定义 ,直接从力和面积的洛仑兹变换论证了这一点     

对有效市场的挑战——资本市场分形与混沌的研究综述

有效市场理论以线性化的假设来刻画资本市场,把市场看成是均衡系统或围绕均衡点变动的周期性系统.但实证检验对两种看法都不支持,市场是一个复杂系统,具有不可叠加性的特征.回顾资本市场复杂性理论的发展历程,从资本市场分形及混沌理论两方面归纳了资本市场复杂性的基本研究方法,综述了国内外资本市场复杂性的研究现状,在此基础上,总结出复杂网络、金融数据高维计算复杂性和人工股市模型等研究动向.     

浅析索绪尔语言符号理论中的不变性和可变性

索绪尔的思想理论中关于语言符号的不变性与可变性理论上承语言符号理论 ,下接共时语言学和历时语言学理论。进一步研究语言符号的不变性和可变性 ,对于深入了解其语言符号理论以及语言学研究的方法论———对静态语言学和历史语言学的划分都有着重要的意义。本文以《普通语言学教程》 (以下简称《教程》)为立足点 ,结合范例 ,分析导致语言符号具有不变性和可变性这两个看似矛盾的性质的原因。     

不精确Newton法与Broyden法的仿射不变收敛性

给出了不精确Ｎｅｗｔｏｎ法的半局部收敛性定理，通过改善条件γ＿ｋ／Ｆ（ｘ￣ｋ）≤η＿ｋ（ｋ＝０，１…）使其具仿射不变性，建立起了不精确Ｎｅｗｔｏｎ法的具仿射不变性的半局部收敛定理，在一定条件下，讨论了Ｂｒｏｙｄｅｎ方法的具仿射不变性的存在──收敛定理，从而，扩大了这两种方法收敛定理的收敛域。     

疾病在食饵中传播的捕食-被捕食模型分析

针对目前生态-传染病的研究现状,分析并建立了疾病在食饵中传播的食饵-捕食者模型,考虑易感者食饵种群具有常数输入（包括迁入和出生）,并且疾病的发生率为非单调函数,给出了系统解的正不变性,根据微分不等式定理讨论了系统解的有界性和各平衡点的存在性,通过特征多项式,利用Routh-Hurwitz判据证明了解的局部渐近稳定性,并且通过构造适当的Lyapunov函数分析了各平衡点的全局渐近稳定性。     

基于改进ORB算法的特征点匹配研究

针对ORB(Oriented FAST and Rotated BRIEF)算法不具有尺度不变性的缺陷,结合多尺度Shi-Tomasi算法提出了改进的ORB算法:STORB(Shi-Tomasi-ORB)算法。首先在多尺度空间中通过快速预筛选后检测Shi-Tomasi特征点,然后使用ORB算法生成具有方向信息和尺度信息的特征点描述子,最后采用汉明(Hamming)距离对特征点进行匹配,并结合随机抽样一致(RANSAC)算法对匹配结果进行优化,实现图像的准确匹配。实验结果表明,STORB算法不仅保留了ORB算法优良的旋转不变性与实时性,而且当图像发生尺度变化时特征点匹配正确率达到了95.8%,比ORB算法提高了65.2%。     

浅谈仿射变换的应用

阐述射影几何学中仿射不变性和仿射不变量。对于一些求解有关点线的结合性、线段相等或比值、平行性、面积等问题,考虑仿射变换使问题简化。     

电磁场中量子体系的规范不变性

本文讨论了处于电磁场中的体系的量子力学形式。结果表明,虽然对体系的描述涉及到电磁势,但体系的物理性质只依赖于电场和磁场的强度;如果改变描述电磁场的势,则体系的物理性质仍保持不变.     

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。