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

The Global Properties of Valid Formulas in Modal Logic K

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