超实数域~＊R的拓扑结构

研究了超实数＊Ｒ上的两种常用拓扑──Ｑ－拓扑及Ｓ－拓扑的结构．证明了（＊Ｒ，Ｑ）是完全不连通的；＊Ｒ中的Ｑ－紧集只有有限集；＊Ｒ中的每个银河都是（＊Ｒ，Ｓ）的连通分支；＊Ｒ中每一长度有限的区间（可以不是闭的）都是Ｓ－紧的；以及＊Ｒ／≈既是（＊Ｒ，Ｑ）的上半连续分解，也是（＊Ｒ，Ｓ）的上半连续分解等Ｑ－拓扑及Ｓ－拓扑的一些基本性质．同时也纠正了前人关于Ｑ－拓扑性质的一些错误结论．     

一类双曲型偏微分布方程解的存在性与惟一性的非标准证明

研究了一类双曲型偏微分方程解的存在性与惟一性，在分析的非标准模型中，用无穷小分析方法，给出了带有特征初值条件ｕ（ｘ，０）＝σ（ｘ），ｕ（０，ｙ）＝τ（ｙ）（σ（０）＝τ（０）的双曲型偏微分方程ｕｘｙ＝ｆ（ｘ，ｙ，ｕ，ｕｘ，ｕｙ）解的存在性及惟一性的较为直接的构造性证明。     

内超实度量空间中的拓扑

用非标准方法了由一内集Ｅ上的超实度量所导出的Ｑ－拓扑与Ｓ－拓扑，给出了这两种拓扑的一些重要性质，：（Ｅ，Ｑ）是完全不加通的且其紧子集都是有限集；Ｇ（ｘ）／关于Ｅ上的Ｓ－拓扑的商拓年刘可度量化且完备的；Ｇ（ｘ）的有界子集Ａ若满足Ａ Ｓ＝拓扑的商空间Ｇ（ｘ的闭子集，则Ａ是Ｓ－紧的，文中还讨论了Ｓ＝拓扑在构造完备空间中的应用。     

从超实数域^＊R到^＊R内的函数的两种连续性

用非标准分析的方法，讨论限从超实数域＾＊Ｒ到＾＊Ｒ内的函数的两种连续性－Ｑ－连续性与Ｓ－连续性。给出了这两种连续函数的一些基本性质以及它们与通常的实连续函数的关系，并证明了超实数域内闭区间上的这两类连续函数具有与实数域内闭区间上的连续函数相类似的一些性质。     

一类多输出k阶拟Bent函数的构造及其密码学性质

给出了多输出k阶拟Bent函数的一种构造方法.该方法通过组合两个无共同变元函数而构造出多输出k阶拟Bent函数.同时,还讨论了所构造的这类多输出k阶拟Bent函数的代数次数,非线性性,平衡性,扩散性及稳定性等密码学性质.这些性质来显示,多输出拟Bent函数是一类密码学性质良好的多输出函数.用作分组密码体制的非线性组合器时,能有效地抵抗差分分析和线性分析的攻击.另外,它还可应用于多输出前馈网等方面.     

非标准方法在扩张测度上的一个应用

本文在k-饱和的扩大非标准模型中讨论,其中k>card(X)。有关非标准分析的基本知识参见[1],关于Loeb测度的构造及其理论参见[2,3]。令S={{x∈X:f(x)<α}:f∈c(X),α∈R},φ是由S生成的代数。X上的Baire α-代数记为φ(X)。引理1 设     

从超实数域R到R内的函数的两种连续性

用非标准分析的方法，讨论了从超实数域＊Ｒ到＊Ｒ内的函数的两种连续性——Ｑ－连续性与Ｓ－连续性．给出了这两种连续函数的一些基本性质以及它们与通常的实连续函数之间的关系，并证明了超实数域内闭区间上的这两类连续函数具有与实数域内闭区间上的连续函数相类似的一些性质．同时纠正了一外国学者关于Ｑ－连续函数性质的两处错误     

一类双曲型偏微分方程解的存在性与惟一性的非标准证明

研究了一类双曲型偏微分方程解的存在性与惟一性．在分析的非标准模型中,用无穷小分析方法,给出了带有特征初值条件 ｕ （ｘ,０）＝ σ（ｘ ）,ｕ（０,ｙ）＝ τ（ｙ）（σ（０） ＝ τ（０））的双曲型偏微分方程 ｕｘｙ ＝ ｆ （ｘ ,ｙ,ｕ,ｕｘ ,ｕｙ ）解的存在性及惟一性的较为直接的构造性证明     

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

本文讨论了这些结果在测度扩张中的应用。