用Loeb测度构造Radon测度

设(X,T)是Hausdorff拓扑空间,(X,A)是内可测空间,v是A上的有限内容度。本文利用非标准分析方法,给出了X上的Borel集在标准部分映射下的原象关于A Loeb可测的一个条件,对每一T∈T,有T∈L(v,A),并且对每一ε∈R~+,存在紧集C(?)T,使得L(v)(T-C)<ε。并进一步利用v的Loeb测度,构造出了X上的Radon测度L(v)·ST~(-1)。     

S-饱和集的特征及其应用

引入并系统地研究了一般拓扑空间(X,τ)的非标准扩张(~*X,~*τ)的S-饱和集,证明了标准Souslin集与Loeb可测集的关系定理,得到了~*μ_L-零集在标准部分映射下是μ-零集的充分条件。     

S-饱和集的性质及其应用

在一般拓扑空间(X,τ)的非标准扩张(*X,*τ)中引入S-饱和集的概念。在一定条件下,St映射对于S-饱和集保持集的基本运算。基于这一事实,证明了标准Souslin集与Loeb可测集的关系定理,得到*μL-零集在St映射下μ-零集的一个充分条件。     

S-饱和集的性质及其应用

本文在一般拓扑空间(X,τ)的非标准扩张(*X,*τ)中引入S-饱和集的概念.在一定条件下,St映射对于S-饱和集保持集的基本运算.基于这一事实,证明了标准Souslin集与Loeb可测集的关系定理,得到*μL-零集在St映射下是μ-零集的一个充分条件.     

用Loeb测度构造正则及τ－光滑Borel测度

设（Ｘ，Ｔ）是Ｔ２空间，Ｔ１是拓扑Ｔ的基，Ａ是＊Ｘ上的内代数，ν是Ａ上的内测度，本文用无穷小方法证明了：在ｋ－饱和的非标准模型中，若Ｘ是正则空间，且对每一Ｔ∈Ｔ１，＊Ｔ∈Ａ，则对Ｘ的每一Ｂｏｒｅｌ集Ｂ，ｓｔ－１（Ｂ）∈Ｌｕ（Ａ）∩ｎｓ（＊Ｘ），且νｓｔ－１｜Ｆ（Ｘ）是τ－光滑Ｂｏｒｅｌ测度，νｓｔ－１｜Ｆ（Ｘ）是Ｒａｄｏｎ测度；若对每一Ｔ∈Ｔ，＊Ｔ∈Ａ，并且对每一Ｔ∈Ｔ及每一ε∈Ｒ＋，有闭集ＣＴ，使Ｌ（ν）（＊Ｔ－＊Ｃ）＜ε，则对每一Ｂｏｒｅｌ集Ｂ，ｓｔ－１（Ｂ）∈Ｌ（ν，Ａ）∩ｎｓ（＊Ｘ）且νｓｔ－１｜Ｆ（Ｘ）是正则τ－光滑Ｂｏｒｅｌ测度．文中并讨论了这些结果在测度扩张中的应用     

由有限核生成的Loeb测度

在非标准多饱和模型下,研究了由有限核生成的Loeb测度的性质. 首先,利用内可测空间中的内有限核构造了相应的Loeb测度. 其次,讨论了内可测空间和内乘积可测空间中由内有限核生成的Loeb测度的性质. 最后,在内乘积可测空间上,证明了由内有限核生成的Loeb测度的Keisler’s Fubini定理.     

可测集值映射的Egorov定理

讨论了取值可分自反Banach空间中可测集值映射序列的Egorov型收敛定理,在几种不同拓扑收敛意义下,刻画了可测集值映射序列的几乎处处收敛.     

超幂非标准模型的构造

研究了个体集和超滤子与超幂非标准模型的构造.证明了当转换原理成立时,要求构造超结构的基本集是个体集;讨论了个体集和超滤子不同时,标准全域与非标准全域之间的关系,同时给出了超幂非标准模型是其真扩张的充分条件;得到了非标准模型是非标准扩大模型的必要条件是card(I)N0.     

超实数域R的基数

本文证明了在 k-饱和的分析的非标准模型中,~*N,~*Q,~*R,~*N-N,~*Q-Q,~*R-R,~*R 的每个非有限的~*-有限子集,每个单子,每个银河,~*R 的所有单子之集,所有银河之集,~*R 的稠密子集,~*R 中的所有空隙之集的基数均不小于 k;~*R 的Q-拓扑,S-拓扑的基数不小于2~k.     

基于AutoCAD系统面向零件的二维图形编辑方法的研究

针对 Auto CAD系统标准件库的二次开发 ,提出面向零件的二维图形编辑方法 ,以零件的自动识别为前提 ,着重介绍零件信息的组织形式和管理方法 ,并说明了零件编辑时相关信息的处理方法     

利用Solidworks软件的配置功能建立GB三维标准件库

介绍了利用Solidworks软件建立系列零件设计表即Excel表，用Excel表对配置进行驱动，自动生成三维标准件配置，从而建立国家标准GB三维标准件库。该方法简单实用，有较高的实用价值。此外，文中还介绍了该库的优点和使用方法。     

标准模型下高效的基于身份的加密方案

基于身份的加密是一类很重要的公钥加密.给出了一个高效的基于身份的加密方案,提出的方案在标准模型下是针对选择密文攻击完全安全的,并运用线性无关的思路基于q-ABDHE假设证明了方案的安全性.方案具有高效性、公钥参数较短及配对计算较少的特点.     

摘脱式联合收割机割台损失的研究

对影响摘脱式联合收割机割台损失的几种主要因素进行了定性分析 ,给出了部分因素对割台损失的影响曲线 基于因次分析 ,得出了割台损失与机器前进速度、摘脱滚筒旋转角速度和作物穗幅差相关的损失模型 ,并用试验数据对该模型的系数进行了拟合 ,同时对由该模型得出的损失曲线进行了分析 对实际摘脱割台的结构参数和运动参数的确定有一定的指导意义     

级数论中几个著名命题的非标准分析简证及其评述

本文对级数论中P.du Bois-Reymond,N.H.Abel,U.Dini,G.L.Dirichlet和A.Pringsheim等的几个熟知命题提供了由非标准分析方法(NSA方法——Methods of Nonstandard Analysis)作成的简证。本文要旨不在介绍这些简易的初等证法,而在于通过所作例证这一小侧面,说明NSA方法为什么能比经典分析方法更简捷地发现证明思路和更容易地培养学生数学发现能力的原因。这对认识在高等学校数学教学中讲授严谨无穷小理论和方法的必要性,是有参考价值的。