计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2011年
1期
9-11,15
,共4页
李金奎%刘久富%娄坚波%王伟
李金奎%劉久富%婁堅波%王偉
리금규%류구부%루견파%왕위
有色petri网%并行测试%可达树
有色petri網%併行測試%可達樹
유색petri망%병행측시%가체수
并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术.传统的串行测试方法和串行任务调度方法日益体现出了它的局限性.文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petfi网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用有色Petri网的可达树方法分析验证所建立模型的有界性、活性、公平性.验证结果证明了所建模型的正确性,解决了并行测试建模难的问题,提出了一种新的对复杂系统的建模方法.
併行測試技術對推動科學的髮展起著重要作用,如今科學技術的髮展和工程問題的解決都離不開併行處理技術.傳統的串行測試方法和串行任務調度方法日益體現齣瞭它的跼限性.文中將併行測試調度與建模方法作為主要研究內容,以併行任務調度算法為基礎,依據有色petfi網的建模理論與方法,建立瞭基于實例的併行測試繫統有色Petri網模型,用有色Petri網的可達樹方法分析驗證所建立模型的有界性、活性、公平性.驗證結果證明瞭所建模型的正確性,解決瞭併行測試建模難的問題,提齣瞭一種新的對複雜繫統的建模方法.
병행측시기술대추동과학적발전기착중요작용,여금과학기술적발전화공정문제적해결도리불개병행처리기술.전통적천행측시방법화천행임무조도방법일익체현출료타적국한성.문중장병행측시조도여건모방법작위주요연구내용,이병행임무조도산법위기출,의거유색petfi망적건모이론여방법,건립료기우실례적병행측시계통유색Petri망모형,용유색Petri망적가체수방법분석험증소건립모형적유계성、활성、공평성.험증결과증명료소건모형적정학성,해결료병행측시건모난적문제,제출료일충신적대복잡계통적건모방법.
