说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 进程等价
1)  process equivalences
进程等价
1.
Then we will revisit some important behavioral equivalences(or process equivalences) and their logic characterizations,also including the linear/branching time hierarchy which was proposed by Rob J.
然后我们将回顾一些重要的行为等价(或进程等价)关系以及它们的逻辑刻画,还包括由Rob J。
2)  equivalent equation
等价方程
1.
The equivalent equation was obtained.
得到了这个方程的等价方程。
3)  process evaluation
进程评价
4)  process dispatcher
进程等程序
5)  decimal equivalent
十进制相等,等价十进制
6)  equivalent Markov process
等价Markov过程
1.
Based on the theory of performance potentials and the method of equivalent Markov process, the performance optimization problem is discussed for a class of semi-Markov decision processes (SMDPs) with parameterized randomized stationary policies and a simulation optimization algorithm is proposed.
基于性能势理论和等价Markov过程方法,研究了一类半Markov决策过程(SMDP)在参数化随机平稳策略下的仿真优化算法,并简要分析了算法的收敛性。
补充资料:进程


进程
process

  !ineheng进程(p似ess)程序的一次执行过程。反过来看,程序则是进程的一种静态描述。进程是在操作系统的管理下被启动,进人运行状态,并在一定条件下中止或结束的。进程的运行需要使用一定的计算机资源(处理器、内存、各种外部设备等)。因此,进程又是操作系统调度的基本单位。 一个普通(非并发)的程序被执行时,相当于产生了一个新的进程;执行完毕后,这个进程就消亡了。为了提高程序的执行速度,可以把一个程序设计成多个可以“同时”执行的部分,这就是所谓的并发程序。执行并发程序时,可以有多个对应于此程序的进程同时处于运行状态。其中不同的进程如果在某一瞬间使用的是不同种类的资源,或者虽然是同一类、但是系统拥有多台这类设备(例如,多处理器系统中的多台处理器),那么这时这些进程是真正在物理上“同时”运行的。反之,它们就必须以某种次序轮番运行。但我们认为它们在逻辑上仍然是可以“同时运行”的。 然而,除了资源使用上的冲突之外,并发程序中的多个进程之间并非完全独立无关,它们之间往往需要相互合作,才能协同完成任务。例如进程A在运行到某一阶段后,必须等待进程B向它提交某种数据,然后才能继续运行,这就是一种通信关系。还有一种是“互斥关系”,例如,有一个飞机订票系统,为每一订票终端都安排了一个对应的进程。每当有一个旅客在某一个窗口订票时,相应的进程便被启动,去查看是否有空位。如果有,就出售与该座位对应的票,并修改数据,以免该票被重复出售。但是,由于不同售票窗口对应的进程是可以“同时运行”的,因此有可能出现两个进程同时查看同一座位的情况:两个进程同时发现同一座位有空。于是仍然会出现一张票卖给两位旅客的错误。为了避免这一点,只需规定“查看是否有空位”的这一段程序在同一时刻最多只能让一个进程进人。 并行程序中的多个进程不一定是在一开始就同时出现并一直维持到整个程序结束,而是可以根据需要动态地产生和消亡。换言之,一个进程可以在运行过程中派生出新的进程来。新派生出来的进程又可以继续派生下一代的进程,于是形成了进程之间的“父子关系”。当一个新的子进程诞生时,它所需要的资源通常是由其父进程的资源中划分而来。不同的进程在互相独立的内存空间中运行,这一点是和“线程”不同的。同一进程内又可以分解为若干线程,这些线程在逻辑上也是可以同时运行的,但是它们共享同一内存空间,因此线程之间的调度无需操作系统的介人,从而减小了系统开销、提高了效率。(周踢令)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条