相容和弱相容映射的几个新的公共不动点定理

证明了Menger空间上相容和弱相容映射在(φ)-压缩条件下的两个新的公共不动点定理.作为它们的推论,还得到了度量空间上相容和弱相容映射的两个有趣的不动点定理.     

Logistic映射及其扰动族的双曲性

首先研究一维logstic映射fu（x）=ux（1-x）,在参数u∈（4,4＋∈）的动力学性质,其中∈充分小,利用在临界点的某个领域外的一致扩张性,以及进入临界点领域后导数值虽然有所减少,但在随后的有限次迭代后其导数值得到弥补,证明其正向不变集Ku={x∈I：fu^n（x）∈I,A↓n≥0}的一致双曲性,然后研究一维logistic映射族的C^2小扰动族,证明了对于gu,E←u^＊,u^＊～4,当u∈（u^＊,u^＊＋∈）时,Kgu={x∈I：gu^n（x）∈I,A↓n≥0}是一致双曲的．     

关系模式到XML模式映射方法的研究

XML技术以其自身独特的优点,已是作为中介来实现异构系统之间数据交换的理想选择。在以XML为中介的数据处理过程中．需要进行关系数据库和XML之间相互转化,这就需要在XML和关系数据库之间建立一种映射关系,本文就是针对这种映射方法的研究。     

本体映射中概念相似度的计算

本体是客观世界知识的表现形式,如何实现本体之间的知识共享和重用,成为了语义Web发展的关键．在分析现有相关技术的基础上,借助语义相似度度量技术找到不同本体间相同或相近的概念对的计算方法,同时用于本体映射过程中．实验证明,该方法具有良好的效果．     

线性序拓扑空间上不稳定流形的映射性质

文章研究完备稠序的线性序拓扑空间上连续自映射f的不稳定流形。首先证明了不动点P的不稳定流形与P的任意邻域V的交集,通过f有限次迭代之后,会包含P的不稳定流形。然后利用此结果证明了f~k在p_i(1≤i≤k)的不稳定流形被f映射的象集合为f~k在f(p_i)的不稳定流形(其中p_i为f的k-周期轨上的点)。     

基于MFC的Direct3D应用开发研究

微软公司所提供的DirectX Sample例子均是基于DirectX AppWizard向导开发的,不是我们熟悉的基于MFC的文档/视图框架程序;另外,Direct3D是DirectX中最重要的组件,因此研究基于MFC的Direct3D应用开发显得很有意义.本文首先简要介绍了Direct3D及MFC的基本原理,然后通过一个实例,详细介绍了开发基于MFC的Direct3D程序的一般方法,并给出相应代码和渲染效果图.实践结果表明,此方法实用、有效.     

Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(～=)Q.     

UC/OS-Ⅱ任务调度研究

通过深入研究嵌入式实时内核UC/OS-Ⅱ和其在ARM7处理器上的移植范例,介绍了其调度策略及实现,描述了任务切换的完整过程,分析了UC/OS-Ⅱ的内核切换点和就绪表等关键问题,结合应用实例验证了该内核的实时性.     

半拓扑线性空间及其性质(Ⅰ)

首先在一般的拓扑空间中引入了准半连续映射的概念,并借助此概念引入了半拓扑线性空间,得到了这一新空间的如下基本性质:(1)给出了半拓扑线性空间中半开集和0点的邻域的特征刻画;证明了半拓扑线性空间中0点的局部S基可通过平移作为任何一点的局部S基;证明了半拓扑线性空间中半开集和任何集的和仍然是半开集.(2)证明了半拓扑线性空间的局部S基的每一个元是吸收集,并且它包含0点的一个平衡S邻域;证明了对具有C性质的半拓扑线性空间中的0的每个S邻域u,存在0点的S邻域v,使得v的半闭包v-u;证明了对具有C性质的半拓扑线性空间的局部S基的每一个元u,存在局部S基的元v,使v+vu成立.(3)给出了半拓扑线性空间中有关半闭包和半内部的等式或蕴涵关系.     

混沌扩频序列的研究

传统的扩频序列码数量有限,而且它们的抗截获性也较差,容易被识破,保密性不强。混沌作为一种非线性动力系统,具有高度的伪随机特性,对初始条件极其敏感,可以产生性能良好的扩频序列。混沌映射非常适合生成扩频序列,但是单一映射产生的扩频序列其系统复杂度低,容易被破解,复合混沌映射可以提高系统的复杂度,增强保密性。