【摘 要】
：
形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化
【基金项目】
：
四川省教育厅应用基础研究项目(09226030);西华大学计算机软件与理论重点学科建设(SED0802-09-1)
论文部分内容阅读
形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。
其他文献
<正>DRAM价格正在暴跌。512Mb的DDR2 SDRAM的批发价在一年之间已经跌到原来的1/3～1/5。这对于设备生产商非常有利,因为他们能够在低价产品中集成更大容量的内存。到目前为此,D
伴随着国民经济的快速发展,我国电力工程迎来了十分良好的发展机遇,发展水平呈现出不断增长的趋势,且用户普及范围也在逐步扩大。面对着不同用电需求的电力用户,电力工程的建
采用紫外分光光度法和目视比色法进行氯化铵药效学试验，比较两种方法作为祛痰药药效学试验方法的可行性。结果表明两种试验方法之间无显著性差异，但紫外分光光度法具有精确性高
讨论了金属阻燃剂作为矿粉一部分添加到阻燃沥青中的可行性,并对阻燃沥青的制备流程进行了讨论;采用极限氧指数,研究添加不同金属氢氧化物阻燃剂对沥青性能的影响,并由热重试
电力工程施工现场可能会因为生产环境问题、流动量大、生产设备陈旧等因素出现安全隐患。最近几年来,传统的安全生产形式已经不能满足电力工程的发展,也与现代的安全生产管理
滕州凤凰大道桥为配合所在新区发展的总体目标,故在桥梁景观效果方面要求较高。详细介绍了滕州凤凰大道桥桥梁景观方案的设计过程,包括基本概况、技术指标、区域历史文化背景
无锌花镀锌板光整后下线时未发现灰色斑点,但放置20余天后表面出现深浅不一的灰色斑点。针对这种表面缺陷,对灰色斑点处镀锌板进行了微观形貌观察与能谱分析。结果表明:镀锌
目的探讨经皮经肝超声造影显像在评估兔VX2肝癌腹腔淋巴转移中的应用价值。方法新西兰大白兔30只,分为正常对照组(A组)5只,肝癌种植组(B组)25只,同时在癌组织及癌周组织注射
随着技术的进步与发展,国内外学者早已利用不同的技术手段对水质指标的评价与估算开展了大量研究,但是利用二维荧光峰值估算水质指标的方法尚不多见。以艾比湖流域地表水为研