【摘 要】
:
计算理论是计算机软件理论领域的基石。它的发展直接影响计算机科学家今天的工作。图灵机是自动机发展的高级形式,是迄今为止模拟能力最强的计算模型,但是其结构特点不便描述
论文部分内容阅读
计算理论是计算机软件理论领域的基石。它的发展直接影响计算机科学家今天的工作。图灵机是自动机发展的高级形式,是迄今为止模拟能力最强的计算模型,但是其结构特点不便描述并行、并发、异步、分布、具有随机性或抽象层次较高的系统。Petri网是一种适合描述各种具有并发现象的计算模型,也是一种对系统软件形式化、图形化的描述和分析工具,具有直观、易懂和易用的优点。通过多种分析技术对模型进行分析,即可得到有关系统静态结构和动态行为方面的信息,根据这些信息可以对要开发的系统进行评价和改进。由“自动机”的内涵,将Petri网化归为自动机发展的高级形式之一。对图灵机和Petri网以及带抑制弧的增广Petri网模拟能力、分析技术和各自的优势作了详细的阐述及比较,并在此基础上,考虑图灵机的模拟能力,利用多带图灵机作为计算模型,定义了递归技术转移函数形式,给出图灵机调用的实现方法,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的;考虑Petri网与带抑制弧的增广Petri网的模拟能力,采用P/T网构建了一类B/S架构的在线评测系统层次模型,根据系统功能,提出了保证系统功能正确性应具有的重要性质;利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后,对模型进行了验证。
其他文献
近年来随着许多P2P(Peer-to-Peer,即对等网)系统的成功应用,P2P技术成为了人们研究热潮。目前P2P主要应用于大规模的搜索和资源共享,由于P2P面临用户分布广泛、数量巨大、结点行为
随着我国网络用户规模的快速增长,网络的异构性与复杂性越来越高,网络管理变得越来越重要且困难。网络管理中的“以人为本”理念促生了一种基于用户网络行为的网络管理模型,该模
计算机视觉技术快速发展,在很多领域都受到关注,其中三维重建技术,更是视觉研究中的热点问题,应用在计算机动画、医学图像处理、虚拟现实和航天等领域。深度获取是三维重建的
Perti网采用可视化图形描述但被形式化的数学方法所支持,表达离散事件动态系统的静态结构和动态变化。它是一种结构化的离散事件动态系统描述工具,对于具有异步并发、分布、
福建省厦门市翔安区已成为我国冬季胡萝卜最具优势的种植区,是我国冬春季胡萝卜最大的出口基地。基于此,阐述胡萝卜栽培品种选择、整地施肥、播种、田间管理和病虫害防治等内
某市建一铅锌矿,前后用户近十年的功夫、投资5000多万儿人民币,才初步形成一个n处理原矿3王川的采选工程。然而,该企业从15)叶年S月投料试车至今,屡因设备原因造成停车、停产及超
《军队党的生活》试刊号印发部队后,不仅在广大基层部队引起了强烈反响和好评,同时也引起了全军各大单位组织部门的高度关注。各大单位组织部长纷纷寄语本刊,给予《军队党的
温家宝总理在《关于当前农业和农村工作的几个问题》中指出,“农民工已成为我国产业工人的重要组成部分,是工业化、城镇化、现代化的重要推动力量。如何对待农民工,不是一件
随着信息科技的发展和人类需求的扩张,国家、社会和人们对信息系统的依赖程度越来越深。保障信息系统安全是新形势下必须要正视的重要问题。信息安全风险评估对保障信息系统
本文提出了一种基于LUT的FPGA的时序分析方法和后仿真设计方案,并予以实现。在时序分析阶段,从FPGA芯片结构和电路的布线信息中抽象出时序节点和时序边来构造时序图,根据时序