首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   0篇
  国内免费   1篇
电工技术   1篇
自动化技术   1篇
  2015年   1篇
  1990年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
基于形式化方法的航空电子系统检测   总被引:1,自引:0,他引:1  
李睿  连航  马世龙  黎涛 《软件学报》2015,26(2):181-201
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.  相似文献   
2.
偶氮氯膦类显色剂曾用于钢铁和镍基合金等材料中稀土的测定,近期,文献报导了用二溴硝基偶氮氯麟作铈组稀土显色剂并用于镍基合金和彩色显像管玻璃中铈的测定。我们应用这一新型稀土显色剂进行了直接光度法测定铜合金中铈组稀土的研究,籍EDTA-Zn盐和氟化铵掩蔽伴存离子,用六偏磷酸钠褪色作参比抵消基体的干扰。试样酸溶后即可分液在磷酸-EDTA  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号