INCISIVE FORMAL VERIFIER

Incisive~Formal Verifier为您的工作平台带来了形式分析的强大性能,能够令生产力大幅提高,并提升设计质量。作为Incisive平台的全套断言式验证解决方案的一个关键组件,Incisive Formal Verifier让你能够提前几个月开始验证,降低了重新投片的风险,加快了上市时间。     

无代码嵌入式系统设计工具——PSoC Express

在线座谈（Online Seminar）是中电网于2000年推出的创新服务。通过“视频演示＋专家解说＋在线问答”三位一体相结合的形式．充分发挥网络平台的便捷性。实现了先进半导体技术提供商与系统设计工程师的实时互动交流，其形式和内容都广受电子行业工程师的好评。本刊每期将挑选一些精华内容整理成文，以飨读者。欲了解更多、更详细的内容，敬请登录http：／／seminar．eccn．com。[编者按]     

纵向翅片扁管换热器的结构优化

通过建立数值优化模型,对纵向翅片扁管换热器进行结构优化,得到了翅片长度、翅片间距及翅片高度对换热器热阻及空气侧对流换热系数的影响,同时还研究了不同热源温度、不同风速时换热器的优化结构,为工程应用提供了参考。     

壁温周期变化引起的一维热声波的数值模拟

本文采用可压缩流动的SIMPLE算法对壁温周期变化引起的气体中的一维热声波的产生和传播进行了数值模拟,分析了其中的流动和换热规律.计算结果表明,壁面温度周期变化可以产生大振幅的热声波,当其达到准平衡状态时温度产生稳态的超温现象,超温幅度的大小和极值的位置随着加热温度的振幅和频率变化而不同.超温现象导致冷壁面的温度梯度增大,强化了介质与冷壁面间的换热.     

精密可靠且使用寿命更长的电能测量解决方案CS5466

迄今为止,全球至少已安装10亿个电子和机械电能表,其中10%到15%是三相电能表,其余都是单相电能表.未来10年,中国的电能表市场将占全球市场的40%.但是,中国目前使用的电能表大部分是机械电能表,没有任何智能,完全需要人工操作.一旦某一地区断电,电力公司只能从用户反馈得知故障信息.而电子电能表却能主动帮助电力公司迅速找到故障,缩短维修时间.同时,电子电能表的整个系统寿命也更长.此外,电子电能表还可以联网,不需要人工操作就能实现自动读表等功能.     

iKey1000数字印章解决方案

目前,传统的签名与盖章方式已满足不了办公电子化发展的需求,存在着很大的局限性,主要体现在与现代化办公之间的矛盾.因此传统的盖章和签名的确认方式在这样的环境下将无法继续.此外,出于环保和成本的考虑,无纸化办公也会是今后的发展方向.但是由于办公过程中对盖章和签名的依赖,我们在无纸化的过程中将会遇到新的问题,这样的办公环境下,如何直观、有效地声明和确认审阅者的意见?     

创建高可用性的必由之路

IT微环境即使对很多经验丰富的技术工程师来说,可能也是个非常新的概念.但是,它与可用性的关系却是非常密切的.IT微环境指的每个机架中的IT设备运行所依赖的环境.而这个IT微环境是由NCPI中包含的电力、空调、监控等关键元素构成的.要提高整体IT系统的可用性必须从提高IT微环境的可用性入手.比如,如果整个机房的温度、湿度控制在标准值之内,并不意味着每个机架中温度、湿度控制在了标准值之内,某个机架中正在运行的服务器和其它IT设备多,这个机架中的温度不可避免的要高.所以只有保证了每个IT微环境的可用性,才能真正提高整体IT系统的可用性.     

高效、方便的光接收机灵敏度测试新方法

光接收机的灵敏度是数字光通信系统的一个重要指标,它是指光接收机在达到规定的比特差错率时所能接收到的最低平均光功率.在光接收机的生产制造、安装调试、系统验收和日常维护中,光接收机的灵敏度测试都是至关重要和必不可少的.     

Telex/EVI产品技术研讨会

Telex集团于2004年5月28—29日在北京国宾酒店举办了2004亚太区Telex／EVI产品技术研讨会(北京)。研讨会共有300多位来自亚太区及国内的音响专家及经销商应邀出席,分享和见证了我们首次大型中国研讨会的成功和喜悦。     

高速数字系统中的信号完整性调试

什么是信号完整性?信号完整性工程是在数字系统设计过程中实施的一项操作,旨在确保所设计的系统完全满足规范要求,其中包括最大定时与噪声容限等设计问题,以及波形、串扰、电磁接口等约定的模拟特性.当系统性能得到提高时,以上二级或三级效应便上升为一级效应,而这些效应是否能够得到控制则关系到整个项目的成败.