论文部分内容阅读
软件工具去年，很多工程应用软件都由ＵＮＩＸ转移到ＷｉｎｄｏｗｓＮＴ操作系统上，在不同厂商提供的应用软件之间以及工程设计过程的不同阶段之间开始普遍考虑互操作性的问题，同时，电子设计的主流也开始大量使用形式化验证方法。１９９７年，从ＵＮＩＸ向Ｗｉｎｄｏｗ...
软件工具
【摘 要】
：
软件工具去年，很多工程应用软件都由ＵＮＩＸ转移到ＷｉｎｄｏｗｓＮＴ操作系统上，在不同厂商提供的应用软件之间以及工程设计过程的不同阶段之间开始普遍考虑互操作性的问题，同时，电子设计的主流也开始大量
【机 构】
：
北京大学
【出 处】
：
电子科技导报
【发表日期】
：
1997年5期
其他文献
《源氏物语》是日本的一部古典文学名著,对于日本文学的发展产生过巨大影响,是日本古典文学的高峰。其中的主人公光源氏的一生跌宕起伏,女性角色的刻画更是栩栩如生。其中最
患者女，31岁。以停经52d，腹胀伴下坠感半个月为主诉就诊，即往史G4P1，6年前经剖宫术产一活婴，查体：T：37℃，P：72次／min，BP：118／70mmHg（1mmHg=0．133kPa），一般状态佳。妇科检查：子宫超手拳大，压痛（＋），双
对外汉语视听说课是计算机辅助教学的成果之一,但在教学实践中存在时间紧张,生词难度大等问题。为了提升对外汉语视听说课的教学效果,本文主张将"翻转课堂"(Flipped Classroo
随着信息技术的迅猛发展,教育信息化进程正在加快和不断深入,信息技术在教育教学改革中起着越来越重要的作用。《国家中长期教育改革和发展规划纲要(2010-2020年)》提出了信
本文是对吐鲁番地区维吾尔族国家通用语言文字使用情况的专项调查,通过数据统计,对当地维吾尔族教师、中学生、大学生在校园语言选择以及国家通用语言文字使用及掌握情况进行
患者女，22岁。G1P0，无糖尿病，非近亲结婚。孕32周时外院行常规产前超声检查，未发现明显异常。孕39”周来我院进行产前最后一次超声检查。超声显示：双顶径9．5cm，头围34．7cm，腹围33．5cm，股
在语言景观中,商店名称标牌与生活联系紧密,很大程度.上反映了标牌创设者的心理及所处社会的文化背景。本文对西安市与石家庄市的商店标牌展开对比分析,发现两地区店名标牌存
学前教育是一个人终身学习的开端。承载学前教育主体功能的幼儿园教育,其目标是教育和促进幼儿的身心健康发展。幼儿园教育的社会属性主要体现为基础教育属性、教育公平属性
【摘 要】数学是小学课程体系的重要组成部分，对学生核心素养的培养应为第一要务，必须引起教师们的高度关注。将素质教育理念与创新教学元素有机结合在一起，组织形式多样、内容丰富的练习活动，发挥学生主体作用，构建和谐师生关系，这是学生身心健康成长的一种保障，也是基础教育现代化进程不断加快的关键所在。在实践过程中，数学教师要学会尊重学生、认可学生、表扬学生，灵活变换教学手段，活跃学生抽象思维，让学生切实感知