带有Radon-Nikodym导数的算子值自由Fisher信息量

本文研究了带有Radon-Nikodym导数的算子值自由Fisher信息量.利用模框架理论,得到了一个半圆元和一个子代数之间的合并自由关系,推广了D.Voiculescu等人的工作.     

基于约束放松的电子商务协同谈判模型

在众多的自动谈判模式中，协同谈判是一种新型的多线程谈判形式。文章分析了面向电子商务的协同谈判中的冲突问题，提出了解决谈判冲突的方法——满意度函数法。该方法在谈判模型中用约束网来表示谈判中的变量和约束关系，通过约束放松来解决谈判中的冲突。作者在对约束及约束网进行详细分析的基础上设计了约束传播算法，用它来求解约束网问题。文章通过实例验证了提出的论点和方法的正确性。采用这种基于约束放松的协同谈判模型可以有效地解决谈判中的冲突，提高谈判的效率。该方法的应用可为解决多个谈判的组合问题提供一种新的思路。     

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

给出了纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻划.证明了K0(E)等于E中所有无限投影的Murry-von Neumann等价类所成的交换群,K1(E)等于E中酉元的同伦等价类所成的交换群.作为一个应用,最后给出了A中酉元可提升的等价条件,其中K为可分无限维Hilbert空间上紧箅子全体所成的C*-代数.     

供应链系统转变为供需网系统研究

为帮助传统企业顺利转变为供需网企业,提出了供应链系统向供需网系统的转变研究.该研究利用企业节点数据化,通过企业节点的改造及供应链节点与供需网的连接操作达到系统转变的目的.在sc节点数据结构及自身系统功能模块改造的基础上,着重思考了供应链节点连入SDN中的算法思想.通过非线性择优连接方法避免了造成系统易攻击性的枢纽节点的出现.给出了连接算法流程,并以一个示例演示了此连接算法,从中也验证了非线性择优连接的有效性.     

中国散裂中子源准直控制网数据处理方法

以中国散裂中子源CSNS的直线加速器控制网为例,对其数据处理方法进行研究,采用平面与高程二维平差以及三维定向平差两种方式对准直控制网进行处理分析。同时,为了使准直数据处理更加简易便利,提出利用激光跟踪仪的测量软件SA实现三维定向平差的方法。通过不同软件及不同数据处理方法的对比,验证准直控制网数据处理的正确性,最终200 m长直线控制网点位精度优于0.2 mm,这为准直控制网的数据处理提供了指导。     

HL-2M 磁体系统安装中的定位与测量

为提高磁体系统安装精度,在 HL-2M 集成大厅建立 63 个基准点构成测量基准网,并利用激光跟 踪仪等高精度测量设备建立每个磁体的局部坐标系,测量特征点的局部坐标;基于测量基准网和公共测量点,采 用最佳拟合得到坐标转换矩阵,以此得到特征点在测量基准网的位置,指导磁体安装。完成安装后的中心柱同支 撑基础的同轴度为∅2.03mm;PF1~PF4 线圈安装标高偏差为±0.5mm,与中心柱的同轴度为∅2.60mm;PF5/6/7/8 线圈与中心柱的同轴度偏差小于∅3.00mm,标高偏差在[−1mm, 1mm]区间内。基于以上方法所得到的线圈安装精 度都满足设计需求。     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert <Emphasis Type="Italic">C</Emphasis>*-module <Emphasis Type="Italic">l</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">A</Emphasis>)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

有限模框架

研究有限生成Hilbert C*-模中的模框架,来源于信息论中的数据包编码理论.我们计算出模框架的势,刻画了在框架向量丢失的情况下模框架的稳健性和最框优架,得到了由一个或两个酉算子生成的酉系统的Parseval模框架向量的特征.     

拟绝对-*-κ-仿正规算子的谱性质

引入了拟绝对-*-k-仿正规算子,获得了拟绝对-*-k-仿正规算子的一个充要条件.并证明了拟绝对-*-k-仿正规算子在0≤k≤1上是有限上升的,作为此性质的应用,证明了若T是拟绝对-*-k-仿正规算子,其中0≤k≤1,则Weyl谱和本质近似点谱的谱映射定理成立.最后证明了若T是拟绝对-*-k-仿正规算子,其中0≤k≤1,则σ_(ja)(T)\{0}=σ_a(T)\{0}.     

交换环上的w~*-模

设R是交换环,M是R-模,J是R的有限生成正则理想,若自然同态φ:R→J~*=HomR(J,R)是同构,则J称为R的GV~*-理想。用GV~*-理想定义了GV~*-无挠模,证明了无挠模是GV~*-无挠模。接着引入了w~*-模,模的w~*-包络,得到了正则w~*-理想与正则w-理想的等价性。作为应用,对w-Noether环和SM环进行了新的刻画,并证明了相应的w~*-版本的Cartan-Eilenberg-Bass定理。