广义非线性隐拟补问题解的有界性及扰动迭代算法

讨论了一类广义非线性隐补问题解的有界性及扰动迭代算法，给出一一些新的结果，推广了Ｉｓａｃ和Ｎｏｏｒ等人近期的一些结果。     

常微分系统中持续摄动下部分变元的有界性和稳定性

关于部分变元运动稳定性的研究自１９５７年РумянцевВ．В．的文章发表以来，引起了世界上许多人的兴趣．持续摄动下整体变元的有界性和部分变元的稳定性自本世纪６０年代和８０年代分别由Ｙｏｓｈｉｚａｗａ，Ｔ．和Озиранер，А．С．引入并研究以来，得到了数学界和工程界的广泛重视．但是，持续摄动下关于部分变元的渐近稳定性和有界性还从未有人研究过，本文对这一问题提出了新的概念并对摄动函数作了一定要求后得到了相应的结果，而Ｙｏｓｈｉｚａｗａ，Ｔ．和Озиранер，А．С．的结果就成了本文结果的特殊情形     

局部惯性系的优越性

对于任意一个计算系统，在一般情况下，“时—空”是不均匀的，空间也不是各向同性的，因而应在黎曼空间中去描述这一弯曲的“时—空”特性．即在自然界中，由于引力的不可屏蔽性，因而在有引力存在的“时—空”中去研究物质的运动规律时，应在黎曼空间中去描述．本文采用“消除”外力的局部惯性系（文中称ｇ坐标系）来进行观测．这样，将一个“非均匀时空”的黎曼空间，转换为一个“均匀时空”的“平直”的闵可夫斯基空间．“消除”了引力场的作用，从动力学中的加速效应和“静力学”中的形变效应两个方面都得到了满意的结果，充分体现了局部惯性系研究问题的优越性     

双非线性抛物型方程解的有界性

在λ∈（１，２）的情形，证明一类双非线性抛物型方程解的有界性。     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

jj耦合g因子

本文从矢量模型出发，导出纯ｊｊ耦合下ｇ因子表达式，并证明了当近似取ｇｓ＝２时，该式等价于量子力学的ｇ因子矩阵略去非对角元的结果，说明了矢量模型的近似程度。     

有界线性算子超幂的极小模

本文证明了Banach空间中有界线性算子T和它的超幂T有相等的极小模。     

Na_2ZnCl_4·3H_2O：Mn~（2＋）晶体EPR参量及其单轴压力效应的

假设在Ｎａ２ＺｎＣｌ４·３Ｈ２Ｏ：Ｍｎ２＋晶体中，处于Ｃ３轴上与Ｍｎ２＋发生作用的是Ｈ２Ｏ配体而非Ｃｌ－；用对角化能量矩阵的方法计算Ｄ、ａ和ｇ，以及单轴压力效应ｄＤ／ｄｐ和ｄａ／ｄｐ，结果与实验相当一致，表明：Ｈ２Ｏ取代Ｃｌ－的假设是合理的，晶体场理论对Ｎａ２ＺｎＣｌ４·３Ｈ２Ｏ：Ｍ同样适用．