AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

UC/OS-Ⅱ任务调度研究

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

关于带m-增生算子扰动的非线性方程具误差的强收敛迭代序列

研究了在任意Banach空间,形如f∈Tx+Ax+Cx的非线性方程的解的逼近问题.其中T:E→2E为m-增生的,A:E→E是增生的,C:E→E是一个满足适当条件的非线性映射.构造了一个新的迭代序列,求得这一迭代序列的极限即为该方程的逼近解,从而推广了有关文献中的某些结果.     

一个常用控件的设计方法

在windows程序设计过程中,我们要经常用到类CcomboBox.但是对初学者来说,设计一个实用的颜色组合框控件的过程和原理并不是那么简单.在这里,我们从类CcomboBox派生一个新类,详细说明怎样制作一个颜色组合框控件.     

混沌扩频序列的研究

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

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

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

基于神经网络的脑组织图像分割方法的研究

本文采用模糊自组织特征映射网络的图像分割方法,以颅脑图像为研究对象,以精确分割出白质﹑灰质﹑脑脊液等脑组织为目的.在分割过程中,对算法进行了改进,获得了较好的效果。     

一类带有弱耗散项的半线性波动方程的Cauchy问题

给出一类带有弱耗散项的线性波动方程的Cauchy问题的解在Sobolev空间中的衰减估计,引入一个同时体现解的能量估计及解的衰减性的函数空间作为迭代的基本空间,同时建立了一个反映基本空间性质的映射,利用整体迭代法和压缩映射原理,在小初值情形下得出其半线性波动方程右端的非线性项F在满足一定条件的情况下,其Cauchy问题解的存在唯一性及解在t→+∞时的衰减性.     

Quasi-normal环的一个平凡扩张

一个环R称为quasi-normal环,是指对每个e∈E（R）,a∈N（R）,ea=0,总有eRae=0.证明了：①R是quasi-normal环当且仅当对每个e∈E（R）,eR（1-e）Re=0;②设R是quasi-normal环,σ是环R的环满同态且保持幂等元不变,则R[x,σ]/（x2）是quasi-normal环,并且得到一些相关推论.     

2×2对称矩阵空间到2×2全矩阵空间保持立方幂等的映射

讨论2 X2对称矩阵空间S2到2×2全矩阵空间M2上保持立方幂等的映射形式.设φ:S2→M2,如果对任意矩阵A,B∈S2及数λ∈C有A-λB为立方幂等阵当且仅φ(A)-λφ(B)为立方幂等阵,则存在可逆阵P∈M2及数ε∈{1,-1}使得对任意的A∈S2有φ(A)=εPAP-1.