Hilbert C~*-模和JB~*-Triples

研究了HilbertC*-模和JB*-tripes的关系,我们证明了:(1)C*-代数上的每个Hilbert模等距同构于算子JB*-triple;(2)交换JB*-triple必定是某一C*-代数上HilbertC*-模。     

遗传C^＊-子代数和可补闭子模的关系

本文获得了单均个闭子模为可补闭子模的一些新的特征刻画,进而证明了HilbertC*-模E的每个闭子模B可补的充要条件为B=pK(E)p,p为投影元.     

关于C*-代数上-半范数的一个注

建立了C*-代数上-半范数和正定线性算子的平衡子集之间的一一对应关系,并给出了它的一些应用.     

基于Visual C 和Pro*C/C 技术的油田动态分析系统设计新方法

针对传统的动态分析系统功能固定用户自由度小的问题,提出了一种改进方法。通过实现对辽河油田提出的动态分析系统的设计,采用了配置文件、多线程技术的观念,结合使用安全数组和Variants数据类型,设计出了一套新式的油藏动态分析的数据库数据管理及数据存取、显示方法。增加了用户的自由度,解决了常规动态分析中功能固定的局限性。     

Banach*代数中半序的某些性质

研究了 Banach^*代数与 C^*代数中半序的某些性质,证明了在 C^*代数中, 包含正元的乘锥是唯一的,并给出了Banach^*代数成为 C^*代数的一些充分条件.     

关于控制算子组的联合谱

给出了控制算子组T的联合左谱,生成了C^*-代数C^*(T)以及Taylor本性谱的刻划。     

I(k)中迹极限C*-代数的K-群

描述了I^(k)中迹极限C^*-代数的K-群的性质．证明了以下结果：设A是有单位元的C^*-代数，并且A=(t2)limn→∞(An，pn)，其中An在I^（k)中，则①对任意的n≥max{1，[(k 1)／2]}，in：Un(A)/Un(A)→K1(A)是满射；②对任意的n≥[k／2] 1，in：Un(A)/Un^0(A)→K1(A)是单射．     

基于CPLD的CCM3118 OnCE编程调试接口的原理与设计

编程与调试接口对于加快嵌入式系统开发的速度有着很重要的作用。本文给出了对C*Core32位嵌入式微控制器CCM3118进行在线编程和调试的设计。该设计在OnCE接口的基础上,采用了CPLD来进行TAP状态机控制,可以支持执行指令、查看寄存器和内存内容,进而可实现外接Flash的写入。文章首先介绍了CCM3118及其OnCE模块的工作原理,然后给出了基于CPLD来实现上述功能的软硬件设计。重点讨论了OnCE调试模块的原理和本设计的总体实现。     

A-XY~*的Moore-Penrose逆

设A是一个C*-代数,对于任意的HilbertA-模K和H,令L(H,K)表示K到H上的可共轭算子全体,A是L(H,H)的一个可逆元,X,y是L(K,H)上的两个算子且满足X,Y,A-XT*都有闭值域.记X1=A-1X,Y1=(A-1)·Y,QX1=IH-X1X+1,QY1=IH-Y1Y+1,其中IH是H上的恒等算子,X+1,Y+1分别是X,Y的Moore-Pence逆.证明了Moore-Penrose逆(A-XY*)*=QX1A-1QY1的充分必要条件是:Y*1XY*1=Y*1,且XY*1X=X.     

C_PCP与_w_w_CPCP的关系

本文证明了下面２个结果：（１）当Ｘ＊具有ＰＣＰ时,Ｃ＊ＰＣＰ与（ｗ＊－ｗ）ＣＰＣＰ等价;（２）Ｘ＊具有Ｃ＊ＰＣＰ当且仅当Ｘ＊具有（ｗ＊－ｗ）ＣＰＣＰ且对Ｘ＊的每个非空ｗ＊－紧凸子集Ｋ,（ｗ＊－ｗ）ＰＣ（Ｋ）含有Ｋ的一个ｗ＊－稠密Ｇ子集．     

C*-代数正元的比较

讨论由林华新引进的一种C~*-代数的正元的比较理论.以算子理论的方法详细讨论原始定义中所包含的具体信息,得到这种比较理论的等价定义,并给出常用的基本性质和初步的结果.最后讨论了与通常投影比较的异同以及给出对单C~*-代数的一种描述.     

有限群Double代数的C*-指标

设G是有限群,C(G)为G上复值连续函数全体.通过G在C(G)的共轭作用α,可以得到群G的Double代数D(G)=C(G)×αG.Double代数体现了量子场代数的对称结构.对G的子群H,给出了D(G)到子代数D(H)=C(G)×αH的指标有限型条件期望的C*-指标.     

准Hilbert C*-模上的范数等式

目的为了研究‖x+y‖=‖x‖+‖y‖和毕达哥拉斯等式在准HilbertC*-模中成立的充要条件。方法采用了算子论方法进行研究。结果证明了‖x+y‖=‖x‖+‖y‖成立当且仅当存在A上的态使得(〈‖y‖x-‖x‖y,‖y‖x-‖x‖y〉)=0且(〈x,x〉)=‖x‖2或(〈y,y〉)=‖y‖2成立。也给出了准HilbertC*-模中毕达哥拉斯等式成立的充要条件。结论本文的结果对研究准HilbertC*-模中的范数等式非常有用。     

约化C~*-代数自由积构造的注记

利用*-代数自由积上的GNS构造,给出C*-代数约化自由积的一种构造方法,证明此构造与Voiculescu所给出的C*-代数约化自由积的构造是等价的.     

Cuntz代数的扩张

用一种新方法构造出○_n通过K的在弱等价意义的所有的扩张,并且计算了其代表元E^k_n的K-群.     

强无限C~*-代数的性质(英文)

给出C^*-代数迹极限的等价形式,从正元的角度提出强无限C*-代数迹极限的等价形式,从正元的角度提出强无限C^*-代数的概念.研究了强无限C*-代数的概念.研究了强无限C^*-代数与纯无限C*-代数与纯无限C^*-代数之间的基本关系,具有SP-性质的强无限C*-代数之间的基本关系,具有SP-性质的强无限C^*-代数的迹极限为强无限的.对于实秩零的C*-代数的迹极限为强无限的.对于实秩零的C^*-代数A而言,若闭双边理想I及商代数A/I为强无限的,则A为强无限的.具有SP-性质的强无限C*-代数A而言,若闭双边理想I及商代数A/I为强无限的,则A为强无限的.具有SP-性质的强无限C^*-代数的非零的闭双边理想为强无限的.一个强无限C*-代数的非零的闭双边理想为强无限的.一个强无限C^*-代数的有限直和仍然是强无限的.     

C^＊—代数中的正逼近

讨论了Ｃ＊－代数中的正元逼近问题,研究了逼近度的一系列性质;应用Ｃ＊－代数的万有表示和Ｈａｌｍｏｓ关于正算子逼近的结果,证明了Ｃ＊－代数中的任一元都存在最佳正逼近并且给出了最佳正逼近的表达式。     

C*代数的对偶

设A是可分的交换C^*－代数,A^*是其对偶,证明了A^*＝Ω的复线性W^*－闭张,其中Ω是A的谱空间。     

Hilbert C~*-模上的非退化表示

文章刻画了HilbertC*-模EfB和Ef上的非退化表示,每一个非退化表示都唯一地诱导了E与B上的非退化表示:设ф:EfB→B(H1,H2)为Hilbert B-模的非退化表示,则存在唯一的非退化表示ф1:E→B(H1,H2),φ:B→B(H1),满足ф(efb)=ф1(e)φ(b),其中e∈E,b∈B,不可约表示也有类似的结论。     

应用于32位嵌入式系统的中断控制IP的裁减设计

C＊Core是32位RISC嵌入式微处理器核．对应用于C＊Core的中断控制IP核进行了裁减和验证，分析了与C＊Core的兼容性，并应用于变频器控制SoC的设计中．新的设计减少了使用的晶体管数量，降低了功耗及成本．