期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于Rhapsody实时框架的操作系统适配过程的分析与研究
1
作者 齐晓斌 张楠 《科技创新导报》 2013年第18期38-39,共2页
该文介绍了Rhapsody环境下基于OXF实时框架的操作系统适配原理及过程,分析了通过OXF进行模型调试的原理。
关键词 oxf OSAL RTOS 适配器 模型调试
在线阅读 下载PDF
基于UML的可执行模型实现机制研究 被引量:2
2
作者 付佩 谷青范 《航空电子技术》 2013年第1期10-14,共5页
模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和... 模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。 展开更多
关键词 对象可执行框架 状态图 模型验证 统一建模语言(UML)
在线阅读 下载PDF
[Sn_(3)OF]PO_(4)vs.[Sn_(3)F_(3)]PO_(4):enhancing birefringence by breaking the R3 symmetry and realigning lone pairs
3
作者 Yuhan Hu Xi Xu +6 位作者 Ruixi Wang Jingyun Han Shunsong Zhang Shuhui Zhan Jingyu Guo Li-Ming Wu Ling Chen 《Inorganic Chemistry Frontiers》 2024年第17期5648-5656,共9页
Tin(II)-containing phosphates are promising candidates for designing and studying materials with enhanced birefringence.Herein,we present a novel compound[Sn_(3)OF]PO_(4)that exhibits significant birefringence(Δnobv.... Tin(II)-containing phosphates are promising candidates for designing and studying materials with enhanced birefringence.Herein,we present a novel compound[Sn_(3)OF]PO_(4)that exhibits significant birefringence(Δnobv.=0.117 at 546 nm),a five-fold improvement compared to that of the related compound[Sn_(3)F_(3)]PO_(4)discovered nearly 40 years ago.The remarkable enhancement in birefringence is primarily attributed to the anisotropic[SnO_(3)F]_(5)−structure building unit.By simple regulation of the F/O ratio,the undesirable R3 symmetry in[Sn_(3)F_(3)]PO_(4)is disrupted.This regulation also realigns the lone pairs,resulting in substantial optical anisotropy. 展开更多
关键词 designing studying materials lone pairs tin containing phosphates enhanced birefringencehereinwe optical anisotropy birefringence Sn oxf PO symmetry
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部