对Hunk与Yorke猜想的证明

本文对Ｂ．Ｒ．Ｈｕｎｔ与Ｊ．Ａ．Ｙｏｒｋｅ的猜想给出一个证明，并用一个反例说明燕居让所给出的证明是不成立的。     

关于Gerber定理的推广及应用

给出了关于n维单形的Gerber定理的推广，建立了关于单形内点一个更强的几何不等式．并给出了它的一个应用．     

幂平均不等式的最优值及其机器实现

给出幂平均不等式最优值的一个具体表达式，并借助于符号计算软件Mathematica给出了一个算例．     

关于Mn±1的分解的一个注记

最近，孙琦教授等给出了Ｍｎ±１的一类新的Ａｕｒｉｆｅｕｉｌｉａｎ分解．作者证明了它是Ｓｃｈｉｎｚｅｌ分解的一个推广，且是非平凡的，并给出了其计算量的一个估计．最后，给出了三个例子     

关于QF环的一个新刻画

忠实平衡自正交双模是模类里的一种重要的研究对象．它广泛运用于倾斜模和余倾斜模理论及CM—环理论中．本文首先给出Noether环中Strong Nakayama Conjecture成立的一个条件．通过忠实平衡自正交双模的右极小内射分解给出了左Noether环模类的一个上生成子．最后用忠实平衡自正交双模的性质给出了QF环的一个新的刻画。     

正格子点上L族的若干注记

为了获得重尾分布子族，．族的相关性质和结果。本文采用数学归纳法，给出了正格子点上，族的独立同分布列（i．i．d．）Poisson逼近的等价条件及判别该列能否Poisson逼近的一个方法。它比Embrechts等给出的检验方法更简洁．另一方面，给出了正格子点上，族的可加性的一个特别的证明．     

线性分组码格子复杂度的一个简单下界

研究了线性分组码的格子复杂度，利用维数／长度轮廓和广义汉明权知识，给出了线性分组码格子复杂度的一个简单而实用下界。Ｄ．Ｊ．Ｍｕｄｅｒ曾给出过一个简单而实用的下界，这里所给出的下界与ＤＪＭｕｄｅｒ所给出的下界互补。     

I.J.Matrix定理的另一个推广及其在组合恒等式上的应用

利用复合函数、高阶微商的方法，给出了I．J．Matrix定理的一个推广，并展示了它在组合恒等式上的应用，最后给出了Bernoulli数的一个性质。     

Z-完备集上的一个扩张定理与范畴的性质

给出Z-完备集上的一个扩张定理．证明范畴ZP是一个笛卡儿闭范畴．     

广义第二类Stirling数S(n,n-tk,r)的一个公式

利用广义第二类Stirling数的定义,给出广义第二类Stirling数 的一个公式,更一般地给出 的一个公式．     

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

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

电阻箱零值电阻的误差分析

电阻箱是电磁学实验中的重要实验器材．实验中,计算实验误差时常常不考虑电阻箱零值电阻所引起的误差．而实际上,存放一段时间的电阻箱其零值电阻将大大超过原来的额定零值电阻．用这些电阻箱去做实验时,会对实验数据正确性造成一定影响．在用电阻箱代替高值电阻时,其影响比较微小可以忽略,而用电阻箱代替低值电阻时,电阻箱零值电阻造成的误差是比较大的,所以在实验中就要对其进行测量并修正.为了使电阻箱保持比较正常的零值电阻,必须按照正确的方法来保存电阻箱．     

用递推的方法求极限Ⅱ

本文给出两个推论;之后,又通过严格的数学证明,把此类问题进一步推广,给出了三个定理。至此,数学上一大类型的数学求极限的问题迎刃而解。     

DT整环的研究

引入了DT整环的概念,证明了当R是v-凝聚环时,如果R是DT整环,那么R的局部化也是DT整环,以及其它几种等价情况.在拉回图的情况下,研究了DT整环与某些特殊整环的一些关系,并讨论了在拉回图中环R,D,T间的关系.通过例子给出了DT整环与DW整环和TW整环之间的联系.     

重心坐标法证明几何定理

众所周知,在欧氏平面中,如取定一个标架后,可以用坐标的计算来做几何证明,类似地考虑,我们如取定一个三角形（它相当于一个标架）可以引入重心坐标。自然地可以用重心坐标来做几何。三角形是几何中最稳定的,而且很美。本文以重心坐标的方法来证明几道初等几何中的难题,以比较其与其它坐标的优缺点,并试图找出一个完善的理论,能解决所有的几何问题,这对机械化证明也许是有帮助的。     

图像融合技术在多领域的广泛应用和发展前景

针对图像融合这一新生技术,从多个行业领域对其发展历史、发展现状和发展方向做了较细致、完整的描述和介绍,并从专业角度对其关键性问题和所遇到的困难进行了深入剖析.     

管理信息系统综述

本文试图对管理信息系统MIS(Management Information System)的进展情况作一综述。先简单回顾一下它的历史背景,接着给出通用管理关系模式。文中并就管理信息系统MIS的开发技术问题展开若干探索性的讨论。     

Banach 空间中解决变分包含问题的一类广义增生映射和预解式算子

在Banach空间中提出了一类解决变分包含问题的广义增生映射和预解式算子方法,并且证明了预解式算子的Lipschitz连续性,最后给出了一个迭代算法,在适当的条件下,证明了迭代序列的收敛性,所得结果推广和改进了多值映射的相关结果。     

Dilcher公式的一种新的推广

Dilcher公式是一个非常有趣的组合恒等式。首先利用数学归纳法,重新证明了一个含有自由变量x的q-二项式恒等式。再对该公式应用高阶求导技巧,在得到1个一般的递归关系式的基础上,利用机械化方法给出了Dilcher公式一种新的推广形式,并由这个公式可以得到许多新的有意义的组合恒等式。     

IP组播技术在视频监控系统中的应用

介绍了一种IP组播的网络技术,分析了其工作机理及技术前提条件,并提供了使用WindowsSockets加入组播组后进行发送、接收组播数据包的一整套方法.结合开发实例.阐述了使用IP组播技术在网络视频监控系统中视频远程传输的设计思想和实现方法.