自由积C^(*)-代数中的0-1率

在自由概率论框架下,刻画了非交换情形的Kolmogorov型0-1率和Hewitt-Savage型0-1率。

C^0-Sufficiency,Kuiper-Kuo and Thorn Conditions for Non-isolated Singularity

In this paper, a criterion on the C^0-sufficiency for a function germ with non-isolated singularity is obtained analogously to that of Kuiper-Kuo for the case of isolated singularities. Moreover, the Kuiper Kuo condition and the Thom condition for an analytic function germ with non-isolated singularity are proved to be equivalent.

二阶双曲型方程的C^0-连续一次有限元法

对于二阶常微分方程初值问题,构造了C0-连续一次有限元法计算格式,通过直接计算的方法证明了误差估计,并利用数值实验验证了理论分析结果.对于二阶波动方程,构造了C0一次有限元法的计算格式,证明了解的存在惟一性,利用数值实验验证了该方法的有效性.

非线性仿射控制系统的C^0镇定性

通过Lyapunov函数设计反馈控制器使得非线性仿射控制系统全局渐进稳定是一种有效的方法．为了使得反馈控制器具有连续性,Sontag提出控制Lyapunov函数应具有小控制性,即要求在原点连续反馈控制器存在,该条件在实际中无法应用．针对这一问题本文提出了聚点条件来保证反馈控制器具有连续性,该条件直接对选择的控制Lyapunov函数进行检验,并且聚点条件还是必要的；文章将控制Lyapunov函数的严格不等式放宽为非严格的不等式,提出非严格控制Lyapunov函数,利用LaSalle定理得到：采用满足聚点条件的非严格控制Lyapunov函数来设计连续反馈控制器,非线性仿射控制系统是全局渐进稳定,扩大了控制Lyapunov函数的寻找范围：最后通过对一种带摩擦的弹簧系统进行验证．

C^0型高阶锯齿理论及复合材料厚梁热应力分析

基于已有锯齿理论构造单元时,需使用满足单元间C1连续的插值函数,难于构造多节点高阶单元,而且精度较低。针对已有锯齿理论存在的问题,本文首先发展了C0型锯齿理论。通过虚位移原理推导出在热载荷作用下复合材料梁的平衡方程,并给出了简支复合材料层合梁解析解。基于发展的锯齿理论分析了复合材料夹层梁和层合梁热膨胀问题,并与其他理论结果对比。数值结果表明,发展的C0型锯齿理论能克服已有锯齿理论的难题。

大质量年轻星体新的C^(18)O(1-0)发射

利用紫金山天文台青海观测站１３．７米的毫米波望远镜对７４个大质量年轻星体或候选体进行了 Ｃ～（１８）Ｏ（１－０）的谱线观测．在６３个源中观测到了Ｃ～（１８）Ｏ（１－０）发射，其中 ５７个天体第一次探测到Ｃ～（１８）Ｏ（１－０）谱线发射．艰据谱线辐射温度（ＴＲ＊）和半宽（△Ｖ），利用ＬＴＥ方法计算了每个测量源的 Ｃ～（１８）Ｏ（１－０）发射的光学厚度和 Ｃ～（１８）Ｏ分子的柱密度，讨论了１３ＣＯ（１－０）和Ｃ～（１８）Ｏ（１－０）的谱线强度比和积分强度比．

应变梯度理论有限元:C^(0-1)分片检验及其变分基础

基于细观有限元弹性应变梯度理论,首次提出应变梯度有限元的C0-1分片检验条件及其变分基础和一种构造应变梯度单元的方法.与常规的C0分片检验和C1分片检验不同,C0-1分片检验要求检验函数为满足平衡方程的二次函数,并同时通过线性平面应力C0分片检验和应变梯度常曲率的C1分片检验.进一步提出一个平面18-DOF三角形应变梯度单元(RCT9+RT9),算例表明该单元通过C0-1分片检验,无伪零能模式,并有较高的精度.

闭曲面上的C^0流的几类局部结构

本文提出了闭曲面上的Ｃ０流的几类轨道（包括准吸引及准排斥的奇点及周期轨道，以及较广义的鞍点，等等）的定义。

紧致流形上C^0流不变集的连续性

证明紧致流形上具有跟踪性的可扩流的不变集随扰动的连续性及 C0

具有迹-NG性质的C^＊-代数的K0群性质

研究C*-代数K0群的弱无孔性质、Riesz内插值性质,把这2种性质统称为NG性质;并且引入具有迹-NG性质的C*-代数概念.如果单的有单位元的C*-代数具有迹NG性质,则群K0(A)具有NG性质.

关于C^(1-0)泛函的极小极大原理的一个注记

用非光滑分析的思想,对C^(1-0)泛函进行了分析,得到了关于C^(1-0)泛函的几个极小极大定理。

考虑横法向热应变的C^0型Reddy板理论和三角形板单元

考虑横法向热变形,建议了C0型Reddy理论,并用于分析复合材料层合/夹层板热膨胀问题。虽然考虑了横法向热应变,但不增加额外的位移变量。此理论位移场不含有横向位移一阶导数,构造有限元时仅需C0插值函数。基于这一模型,运用虚位移原理推导了复合材料板平衡方程以及构造了6节点三角形板单元,并分析了简支复合材料层合/夹层板的热膨胀问题。数值结果表明,建立的模型能准确分析复合材料层合/夹层板热膨胀问题,而忽略横法向热应变的理论分析热膨胀问题误差较大。

二阶常微分方程初值问题C^0有限元的超收敛

基于在一个单元上的改进的单元正交展开 ,得到二阶常微分方程 C0 有限元 uh 的误差表示式 。

Mn-C系lnγ_C^0与温度的关系

对文献[1]报道的不同温度下Fe-Mn-C熔体中实验数据采用新的方法进行了处理。通过热力学推导和计算,获得了Mn-C系中lnγ_C^0与温度(1350℃≤t-273≤1450℃)的关系式:lnγ_C^0=-3.65+3895/T(K)。同时,得到了Fe-Mn-C系的"MC n值。

Rie menn流形上的一类自映射的C^0扰动

给出了Ｒｉｅｍｅｎｎ流形上的一类自映射中的ｆ的任意邻域Ｗ（ｆ，ε），存在Ａ∈Ｗ（ｆ，ε），满足ｃａｒｄＡ＝Ｘ，任取ｇ∈Ａ有：ｘ是ｇ的ｎ周期点当且仅当ｘ是ｆ的ｎ周期点。若Λ是ｆ的ｍ阶转移不变集，则Λ是ｇ的ｍ阶转移不变集，且Ω（ｇ）＝Ω（ｆ），ｅｎｔ（ｇ）＝ｅｎｔ（ｆ），Ｗ（ｇ）＝Ｗ（ｆ），Ｒ（ｇ）＝Ｒ（ｆ）。

A Two-Level Additive Schwarz Preconditioner for Local C^0 Discontinuous Galerkin Methods of Kirchhoff Plates

A two-level additive Schwarz preconditioner based on the overlapping domain decomposition approach is proposed for the local C0 discontinuous Galerkin (LCDG) method of Kirchhoff plates.Then with the help of an intergrid transfer operator and its error estimates,it is proved that the condition number is bounded by O(1 + (H4/δ4)),where H is the diameter of the subdomains and δ measures the overlap among subdomains.And for some special cases of small overlap,the estimate can be improved as O(1 + (H3/δ3)).At last,some numerical results are reported to demonstrate the high efficiency of the two-level additive Schwarz preconditioner.

解析簇上非孤立奇点的C^0-R_V-V(f)-充分性

给出了某类解析簇上具有非孤立奇点的函数芽f在某种等价关系下的C^0-R_V-V(f)-充分性及它的某些形变平凡性的充分条件.它推广了具有非孤立奇点的函数芽的R-Z-充分性的一个判别准则.

钢筋混凝土箱梁非线性有限元模型C^0型单元

结合实际工程的缩尺模型试验 ,对钢筋混凝土薄壁箱形梁的非线性有限元分析方法进行了详细的比较研究 ,对非线性有限元分析研究中比较敏感的影响因素进行了分析 ,并在此基础上提出了适应于钢筋混凝土箱形薄壁梁的非线性有限元分析模型。

四阶椭圆问题的C^0非协调元

基于泡函数,本文构造了二维四阶椭圆问题的三个C^0非协调单元,其中一个是三角形单元,另两个是矩形单元.我们证明一个单元是一阶收敛,另两个单元是二阶收敛.

基于OpenGL的三维煤矿虚拟现实系统的实现

随着计算机技术和虚拟现实技术的不断发展,矿山三维可视化变得日益重要。首先讨论了三维煤矿虚拟现实系统的结构设计,然后利用OpenGL和SQL server数据库技术,结合面向对象程序设计语言Visual C++实现了1座小型矿山的三维煤矿虚拟现实系统的开发,提出开发三维煤矿虚拟现实系统的基本过程和方法,为三维煤矿虚拟现实系统应用软件的开发提供了基本的开发模式。