二叉树程序循环不变形状图的自动推断

在一个基于形状图逻辑的C语言程序自动验证系统上,设计并实现了二叉树形状程序的循环不变形状图的自动推断方法.该方法与单链表程序循环不变形状图的推断方法的区别在于通过增加二叉树形状的等价和蕴含规则,使得在形状图的演算时支持二叉树中不确定方向的展开和折叠.此外,为了解决形状图变换规则变化给循环不变形状图推断带来的问题,还设计了算法用以判断在推断循环不变形状图的过程中是否使用新增的规则,并将判断算法融合到循环不变形状图推断流程中.本文方法使得系统支持自动推断二叉树指针程序的循环不变形状图.

基于形状不变矩的图像检索算法的研究

描述了一种基于Hu形状不变矩的图像全局形状特征提取方法和算法IMS。实验结果表明 ,使用IMS。算法提取的形状特征向量具有对平移、旋转和尺度变化的不变性 。

不变矩及其在基于形状特征图像检索中的应用

提出一种快速有效推导不变矩的方法—三角函数生成法,并在此基础上描述了一种基于Hu形状不变矩的图像全局形状特征提取方法和算法。实验结果表明,使用这种算法提取的形状特征向量具有对平移、旋转和尺度变化的不变性,适合于进行图像形状的检索。

偶^(80^86)Zr核的形状相变和对相变及其演化

应用唯象核芯+两准粒子模型的一种微观实现(微观sdIBM-2-2q.p.方案)和实验单粒子能量,较成功地再现了偶80-86Zr核的基态带、γ带和部分高自旋态能谱,实现了它们从近SU(3)对称性到O(6)对称性,继而向U(5)对称性过渡的整个形状相变过程。基于唯象模型和微观方案推出s玻色子不拆对的结论,及1个d玻色子发生拆对顺排所需要的最小能量阈值。该阈值明确指认:随着中子空穴数的减少,偶Zr同位素可能发生着从80Zr核的两准质子顺排态向着86Zr核的两准中子顺排态的演化。

原子核的形状相变

简要回顾原子核形状相变研究的现状,并将相干态理论与角动量投影方法相结合,在不区分质子玻色子和中子玻色子的相互作用玻色子模型(IBM-1)框架下,对角动量驱动的轴对称情况下的具有U(5)、SU(3)对称性以及两种对称性之间过渡区的原子核的形状相变进行了具体研究。

形状不变势结构的研究

在本文中用一种简单的方法系统地研究了形状不变势的结构，导出了迄今为止已知的全部形状不变势．并对于构造更多形状不变势的可能性和途径进行了讨论．

基于形状不变矩的储粮微生物识别

运用柔性形态学进行图像边缘检测,然后采用改进的7个形状不变矩对储粮微生物中的四种主要细菌进行了特征提取和分类。实验取得理想结果,说明改进的形状不变矩能够满足储粮微生物识别要求。

因式分解法与形状不变势

本文表明尽管在术语和构思方法上完全不同，但任何一个（线性厄米）算符的因式分解方法，与应用于量子力学的超对称技巧在本质上是等价的．

非形状不变势能谱关系分析

基于分析转移矩阵方法(ATMM)的量子化条件,研究了超对称量子力学中非形状不变势的精确能谱及两伴随势之间的能谱关系,与其它方法给出的结果相比,其结果较为精确,并证实在非破缺条件下,其能谱关系为E(n+)=En(+-1),而在破缺条件时,能谱关系则为E(n+)=E(n-).

A=80区域偶偶核形状相变研究

采用E-GOS方法对质量数在A=80区的偶偶核^70-80Se、^72-84Kr和^78-86Sr偶偶核形状相变进行系统研究.研究表明,在低自旋时^70,72Se、^72-74Kr、^86Sr 5个核素趋于U（5）极限.^80Se、^76Kr和^80Sr 3个核素趋于O（6）极限.该区的其它核素是U（5）-O（6）的过渡核.单粒子激发对A=80区域偶偶核形状相变有重要影响.

A≈180质量区偶偶核形状相变研究

采用E-GOS方法对质子数在Z=72—78区的偶偶原子核170—184Hf,170—184W,170—192Os和176—192Pt的集体运动模式和形状相变进行了研究。结果表明,170—184Hf和170—184W同位素核的低自旋态趋于SU(3)极限,176—192Pt和170—174Os同位素核是O(6)→U(5)的过渡核,并且基本上都存在角动量驱动的形状相变。

基于形状不变矩和多分类器的储粮微生物识别

运用柔性形态学进行图像边缘检测,然后采用改进的7个形状不变矩对储粮微生物中的四种主要细菌进行了特征提取,并使用多分类器来进行分类,提高实际应用的识别率。实验取得理想结果,说明改进的形状不变矩能够满足储粮微生物显微图像的识别要求。

超对称性和形状不变性

介绍了超对称性和形状不变性概念；运用形状不变性技术采用代数方法求解Ｓｃｈｒｄｉｎｇｅｒ方程。

Kr核的E─GOS形状相变曲线

采用E-GOS方法对72-84Kr偶偶核形状相变进行了研究,得出实验数据并计算出结果和做出了七个核的E-GOS曲线.

Se核的E─GOS形状相变曲线

采用E-GOS方法对70-80Se偶偶核形状相变进行了研究,计算实验数据并做出了六个核的E─GOS曲线.

Sr核的E─GOS形状相变曲线

本文采用E-GOS方法对78-8638Sr偶偶核形状相变进行了研究,计算实验数据并做出了七个核的E─GOS曲线.

_(44)^(96-104)Ru偶偶核形状相变研究

本文采用E-GOS方法对偶偶核96-10444Ru形状相变进行了研究.研究表明,这些核素都是U(5)-SU(3)的过渡核,且都趋于U(5)极限。单粒子激发对区域偶偶核形状相变有重要影响.

超对称量子力学中─维形状不变势与严格解

找到几个具有形状不变性的一维势，用超对称量子力学理论求得其束缚态能量的严格表达式．给出已知所有形状不变势中束缚态数为有限者的数目，丰富了形状不变势的家族．

约束态相变中TiNi形状记忆合金的马氏体自拉伸过程

研究了约束态加热过程中产生的回复力对TiNi形状记忆合金剩余马氏体的影响．结果表明,产生的回复力使剩余马氏体发生了塑性变形,使逆相变温度升高,剩余马氏体分数和其逆相变温度之间存在特定的函数关系．但是,外部约束条件的变化对马氏体的自拉伸过程所造成的剩余马氏体分数与其逆相变温度之间的关系影响很小．

基于形状不变矩进行汉画像图像检索

介绍一种基于形状不变矩检索汉画像图像的新方法。大多数汉画像图像由边界比较明确的几何形状构成,因此可把汉画像图像看作是由一些具有显著形状特征的区域构成的。汉画像图像检索利用矩特征进行形状的相似性度量,另考虑到汉画像中包含有车、马等图案,为提高检索效果引入离心率特征e。实验结果表明,该方法具有较好的检索效果,其检索结果符合人的视觉感受。