无穷维空间中微分包含可达集的唯一性

在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ,ｘ（ｔ））,ａ．ｅ．ｔ∈［ｔ０,Ｔ］ｘ（ｔ０）＝ξ｛其中Ｆ是从［ｔ０,Ｔ］×Ｘ到Ｘ的取紧凸值的非空集值映射．给出了有关可达集的一些性质,并且利用有关可达集的集值映射ｔ～→Ｒ（ｔ０,ｔ;ξ）关于ｔ的半群性质,证明了可达集的唯一性．其中Ｒ（ｔ０,ｔ;ξ）是微分包含的可达集     

L^∞-Banach代数的内理想的刻画及同构定理

首先给出了具有单位元的 Ｌ∞－ Ｂａｎａｃｈ 代数的内理想的刻画,由此推广了［１］ 定理２ ．２ ．然后我们给出了具有收缩逼近单位元的 Ｌ∞ － Ｂａｎａｃｈ 代数之间的一个同构定理．作为推论,我们证明了：两个 Ｃ 代数之间的完全等距映射是同构的．     

关于σ点有限序列邻域网

本文证明了具有σ点有限序列邻域网的空间可以刻划为度量空间在某确定映射下的象。     

曲面到复射影空间的调和方程

建立从曲面到复射影空间的调和映射满足的方程。     

论聚合与推理的顺序

给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的,并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．     

广义连续格的同态

引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。     

基于数据元的数据集成技术研究

针对当前数据集成方法只能精确到属性级映射的缺陷,提出了基于数据元的数据集成方法。用数据元语义树对实体属性概念的内涵进行语义描述,使实体属性的语义能被计算机理解。然后通过语义计算实现精确到实例级的语义映射,从而完成数据集成。     

参数化CSG模型之间等价参数域求解方法

基于参数化半空间概念给出参数化CSG模型的一般形式,通过分析不同CSG模型中参数化半空间之间的关系,提出CSG模型等价的模型参数不等式约束关系,并由此定义等价参数域,借助于线性代数领域中新提出的Г-算法,求解这些不等式最终得到等价参数域的显式表示,进而推导出等价参数域上不同模型参数之间的映射关系．当两CSG模型分别表示CAD系统中的零件设计方案和CAPP系统中的零件加工工艺过程时,等价参数域和参数等价关系可用于CAD／CAPP系统中的功能集成．     

工程坐标刻度的自动化规范标注

在科学研究和工程计算中经常遇到数据的图形输出问题,其中坐标轴的刻度往往需要进行规范化的自动处理,而使用经过处理的坐标刻度更加符合人们的日常习惯。通过将需要标注的工程坐标范围映射到[0,1]闭区间,进行符合人工标注习惯的规范化处理,然后再对标注点进行逆映射成工程坐标的方法达到了坐标系统的规范标注。并通过例子展示了标注的实用性。     

矩阵空间上秩加性的加法保持

设IF是域,V是或者域IF上所有m×n矩阵的空间或者是特征不为2及3的域IF上所有n×n对称矩阵的空间.对于每个被固定的正整数s≥2,Qs定义V×V中满足rank(A+B)=rank(A)+rank(B)≤s的所有矩阵对(A,B)的集合.刻划了V上满足ψ(Qs)(∈)Qs的加法映射ψ.当charIF≠2时,也描述了IF上从n×n矩阵空间到p×q矩阵空间保秩加性的线性算子的结构.