面向软件定义的C~4ISR系统资源建模方法研究

为实现马赛克化的C~4ISR系统构建模式,瞄准系统“元要素”构建,以软件定义技术为驱动,探讨了可定义的资源建模原理,提出了资源建模过程,定义了C~4ISR系统资源概念内涵,基于多视角建立了资源分类框架;围绕资源信息流受控和能力开放共享,提出了模型要素,针对7类资源特点建立了参考模型。通过典型案例下资源实例化建模,验证了模型对软件定义的系统构建的适用性。

An Introduction to the Theory of C~*-modules

This paper,combined algebraical structure with analytical system,has studied the part of theory of C~*-modules over A by using the homolgical methods, where A is a commutative C~*-algebra over complex number field C. That is to say we have not only defined some relevant new concept,but also obtained some results about them.

C~*-代数上的非负矩阵与正定矩阵

研究C*-代数上矩阵的非负性、可逆性与正定性，应用分块矩阵的技巧，得到了非负矩阵的一系列判别法。同时，研究了矩阵可逆性的判定问题，在此基础上给出了正定矩阵的判别方法．

纯无限单C~*-代数的扩张代数的K-理论Ⅱ

给出了有单位元的纯无限单的C^＊一代数A通过Κ的扩张代数E的K-理论的一种刻画．证明了K0（E）同构于E中所有具有无限余投影的无限投影的Murry—von Neumann等价类全体所成的交换群，它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群．还证明了对扩张代数E中的任一满的正元a，存在元索x∈E，使得x^＊ax=1，其中Κ为可分无限维Hilbert空间上紧算子全体所成的C^＊-代数．

C~*—张量积的C~*—范数唯一性和*—正则性

本文讨论C~*-代数A、B的代数张量积AB的C~*-范数唯一性和*-正则性,得到了下述结果:(1)IB和A/IB具有C~*-范数唯一性,则AB也具有C~*-范数唯一性;(2)AB是*-正则的充要条件是,IB和A/IB都是*-正则的。其中I是A的闭双侧理想。作为上述结果的直接推论,文中给出了核C~*-代数扩张性质的另一证明。

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

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

C~＊PCP与（w~＊－w）CPCP的关系

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

关于C~∞─字的幂

本文讨论了Ｃ~∞－字的一些性质，并对Ｃ~∞－字的幂证明了以下的结果：对任意Ｃ~∞－字ｗ，存在一个正整数ｋ＝ｋ（ｗ），使ｗ~ｋ是Ｃ~∞－字，ｗ^（ｋ＋１）不是Ｃ~∞－字．

Some Inequalities about the Positive Elements in C~*-Algebra

In this paper, we discussed some improtant inequalities, such as young inequality, Holder inequality and Minkowski inequality,about the positive elements in C~*-Algebra.

基于C~#的Winform程序参数传递和同步显示的实现

程序设计中经常需要把参数从一个函数传递到另一个函数,或者获取某个函数的返回值。基于Winform的程序经常需要把参数从一个窗体传入到另一个窗体,或者某一窗体中内容变更时另一窗体相同内容随之改变,利用C#提供的类、对象属性、委托几种机制,提出通过使用构造函数对对象进行初始化、变更对象属性、借助委托等方法实现多个窗体间的参数传递和内容的同步更新显示。在对各种方法应用对比的同时,重点发掘了委托机制为实现窗体间内容的传递和同步更新所带来的优势。

拟对角扩张C~*-代数的性质

0→J→A→B→0是一个拟对角扩张.证明以下结论:(1)如果J和B具有弱可比性质,则A也具有弱可比性质;(2)如果J和B具有强消去性质,则A也具有强消去性质;(3)如果J和B具有n-无孔性质,则A也具有n-无孔性质.

不可分素C^k-代数与本原C~*-代数的讨论

本文证明了：若Ａ是不可分的素Ｃ＊－代数，且包含非０的Ｌｉｍｉｎａｌ遗传Ｃ＊－子代数，则Ａ是本原Ｃ＊－代数．

C~*-代数迹极限性质的封闭性(英文)

在迹极限的意义下，特别是在单代数的条件下，研究某些C^＊-代数性质的封闭性，假设A=（t2）lim n→∞（An,pn）,An上至少有一个迹态或An具有（SP）性质，则A也有相同的结果；假设A=（t3）lim n→∞（An,pn）并且A中单代数，如果TR（An）=0,tsr（An）=1和An具有投影消去律，则A也有相同的结果。

C~*代数上保持不定正交性的线性映射

设A和B是含单位元的C~*代数,s∈A和t∈B是可逆自伴元,对任意的x∈A及z∈B,定义x^+=s^(-1)x~*s,z^+=t^(-1)z~*t。假定A是实秩零的并且Φ:A→B是有界线性满射。证明了对任意的 都成立的充要条件是Φ(1)可逆,Φ(1)^+Φ(1)=Φ(1)Φ(1)^+∈Z(B)(B的中心),并且存在从A到B上的满+同态Ψ,使得对所有的x∈A都有Φ(x)=Φ(1)Ψ(x)成立。对于一般C~*代数上保正交性的线性映射Φ,在假定Φ(1)可逆的条件下,也得到类似的结果。

矩阵C~*代数上的群作用与*-同构(英文)

通过矩阵 C*代数上的不变群作用 ,给出了决定

新辅助化疗在ⅢC~Ⅳ 期卵巢癌治疗中的临床疗效评估

目的:评价新辅助化疗(NACT)在ⅢC~Ⅳ期卵巢癌患者治疗中的临床疗效并进行生存分析。方法:对2013~2018年诊断和治疗的ⅢC~Ⅳ期卵巢癌患者进行回顾性研究,筛选标准遵循FIGO分期。满足研究条件的卵巢癌患者240例,NACT组患者58例先接受NACT治疗再行间歇性肿瘤细胞减灭术(IDS),术后完成余下化疗;初始肿瘤细胞减灭术(PDS)组患者182例接受PDS治疗,术后行辅助化疗。对比分析两组临床资料。结果:两组患者最大原发肿瘤直径、残病灶大小差异均有统计学意义(P<0.05)。NACT组恶性胸水发生率(24.14%)高于PDS组(12.64%),NACT组血清CA125水平高于PDS组(P<0.05)。PDS组患者术后心血管并发症的发生率(12.64%)高于NACT组(3.45%)(P<0.05)。NATC组患者术中出血量及输血率均低于PDS组(P<0.05)。NACT组患者术中需扩大手术范围率(如上腹部手术及肠切除术)低于PDS组(P<0.05)。NACT组患者手术时间以及住院时间少于PDS组(P<0.05)。PDS组的无进展生存期(PFS)优于NACT组(P<0.05),而NACT组的总生存期(OS)优于PDS组(P<0.05)。NACT R0组的PFS优于PDS R0和R1组(P<0.05);NACT R0组的OS短于PDS R0组(P<0.05),而NACT R0组的OS长于PDS R1组(P<0.05)。结论:NACT可提高ⅢC~Ⅳ期卵巢癌手术的缩瘤满意度,降低术后并发症的发生率。与接受PDS的患者相比,NACT延长了患者的PFS,而与接受PDS未完全清除的患者相比,接受NACT的患者OS能够有所延长。

SQL数据库操作中的常用C~#语句

将常用到的、针对SQL数据库操作的C#语句进行汇集和讨论,便于相关人员参考。基于.Net平台下某软件的开发,测试这些代码的实用性和延伸性。实践证明,给出的代码可以成功地操作SQL数据库。测试表明,代码可结合具体的解决方案进行合理更改并使用。

关于一族C~*代数的表示

利用关于完全正映射的Stinespring膨胀定理,给出了两个C*代数之间的表示定理,以及一族C*代数表示到同一个Hilbert空间上的表示.

C~#语言计算绘制Pb-Sn二元金属相图

针对物理化学实验教学中的Pb-Sn二元金属体系的相图,采用C~#高级计算机语言编制了程序,结合文献中该体系的热力学参数,快捷方便地获得了该二元相图的液-固相平衡线的组成和温度数据,并绘制了该二元体系的相图。将计算的该体系的最低熔点的组成和温度数据与文献报道的数据进行了比较,发现两者吻合很好,说明该二元体系的相图计算是准确可靠的,将其用于学生相图实验数据的比较,可以促进物理化学相图的实验教学。

基于C~#的大学物理实验数据处理软件的设计

针对大学物理实验中部分实验手工数据处理"难"和"繁"的问题,利用C#开发设计大学物理实验数据处理专用软件,用于对实验数据进行数值计算和分析。教学实践表明,该软件使得实验数据处理过程简便,大大提高实验效率,实验教学效果良好。