首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   1篇
金属工艺   2篇
自动化技术   2篇
  2016年   1篇
  2014年   1篇
  1997年   1篇
  1995年   1篇
排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
2.
Verification of Real-Time Systems using Linear Relation Analysis   总被引:3,自引:2,他引:1  
Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic discovery of invariant linear inequalities among numerical variables of a program. In this paper, we apply such an analysis to the verification of quantitative time properties of two kinds of systems: synchronous programs and linear hybrid systems.  相似文献   
3.
Grit blasting (corundum) of an austenitic AISI 304 stainless steel (18Cr-8Ni) and of a low-alloy SA213 T22 ferritic steel (2.25Cr-1Mo) followed by annealing in argon resulted in enhanced outward diffusion of Cr, Mn, and Fe. Whereas 3 bar of blasting pressure allowed to grow more Cr2O3 and Mn x Cr3?x O4 spinel-rich scales, higher pressures gave rise to Fe2O3-enriched layers and were therefore disregarded. The effect of annealing pre-oxidation treatment on the isothermal oxidation resistance was subsequently evaluated for 48 h for both steels and the results were compared with their polished counterparts. The change of oxidation kinetics of the pre-oxidized 18Cr-8Ni samples at 850 °C was ascribed to the growth of a duplex Cr2O3/Mn x Cr3?x O4 scale that remained adherent to the substrate. Such a positive effect was less marked when considering the oxidation kinetics of the 2.25Cr-1Mo steel but a more compact and thinner Fe x Cr3?x O4 subscale grew at 650 °C compared to that of the polished samples. It appeared that the beneficial effect is very sensitive to the experimental blasting conditions. The input of Raman micro-spectroscopy was shown to be of ground importance in the precise identification of multiple oxide phases grown under the different conditions investigated in this study.  相似文献   
4.
This paper describes the Russian rover Marsokhod, designed by Babakin Center for Mars exploration and the navigation sub-system based on stereovision developed by the French Space Agency C.N.E.S. to provide the rover with autonomous motion ability, improving thus its exploration range on the surface of Mars. Tests of the complete vehicle, including autonomous locomotion, has been recently fulfilled on a Mars-like area build in C.N.E.S. for this purpose by a joined Russian-French team; the main results and conclusions of these test are related.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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