排序方式: 共有30条查询结果,搜索用时 0 毫秒
21.
22.
随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。 相似文献
23.
体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景。但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证。提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本。最后,通过具体实例验证了该方法的可实施性和有效性。 相似文献
24.
四港联动大道南延与省道102互通式立交暨京港澳高速薛店互通改建工程根据其特点和规模,结合施工地点的地质水文条件、气候条件、机械设备和材料供应等客观条件,运用先进技术,对主要工种施工的施工工艺原理和施工方法进行研究,保证了工程质量和施工安全。工程选择经济、合理的施工方案,并根据工程质量验收标准进行检查,做到了技术和经济的统一,为四港联动大道南延与省道102互通式立交暨京港澳高速薛店互通立交提供更为便捷快速的交通通道。 相似文献
25.
26.
27.
28.
29.
源于机器声源的矿井掘进工作面及巷道环境噪声严重影响着矿工的身心健康,并可能掩蔽各种安全警报信号而成为安全事故的重大隐患.简要分析了典型掘进工作面机器噪声和巷道环境噪声特点,重点论述了预测与控制掘进工作面及巷道环境噪声密切相关的凿岩机器噪声辐射机理、噪声源时空特性、矿(煤)岩力学特性对机器噪声影响、巷道声学长空间环境噪声传播与衰减规律及噪声控制等领域的主要研究课题和研究进展,为掘工作面及巷道环境噪声预测与控制提供了一定依据. 相似文献
30.
大峪镇高效节水示范项目区位于济源市西南部,现有农业灌溉工程设施较少,由于投入严重不足,造成工程年久失修,灌溉保证率低,农田水利建设滞后,严重影响了项目区农村产业结构的调整和农民增收,针对项目区实际,实施高效节水灌溉工程,可促进项目区农村产业结构的调整和农民增收需要,为济源市山丘区发展高效节水灌溉农业奠定基础。 相似文献