VLSI设计形式验证理论的研究

基本信息
批准号:69476018
项目类别:面上项目
资助金额:6.00
负责人:刘明业
学科分类:
依托单位:北京理工大学
批准年份:1994
结题年份:1997
起止时间:1995-01-01 - 1997-12-31
项目状态: 已结题
项目参与者:樊孝忠,叶梅龙,牛振东,颜宗福,许庆平,张东晓,田宁红,桓东辉
关键词:
形式验证集成电路设计自动化
结项摘要

提高磁感、降低铁损一直是硅钢研究的重要课题。通过减薄板厚来实现大幅度地降低铁损是目前较有效的方法。采用剪切变形轧制极薄取向硅钢带,并经过适当的高温热处理,使其发生三次再结晶,所获得的极薄硅钢带是一种磁性能很高的可与铁基非晶态材料相媲美的磁性材料。采用同步和异步两种轧制方法,将二次再结晶后的硅钢带冷轧至0.1mm以下,经过不同热处理温度,不同保温时间的高温热处理,研究上述不同因素对薄带织构、磁性能及三次再结晶行为的影响。结果发现:采用异步轧制改变了硅钢冷轧织构分布,其亚表层和心部织构有利于形成高斯织构。异步轧制薄带的磁性能优于同步轧制的,并且发生了以表面能为驱动力的三次再结晶。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

硬件木马:关键问题研究进展及新动向

硬件木马:关键问题研究进展及新动向

DOI:
发表时间:2018
2

滚动直线导轨副静刚度试验装置设计

滚动直线导轨副静刚度试验装置设计

DOI:
发表时间:2017
3

基于混合优化方法的大口径主镜设计

基于混合优化方法的大口径主镜设计

DOI:10.3788/AOS202040.2212001
发表时间:2020
4

变可信度近似模型及其在复杂装备优化设计中的应用研究进展

变可信度近似模型及其在复杂装备优化设计中的应用研究进展

DOI:10.3901/jme.2020.24.219
发表时间:2020
5

瞬态波位移场计算方法在相控阵声场模拟中的实验验证

瞬态波位移场计算方法在相控阵声场模拟中的实验验证

DOI:
发表时间:2020

刘明业的其他基金

批准号:69276017
批准年份:1992
资助金额:3.00
项目类别:面上项目

相似国自然基金

1

VLSI设计中逻辑验证方法的研究

批准号:69773006
批准年份:1997
负责人:石茵
学科分类:F0209
资助金额:10.00
项目类别:面上项目
2

硬件设计的形式验证

批准号:68973020
批准年份:1989
负责人:韩俊岗
学科分类:F0209
资助金额:1.50
项目类别:面上项目
3

VLSI硬件逻辑功能验证理论和测试策略

批准号:68976033
批准年份:1989
负责人:刘泽坚
学科分类:F0402
资助金额:2.50
项目类别:面上项目
4

覆盖率驱动的VLSI功能验证理论与方法

批准号:60573173
批准年份:2005
负责人:郭阳
学科分类:F0209
资助金额:24.00
项目类别:面上项目