具有代数算子的λ演算系统的模型构造

本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。

广义代数算子的两个对称性定理

本文证明了两种盈满子集的存在性，并给出了揭示两种盈满子集的对称性的两个定理．

Aluthge变换值域中的代数算子和平移性质

研究了Aluthge变换值域中的代数算子、幂等算子和Aluthge变换的平移性质.证明了算子T的Aluthge变换Δ(T)是代数算子的充要条件是T为代数算子,并给出了Δ(T)是幂等算子的充要条件是T3=T2.当H是有限维Hilbert空间时,证明了:如果算子T的Aluthge变换具有平移性质Δ(T+λ)=Δ(T)+λ(λ∈C),则T是正规算子.

DES的代数算子与行为框架

介绍了离散事件系统的几种常用代数算子，以及运用不同的代数算子对一些简单的子系统进行综合时，描述子系统逻辑行为的行为框架。

基于不同代数算子的模糊推理方法的比较

模糊逻辑系统是模糊数学应用最广泛、取得成就最显著的领域之一。而在模糊逻辑系统中 ,模糊推理方法的选择将很大程度上影响模糊逻辑系统的性能和推理效果。自从Mamdani提出模糊逻辑系统以来 ,人们推出几种模糊推理方法 ,以改善模糊逻辑系统的性能。本文通过几种“t-范式”和“t-协范式”操作不同的结合 ,提出了几种新的模糊推理方法 ,并通过计算机模拟 。

套代数上的一类非线性中心化子

为了推广算子代数中的基本理论,对一类非线性映射成为套代数上的可加中心化子的条件进行了研究。首先,基于Hilbert空间上的非平凡套定义与该套有关的套代数,并定义套代数上的一个非线性映射;其次,采用矩阵分块方法获得关于此映射的几个性质;最后,证明套代数上满足某种条件的非线性映射为可加中心化子,给出刻画该映射的具体形式。结果表明,套代数上满足某种条件的非线性映射为可加中心化子,且可完全刻画。研究结果推广了非线性映射成为套代数上可加中心化子的结论,丰富了算子代数拓扑结构的分类问题,为套代数上其他类型非线性映射问题的刻画提供了借鉴与参考。

一类酉Virasoro顶点算子代数扩张的Zhu代数

本文主要研究一类酉Virasoro顶点算子代数扩张的Zhu代数。Zhu在博士论文中证明了顶点算子代数的不可约模和顶点算子代数相应的Zhu代数的不可约模有一一对应关系,因此本文将通过其不可约模决定Zhu代数。

标准算子代数上的中心化子

设A是Banach空间X上含单位元的标准算子代数,Φ:A➝B(X)是一可加映射,若存在正整数m,n>1,使得对任意的a∈A,有(m+n)Φ(aba)-(mΦ(a)ba+nabΦ(a))∈FI成立,则存在λ∈F,使得对任意的a∈A,有Φ(a)=λa。

插值算子和Gröbner-Shirshov基

在一个范畴中,自由对象是非常重要的,其可以通过Gröbner-Shirshov基的方法去构造.证明在算子代数的框架下,插值算子等式是一个Gröbner-Shirshov基,作为应用,构造了自由的插值代数.

嘉兴学院举办2023年算子理论与算子代数研讨会

5月19日至21日,嘉兴学院数据科学学院主办2023年算子理论与算子代数研讨会。国际著名数学家、中国泛函分析学科的奠基人之一夏道行,中国科学院院士、发展中国家科学院院士、南开大学教授张伟平,复旦大学原常务副校长陈晓漫教授,教育部长江学者特聘教授、复旦大学教授郭坤宇,嘉兴学院党委原书记徐宪民教授、原副书记严从荃教授等出席会议。

基于空间算子代数理论计算多体系统动力学建模

为了提高计算多体系统动力学正、反向动力学建模效率,应用空间算子代数理论,在通用计算机符号演算软件Mathematica6.0的环境下,对计算多体系统正、反向动力学进行设计与实现。广义质量是联系旋量力和旋量加速度的的重要参量,据此可形成正、反向动力学高效递推算法,用空间算子代数理论求出广义质量、正、反向动力学具有形式简洁、物理意义明确、编程效率高和直观等特征。运用VB.NET编程软件实现与Mathematica6.0软件无缝集成,对计算多体系统动力学仿真及正、反向动力学进行参数化分析与计算,给出编程实施过程及建模IDEFO方法。根据分析结果,对PUMA560机器人典型多体系统进行正、反向动力学建模,并与结果进行对比,通过算例验证结果的正确性和有效性。

基于空间算子代数理论多体系统动力学雅可比矩阵设计与实现

应用空间算子代数理论,在通用计算机符号演算软件Mathematic5.2的环境下,对多体系统动力学雅可比矩阵进行设计与实现,主要用于速度和静力的高效递推算法,用空间算子代数理论求出雅可比矩阵简洁形式,具有编程效率高、直观等特征。运用VB.NET编程软件实现与Mathematic5.2软件无缝集成,对多体系统动力学仿真及雅可比进行参数化分析与计算,给出了实施过程。根据分析结果,对Stanford机器人进行了雅可比设计,并与结果进行了对比,通过算例验证了结果的正确性和有效性。

基于空间算子代数的星载天线机构动力学计算

针对星载天线双轴定位机构的空间漂浮基无根树多体系统动力学实时仿真及控制系统设计的需要,应用空间算子代数(SOA)理论进行多体系统动力学建模和仿真;提出了SOA描述的动力学递推及求解算法,并面向对象思想定义多体系统数据结构,进行了动力学计算流程设计。所提方法形式直观、便于推导、物理意义明确及达到了O(n)计算效率。通过与Simpack仿真结果进行比较,结果表明SOA的多体系统动力学算法求解速度更快、仿真结果精度更高。

广义质量的空间算子代数描述

应用空间算子代数理论 ,研究机械多体系统广义质量的结构特点 ,研究表明广义质量可初步表示为 :M=HωMω* H* ,并进一步表示为 :M=[I+HωK]D[I+Hω K]* ,其逆矩阵可表示为 :M- 1 =[I-HK]* D- 1 [I-HK]。这种表示与牛顿第二运动定律和欧拉定律相互对应 ,具有简洁的数学表达和明确的物理意义 ,广义质量是正、反向动力学的重要参量 ,是联系旋量力和旋量加速度的桥梁 ,其理论依据源自通过旋量整合的牛顿第二运动定律和欧拉定律 ,即 d2 β/dt2 =M- 1 T′,旋量加速度等于广义质量的逆左乘旋量力。据此可形成对旋量加速度的高效递推算法 ,并为下一时刻的 ω,H,P,D,G,K等参数的正向动力学计算作准备。

基于空间算子代数理论多刚体系统反向动力学仿真

应用空间算子代数理论,在通用计算机符号演算软件Mathematica5.2的环境下,对多刚体系统反向动力学进行设计与实现。广义质量是正、反向动力学及联系旋量力和旋量加速度的重要参量,据此可形成高效递推算法。用空间算子代数理论求广义质量、反向动力学具有形式简洁、物理意义明确、编程效率高和直观等特征。运用VB.NET编程软件实现与Mathematica5.2软件无缝集成,对多刚体系统动力学仿真及反向动力学进行参数化分析与计算,给出了实施过程。根据分析结果,对PUMA560机器人进行了反向动力学设计,并与结果进行了对比,通过算例验证了结果的正确性和有效性。

标准算子代数上完全保斜幂等性的可加映射

在完全保持幂等性映射研究的基础上,利用算子代数的方法讨论了无限维实或复Banach空间上的标准算子代数上完全保持幂等性的可加映射的刻画问题.通过将问题划归为秩-幂等元集上双边保持零积的映射的刻画问题,证明了标准算子代数上完全保持斜幂等性的可加映射是同构或(复情形)共轭同构.

基于空间算子代数的航天器多体动力学递推实时仿真算法

进一步发展了空间算子代数符号体系,给出了一组坐标系无关空间矢量,张量和矢阵符号表示和相应的坐标投影规则。基于空间算子代数符号体系,推导了适用于航天器实时仿真的无根、树状拓扑、开环多体动力学递推算法,并根据投影规则给出了递推算法在惯性坐标系的投影方程。新的空间算子代数符号体系有符号定义严格,推导过程力学概念清晰,推导结果易于实时仿真程序实现的优点。推导的递推算法非常适合于正逆混合问题和变拓扑问题的求解,可以满足多体航天器动力学实时仿真的要求。

工业机器人雅可比的空间算子代数描述

应用空间算子代数理论,研究工业机器人雅可比的结构特点,研究表明工业机器人雅可比可表示为3种空间算子的乘积,即:J=B Ф H ,这种表示具有简洁的数学表达和明确的物理意义,据此可形成对速度和静力的高效递推算法。

仿射李代数■的顶点算子表示V_Q上的顶点代数结构(英文)

根据李代数的表示理论,研究了仿射李代数■的顶点算子表示VQ的顶点算子结构,通过形式级数的计算方法,证明了VQ是一个顶点算子代数.

基于空间算子代数的空间多体系统动力学递推计算

应用空间算子代数方法对空间多体系统进行动力学建模、分析与仿真。空间算子代数作为基于李群及旋量方法的算子理论,采用估计理论中卡尔曼滤波及平滑方法,实现了具有明确物理含义的O(n)计算效率的动力学实时递推求解算法。首先使用空间算子代数理论对多体系统动力学进行递推形式的描述、建模及分析,并通过与估计理论对比提出了质量矩阵求逆的高效递推算法,而后基于面向对象技术编制了软件,并通过漂浮基双臂机器人典型算例的求解,与商业动力学软件Simpack进行对比,验证了软件及算法的正确。结果表明,空间算子代数方法概念清晰、推导方便,计算效率及精度能够满足工程需求,可用于空间多体系统动力学实时仿真及控制系统设计。