排序方式： 共有2条查询结果，搜索用时 0 毫秒
1
1.
模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计，往往是由多个相互关联的部分组成，利用此特点，本文提出一种基于模块的层次化建模方法，通过对设计描述进行分析。并结合待验证的性质，达到提高模型判别器性能的目的。实验表明，用这种模型可以实现状态数的有效减少。 相似文献
2.
正引言随着电动汽车的大力发展,近年来电网行业的户外充电设施越来越多,很多室内的控制机柜已经转向户外,户外机柜主要是由一些控制器组织,由于户外的环境恶劣,特别是夏季高温情况,户外机柜在没有任何遮挡的情况下,机柜内部电子运行热量,加上外部太阳光照射的热量,这些热量促使机柜内部温度急剧上升,很有可能超出电子元器件的允许超出的范围,从而导致设备无法运行严重情况下还会导致整个系统的瘫痪及安全事故。一般情况下,元器件的环境温度升高 相似文献
1