1 |
董威,王戟,齐治昌;并发和实时系统的模型检验技术[J];计算机研究与发展;2001年06期 |
2 |
王鹏;王向云;蔡开元;;基于DES监督控制理论的安全关键系统设计研究[J];工业控制计算机;2006年03期 |
3 |
王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期 |
4 |
戈应安,刘松强,王砚方;采用分布式实时操作系统的容错系统的设计与实现[J];核电子学与探测技术;1999年05期 |
5 |
史立,马然,张兆扬;计算机和实时计算[J];微机发展;2000年01期 |
6 |
王长武,陈运生,杨国来;虚拟自行火炮分布式实时动力学仿真系统[J];计算机工程;2001年09期 |
7 |
王文生,郭阳雪,张晔,宋慧营,王洪尊;光电混合联合变换相关器目标探测与识别[J];仪器仪表学报;2002年S3期 |
8 |
王文生,郭阳雪,张晔,宋慧营,王洪尊;光电混合联合变换相关器目标探测与识别[J];长春理工大学学报;2002年02期 |
9 |
姜震,邵定蓉,熊华钢;航电系统SCI环型互连的可靠性建模研究[J];北京航空航天大学学报;2004年03期 |
10 |
张亮,孙海东,贺勇;车载动态实时可视化交通信息服务系统[J];中南公路工程;2004年01期 |
11 |
钟德明,刘斌,阮镰;嵌入式软件仿真测试单机平台实时任务调度方法研究[J];测控技术;2004年04期 |
12 |
江明德,菊燕;面向对象程序设计体裁嵌入FFP-AST系统[J];软件学报;1990年04期 |
13 |
李莞菁;管理信息系统与自动化立体仓库集成技术[J];计算机工程;1996年S1期 |
14 |
王璞,张臻鉴,周凯,王玉玺;面向实时嵌入式机载软件的测试技术研究[J];航空计算技术;1997年04期 |
15 |
戴君,赵海洋,冯心海;机器视觉[J];机械设计与制造工程;1998年04期 |
16 |
王璞,张臻鉴,王玉玺;基于覆盖的软件测试技术在实时嵌入式软件中的应用研究[J];计算机工程与设计;1998年06期 |
17 |
朱亚云,方承远;Windows环境下实现实时数据采集的可行性[J];上海理工大学学报;1999年02期 |
18 |
邢晓波,阮建山;Visual Basic 在实时数据采集中的应用[J];江苏电机工程;1999年03期 |
19 |
何嘉,徐虹;网络股票分析交易系统[J];西南师范大学学报(自然科学版);2001年03期 |
20 |
刘建峰,尚利宏,金惠华;嵌入式实时集成开发环境TornadoII及其应用[J];计算机系统应用;2001年03期 |