形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

英语委婉语的基本用法及其汉译

英语委婉语是人们在社会交往中为得到理想的交际效果而创造的一种适当的表现形式。委婉语的使用，是追求语言明的表现。     

一种立体校正算法的研究

提出了一种新的立体图像对的校正算法。该方法无须计算原图像对的基本矩阵和极线几何关系，而是直接利用校正后立体图像对的基本性质将其转换成一个二次优化问题。实验证明，利用该校正算法可以获得较好的结果。     

有限群的某些数量关系

在有限单群分类过程中，其阶恰包含3个素因子的群，即所谓K3-群构成了一类需要单独进行处理的单群类．利用Sylow定理和G1auberman正规p-补定理分别对两类阶具有3个素因子的群：p^2qr和p^3qr阶群进行了讨论，在一定条件下证明了它们都是非可换单群，即K3-群，并且分别同构于A5和L(2，7)．     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

随机贴现率下的年金

对于随机利率下的年金，已经有了一些研究成果^[2～4]，在[2]中，Abraham Zaks推导了简单递增年金的现值，本文在假设各年度的贴现率在一定时期内为相互独立、且有相同期望和方差的随机变量的情况下，对几种确定年金——基本年金和简单递减年金——的现值进行了深入研究，求出了这几种简单年金的期望和方差，其中主要运用了数学归纳法。事实上，对于其它形式的年金也可以做类似研究。     

第二积分中值定理“中间点”渐近值的进一步完善

本文通过引入Ｂｅｔａ函数，用统一的方法继续探讨了第二积分中值定理“中间点”的一些渐近性质，得出一系列新结论，作为本文的结论在相当大幅度上推广和概括了文（１－６）的重要结论。     

小角X射线散射研究碳纤维基体微结构

利用小角Ｘ射线散射研究了碳纤维基体微结构，结果表明，２５００℃碳化自理的碳纤维的小角Ｘ射线散射强度很好地遵从Ｐｏｒｏｄ规律，１３４０℃碳化自理的碳纤维不遵从Ｐｏｒｏｄ规律，邓经１３４０℃碳化自理的碳纤维基体存在尺寸小于１ｎｍ的不均匀区。     

校准曲线法定量分析数据微机处理方法

本文给出了一个处理校准曲线法定量分析大批量单一组分样品的分析数据的通用程序，将有效地提高计算结果的准确度，数据处理速度的分析化验工作的效率，同时对分析检验工作的数据处理自动化建设有所促进。     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,