反函数的导数定理的注记

给出反函数的导数定理的改进形式；若ｆ（ｘ），ｘ∈（ａ，ｂ）与ψ（ｙ），ｙ∈（Ａ，Ｂ）互为反函数，ｘ０∈（ａ，ｂ），ｙｐ＝（ｆ９ｘ０），ψ（ｙ）点ｙ０处可导且ψ（ｙ０）≠０，ｆ（ｘ）在点ｘ０处可导，且ｆ’（ｘ０）＝１／ψ（ｙ０），并说明，ｆ（ｘ）在点ｘ０处连续一条件不可去掉。     

非连续混合单调算子的耦合不动点定理

在半序拓扑空间内获得了非连续混合单调算子的耦合不动点定理：定理２设Ｘ是半序拓扑空间，Ｍ是Ｘ中的闭集，Ａ：Ｍ×Ｍ→Ｘ是混合单调算子，又设（ⅰ）Ｍ的每一个全序子集都是相对紧的；（ⅱ）存在（ｘ０，ｙ０）∈Ｍ×Ｍ使得ｘ０≤Ａ（ｘ０，ｙ０），Ａ（ｙ０，ｘ０）≤ｙ０；则Ａ在Ｍ×Ｍ中必有耦合不动点．还给出了它在Ｂａｎａｃｈ空间常微分方程中的应用．     

一类四阶奇边值问题的可解性

运用Ｓｃｈａｕｄｅｒ不动点定理研究了四阶两点边值问题ｄ４ｙｄｘ４＝ ｈ（ｘ）Ｆ（ｘ,ｙ（ｘ））（０＜ ｘ＜ １）,ｙ（０）＝ ｙ（１）＝ ｙ″（０）＝ ｙ″（１）＝ ０ 的可解性,允许Ｆ（ｘ,ｙ）在ｘ＝ ０,ｘ＝ １ 或ｙ＝ ０,有奇性     

二元函数柯西中值定理的一个注记

给出了二元函数柯西中值定理的“中间点”，当点Ｂ（ｘ０＋△ｘ，ｙ０＋△ｙ）沿直线段ＡＢ向点Ａ（ｘ０，ｙ０）逼近时的渐过性质，获得了两个在较弱条件下的渐近性质。     

混合型方程在矩形域上的非局部边值问题

给出了混合型二阶线性偏微分方程Ｌｕ≡ｈ（ｙ）ｕ＿（ｙｙ）＋ｕ＿（ｘｘ）＋ａ（ｘ，ｙ）ｕ＿ｙ＋ｂ（ｘ，ｙ）ｕ＿ｘ＋ｃ（ｘ，ｙ）＝ｆ（ｘ，ｙ）在非局部边界条件ｕ（ｘ，１）一ａｕ（ｘ，０）＝０，ｕ＿ｙ（ｘ，１）一ａｕ（ｘ，０）＝０，ｕ（１．ｙ）一βｕ（０，ｙ）＝０，ｕ＿ｘ（１，ｙ）－βｕ＿ｘ（０，ｙ）＝０下，在Ｓｏｂｏｌｅｖ空间中解存在及唯一的充分条件。     

在类奇异非线性两点边值问题正解的存在唯一性

研究了一类奇异非线性两点边值问题－ｙ″＝ｆ（ｘ，ｙ），０≤ｋ＜ｘ＜１，ｙ′（ｋ）＝Ｃ，ｙ（１）＋Ｄｙ′（１）＝η（Ｄ＞０）的正确的存在性和住性，其中假定函数ｆ（ｘ，ｙ）关于变量ｙ具有奇性（ｌｉｍｆ（ｘ，ｙ）＝＋∞）。     

一类奇异和非奇异边值问题正解存在性

讨论了两点边值问题（Ψｐ（ｙｒ＋ｆ（ｘ，ｙ）＝０，ｙ（０）＝０，ｙ（１）＝ｈ〉０；和（Ψｐ（ｙｒ＋ｆ（ｘ，ｙ）＝０，ｙ（０），ｙ（１）＋ｋｙ（１）＝Ｈ，Ｋ〉０正解的存在性和唯一性。     

利用切比雪夫多项式作试函数求解Winkler地基上中厚板的弯曲问题

１基本方程及边界条件放置于Ｗｉｎｋｌｅｒ地基上矩形中厚板弯曲问题的控制微分方程为：（１）其中：２为拉普拉斯算子，Ｆ、Ｇ为未知函数，ｋ为地基模量，为泊松比，Ｃ为板的抗剪刚度，Ｄ为板的抗弯刚度，ｑ为板每单位面积内的横向荷载。三个广义位移表示为：其中：ｗ为板的挠度，ψｘ、ψｙ分别为变形前垂直于板中面的直线段变形后在ｘｚ及ｙｚ投影面上的转角。板的内力为：（２）各种边界的边界条件为：（ａ）自由边界在垂直于轴的边界上：Ｍｘ＝０，Ｍｘｙ＝０，Ｑｘ＝０（３）在垂直于轴的边界上：Ｍｙ＝０，Ｍｘｙ＝０，Ｑｙ＝０（４）（ｂ）简支边界在垂直于轴的边界上：ｗ＝０，Ｍｘ＝０，Ｍｘｙ＝０在垂直于轴的边界上：ｗ＝０，Ｍｙ＝０，Ｍｘｙ＝０（ｃ）固定边界ｗ＝０，ψｘ＝０，ψｙ＝０２．问题的求解取切比雪夫多项式为试函数，即令：（５）其中：Ｔｍｘ，ｍ＝０１２Λ为切比雪夫多项式可由下列递推关系得到其中ｍ＝０１２Λ令则控制微分方程组（１）可写为：（６）以自由边界为例，把（２）代入（３）、（４），求得用未知函数Ｆ、Ｇ表示的板的边界条件如下：（ａ）在垂直于ｘ轴的边界上：（ｂ）在垂直于ｙ轴的边界上：引入矩阵表示，即在垂直于ｘ轴的边界上令：在垂直于ｙ轴的边界上...     

高维振荡积分的一个渐近展开公式

给出二元函数ｆ（ｘ，ｙ）的一个推广的Ｅｕｌｅｒ－Ｍａｃｌａｕｒｉｎ求和公式，并给出二维振荡积分∫０＾１∫０＾１ｆ（ｘ，ｙ，〈Ｎ１ｘ〉，〈Ｎ２ｙ〉）ｄｘｄｙ的一个渐近展开公式及其余项公式。     

A kind of 1form metrics in two dimensional Finsler space

ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔＬ（ｘ,ｙ）ｂｅａｆｕｎｃｔｉｏｎｏｎａｔａｎｇｅｎｔｂｕｎｄｌｅＴＭ,ｗｈｅｒｅｘ∈Ｍａｎｄｙ∈ＴｘＭ．ＩｆＬｓａｔｉｓｆｉｅｓｆｏｕｒｃｏｎｄｉｔｉｏｎｓ：（１°）Ｌ（ｘ,ｙ）ｉｓｐｏｓｉｔｉｖｅｌｙｈｏｍｏｇｅｎｅｏｕｓｏｆｄｅｇｒｅｅｏｎｅｉｎｙ,ｔｈａｔｉｓ,Ｌ（ｘ,λｙ）＝λＬ（ｘ,ｙ）ｆｏｒａｎｙｒｅａｌｎｕｍｂｅｒλ＞０;（２°）ｄｅｔ（ｇｉｊ）≠０,ｗｈｅｒｅｇｉｊ（ｘ,ｙ）＝·ｉ·ｊＦ,Ｆ＝１２Ｌ２．（３°）Ｌｉｓｄｉｆｆｅｒｅｎｔｉａｌｉｎ…     

完全0-单半群的同态像和某些同余

证明了完全0-单半群的真同态像仍完全0-单,给出了其结构;刻画了完全0-单半群的最大真同余及其商;给出了有0和本原幂等元的半群S无同余的充要条件;讨论了完全0-单半群上的幂等元纯同余,幂等元分离同余及其同态像;给出了完全0-单半群存在0-群同余的充要条件并刻画了其0-群同态像．     

帐篷映射归宿的完整性探析

应用三进制方法完整地研究了帐篷映射的动力学特性．当初值x0=0，1时，经帐篷映射迭代后的最终归宿为x∞→0；当x0 [0，1]时，x∞→-∞．当x0∈（O，1），x0为有限位小数时，x0→0或-∞；当x0为循环小数时，x∞将处在周期轨道上或趋于-∞；当x0为不循环小数时，x∞将处在混沌轨道上或趋于-∞．     

鼻咽癌与环境关系的探讨

利用土壤微量元素数据（１９７２９４４个），地形地貌数据（４５０２个），岩石类型数据（１０９２个），气象要素数据（６３６１０８０个），探讨鼻咽癌死亡率与人群生存的地质环境（土壤微量元素、地形地貌、岩石类型）和气象环境（年平均气温、年平均温差、年平均相对温度）的相关性。结果表明，土壤中Ｃｒ、Ｓｎ、Ｐｂ、Ｃｏ、Ｂｅ、Ｍｎ、Ｃｕ、Ｖ、Ｎｉ、Ｔｉ与鼻咽癌死亡率有相关性，等级相关系数ｒ分别为－０．４０９２（Ｐ＜０．０００５），０．４４２９（Ｐ＜０．０００５），０．３６５４（Ｐ＜０．０００５），－０．４５４６（Ｐ＜０．０００５），０．３４３９（Ｐ＜０．０００５），－０．２９２２（Ｐ＜０．００５），０．２８７４（Ｐ＜０．０１），－０．２６２０（Ｐ＜０．０２５），－０．２６６６（Ｐ＜０．０２５），－０．２４５８（Ｐ＜０．０２５），并有较明显的剂量—效应关系；山区与鼻咽癌死亡率的ｒ＝０．２５９３（Ｐ＜０．０１），岩浆岩、碎屑岩与鼻咽癌死亡率的ｒ分别为０．３９９４（Ｐ＜０．０００５），０．２２９４（Ｐ＜０．０２５），年平均气温、年平均温差、年平均相对湿度与鼻咽癌死亡率的ｒ分别为０．４１７６（Ｐ＜０．０００５），－０．４８１９（Ｐ     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

一类拟线性微分方程组边值问题的3个正解

针对在分析非线性现象时,得到的许多数学模型仅仅是对正解有意义的问题,讨论二阶拟线性微分方程组(φｐ(ｘ′))′+ａ(ｔ)ｆ(ｔ,ｘ,ｙ)=0,(φｑ(ｙ′))′+ｂ(ｔ)ｇ(ｔ,ｘ,ｙ)=0在非线性边值条件ｘ(0)-Ｂ0(ｘ′(0))=0,ｘ′(1)=0,ｙ(0)-Ｂ1(ｙ′(0))=0,ｙ′(1)=0及ｘ′(0)=0,ｘ(1)+Ｂ0(ｘ′(1))=0,ｙ′(0)=0,ｙ(1)+Ｂ1(ｙ′(1))=0下的边值问题,其中ｆ,ｇ是非负连续的函数。利用5个泛函的不动点定理,并且赋予ｆ和ｇ一些增长条件得到至少存在3个正确的判据。     

K-vertex-connectivity minimum augmentation for undirected unweighted graphs

For an undirected unweighted graph G0＝(V0,E0) and a positive integer K, the K-vertex-connectivity minimum augmentation problem (K-VCMAP) is to find a minimum set of edges Emin such that the graph H0＝(V0,E0∪Emin) is K-vertex-connected. Results in the literature have given polynomial time algorithms for K-VCMAP in several special cases such as where k≤3, or G0 is a tree. However, it still remains open whether or not there exist polynomial time algorithms for K-VCMAP for any graph G0 and any integer K. In this paper, we settle the problem by describing an efficient algorithm (KUCA) with time-complexity of O(K|V(G0)|5) for the K-VCMAP for any G0 and any positive integer K.     

函数极值点与拐点的一种判别法

给出函数极值点与拐点的一种判别方法.在一定条件下,根据f(n)(x)在x0的某去心邻域U0-(x0)和U0+(x0)符号的异同,判断点x0是否曲线y=f(x)的极值点,或点(x0,f(x0))是否曲线y=f(x)的拐点,并说明了极值点与拐点的不重合性.     

一个非线性三阶微分方程的多重正解

利用锥映射不动点指数定理证明了非线性三阶微分方程两 边值问题ｕ＋α（ｔ）ｆ（ｕ）＝０，ｕ（０）＝ｕ‘（０）＝０，ｕ（１）＝０至少存在两个正解。这里所采用的条件允许ａ（ｔ）在「０，１」两端点处具有奇性，并允许α（ｔ）在「０，１」某些子区间上恒为零。     

Y1.6SiO5:Eu0.43+稀土发光材料发光光谱研究

室温下测量并研究了晶态和非晶态Y1.6 SiO5:Eu0.43+的激发和发射光谱,发现Y16SiO5:Eu0.43+呈现5D0→7F0,5D0→7F1,5D0→7F2跃迁发光光谱.在非晶态时5D0→7F0跃迁发光峰位于579 nm;5D0→7F1跃迁光谱呈现宽峰,峰值位于587nm;5D0→7F2呈现一个强的发射单峰位于612nm.晶态时5D0→7F0发光峰强度及峰位不变,5D0→7F1发射光谱分裂成三重尖峰,5D0→7F2发光峰相对强度减弱,在长波段呈现新的发射峰.     

压缩感知信号重构的快速光滑L0范数法

光滑l0范数法(SL0)用带参数的高斯光滑函数序列逼近l0范数,可以有效地用于压缩感知信号重构。针对SL0算法在最优解附近收敛速度较慢的问题,由高斯光滑函数梯度及Hesse矩阵的特点,根据牛顿法的基本原理,提出了快速光滑l0范数法-FSL0算法。算法的迭代公式十分简洁。仿真结果表明,该算法与已有同类算法的重构精度相当,但重构速度得到了很大地提高。