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

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

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

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

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

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

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

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

微乳液法制备纳米二氧化硅

制备 OP-10/正辛醇/环己烷/氨水微乳液.在该微乳液中,由正硅酸乙酯在碱性条件下受控水解反应制备了 SiO2纳米粒子.通过红外光谱(FT-IR)、X射线衍射(XRD)、透射电镜(TEM)分别对样品结构及形貌尺寸进行了表征.探讨了水与表面活性剂摩尔比(R)、水与正硅酸乙酯摩尔比(H)对SiO2纳米粒子粒径的影响.结果表明制备的SiO2粒子为无定型球形颗粒,粒径为 80～105nm,SiO2纳米粒子粒径随着R和H的增大而增大.     

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

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

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

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

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

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

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

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