期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
RTCA/DO-331标准研究 被引量:3
1
作者 居慧 《民用飞机设计与研究》 2018年第3期118-123,共6页
为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》... 为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。 展开更多
关键词 DO-331 基于模型的开发和验证 机载软件 合格审定
下载PDF
基于问题导向的大学生批判性思维培养探讨——以土地复垦学课程为例
2
作者 吕春娟 陈卫国 +1 位作者 梁建财 孙则朋 《智慧农业导刊》 2023年第23期138-141,共4页
高校是培养创新创业人才的主要源头,要有所创新,必须有批判意识,但是批判性思维人才的培养又是高等教育比较缺乏的。该研究以土地整治工程专业核心课程土地复垦学为载体,以布鲁姆层级性的认知目标为理论基础,在教学过程初步探索出以学... 高校是培养创新创业人才的主要源头,要有所创新,必须有批判意识,但是批判性思维人才的培养又是高等教育比较缺乏的。该研究以土地整治工程专业核心课程土地复垦学为载体,以布鲁姆层级性的认知目标为理论基础,在教学过程初步探索出以学生为中心、以问题为导向,课堂学习—课程实习—项目训练—培养环境创设逐级递进的大学生批判性思维的培养模式;并提出课前-课中-课后三阶段问题导向模式和阶梯型问题导向的“331”模式,逐级引导学生思考,促进学生公正的批判性思维发展与形成,以适应国土综合整治人才需求。 展开更多
关键词 布鲁姆认知目标 331”问题导向 逐级递进培养模式 批判性思维 土地复垦学
下载PDF
基于SCADE的航空发动机FADEC软件开发 被引量:10
3
作者 周彰毅 黄浩 +1 位作者 方伟 朱理化 《测控技术》 CSCD 2018年第1期110-115,共6页
机载软件开发面临复杂性、安全性和成本等方面的巨大挑战。针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用。探索了两种不同的SCADE基于模型开发解决方案,基于这两种方... 机载软件开发面临复杂性、安全性和成本等方面的巨大挑战。针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用。探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发。通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性。提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项。分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足。 展开更多
关键词 FADEC 基于模型开发 SCADE 模型覆盖率 DO-331
下载PDF
Lepton Flavor Violating Decays τ → μM in the 331 Model
4
作者 华天 岳崇兴 《Communications in Theoretical Physics》 SCIE CAS CSCD 2014年第9期388-392,共5页
Considering the experimental constraints on the free parameters of the 331 model with a leptonic sector consistent of five triplets, we investigate the lepton flavor violation(LFV) tau decays τ→μM with M = P and V,... Considering the experimental constraints on the free parameters of the 331 model with a leptonic sector consistent of five triplets, we investigate the lepton flavor violation(LFV) tau decays τ→μM with M = P and V,where P and V denote a pseudoscalar meson(π, η or η′) and a vector meson(ρ0, ω or φ), respectively. We find that the contributions of the 331 model to the LFV decays τ→μM mainly come from the new neutral gauge boson Z′. The 331 model considered in this paper can not make the values of the branching ratio Br(τ→μM) approach the corresponding experimental upper limits. 展开更多
关键词 LEPTON FAVOR VIOLATION tau DECAYS the 331 model
原文传递
Chromomagnetic and chromoelectric dipole moments of quarks in the reduced 331 model
5
作者 A.I.Hemandez-Juarez G.Tavares-Velasco A.Moyotl 《Chinese Physics C》 SCIE CAS CSCD 2021年第11期11-24,共14页
The one-loop contributions to the chromomagnetic dipole momentˆμt(q2)and electric dipole momentˆd t(q2)of the top quark are calculated within the reduced 331 model(RM331)for non-zero q2.It is argued that the results ... The one-loop contributions to the chromomagnetic dipole momentˆμt(q2)and electric dipole momentˆd t(q2)of the top quark are calculated within the reduced 331 model(RM331)for non-zero q2.It is argued that the results are gauge independent and thus represent valid observable quantities.In the RM331,ˆμt(q2)receives new contributions from two heavy gauge bosons,namely Z′and V±,and one neutral scalar boson h2,along with a new contribution from the standard model's Higgs boson via flavor changing neutral currents.The latter,which is also mediated by the Z′gauge boson and the scalar boson h2,can provide a non-vanishingˆd t(q2)if there is a CP-violating phase.The analytical results are presented in terms of both Feynman parameter integrals and Passarino-Veltman scalar functions,which are useful to cross-check the numerical results.Bothˆμt(q2)andˆd t(q2)are numerically evaluated for parameter values still allowed by the constraints from experimental data.It is found that the new one-loop contributions of the RM331 to the real(imaginary)part ofˆμt(q2)are of the order of 10−5(10−6),which means at least three orders of magnitude smaller than the standard model prediction but larger than the predictions of other models of new physics.In the RM331,the dominant contribution arises from the V±gauge boson for‖q‖in the 30-1000 GeV interval and a mass mV of the order of a few hundreds of GeV.As forˆd t(q2),it receives its largest contribution from h2 exchange and can reach values of the order of 10−19,i.e.,smaller than the contributions predicted by other standard model extensions. 展开更多
关键词 chromomagnetic chromoelectric 331 models
原文传递
矢量双轻子与大型强子对撞机上的Higgs数据
6
作者 岳崇兴 赵诗禹 《吉林师范大学学报(自然科学版)》 2014年第2期7-10,共4页
考虑到反常磁矩aμ对RM331模型自由参数的限制,本文计算了矢量双轻子V±,U±±对Higgs衰变过程h→γγ和h→Zγ的贡献.数值结果显示:在合理的参数范围内,矢量双轻子可解释LHCγγ产生道的相关数据.
关键词 矢量双轻子 331模型 HIGGS玻色子
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部