12 daws c , yovine s . reducing the number of clock variables of timed automata . in proc . the 17th ieee real time systems symposium , rtss 96 , washington dc , usa , december 1996 , ieee computer society press , pp . 73 - 81 如果从某一个位置l出发，一个时间变量x在被重置之前，不会被任何转换用形如x
Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system 但是因为它又有别于一般的反应型系统，所以我们接着介绍了实时系统的特殊性，并且介绍了形式化方法面向实时系统的扩展。
The development of micro - electronic and high performance algorithms of spatio - temporal 2 - d spectra estimation offered probability for us to apply it on a real time system now 近年来随着微电子技术的发展，以及高性能时空二维谱估计算法的出现，使宽频段高分辨率时-空二维谱估计准实时系统的硬件实现成为可能。
Currently , the publishing of data in embedded real time system is of much concern . so the method we have discussed in this paper may be of help to those who do similar r & d work 嵌入式系统中的数据对外发布问题，是当前研究的一个热点，如何在现有的技术、设备条件下较好地解决这个问题，受到了相关科技人员的广泛关注。
It ’ s significant to develop the parallel multiprocessor real time system for our space discovery cause . the single cpu ’ s frequency cannot increase endlessness , because of the space environment ’ s high radiance 在满足航空芯片抗辐射性能要求下,单cpu的频率无法持续增长,研究星载嵌入式多处理器系统对于我国的航天事业具有十分深远的意义。
Fast wavelet transform was explained in order to applying wavelet methods in real time system . a kind of fast algorithm was given in this paper and it has the same efficiency as mallat algorithm 小波方法要在实时系统中得到应用，需要较快的计算速度，论文中对快速小波变换也有说明，并给出了一种快速算法，与常见的mallat算法具有同样的效率。
More and more engineers use the rtos ( real time operating system ) and software toolkit to develop embedded real time system . linux , as an open source , free , network operating system , are gradually under the developer ' s attention Linux作为嵌入式操作系统上的后起之秀，以其开放源代码、免费、可定制、对网络支持好等优点，逐渐受到开发者的重视。
Resolve the problem of real time system . research labview and windows multi - mission mechanism . devise and achieve time switch methodology , regular time methodology and event driver methodology 探讨了labview与windows操作系统的多任务运行机制，设计实现了时间片轮换调度、固定时间间隔调度、事件驱动调度等三种调度策略，实现labview环境下的多任务运行机制。
Nowadays , the developers of embedded real time system lay more emphasis on the features of the products , such as shortening the time of putting upon market , the elegance of interface and the ability to support network protocol 而今，嵌入式实时系统的开发则更看重产品的上市速度、界面的美观性、对网络协议的支持等等因素；基于rtos以及各种软件包来开发嵌入式实时系统已经成为主流。
In its , advanced information processing , communications , auto - control and computer engineering are synthetically applied in a whole transport management system to establish a precise and high efficient real time system Its是将先进的信息处理技术、数据通信技术、电子控制技术以及计算机处理技术等有效的综合运用于整个运输管理体系，从而建立起大范围内、全方位发挥作用的实时、准确、高效的管理运输系统。
