排序方式: 共有19条查询结果,搜索用时 0 毫秒
1.
张松年 《现代制造技术与装备》2000,(3)
本文主要说明理化检测在科研中的作用。研究固态相应选多种方法进行研究。本文主要选了用差动变压器膨胀仪测出加热膨胀曲线。而用示差热分析法和金相法证明膨胀曲线上第一个峰值不是相变温度.而是再结晶温度。α相转变为β相转变温度为860℃。 相似文献
2.
3.
4.
5.
6.
7.
8.
9.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。 相似文献
10.