时间π演算及其弱时间互模拟分析.pdfVIP

第12卷第4期 计算机集成制造系统 V01．12No．4 006 2 006年4月 ManufacturingSystems Apr．2 ComputerIntegrated 文章编号：1006—5911(2006)04--0511一05 时间丌演算及其弱时间互模拟分析 许可，刘连臣，吴澄 (清华大学自动化系，北京 100084) 摘 要：为了提高丌演算对系统时间特性进行建模和分析的能力，针对可重人流生产线系统的特点，提出了一 种基于持续活动和同步一等待交互方式的时间良构的时间7l演算，即T一丌演算。提出了一种新的弱时间互模拟 关系，对模型的现有等价性判别条件进行了松弛。作为对T一丌演算的有效性检验，利用T一丌演算对可重人流生 产线进行了形式化描述，在此基础上进行了其等价性分析，并给出了其可调度性判据。 关键词：时间丌演算；等价性分析；可调度性分析；形式化描述；可重人流生产线 中图分类号：TP301．2 文献标识码：A Time万calculusandweak—timedmutual--simulation analysis XUKe。LJULian—chen，WU Cheng 100084，China) (Dep．ofAutomation，TsinghuaUniv．，Beijing extendthe of，rcalculusin and time—related ofa well Abstract：To capacity modelinganalyzing propertiessystem，a 一timed”calculuswithdurationalactionsand interaction T一7fcalculus，was busy—waitingmechanism，namely line weak—timedmutual—simula— basedonthecharacteristicsofre—entrant new proposed productionsystem．A tion wasalso torelaxthemodel conditionsin mutual——simulationrela—- relationshippresented equivalency existing illustratetheeffectivenessofthe calculus，are～entrant linewasformal— tionships．Besides。to proposed production its izedwithT一丌calculus．Basedontheformal was