marte相关论文
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的......
Investigations of a nanostructured FeMnSi shape memory alloy produced via severe plastic deformation
Low-cost iron-based shape memory alloys(SMAs) show great potential for engineering applications. The developments of new......
Effects of solidification parameters on microstructure and mechanical properties of continuous colum
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Analysis of phase transformation from austenite to martensite in NiTi alloy strips under uniaxial te
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
采用自主研制的超低碳氮强化药芯焊丝,利用明弧摆动堆焊技术,选择合适的堆焊工艺参数,在42CrMo板表面堆焊形成马氏体不锈钢堆焊层......
Effects of solidification parameters on microstructure and mechanical properties of continuous colum
Effects of melt temperature and casting speed on microstructure and mechanical properties of Cu-14％Al-3.8％Ni (mass fractio......
Analysis of phase transformation from austenite to martensite in NiTi alloy strips under uniaxial te
Phase transformation from austenite to martensite in NiTi alloy strips under the uniaxial tension has been observed in e......
UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语......
研制的新型高强韧性耐磨钢,铸态空冷及淬火回火处理均可获得细小或隐晶马氏体,少量贝氏体和残留奥氏体以及碳化物.铸态淬火回火处......
模型驱动体系结构（MDA）是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型......
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模......
通过对焊接接头疲劳断口的观察研究，讨论了控制接头疲劳失效的疲劳机理。实验研究了焊接接头的母材、焊缝及热影响区的微观组织形态......
对X80级弯管热加工工艺过程中热处理工艺对材料强度、韧性的影响规律及材料组织的变化规律进行了研究.统计分析结果表明,控制能使X......
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的......
软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测......
嵌入式软件在关键领域的广泛应用使其对可信性的需求远远高于一般软件。由于嵌入式软件在体系架构、资源限制、应用环境等方面的特......
信息物理系统(Cyber Physical System, CPS)是在环境感知的基础之上,通过3C技术(Computation, Communication, Control)的有机融合......
通过研究AADL模型结构和Fiacre的模型特征,探讨了从AADL模型到Fiacre模型转换问题。在语义层,通过构造模型转换的语义映射规则,实......
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统......
