基于时间触发DIMA架构的网络拓扑优化

近年来,分布式综合模块化航空电子系统(DIMA)引起人们广泛关注,时间触发以太网(TTE)支持DIMA系统的时间触发机制,成为了该系统主要采用的协议。为了生成一个具有较低架构成本、负载均衡和相对路径短的网络拓扑结构,研究了基于TTE的网络拓扑优化问题。针对TTE网络拓扑的任意性特点,在深入分析了时间触发DIMA模型的基础上,应用Floyd算法和模拟退火算法实现了拓扑优化,仿真验证提出的拓扑设计方法不仅可以有效地降低网络拥塞情况,还可以节省网络成本。

DIMA系统软件集成技术研究

本文针对分布式综合模块化系统中核心计算平台模块设计通用化、安装可替换以及功能可重构等要求,研究系统软件集成技术和方法,提出了DIMA系统中通用处理模块可互换性及功能可重构的解决方案,解决了系统中通用处理模块资源有效利用和管理简易化的问题。

数字地震台操作分析工具一DIMAS软件包简介

ＤＩＭＡＳ（Ｄｉｓｐｌａｙ， Ｉｎｔｅｒａｃｔｉｖｅ Ｍａｎｉｐｕｌａｔｉｏｎ ａｎｄ Ａｎａｌｙｓｉｓ ｏｆ Ｓｅｉｓｍｏｇｒａｍｓ－“地震图 的显示和交互式操作与分析”）软件包是ｉｒｉｓ ＧＳＮ 台站所使用的数字地震分析应用软件． 同时它也适合我国部分数字台站（如ＮＣＤＳＮ）的日常分析工作，如波形放大与缩小、震相 拾取、震级计算、方位角计算、计算震中和震源深度以及发震时刻等；还可以做一些进一 步的分析处理工作，如波谱分析、滤波、分量旋转、质点运动分析以及仿真模拟地震图． 由于它是交互式菜单操作，所以有用户界面良好，易学易用，适合台站操作人员使用的特

基于DIMA平台的一道高考试题的教学研究

依托自己的教学经验,结合教学实例,说明如何将多媒体技术引入教学实践,以提高教学效率和质量.

面向任务的民机DIMA动态重构策略

为提高民机分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统应对飞行任务切换和资源失效的能力,分析了DIMA动态重构环境及动态重构机制,形成了面向任务的动态重构策略。首先,提出“任务-功能-资源”间的关系矩阵及动态重构有效性评价体系。然后,引入组合优化赋权法计算不同任务模式下功能应用的优先级权重。最后,用实例分析对比了面向任务的动态重构策略与普通重构策略在不同任务模式下系统资源对系统功能完整性的支撑程度。研究结果表明,随着模块故障数量的增多,面向任务的动态重构策略可以显著提高动态重构的有效性。

高中数学DIMA创新实验室的建设与应用

现阶段高中数学实验室不能很好地发挥实验室的教学功能。高中数学DIMA创新实验室的建设,应以泛在化、智能化、个性化为主要特征,注重发挥资源库、工具包、学习场等功能;在落实管理责任的基础上,可采用以教师团队的管理为主、学生社团管理为辅的共管模式。实验室的应用以DIMA平台为载体,以课程资源运用为重点,采取社团活动、选修课程、学科竞赛等多种形式进行数学实验教学,实现培养学生核心素养的目标,促进形成良好的校园数学文化。

基于DIMA平台的高中数学实验课程建设与实施

高中数学实验作为传统教学的有益补充,是数学教学的重要模式,其本质是一种思维实践和操作实践相结合的实验。教学时应遵循知识与趣味相融、课内与课外结合、学习与创造兼顾、训练与思维统一、自主与合作协调等原则。教学设计要注意设计原理的封闭性和实验过程的开放性,实验步骤的相对稳定性,实验目的的单一性,实验材料、工具选择的多样性。课程在内容上不追求系统性与完整性,而着眼于学生感兴趣、具有探索性、综合性和启发性的数学或其他领域内的数学问题;在讲授上以教师介绍、引导和鼓励为主要方法,突出学生参与的讨论教学模式;在考核上侧重以实验设计的创造性、参与实验的热情和专注、实验报告的可靠性和规范性为主进行综合评判。

基于贪心遗传算法的DIMA软硬件模块映射的优化研究

分布式综合模块化航空电子(DIMA)是未来航空电子系统的发展方向,其综合了联合式航空的电子系统和综合化模块化航空队电子系统(IMA)优点。DIMA系统的资源配置可分成硬件模块映射和软件模块映射两个阶段。对DIMA硬件资源和软件资源进行数学描述并建立优化目标,然后用多种群遗传算法求解硬件模块配置优化问题,通过贪心算法求解软件模块配置优化问题。

基于DIMA平台数学实验的函数性质探究课的教学优化——以“探索’耐克函数’的图像与性质”的课堂环节为例

笔者通过“探索‘耐克函数’的图像与性质”的教学实践,基于DIMA平台数学实验的函数性质探究课,提出了通过规律发现型实验突破教学难点、通过结论验证型实验支持大胆猜想、通过现象解释型实验促进知识加工的经验,并对如何在教学设计中充分发挥DIMA平台的特有优势、如何在优化过程中考虑传统教学方式的取舍等问题进行了反思.

借助基于DIMA平台的数学实验优化数列教学

通过长期的数学实验教学以及基于DIMA平台数学实验的数列习题课的教学实践,笔者归纳了借助基于DIMA平台数学实验优化高中数列章节的三类情形,即通过现象解释型实验促进数列特点的理解、通过DIMA设备检验数列问题解决的正确性、通过数列特殊到一般的探究形成解题策略,并通过具体的课堂教学设计和反思说明了各类情形下DIMA平台工具的选择、数学实验融入教学的方式、数学实验的功能以及教学实施中的若干注意点.

基于DIMA平台的高中数学实验课程建设研究

自2017年始,在进行理论准备的基础上,"基于DIMA平台的高中数学实验课程建设研究"课题组调研分析了高中数学实验教学现状,确定了高中数学实验选题的基本策略,并对高中数学实验的案例研究与课例研究进行了界定。研究推进有序,取得了一些阶段性成果,进行了专题汇编,形成了7个区的20多所学校60余人的高中数学实验教学研究团队。

DIMA平台与高中数学教学融合的策略与实践

DIMA信息技术平台是实现信息技术与数学课程深度融合,在课堂教学中落实数学学科核心素养的重要技术平台.能帮助高中数学教师建立信息技术与教材的对接点、拓展点及数学学科核心素养的呈现点,优化课堂教学,转变教与学的方式,达到传统教学手段难以企及的效果.

DIMA系统实时通信流量的时延分析方法

在分布式综合模块化航空电子(DIMA)系统中,采用综合化互连,同时支持时间触发(TT)通信流量和事件触发通信的速率约束(RC)流量。使用体系结构分析与设计语言(AADL)建立DIMA系统实时通信任务模型,提出一套基于模型的实时通信流量时延分析方法。对于TT流量,在AADL"流时延"框架下进行分析;对于RC流量,开发模型转换工具,将网络配置转换为便于实时演算(RTC)的参数,求解最坏情况下的时延;两方面相结合,实现DIMA系统混合关键性流量的端到端实时性能分析。通过一个典型的案例验证了该流量建模与时延分析方法的有效性。

DIMA系统资源配置优化算法研究

分布式综合模块化航空电子(Distributed Integrated Modular Avionics,DIMA)系统硬件模块通用性和结构开放性的特点,使得系统具有灵活性、可重用性和互操作性等优点。然而,航空电子模块功能及数量的持续增长和技术上的高自由度使得确定一个资源利用最优的DIMA系统变得十分困难。针对如何以最少的资源获取DIMA系统最优性能的问题,提出了一种DIMA系统资源配置优化算法,实现了对多目标的评估和优化。

DIMA系统网络通信技术方案选择

分布式综合模块化航空电子系统(DIMA)已成为未来新一代航空电子系统的发展方向。为解决DIMA系统网络通信技术方案的选择问题,构建了系统体系结构模型,以通信、导航与识别综合系统为切入点讨论了其与联合式系统和综合模块化航空电子系统的区别与联系;基于此,总结了DIMA系统的网络通信需求,并通过对比分析光纤通道、航空电子全双工交换式以太网和时间触发以太网,确定了采用时间触发网络实现DIMA系统网络互连在实时可靠通信和系统增量升级等方面的优势。

基于形式化方法的DIMA动态重构仿真与验证

针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。

NCDSN台站DIMAS系统中震相标识的再现

NCDSN台站的数字地震资料在PC机上通常使用DIMAS系统进行处理,当用户使用WGSNPLOT.EXE图形分析软件分析处理完一个地震,它不会像SUN工作站上使用的ARS系统那样能对处理过的波形及标识进行存储,以便需要时重新显示于屏幕上,本文在这方面作了一些探索,所开发的软件能使数字地震波形的标识重新显示在波形图上,使得再次分析使用变得简单易行。

Electrolux建设机械公司向中国市场推出DIMAS和PARTNER两个品牌

在最近的中国上海Bauma展上，Electrolux建设机械公司亚太区总经理Lloyd Williams先生宣布其在中国设立新建设机械办事处。分别设在上海、厦门、北京和深珈的这些办事处将为建设行业提供完整的销售、服务和技术支持。

DIMA平台下高中函数图象教学要注意解析性与几何性的一致性

DIMA平台下高中函数图象教学可以充分发挥该平台的验证展示和动态演示等功能,但其局限性也较为明显,主要体现在容易忽视细节和作图过程,也容易受到技术限制和海量数据的困扰.函数图象教学的传统处理方式尽管平衡点的把握科学,但过分倚重图象的几何性较为突出.要与时俱进地进行DIMA平台下高中函数图象教学,需要注意图象解析性与几何性的一致性.主要策略是仍然重视描点作图,并且在得到图象和应用图象时使得图象的解析性和几何性得到统一.

基于时钟偏斜的DIMA系统通信调度方法

针对分布式集成的DIMA网络系统提出一种基于时钟偏斜的时间触发通信调度方法。该方法在考虑时钟同步误差和时钟漂移造成的时钟偏斜情况下,对时间触发消息流传输路径相邻上下级联设备的调度窗口进行紧密排布,在时钟偏斜误差范围内实现了时间触发消息的无冲突传输。案例表明,该调度算法实现的消息传输时延与消息最小传输时延一致,保障了时间触发消息端到端传输的确定性;即使考虑时钟偏斜影响,采用该算法所带来的传输延时误差不超过5μs,具有接近消息最好传输延时的保障能力。