期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Windows环境下开发实时系统的尝试被引量：3

The Global Properties of Valid Formulas in Modal Logic K

下载PDF

导出

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

作者彭光正高赛李直

机构地区北京理工大学自动控制系

出处《计算机应用》 CSCD 1996年第5期45-47,共3页 journal of Computer Applications

基金国家自然科学基金

关键词 WINDOWS 实时系统中断实时操作系统 Modal logic system K, global property, tableau method, automated reasoning

分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献4

1王宗和，微电脑世界，1996年，1期被引量：1
2罗蕾，微型计算机，1996年，1期被引量：1
3谭志斌，中国计算机用户，1996年，3/4期被引量：1
4张旭东，IBM微型机实用接口技术，1993年被引量：1

同被引文献6

1李秀明,吴明,张颖川.windows中断程序设计[J].微电脑世界,1996(9):68-71. 被引量：7
2黄芳,刘孟衡.WINDOWS环境下开发实时系统的关键[J].长沙铁道学院学报,1998,16(3):62-66. 被引量：2
3牛文娟,王为胜.WINDOWS 环境下计算机实时系统的开发[J].微型机与应用,1998,17(11):19-21. 被引量：2
4王飞杰,纪晏宁,张义民.Windows NT实时系统中的安全设置[J].计算机应用,2001,21(9):96-96. 被引量：1
5侯方,游有鹏.Windows95/98实时系统的实现[J].机械制造与自动化,2002,12(2):46-48. 被引量：1
6闫守孟,李孝安,周兴社.Windows2000/NT用于实时系统的方案研究[J].计算机应用研究,2003,20(3):118-120. 被引量：9

引证文献3

1师黎,万红,吴天福.微机过程控制平台的研究与开发[J].计算技术与自动化,1997,16(4):47-50.
2黄芳,刘孟衡.WINDOWS环境下开发实时系统的关键[J].长沙铁道学院学报,1998,16(3):62-66. 被引量：2
3刘惠义,秦益,郑晓东.Windows2000/NT环境下实时系统的开发[J].计算机与现代化,2004(4):63-66. 被引量：5

二级引证文献7

1许磊,王榕,姚敏立.TIS系统的弱实时多任务网关的设计[J].电光与控制,2007,14(4):159-162.
2刘振吉,底健.基于Windows平台的测控系统的实时性优化方法[J].信息与电子工程,2008,6(5):383-386. 被引量：4
3王芳,王琨琦,梅雪松.基于Windows的线接触加工数控系统实时性研究[J].现代电子技术,2009,32(9):146-148. 被引量：1
4王芳,王琨琦,梅雪松.基于Windows全软件数控系统实时性的研究[J].西安工业大学学报,2009,29(3):228-233. 被引量：6
5黄芳,刘孟衡,吴元龙.WINDOWS环境下轴承压装压力实时监测系统[J].计算机应用研究,1999,16(3):100-102.
6马建萍,范秀峰.Windows NT在机载雷达成像中的实时应用[J].微计算机应用,2010,31(10):62-65. 被引量：1
7刘惠义,秦益,郑晓东.Windows2000/NT环境下实时系统的开发[J].计算机与现代化,2004(4):63-66. 被引量：5

1李直,高赛.Windows环境下实时系统的开发技术[J].中国计算机用户,1996(11):44-45. 被引量：11
2彭光正,高赛.Windwos环境下开发实时系统的尝试[J].微小型计算机开发与应用,1996(5):17-21.
3李竹青,徐建南,王志刚,田书林.基于异步I/O与多线程技术的数据采集卡软件设计[J].测控技术,2008,27(8):86-88. 被引量：2
4蒋平,王晓伟,王杨正,徐珂,黄松涛.遗传算法的改进策略及其在非线性发电机励磁系统参数辨识中的应用[J].电力自动化设备,2008,28(6):31-35. 被引量：7
5陈伟.缤纷的Unix[J].微电脑世界,1999,0(3):37-38.
6姜涛.浅谈Windows 95多任务及其应用[J].个人电脑,1996,2(9):175-176.
7聂伟强,熊剑,严隽.在Symbain OS环境下用活动对象处理非抢先式多任务[J].科技广场,2005(3):84-85. 被引量：1
8电子百科[J].世界电子元器件,2010(12):48-48.
9蔡小隽,钱松荣.Windows NT网络操作系统[J].电脑技术——Hello-IT,1997(1):5-7.
10卢海峰.Windows CE[J].电子科技,2001,14(14):32-34. 被引量：4

计算机应用

1996年第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部