排序方式： 共有5条查询结果，搜索用时 15 毫秒
1
1.
以PVA为分散介质,通过低温固相反应合成了组成结构均匀的单相超微Zn0.5Fe2.5O4颗粒,然后经成型、高温气氛控制反应烧结成功制备得到具有Zn0.5Fe2.5O4-（α-Fe2O3）双相微结构的多晶隧道结磁致电阻材料.利用DAT/TG、IR、XRD、SEM和VSM-4探针磁电阻测定等技术,就超微Zn0.5Fe2.5O4颗粒的合成和Zn0.5Fe2.5O4-（α-Fe2O3）多晶隧道结磁致电阻材料的微结构特征及其磁致电阻效应进行了初步测定和分析讨论.研究发现,不同溶液动力学条件下合成粉体的粒径明显不同,且在烧结过程中一定氧分压的存在有利于绝缘层的形成. 相似文献
2.
形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段. 相似文献
3.
常类型是指使用类型修饰符const说明的类型，常类型变量或对象的值是不可能更新的，所以能够达到既保证数据共享，又防止改变数据的目的．本文主要介绍了如何使用const限定符来提高程序的健壮性以及如何避免使用过程中易出现的错误． 相似文献
4.
顺应我国建材行业低碳循环发展,本文基于六四格玛精益思想,从建材工业发展现状与趋向入手,在实现资源合理配置,流程高效以及杜绝浪费、提高效率等方面进行探讨。 相似文献
5.
在VC＋＋中利用API实现多线程编程实例 总被引：1，自引：0，他引：1
32位Windows环境下的Win32 API提供了一些多线程应用程序开发所需要的接口函数,本文介绍了一种在Visual C＋＋中利用Win32 API编制多线程程序的实例,有助于加深对Windows多线程编程技术的认识及理解． 相似文献
1