论文部分内容阅读
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术.文章在陈述覆盖评估意义的基础上,详细介绍了现有的各类覆盖评估准则,剖析了各个准则的优缺点,并通过实验得出比较数据.
模拟验证中的覆盖评估准则
【摘 要】
：
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术.文章在陈述覆盖评估意义的
【机 构】
：
中国科学院计算技术研究所
【出 处】
：
微电子学与计算机
【发表日期】
：
2003年2期
其他文献
【摘要】 课堂教学应当以点带线、以线带面，循序渐进，培养学生的基础能力，同时注重实例的运用，引导学生反思，培养学生的问题解决能力. 文章立足于初中数学课堂教学，探讨了点、线、面知识解读框架的构建. 【关键词】 初中数学；课堂教学；点线面 在课堂学习中，当学生在完成了一系列的数学概念、定理或者公式等基本认知后，让他们对自己的学习过程和学习对象的特征重新进行一次再认知、再分析、再评价与再调整，这无
【本刊讯】8月18日，中央宣传部、中央直属机关工委、中央国家机关工委、教育部、中央军委政治工作部、北京市委在京举办“砥砺奋进的五年”系列报告会首场报告会，国家发展改革
车削大直径R弧球道辅具的设计，通过设计一套单级圆柱蜗杆、蜗轮减速器，采用手动控制以实现在空间交错的两轴间传递运动和动力，使刀具与蜗轮同步旋转达到车削圆弧的目的。
【摘要】数学是思维的科学.数学对于学生思维能力的形成和科学的思维态度的养成具有不可替代的作用.因此，数学教学不仅要教给学生数学的概念、公式、定理等具体的数学知识，更应教给学生数学的思维方式、数学的思想方法和科学研究的一般方法，在发展数学能力的同时发展学生的问题意识和解决问题的能力.笔者参与了“数学‘四W’思维导向教学策略”这个课题，以“四W”思维为设计导向，设计了算法与框图教学实验，以文字、符号、
据中国航天科技信息网2009年12月7日报道，美国空军12月5日使用联合发射联盟的德尔它-4火箭成功发射了一颗新一代军用通信卫星——宽带全球卫星通信-3（WGS-3）。此次发射的WGS-3价
本文在吸收听觉生理学研究成果基础上,建立了一个模拟外围听觉系统和部分中枢神经系统功能的听觉模型。该模型作为前端处理来提取语音信号的自相关图谱,并且通过听觉模型的反演实现了从信号的自相关图谱中重构原始的语音信号。实验结果表明,通过听觉模型反演从信号的自相关图谱中恢复出的语音信号,具有较好的自然度和良好的噪声鲁棒性。
数学教学提倡有效教学，高中数学对于学生的未来发展起着至关重要的作用，而有效教学对于提高学生数学成绩和数学素养十分重要.那么如何进行有效教学呢，我将从以下几个方面进行阐述. 一、高中数学教学的有效教学 建构式教学当中指出，有效的课堂教学能够提升学生的学习动力和学习乐趣，有效的课堂教学能够促进学生对学习知识的能力吸收. 二、高中数学教学的“有效性”问题 了解到高中数学有效性教学的一个问题，那就
暖通空调系统在建筑中的能耗占比巨大,因此对其节能性研究十分必要。文中在分析暖通空调系统能耗的组成的基础上,分别就设计阶段和运行阶段空调系统的节能给出了相应的节能措
IPv6不但解决了当今IP地址匮乏的问题,并且由于它引入了加密和认证机制,实现了基于网络层的身份认证,确保了数据包的完整性和机密性,因此,可以说IPv6实现了网络层安全.但是,
【摘要】影响教学质量的最关键因素是课堂教学效率，而如何提高课堂教学的效率，不仅是教师需要注意的关键，同时是学生需要思考的问题，本文根据在教学过程里所得的经验，分析了现今高中数学课堂教学出现的问题，根据对于问题的分析，做出了解决相关问题的对策，望能够对提高数学教学效率有所帮助，进而促进学生在数学学科上的进步。 【关键词】高中教学；教学效率；策略 在当前，对于大部分高中的数学教学来说，普遍存在着老