期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
双馈风力发电机转轴静强度及疲劳校核分析 被引量：1
1
作者 吴冰 王建良 《微特电机》 2022年第9期33-35,47,共4页
对某型号双馈风力发电机转轴进行了静强度及疲劳校核分析。通过静应力分析,明确电机转轴的应力水平和分布状况,找出潜在的危险部位,分析转轴的疲劳强度;通过静强度校核,明确电机转轴在不同载荷工况下的设计裕量和安全系数,验证转轴是否... 对某型号双馈风力发电机转轴进行了静强度及疲劳校核分析。通过静应力分析,明确电机转轴的应力水平和分布状况,找出潜在的危险部位,分析转轴的疲劳强度;通过静强度校核,明确电机转轴在不同载荷工况下的设计裕量和安全系数,验证转轴是否满足发电机低电压穿越的要求;通过疲劳强度校核,给出转轴的疲劳安全系数;对转轴的不同结构工艺进行比较分析,找出最优的工艺结构;比较分析不同材料对转轴疲劳强度的影响,找出性价比最优的转轴材料。电机转轴静应力仿真分析流程和疲劳校核仿真分析方法为电机的科学合理设计提供理论依据。 展开更多
关键词 双馈风力发电机 转轴 静强度 疲劳强度 校核 结构工艺 静应力仿真分析 疲劳校核仿真分析
下载PDF
基于属性的形式验证技术及应用 被引量：1
2
作者 游余新 《中国集成电路》 2013年第12期31-36,50,共7页
为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对corner case进行快速验证,有效避免了一些设计缺陷。Mentor... 为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对corner case进行快速验证,有效避免了一些设计缺陷。Mentor公司的Questa Formal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。 展开更多
关键词 功能覆盖率 静态验证技术 FORMAL 断言
下载PDF
利用Formal引擎提升复杂设计跨时钟域的检查和验证效率 被引量：1
3
作者 游余新 《中国集成电路》 2017年第3期70-75,共6页
为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对... 为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的Questa CDC和Formal工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。 展开更多
关键词 亚稳态 跨时钟域检查 静态验证技术Formal 断言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部