节点文献

Windows环境下开发实时系统的尝试

The Global Properties of Valid Formulas in Modal Logic K

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 彭光正； 高赛； 李直；

【Author】 彭光正，高赛，李直

【机构】 北京理工大学自动控制系；

【摘要】 针对Ｗｉｎｄｏｗｓ的非抢先式多任务调度机制使其不适于作为实时系统的支撑环境这一弱点，本文提出了综合改进措施和方法。

【关键词】 Windows系统； 实时系统； Windows定时器； 中断技术； 内存映像输入输出；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
  • 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,1996年06期
  • 【分类号】TP311.5
  • 【被引频次】1
  • 【下载频次】27
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)