论文部分内容阅读
一种自动验证组合逻辑器件功能的方法
【机 构】
：
中国科学院计算所
【出 处】
：
第二届全国逻辑设计自动化学术会
【发表日期】
：
1990年期
其他文献
【摘要】在新的教学理念的指导下，为了提高小学语文课堂教学的效果，就要灵活运用恰当的教学对策，使语文教学真正成为促进学生全面发展的教学。文章从联系学生生活实际、导语设计和运用现代教学媒体方面进行了教学对策的分析。 【关键词】小学语文 课堂教学 教学质量 提高 【中图分类号】G623.2【文献标识码】A 【文章编号】2095-3089（2016）09-0050-01 《语文课程标准》指出“语文教
【摘要】当前阶段，多元文化背景下高职思想政治教育改革正在面临着空前绝后的发展契机。高职校院校需要在面对这一契机过程中，不断强化自我的主流观念，深化马克思主义对于高职院校思想政治教育工作改革的教学价值。为此，笔者在文中主要对多元文化背景下，高职教育院校政治教育改革的现状进行分析。 【关键词】多元文化背景 高职教育院校 思想政治教育 【中图分类号】G711【文献标识码】A 【文章编号】2095-3
【摘要】随着教育改革的深入和社会的发展，高校学生价值观、人生观和思想道德观等都受到影响，尤其是高校边缘化学生，这些学生思想简单，容易受外界因素干扰，对于这些边缘化学生，需要高校辅导员做好思想政治教育工作，为我国培养综合素质人才奠定基础。 【关键词】高校辅导员 边缘化学生 思政工作 【中图分类号】G641【文献标识码】A 【文章编号】2095-3089（2016）09-0055-01 前言：高
该文介绍一种新的编程语言LEP。LEP语言是Proloy语言与方程编程语言相结合的编程语言，它包括了上述两种语言成分各自所有的特点。LEP语言以单向语义合一（BiasedSemanticunifica
该文提出了一种新型的逻辑程序设计语言PLL，它具有比一般逻辑程序更广泛的语义，即增加了非终止计算语义，作者利用逻辑程序理论，证明了在一定的条件下，这种扩充是具有完备性和可靠
本文介绍了在充分研究减速器的工艺过程设计以及镗、铣、钻床和加工中心的加工特点的基础上，运用生成式的设计原理，使用面向对象的程序设计语言C++设计一个CAPP系统原型的实例．
【摘要】医德作为一种特殊的职业道德，其形成与发展经历了漫长的过程，医德教育的发展是人类社会文明的体现。当前，中国医疗体制改革进程缓慢，医疗问题层出不穷，医患关系紧张，医疗事故和医疗腐败事件频发，甚至出现伤医杀医等恶劣事件，严重影响了社会的繁荣与稳定，“塌方式”的医德缺失充分暴露了中国医德教育体制的缺陷和医德教育相关研究的滞后。当前医学院校医德教育应结合人文素质教育，丰富医德教育内容，拓展教育途径，