NbTiTa超导体的特性与发展

介绍了NbTiTa超导体的加工工艺,与NbTi相比较讨论了NbTiTa超导体微观组织、临界电流密度、上临界场的特点.根据已获得的研究成果预测了NbTiTa超导体可能的发展方向.     

代码生成器形式化验证技术研究

代码生成器已经广泛应用于嵌入式控制软件的开发。对于安全攸关的软件系统,对软件可靠性有很高的要求,代码生成器作为工具软件被要求与所生成代码有相同的可靠性,形式化验证方法可有效保证代码生成器的可靠性。本文介绍了用于构建形式化验证代码生成器的方法,针对Lustre到C的代码生成器给出Lustre和C的抽象语法,并定义Lustre到C翻译过程的语义保持性。