基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

基于六边形主域积分双谱的通信辐射源识别方法

在分析目前辐射源识别系统中常用的积分双谱参数的基础上,文章提出一种六边形主域积分双谱(HPIB)特征参数提取方法,利用双谱参数的对称性,简化积分双谱的计算,摒弃双谱矩阵中的无定义项,有效提高了积分双谱特征的计算效率。采用同型号同工作参数的10部通信电台进行识别实验,识别分类器采用概率神经网络。实验结果表明,相比传统积分双谱特征,采用HPIB特征参数可提高特征提取效率24.7%,同时由于去掉了双谱矩阵中无定义项的干扰,提高了识别系统的正确识别率。     

μC/GUI图形界面在SOPC系统中的移植研究

图形用户界面(μC/GUI)以其友好的人机交互界面,在各种嵌入式系统中得到广泛应用。文中介绍了μC/GUI在以Nios II处理器为核心的SOPC系统中的移植过程和应用方法。分析了SOPC系统架构和μC/GUI的组织结构,构建了LCD控制器和触摸屏驱动,实现了中文显示。μC/GUI运行结果表明,LCD上图形显示效果良好,体现了μC/GUI在SOPC系统中应用的优越性。     

压缩感知新技术专题讲座(四) 第8讲 压缩感知在无线通信中的应用

压缩感知(CS)理论指出,如果信号在某个变换域内是稀疏的或可压缩的,那么就可以用与变换基不相干的低维线性观测矩阵实现信号的压缩测量。压缩感知充分利用信号固有的稀疏性或可压缩性,以远低于奈奎斯特频率,直接对信号中的重要信息进行采样,此时,采样速率不再决定于信号的带宽,而是决定于信号的结构和内容中所包含的信息,或者说是信号的信息速率。这种新型的信息获取方式带来了信号处理技术的革新,在各类模拟和数字系统中得到了广泛的应用。在无线通信系统的应用主要包括认知无线电、稀疏信道估计、无线传感器网络、阵列信号处理等方面。     

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.     

皮秒脉冲泵浦的高功率超连续谱光源

实验研究利用皮秒脉冲泵浦光子晶体光纤产生高功率超连续谱输出,探讨制作高功率全光纤超连续谱光源的关键技术,分析不同结构皮秒脉冲光纤激光器泵浦光子晶体光纤产生超连续谱的优缺点.应用重复频率倍增技术降低激光器自身的非线性效应,得到性能参数合适的高功率皮秒脉冲光纤激光器;采用后处理技术将光子晶体光纤输入端扩芯后与双包层光纤进行...     

基于协同学的编队协同空战任务决策

基于协同学理论给出了编队协同空战系统的协同学框架;提出了编队协同作战方案的五元组定义,明确了影响系统进程的序参量;基于系统有序度与协同度的概念,构建了协同效能优化模型;以任务冲突检测与消解为依据给出了任务决策的约束条件;最后以二进制粒子群优化算法对此约束优化问题进行了求解.仿真结果表明,以协同学理论描述编队协同任务决策问题是可行的,构建的协同效能模型与任务决策方法在处理编队时序任务决策问题时是有效的.     

求解面向进攻的武器-目标分配问题的蚁群算法

面向进攻的武器-目标分配问题是军事运筹学研究中的重要课题,旨在制定合理的打击策略以最大程度摧毁敌方目标。采用一种融合局部搜索和信息素控制的蚁群算法,兼顾控制解的局部收敛速度和全局收敛质量。在解的构造过程中直接处理约束条件,提高生成解的可行性,并大大缩小了搜索空间,提高了算法效率。通过采用多种算法对不同规模的武器-目标分配问题进行实验,结果表明改进的蚁群算法在收敛速度和求解质量上表现优异。     

人工免疫系统的战场异态电磁信号检测模型

分析了复杂电磁信号环境下电磁信号监测的现实需求,抽象出"异态电磁信号"的概念。结合人工免疫系统建立起基于人工免疫系统的适用于复杂电磁环境下异态电磁信号检测模型,初步的信号检测实验表明该模型在信号检测准确性、检测时间等方面具有一定优势。     

电场作用微燃烧器的液体乙醇层流扩散燃烧

采用实验和数值模拟方法对电场作用下微燃烧器的液体乙醇层流扩散燃烧进行研究。研究结果表明,数值模拟高温区与实验拍摄火焰结构外形相似,前者的结构尺寸均高于后者;H/d与R e基本上呈线性增加关系,W/d先随R e线性增加,后变化幅度较小;H/d与电场强度E之间存在波浪曲线关系,波浪整体呈上升趋势,W/d整体上随电场强度E也呈上升趋势;火焰高度和宽度无量纲的数值模拟值与实验计算值吻合良好。