摘要：本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。

摘要：本文介绍了一种用厚膜集成电路测试中以电子模拟开关设计的数据采集接口电路及其软件设计。该接口电路可以用于汽车、摩托车电子电器生产中的厚膜电路测试。该电路具有测试速度快、精度高、寿命长、使用方便、程序设计简便的特点。根据本接口电路设计的厚膜电路自动测试仪已投入生产运行。

摘要：从两个方面讨论了等强度汽车弹簧钢片截面尺寸的设计，并用实例对其中的等宽度设计法进行了校核。

摘要：ＣＡＤ教学的研究和实践李祖珉赵明富万文略（重庆工业管理学院电子工程系重庆６３００５０）以计算机为工具进行工程设计的技术———计算机辅助设计（ＣＡＤ），是一项进行现代化工程设计的重要技术。使用ＣＡＤ技术可以大大提高工程设计质量，缩短产品的设计周期和生产...

摘要：《微机原理及应用》课程教学的改革和实践赵明富，李祖珉，黄丽雯，李文杰，胡顺仁（重庆工业管理学院电子工程系）作为信息处理的有效工具，电子计算机问世对现代社会的巨大影响，使人们不得不正视它、学习它，以便适应现代社会的发展。学习计算机的目的，对大多数人来说...