综合显示与加固平板显示器的技术发展

简要阐述了综合显示与加固平板显示器技术发展概况,并对综合显示体系结构及三种平板显示器加固方法、应用场合进行了探讨。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

舰载电子设备布线设计方法及其工程应用

针对舰载电子设备布线所导致的电磁兼容问题,以及传统电子设备布线设计效率和布线施工效率低等问题,在介绍布线设计技术的基础上,提出了一种舰载电子设备布线设计的方法。在此基础上,给出了在没有进行三维布线设计的情况下,布线设计的替代方案——一种简化的布线设计方法。通过舰载电子设备布线设计,给出了解决电子设备电磁兼容问题的方法,提高了电子设备布线设计效率和布线施工效率。