To extend the capacity of π calculus in modeling and analyzing time-related properties of a system,a well-timed π calculus with durational actions and busy-waiting interaction mechanism,namely T-π calculus,was proposed based on the characteristics of re-entrant production line system.
为了提高π演算对系统时间特性进行建模和分析的能力,针对可重入流生产线系统的特点,提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算,即T-π演算。
By transforming the re-entrant models into models subject to parallel chain precedence constraints,we successfully get the optimal polynomial time algorithms for two objective functions of the problem,one is the total weighted completion timeΣw_jC_j,and the other is the maximum cost h_(max).
本文考虑带重入的单台机排序问题。
In view of the multiple re-entrant characteristics of wafer manufacturing systems,this paper presents some concepts such as cycle time per layer and logical layer number.
针对晶圆制造系统的多重入特性,提出了层周期、逻辑层数等概念。
Basing on the analysis of DOS system it has solved successfully the problems of about design and realization of code rewriting, task suspended and resume, screen preservation and restoration in DOS state.
本文就在DOS状态下如何实现屏幕保护进行了研究和探讨，在全面剖析DOS的基础上，成功地解决了代码重入、任务切换、汉字系统伪文本方式的识别，计算机屏幕的保护与恢复等设计DOS下屏幕保护程序的难题，实现了DOS下的屏幕保护。
