简介：能源是经济发展的物质基础，有了充足的能源才能保证国民经济的可持续发展。我国虽然地大物博，但是人均占有量却非常之低。随着我国经济的快速增长，能源需求急剧上升，能源进口也逐年增加。此外，由于我国的能源结构是以煤炭为主，因此由经济发展带来的能源安全和环境问题已日益突出。因此，从能源安全、减少污染、改善生态环境和立足于本国资源诸方面来考虑，开发利用安全、可靠的清洁能源——新能源和可再生能源，

简介：为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否合理，而静态Formal验证技术采用数学穷举的方法，利用断言对设计中的同步器进行快速验证，确保数据的可靠传输，有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查，并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性，可极大地提高复杂设计的验证效率和鲁棒性。

简介：全球领先的网络基础设施专家，总部位于康涅狄格州水城的美国西蒙公司近期发布了建筑信息模型（BIM）的增补解决方案，该方案符合美国建筑师学会（AIA）和美国国家建筑科学研究所（NIBS）标准，可在AutodeskSeek网站上获取，或访问西蒙公司官网www．siemon．Com下载。美国西蒙公司长期致力于为建造师和工程师提供有价值的教育材料和工具，新版建筑信息模型（BIM）就属于此类材料。

简介：文章从纸质资源借阅情况、借还周转情况和借阅倾向等方面对J院馆藏纸质资源利用情况进行调查,研究表明：该校借阅总量和人均借阅量总体上保持持续增长态势。并从图书馆因素（如资源、管理、服务、阅读推广等）、学校因素（如政策引导、晚自习管理、手机规范等）、学生自身因素等方面对其原因进行了较为详尽的分析,以供同行参考。