用逆算子定理证明开映象定理

用逆算子定理证明开映象定理邱维敦书［１］５３．３证明了开映象定理，即定理２．３．８设×、ｙ都是Ｂ空间，若Ｔ６￡（Ｘ，ｙ）是一个满射，则Ｔ是开映象。证明的方法是：第一步证明Ｖ开集Ｗ，Ｔ（Ｗ）是开集，必须且仅须证明，９８＞０使得ＴＢ（０，１）ＭＵ（８，８...     

隐函数存在定理证明方法探讨

隐函数存在定理是数学分析和高等代数中的一个重要定理,但是隐函数存在定理的证明是一个较为复杂,不易被学生理解和掌握的定理。本文给出了三种证明方法,并对其证明方法进行了比较,文章分别利用零点定理、压缩映射原理、多元微分中值定理证明了隐函数存在定理,并对其证明方法进行了比较。     

用函数的单调性证明n元对称不等式

给出证明不等式的两个定理，应用这两个定理，可以把某些n元对称不等式的证明转化为一元函数单调性的证明，不仅证明比较简捷而方法也较初等。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

不动点存在性定理的一种新证法

主要是采用图像法来给出压缩型不动点定理和扩张型不动点定理的一种新证明方法，并在不同条件下采用不同的证明方法来反映其中的灵活性、技术性和直观性．     

平面上的Clifford系列定理

Clifford定理的证明难度较大，尤其用初等几何学的方法来证明难度更大，至今没有发现一个较完整的用初等几何学的方法证明这一定理。文章并0用实交比值引理给出了当n=4，5时的chifford定理的证明。     

关于多项式带余除法定理证明的注记

利用最小数原理，给出了多项式带余除法定理证明的注记，将整数的带余除法定理和多项式的带余除法定理的证明方法联系起来。     

Lagrange中值定理的一个应用

Lagrange中值定理和介值定理是微分学中的重要定理，通过一个结论与多次应用Lagrange中值定理和介值定理证明该结论的方法具有实际应用价值。     

Fan Ky不等式与Fan-Browder重合定理的证明

Fan-Browder重合定理是不动点定理的推广形式，也是非线性分析的一个重要结果。本文用Fan Ky不等式给出了Fan-Browder重合定理的一个新的证明。另外以类似的方法，我们还用Fan Ky截口定理证明了Fan-Browder重合定理。     

不同条件下的替换定理

给出了向量组不同条件下的替换定理，其证明与经典替换定理证明不同，突出其向量组替换的方法，便于应用。     

关于Carleson型测度及其应用

我们在[1]中曾引进了Carleson 型测度的概念,并以此为工具研究了许多重要的函数空间.本文继[1]之后继续研究Carleson 型测度的特征以及各型测度之间的关系.最后给出一些应用.     

DEA／TOPSIS模型在高校教育质量评价中的应用

为提高高校教育质量评价的客观性,采用DEA／TOPSIS两阶段模型对高校教育资源的利用进行综合评价。该模型第一阶段使用DEA方法计算每个决策单元的相对有效性,第二阶段对相对有效性进行TOPSIS计算并作全排序优选,最后结合例子进行了分析。     

非线性偏微分方程的孤立子解

利用直接积分的方法求解非线性偏微分方程。在求解的过程中先将非线性偏微分方程化成常微分方程的形式;再运用直接积分法进行计算。在求解的过程涉及到了椭圆函数的一些知识。最后得到非线性偏微分方程的孤立子解。     

应用逐次回归分析预测居民银行存款

利用１９８５年至１９９６年间的上海市国内生产总值、总收入、实际利率、股票、债券等数据,应用最小二乘法逐次回归分析来建立“预测居民银行存款”的若干数学模型,分别对一次项、二次平方项、二次混合项进行研究分析,并且考虑奇异值的鉴别与剔除,用１９９７年的数据检测这些数学模型的准确程度。     

基于VaR技术的国有股过渡流通市场研究

VaR技术模型分析了A股与过渡流通股之间波动的价差,二者的价差并不稳定,因此不能给非流通股定价,应建立过渡流通股市场,在过渡期中,逐步赋予非流通股以流通权.     

Faure序列的一种构造方法

在伪 MonteCarlo方法中,经常用Faure序列去计算偏差(Discrepancy),对于Fau re序列构造的生成矩阵C3.本文证明C3=chol(pascal(m)),其中pascal(m)是m阶Pascal矩阵,而chol(pascal(m))是pascal(m)的Cholesky分解,用上述结论并结合Matlab的优化软件给出Faure序列的一种构造方法.     

混合电路故障仿真技术研究

简要介绍了一种混合电路故障仿真技术，着重描述如何生成预响应信号，以及如何保证预响应信号的正确性。同时介绍了在故障诊断软件中处理模拟信号的方法，并以一个简单的测试用例来具体地介绍了这种方法。     

Development operators on 4D moving object databases

In this paper we propose four-dimensional (4D) operators, which can be used to deal with sequential changes of topological relationships between 4D moving objects and we call them 4D development operators. In contrast to the existing operators, we can apply the operators to real applications on 4D moving objects. We also propose a new approach to define them. The approach is based on a dimension-separated method, which considers x-y coordinates and z coordinates separately. In order to show the applicability of our operators, we show the algorithms for the proposed operators and development graph between 4D moving objects.     

加强理工科学生人文素质教育断想

本文从现代社会发展对人才的要求论述加强理工科学生人文素质教育的重要性，并提出五条措施。     

排课程序时间片选择的安全决策调度算法

排课表程序中选择合适时间的问题,其本质上是寻找教室、教师和学生班级的公共有空集合,1975年Itai及Shamir证明了课程表问题也是一个NP-完全类问題。从而结束了该问题上很多学者之间的论争。可把排课表问题分成两个层次进行,首先选择合适时间,然后再根据这个时间进行教室调度。而教室调度在各类学校是大不相同的,本文着重讨论了根据安全决策准则来选择合适时间片。其出发点是在为每一门课程选择时间时,要考虑对后续课影响最小,如一位教师一学期讲两门课(相应有两个班级),选第一门课时间时,尽可能选第二门课这个班级在上别的课的时间,这样在选第二门课的时间时,其选择自由度不受第一门课的影响。如一个班级同时接受两位教师讲两门课,其考虑的出发点也同样。这样来选择时间,以后造成冲突的可能性大大减少。本文给出了安全决策调度算法的定量描述,为加快安全决策调度过程,在原始输入课元组时,把相同的教师及相同的班级的课元组放在一起,只要往下扫描几门课。根据这几门课便可进行决策,再以后的课全是无关联的。本文也给出了算法框图。经在IBM-PC机上运行,证明选择合适时间片是完全可行的。