期刊文献+

四位单片微机时钟温度计测控制器

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 本文介绍利用低档的—位单片微机开发的时钟温度计测控制器,较详细地介绍了测温原理、测温实际方法、计时方法以及温度控制等,给出了硬件的构成图和软件设计框图。
作者 孙传锋
机构地区 上海交通大学
出处 《计算机应用研究》 CSCD 1996年第3期82-83,共2页 Application Research of Computers
关键词 微机 时钟 温度计测控制器 温度测量 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部