Fixed Point Theorems on Product Topological Spaces and Applications

A new collectively fixed point theorem for a family of set-valued mappings defined on product spaces of non-compact topological spaces without linear structure is proved and some special cases are also discussed. As applications, some non-empty intersection theorems of sets with convex sections and equilibrium existence theorem of abstract economies are obtained under much weaker assumptions. Our results includes a number of known results as many special cases.     

系列类立方烷型Fe4S4簇合物的XPS分析

对7种类立方烷型Fe_4S_4簇合物进行了XPS分析,得到了中心离子Fe的价态,给出了系列Fe_4S_4中骨架硫的结合能,由峰合成结果给出各种S、N的比例与按结构式计算的结果相同。     

因素空间与概念内涵的表示

本文综合应用因素空间、信息系统和重于关系的方法,讨论了概念的内涵表示及其他有关问题。特别是,对在描述概念问题中不同于内涵和外延的第三种方法,即典型示范表示做了进一步的分析。     

关于Echelon空间无穷矩阵变换集的有界性

无穷矩阵变换是研究序列空间理论的重要工具.研究一个空间到另一个空间无穷矩阵变换的形式,是序列空间理论中的重要内容,并且已有众多工作.本文将进一步研究一般的Echelon空间到空间l^p(1≤p≤∞),c、c₀的无穷矩阵变换集的有界性.所得结果的特例正是Echelon空间到l^p(1≤p≤∞)c、c₀无穷矩阵变换的形式,同时概括了前人的许多结果.     

一类周期种群系统的适定性及最优控制

本文研究了一类非线性周期种群系统的适定性及最优控制问题 .利用压缩不动点原理讨论了该种群系统的周期解的存在唯一性 .并用变分法给出了最优控制所满足的必要条件 .     

POSITIVE SOLUTIONS OF NONLOCAL BOUNDARY VALUE PROBLEM FOR NONLINEAR RETARDED DIFFERENTIAL EQUATION

§1　IntroductionAt present,boundary value problems (BVPs) are widely investigated with variousmethods and techniques. BVPs with integral boundary conditions constitute a veryinteresting class of problems such as multipoint,three-point,four-point and nonlocalboundary value problems which are considered by many authors.And the existence ofpositive solutions for these problems becomes the subjectof many papers[1—6] .In a recentpaper[7] ,the authors have studied the existence of positive solut…     

玻璃中CdSeS纳米晶体的室温光致发光谱

对掺有过饱和的镉、硒和少量硫的玻璃在500～800℃分别退火4h,生长了不同尺寸的CdSe_1-xS_x纳米晶体。测量了纳米晶体的室温吸收光谱和光致发光(PL)光谱,550℃生长的样品在300～800nm的范围没有观察到吸收和发光峰,表明温度低于550℃玻璃中不能形成纳米晶体。生长温度在600～650℃,纳米晶体的PL光谱主要为两个宽的发光带,即带边激子发光带和通过表面态复合的发光带。随着生长温度的升高,带边复合发光的蓝移减小,通过表面态的发光逐渐消失,并出现了叠加于宽发光带上的一系列明显的弱发射峰。不同温度生长的样品中,叠加峰的能量相同。同一样品中叠加峰的能量不随激发光波长的变化而变化。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

Lehmer序列中的平方数

设V_n(R,Q)表示参数为R和Q的Lehmer伴随序列,如果R和Q为互素奇数且D=R-4Q>0,我们找出了满足Q_n(R,Q)或nQ_n(R,Q)是平方数的所有奇数n,这里Q_n(R,Q)R~(1/2)=V_n(R,Q)。     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．