排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
AADL 测试模型的构造研究 总被引:1,自引:0,他引:1
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果. 相似文献
2.
3.
4.
随着社会对节能降耗的日益重视,人们越来越关注建筑保温材料的应用,外墙保温作为一项系统工程,只有通过对各工序的严格控制,才能保证建筑节能效果,文章介绍了挤塑聚苯板的施工方法、施工中的注意事项。 相似文献
5.
6.
7.
8.
GaAs光电阴极以其量子效率高、光谱可调等优点广泛应用于微光夜视领域,尤其以高积分灵敏度的特性区别于多碱光电阴极,而GaAs光电阴极负电子亲合势的特性是通过Cs,O激活实现的,但是激活结束后,负电子亲合势的维持受诸多因素影响,如激活源、激活方式、气体氛围等。为了探究超高真空系统中影响GaAs光电阴极稳定性的因素,开展了GaAs光电阴极的激活实验和稳定性实验,对激活光电流曲线与腔室气体成分进行了监测,实验结果表明,在真空度优于1×10?6 Pa的高真空系统中,影响其稳定性的是腔室中的气体成分,其中对稳定性影响最大的是H2O,真空系统中H2O分压的增加会导致GaAs光电阴极的Cs,O激活层迅速破坏,光电发射能力急剧下降。 相似文献
9.
本文将蒸压粉煤灰实心砖和多孔砖砌体复合抗剪强度性能试验得出的抗剪强度平均值公式,用于22片蒸压粉煤灰实心砖墙抗剪试验结果的计算分析,结果表明吻合性较好;也进一步验证了"变摩擦系数剪摩理论",为<蒸压粉煤灰砖砌体建筑技术规范>编制和<砌体结构设计规范>GB50003的修订提供参考数据. 相似文献
10.