一类算子矩阵特征值的代数指标和代数重数

自伴算子特征值的几何重数与代数重数相等,但对于非自伴算子不一定成立,这主要是特征值的代数指标起着决定性的作用.讨论了一类非自伴算子矩阵特征值的几何重数,代数指标与代数重数.     

一类具有转移条件的向量Sturm-Liouville问题的特征值

考虑了一类具有转移条件的向量Sturm-Liouville问题的特征值及其重数问题.首先构造了与问题相关的新内积和基本解,得到特征值的充要条件.在此基础上证明了二维情况下,问题特征值的代数重数与几何重数相等.     

微分在代数证明中的两个应用

关于方阵特征值的代数重数大于等于几何重数这一结论,许多教材利用线性代数的知识已经给出证明,本文借助微分的观点证明了该结论.此外,利用微分证明了一个关于线性变换和向量积的恒等式,从而展示了微分在代数中应用的两个案例.     

方阵秩与零特征值代数重数相关性探讨

利用方阵的特征方程和Jordan标准型,可得出方阵的秩R、零特征值代数重数r、几何重数s之间存在的两个关系式．即n-r≤R〈n和R=n-s．而这两个关系式又可用于简化方阵特征值和秩的求解．揭示矩阵零特征值代数重数与矩阵秩之间的内在必然联系．     

Jordan标准形的计算与矩阵相似的判定

利用矩阵特征值的代数重数及几何重数的概念,给出计算三阶、四阶复方阵的Jordan标准形的一种新方法;并进一步讨论了三阶、四阶复方阵的相似问题,得到判断任意两个三阶、四阶复方阵相似的充要条件.     

上三角无穷维Hamilton算子特征值的代数指标

无穷维Hamilton算子特征函数系是否完备与其代数指标有关,研究了上三角无穷维Hamilton算子特征值的代数指标问题,基于主对角元的特征值和特征向量的某些性质,得到上三角无穷维Hamilton算子的几何重数和代数重数.     

一类Hamilton算子的重数和完备性及其应用

对于一类Hamilton算子,考虑其特征值的重数,以及特征向量组和根向量组的完备性.首先给出了特征值的几何重数、代数指标和代数重数,再结合特征向量和根向量的辛正交性得到了特征向量组和根向量组完备的充分必要条件,最后将上述结果应用于板弯曲方程、平面弹性问题和Stokes流等问题中.     

带特殊重试时间的M/M/1重试排队模型的一个特征值

证明0是对应于带特殊重试时间的M/M/1重试排队模型主算子的几何重数为1的特征值,0是此主算子的共轭算子的特征值.     

弹性理论中上三角无穷维Hamilton算子根向量组的完备性

考虑弹性力学中一类上三角无穷维 Hamilton 算子．首先,给出此类Hamilton算子特征值的几何重数和代数指标,进而得到代数重数．其次,根据Hamilton算子特征值的代数重数确定其特征(根)向量组完备的形式,得到此类Hamilton算子特征(根)向量组的完备性是由内部算子特征向量组决定．最后,将所得结果应用到弹性力学问题中．     

M／M／1算子的另一个特征值

证明2√λμ-λ-μ是偏微分方程形式的M／M／1排队模型主算子的几何重数为1的特征值．     

共形几何代数中的分阶幂零单项式的几何解释

本文进一步发展共形几何代数,从代数和几何两个角度对共形几何代数中由幂零向量生成的分阶单项式的代数性质和几何解释进行深入探讨,包括各种维数的球面和平面定向的代数刻画、长括号的三角学、角度和方向的幂零单项式分阶表示、幂零单项式各个分阶的几何意义等.这些结果有助于理解高层次符号代数运算背后的几何意义,以及共形几何代数简化符号几何计算的内在机制.     

Automorphisms and Distinguishing Numbers of Geometric Cliques

A geometric automorphism is an automorphism of a geometric graph that preserves crossings and noncrossings of edges. We prove two theorems constraining the action of a geometric automorphism on the boundary of the convex hull of a geometric clique. First, any geometric automorphism that fixes the boundary of the convex hull fixes the entire clique. Second, if the boundary of the convex hull contains at least four vertices, then it is invariant under every geometric automorphism. We use these results, and the theory of determining sets, to prove that every geometric n-clique in which n≥7 and the boundary of the convex hull contains at least four vertices is 2-distinguishable.     

Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm

Conformal geometric algebra (CGA) is an advanced geometric language used in solving three-dimensional Euclidean geometric problems due to its simple, compact and coordinate-free formulations. It promises to stimulate new methods and algorithms in all areas of science dealing with geometric properties, especially for engineering applications. This paper presents a higher-order logic formalization of CGA theories in the HOL-Light theorem prover. First, we formally define the classical algebraic operations and representations of geometric entities in the new framework. Second, we use these results to reason about the correctness of operation properties and geometric features such as the distance between the geometric entities and their rigid transformations in higher-order logic. Finally, in order to demonstrate the practical effectiveness and utilization of this formalization, we use it to formally model the grasping algorithm of a robot based on the conformal geometric control technique and verify the property that whether the robot can grasp firmly or not.     

Partial Geometric Difference Families

We introduce the notion of a partial geometric difference family as a variation on the classical difference family and a generalization of partial geometric difference sets. We study the relationship between partial geometric difference families and both partial geometric designs and difference families, and show that partial geometric difference families give rise to partial geometric designs. We construct several infinite families of partial geometric difference families using Galois rings and the cyclotomy of Galois fields. From these partial geometric difference families, we generate a list of infinite families of partial geometric designs and directed strongly regular graphs.     

Formalization and Specification of Geometric Knowledge Objects

This paper presents our work on the identification, formalization, structuring, and specification of geometric knowledge objects for the purpose of semantic representation and knowledge management. We classify geometric knowledge according to how it has been accumulated and represented in the geometric literature, formalize geometric knowledge statements by adapting the language of first-order logic, specify knowledge objects with embedded knowledge in a retrievable and extensible data structure, and organize them by modeling the hierarchic structure of relations among them. Some examples of formal specification for geometric knowledge objects are given to illustrate our approach. The underlying idea of the approach has been used successfully for automated geometric reasoning, knowledge base creation, and electronic document generation.     

The triples of geometric permutations for families of disjoint translates

A line meeting a family of pairwise disjoint convex sets induces two permutations of the sets. This pair of permutations is called a geometric permutation. We characterize the possible triples of geometric permutations for a family of disjoint translates in the plane. Together with earlier studies of geometric permutations this provides a complete characterization of realizable geometric permutations for disjoint translates.     

扁球壳在热-机械荷载作用下的稳定性分析

基于扁壳几何非线性理论,应用虚功原理和变分法推导了均匀变温场中圆底扁薄球壳在均布外侧压力作用下的位移型几何非线性控制方程.考虑周边不可移简支边界条件,运用打靶法计算获得了不同几何参数的扁球壳轴对称弯曲变形的数值结果.定义了壳体临界几何参数.考察了壳体几何参数对平衡路径和临界荷载的影响.当壳体几何参数大于壳体临界几何参数时,上临界荷载随几何参数的增加单调增加,下临界荷载在很小范围内随几何参数的增加而增加,之后随几何参数的增加而减小.给定几何参数时,考察了不同均匀温度变化对壳体临界几何参数、临界荷载和平衡构型的影响.均匀升温使上临界荷载显著增加,使下临界荷载和临界几何参数显著减小.     

n元等比级数

定义了n元等比数列、n元等比级数,给出了它们的通项公式及前n项和.并解决了多元等比级数的敛散性问题,求出了多元等比级数的和.指出了多元等比数列及多元等比级数在特殊情况下与一元等比数列及一元等比级数的一致性.     

Fuzzy正项几何规划的直接算法

将Fuzzy正项几何规划化的一变量有上、下界限制的Fuzzy正项几何规划,利用Fuzzy几何不等式,又将该变量有上、下界限制的Fuzzy正项几何规划化为单项Fuzzy正项几何规划,提出基于Fuzzy值集割平面法的两种直接算法,并通过一个数值例证实该方法的有效性。     

旋转壳局部几何缺陷对其频率和振型的影响

本文在文献[7]的基础上,视旋转壳局部几何缺陷为初始位移,形成了子午向局部几何缺陷的附加刚度阵,然后用结构摄动的方法分析了其几何缺陷对系统自然频率及振型的影响。通过算例可知,子午向局部几何缺陷将引起系统频率升高;缺陷幅度越大,频率升高得也越多。