充分利用了的

A fixed point of a discrete-time neural network with generalized input-output function and by using the converse theorem of Lyapunov function we study the uniformly asymptotical stability of equilibrium in this discrete-time neural network with variable weight and give some sufficient conditions that guarantee the stability of it.

本文首先介绍了几类离散神经网络模型的由来及其研究概况，利用Schauder不动点原理证明了一类具有广义输入输出函数的离散神经网络模型平衡点的存在性，利用Lyapunov函数逆定理给出了这类离散神经网络模型在时变权值下的一致渐近稳定性的充分条件。

In this thesis, we firstly introduce several class of discrete-time neural network models and the research progress of the neural networks. By Schauder fixed-point principle we prove the existence of an equilibrium (i.e. a fixed point) of a discrete-time neural network with generalized input-output function and by using the converse theorem of Lyapunov function we study the uniformly asymptotical stability of equilibrium in this discrete-time neural network with variable weight and give some sufficient conditions that guarantee the stability of it.

本文首先介绍了几类离散神经网络模型的由来及其研究概况，利用Schauder不动点原理证明了一类具有广义输入输出函数的离散神经网络模型平衡点的存在性，利用Lyapunov函数逆定理给出了这类离散神经网络模型在时变权值下的一致渐近稳定性的充分条件。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

In this thesis, it is shown that the characterizations for DRHR class in Shaked and Shanthikumar (1994) are in fact sufficient conditions by a counter example. Sufficient conditions for DRHR and IMIT classes are given.

本文首先通过反例指出了Shaked and Shanthikumar(1994)对DRHR类的等价刻画实际上为其充分条件，然后利用休止时间给出了DRHR和IMIT类的充分条件。

A necessary and sufficient condition for a fx + t(y + g to be a bent function is disscussed,on which basis a necessary and sufficient condition for a function F = fix + tq + g to be a bent function is given when q is not a balanced-function by use of cyclic walsh spectrum and decomposition formula of walsh spectrum.

讨论了形如fx+τ(y+g的布尔函数是Bent函数的充分必要条件，在此基础上利用Bent函数的循环Walsh谱及谱分解式，进一步给出了当q不是平衡函数时，形如F=fx+τ(yq+g布尔函数是Bent函数的充分必要条件。

Furthermore, when the system is a periodic system, sufficient conditions are obtained that guarantee the existence, uniqueness and global attractivity of the positive periodic solution by applying the Brouwer fixed theorem and the method of constructing Liapunov function.

利用比较原理给出了系统一致持久性的充分条件；当系统是周期系统时，应用Brouwer不动点原理和构造Liapunov函数的方法给出其存在惟一且全局吸引的ω-周期正解的充分条件，并通过实例验证了文中定理条件的可实现性。

With the matrix direct product and straightening operator, the necessary and sufficient conditions of the linear matrix equations have solutions and have unique one solution are given.

本文介绍了矩阵直积的有关概念和性质，利用矩阵直积和拉直算子给出了线性矩阵方程有解的充分必要条件以及有惟1解的充分必要条件。

Using Taylor Theorem,we generalize the second sufficient conditions for extreme point and inflection point,and give the classification for a large class of stationary point .

利用泰勒定理，推广了极值的第二充分条件和拐点的第二充分条件，并对某一大类驻点进行了分类。

In research and development of the system, mainly concluding key technologies of software-hardware environment analysis, no adapter interlink, terminal simulation, communication, sharing resources, binary file transfer algorithm , concurrent process, database-dumping and sharing, and to accomplish the basic a software design of E-classroom by adopting distribution system concept in minicomputer side , to accomplish the main software design of E-classroom by Winsock in microcomputer side , to study teacher software integration , try to realize transparent communication in the highest limit and sharing resources in the fullest extent , at last, weak and counter measure of the system is given, and the overall objective of heterogeneous computer is given to try to provide resemble system development with theory guide.

该系统的研究与设计过程中主要涉及软硬件环境分析、异型机无网卡互连、终端仿真、异型机通信、资源共享、二进制文件传输算法、并发进程、数据库转储与共享等关键技术，利用DSM分布式系统的概念完成了小型机部分电子教室的基础性软件设计，利用Winsock完成了微型机部分电子教室的主要功能模块，利用并发进程的概念研究了教师机软件的集成问题，使异型机用户之间达到最大限度的透明通信及充分的资源共享，给出了异构电子教室的弱点及解决对策，提出了系统的总体目标，力争为类似系统的研制提供理论指导。

According to the model's actual background,discussing the random variable coefficient equation and using direct method,we obtain sufficient condition for the uniform stability and the globally asymptotic stability of difference equation,and also give examples to show they can not substitute each other.

本文根据种群模型的实际背景，讨论了任意变系数方程利用直接方法获得了所讨论方程的零解的一致稳定和全局渐近稳定的充分条件，并举例说明了这两个充分条件不能相互代替。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。