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

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

电压反馈型正激变换器中分岔与混沌现象的研究

研究了电压反馈型正激变换器的分岔与混沌.基于功率变压器的简化模型,建立其离散映射模型.在此模型的基础上得到以变压器的初次级匝比为分岔参数的分岔图,根据此分岔图分析了正激变换器混沌出现的途径.然后在PSpice中进行仿真实验,得到了电容两端电压和电感电流的时域波形图及其相图,获得了与数值仿真一致的电路仿真结果.     

B-值多线性映射的有界型核定理

讨论了取值于一般的Banach空间（不必须是自反的）的有界型多线性映射的核定理．     

关于p-一致光滑Banach空间中非自映像的Reich公开问题

在p -一致光滑的Banach空间(1相似文献   

基于网格资源可用度的元任务映射算法

针对Min-Min启发式算法没有充分考虑网格的异构特性,导致资源负载不均衡的问题,提出一种基于资源可用度的启发式映射算法,在元任务与资源映射过程中,先计算资源对元任务的可用度,然后将元任务划分为优先映射与次优先映射两部分,再对这两组元任务分别应用经典Min-Min算法进行映射.采用仿真软件模拟网格异构环境,在元任务与资源一定的情况下,分别模拟这两种算法的元任务与资源的映射过程,得到这两种情况下的任务完成时间.实验结果表明,基于资源可用度的启发式算法在异构的网格环境中任务完成时间更短.     

非矩形探测器阵列在相向运动中的成像优势分析

针对一种非矩形Retina-like探测器进行建模与仿真,研究其相向运动过程的模型.在不同场景及不同模糊度条件下对Retina-like探测器及矩形探测器的图像进行质量评价,不同的评价参数均表明Retina-like探测器在相向运动过程中的成像质量优于矩形探测器,具有抗辐射状模糊的效果,在相向运动过程中有明显的优势,为探索高速相向运动成像过程中的非矩形探测器面阵设计提供帮助.     

Banach空间中满足Monch条件的连续映射的新不动点定理

利用Banach空间中满足Monch条件的连续映射的1个基本不动点定理,在适当的边界条件下,得到了Banach空间中满足Monch条件的连续映射的新不动点定理.特别地,得到了Banach空间中满足Monch条件的连续映射的Altman定理、Roth定理和Petryshyn定理及其各种推广形式.     

Banach空间中有限族“三解合一”的混合临近点法

在一致凸一致光滑的Banach空间中引进了一个新的混合迭代序列,利用混合临近点法,找到了均衡问题与变分不等式及有限族半相对非扩张映射不动点问题的公共解(简称"三解合一"),并证明了该迭代序列强收敛到其公共解.所得结果改进和推广了已有的相应结果.     

锥度量空间中两对非相容映象的一个新的公共不动点定理

 自锥度量空间的概念被提出以来,已经有数位学者对其结构和性质进行了探讨.研究了锥度量空间中非相容映象对,并利用非相容映象对的性质和压缩条件得到一类映象的公共不动点定理,其结果推广了相关文献的结果.