西华大学学报（自然科学版）
西華大學學報（自然科學版）
서화대학학보（자연과학판）
JOURNAL OF XIHUA UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
3期
1-6
,共6页
计算模型%图灵机%Petri网%计算%模型
計算模型%圖靈機%Petri網%計算%模型
계산모형%도령궤%Petri망%계산%모형
形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制.Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处；图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念.文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法.最后,用交通管理系统为例说明形式化方法的运用.
形式化的軟件開髮方法是建立在嚴格數學基礎上的,其目標是通過嚴格的分析、驗證髮現軟件設計及開髮過程中的模糊性和不完備性,以達到對軟件質量的有效控製.Petri網是形式化軟件開髮的一種很好的描述工具,它在描述異步併髮的環境、模型驗證等方麵有著獨到之處；圖靈機是迄今為止計算能力最彊的計算模型,在理論層麵上有著其他模型不可替代的重要作用,它深刻地刻畫瞭物理世界的可識彆與可判定2箇重要的概唸.文章給齣瞭這2種計算模型的一些基本概唸、結論以及解決問題的主要方法.最後,用交通管理繫統為例說明形式化方法的運用.
형식화적연건개발방법시건립재엄격수학기출상적,기목표시통과엄격적분석、험증발현연건설계급개발과정중적모호성화불완비성,이체도대연건질량적유효공제.Petri망시형식화연건개발적일충흔호적묘술공구,타재묘술이보병발적배경、모형험증등방면유착독도지처；도령궤시흘금위지계산능력최강적계산모형,재이론층면상유착기타모형불가체대적중요작용,타심각지각화료물리세계적가식별여가판정2개중요적개념.문장급출료저2충계산모형적일사기본개념、결론이급해결문제적주요방법.최후,용교통관리계통위례설명형식화방법적운용.
