基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

带有蓄热型直接冷凝式加热板的空气源热泵系统性能研究

针对现有的空气源热泵冬季供热系统，提出了一种使用新型蓄热型直接冷凝式加热板（RHP）的空气源热泵供热系统，并测试了RHP的热性能和系统的运行特性，同时分析了系统的效率和经济性。实验结果表明，在39℃的冷凝温度下，RHP的热容量高达1044 W，RHP的蓄热量大于1000 kJ。在室外空气温度为8℃时，系统COP高达3.7。此外，对于20 m²的居住房间而言，该系统的供暖初始投资成本和总运行成本分别为3174.7 CNY和510.7 CNY，在居住建筑冬季供暖领域具有较大的竞争力。     

ASIC原型构建：是做还是买？

随着数字集成电路(IC)的设计变得更加复杂,验证其功能的工作也越来越复杂了。在能被设计的门电路数量和能在合理时间内被验证的门电路数量之间一直存在差距,而这些年来,EDA厂商们在缩小这种差距方面几乎无所作为。     

射频晶圆测试:半导体生产的紧急需要

主要半导体生产商最近承认,开发和生产先进IC卡迫切需要晶片级射频测量。在某种程度上,这一直是 ITRS建模与仿真技术工作组所倡导的:射频紧凑型模型的参数提取更适合将射频测量降到最少。如有必要,     

固体酸烷基化工艺完成验证

芬兰纳斯特（Neste）石油公司采用固体酸催化剂（SAC）的烷基化验证装置加工炼油厂烯烃，采用环境友好的沸石催化剂，截至2006年2月已运转2年。反应系统液相温度为50—90℃，无需硫酸法技术所需的制冷。异丁彬烯烃（I／O）值为8～10。催化剂在气相下用氢气在250℃下进行再生，即氢气汽提／中温再生（MTR）。     

安捷伦宣布其WiMAX预先一致性测试和生产解决方案顺利通过验证

近日．安捷伦科技公司宣布：其WiMAX设计验证和生产解决方案已经成功交付并获多家客户采用。这些解决方案拥有其他厂商的产品所无法比拟的卓越性能和功能，为工程师测试固定802．16-2004和移动802．16e-2005 WiMAX PHY提供了强大的研发和一致性测量能力。     

一种新的基于SRAM的快速综合技术

对静态随机存储器(SRAM)全定制设计过程中的版图设计工作量大、重复性强的问题进行了分析,并在此基础上提出了一种新的应用于SRAM设计的快速综合技术。这种技术充分利用SRAM电路重复单元多的特点,在设计过程中尽可能把电路版图的硬件设计转换为使用软件来实现,节省了大量的版图设计和验证的时间,从而提高了工作效率。这种技术在龙芯Ⅱ号CPU的SRAM设计中得到了应用;芯片采用的是中芯国际0.18μm CM O S工艺。流片验证表明,该技术对于大容量的SRAM设计是较为准确而且有效的。     

黑河流域水循环系统的分布式模拟(Ⅰ)——模型开发与验证

从水循环的物理机制着手，在考虑人工侧支循环的基础上，以现代地理信息技术为数据处理平台，开发了黑河流域水循环系统的分布式模拟模型。文中系统描述了模型结构，从水循环过程和能量循环过程2个方面对模型各要素的过程模拟进行了阐述，其中水循环过程包括蒸发蒸腾、入渗与径流、地下水运动、地下水流出和地下水溢出、坡面汇流与河道汇流、人工侧支循环等要素过程。在获取各类输入参数后，采用1km网格、以日为时间步长对黑河流域上、中游地区(36 728个网格单元)进行了1981～2002年的逐日模拟。结果表明，所建立的分布式模型对月径流过程和日平均流量过程具有较高模拟精度。校正期内前后两个验证期均得到良好验证。该模型可用于预测未来环境变化条件下流域水资源演变。     

利用SoC平台设计并验证MPEG-4/JPEG编解码IP

随着硅工艺在几何尺寸上的不断缩小,芯片的设计者事实上能将所有系统功能整合在单一芯片上。许多芯片制造商和设计者在面对客户对于多功能、低功耗、低成本及小型化的需求时,认为SoC的高集成度是解决问题的万能药方。不幸的是,设计的生产力跟不上摩尔定律的速度。