随机petri网和系统性能评价
林闯,随机petri网和系统性能评价第二版狮机Per网都系统性能评价(第2版)林闯著清华大学出版社北京内容简介本书是随机Petr网理论和技术方面的专著,主要内容包括:各种随机Petr网理论和分析技术;随机Petr阿的模型方法模型的分解和压缩技术以及性能界限求解技术;随机 Petri网在通信议、ATM网络、柔性制造系统计算机系统和软件系统性能评价、工作流中的应用随机Peti阿软榫具。木书内容基本上是自包含的内容新颖,容易理解,便于应用。主要读者对象是计算机、首动控制等相关专业的大学高级学生研究生、程技术和科研人员。版权所有翻印必究。举报电话:010而282989135012566781380310933本书封面贴有清华大学出版社防伪标签,无标签者不得销售。本书防伪标签用特殊防伪校术,用户可遴过在图案表面涂抹清水,图案消失水干斤图聚复魂;或将表面得下,放在白纸上用彩笔涂抹,图案在白纸上再现的方法识别真伪a图书在版编自{CIP)数据随机 Petri阿和系统性能平价/林陶著.2版.一北京:清华大学出杜,205.4ISBN7-302-10651「.随…Ⅱ.林…Ⅲ.计算机网络F.TF393中国版本图书馆C]P数据核字(205)第020115号出版者:清华大学出版社地址:北京清华大学学研大度http://www.tup,comrn邮编:100084杜总权:010-6270175客户服务:(10-6277969资任编辑:醛證印利者:北京矗丰华彩印有限公司订者;…河市李旗庄少明装订厂发行者:新华书店总店北京发行所开本:185×260印张:23,75字教:546干字版次:n5年4月第?版205年4月第1次印刷书号:ISN7-502-10651-7/TP·7213印数:01~3000定价:49.00元第2版前言K随机Peti网和系统性能评价》一书出版已5年了,一本好的科技书都悬要通过使用、修改、再使用、再修改,而且计算机技术的发展日新月异,随机Per网作为描述计算机系统和网络的种重要的性能模型和分析具,也要不断完善,从而造应日益复杂的各种新的应用领域。因此在木书的第2版中,新增加了作者及网内外相关学者近些年来在该领域的最新科研城果:(1)在第5章中增加了一节“非乘积解随机 Petri网的乘积形式近似求解”,(2)在第6章中增加了一节“随机 Petri网非乘积解系统的判定与界限求解”,〔3)新增了第11章“在Web服务器集群中的应用”和第12章“在工作流中的应用”。同时,本版对原版中的一些错误也进行了更正。作者2095年2月12日前随着计算机科学和技术的发展,计算机应用不断普及和深入,人们越承越感到计算机系统性能评价在社会技术进步中的重要性。计算杌系统性能评价研究的目的主要有三个:选择、改进和设计。在众多的系统(方案)中选择—^最适合需要的系统(方案〕,即在一定的价格范围内迭择性能最好的系统达到较好的性能价格比;对已有系统的性能缺陷和瓶颈进行改进和提高其运行效率;对未米设计的系统进行性能预测,在性能成本方面实现最佳设计或配置计算机系统的性能般包括以下两个方面:个方面足它的可靠性或可利用性,亦即,计算机系统能正常工作的时间,其指标可以是能够持续工作的时间长度,如平均无故障时间;也可以是在一段时间内,能正常工作的时间所占的百分比。另一方面是它的处理能力或效率。这又可分为三类指标:一类指标是各种吞吐率,如系统在单位时间内能处理正常作业的个数。另类指标是各种响应的时间,即从系统得到输人至给出输出之间的时间。再一类指标是各种利用率,即在给定的时间区间中,各种部件(包括硬设备利软系统)被使月的时间与整个时间之比。当然不同的系统对性能指标的描述有所不同例如局域网络常用的性能评估指标为信道传输速率、信道吞吐量和容量、信道利用率、传输延迟、响应时间和负载能力等计算机系统的性能取决于多种因素,最基本的因素是系统的配置{即指系统构成所包括的各种软件、硬件的成分、数量、能力和系统结构、处理和调度策略路等〕和系统负载(即指工作负载和丁作方式例如交方式批处理方式等性能評价的主要仟务就是研究系统配置、系统负载性能指标之间的相互关系。性能评价的方法大致可以分为两类:1)测量方法通过一定的测量设备或一定的测量程序可以直接从计算机系统测得各项性能指标或与之密切相关的量,然后由它们经过些简单的运算求出柑应的性能描标。这是最直接也是最基本的方法,其他方法在定程度上也要依赖于它。但是这种方法只能适用于已经存在并运行的系统,面且比较费时间。测量方案和测量手段是测量方法的关键(2)模型方法首先对要评价的计算机系统建立一个适当的模型,然后求出模型的性能指标,以便对系统进行性能评价。模型中一般包括许多参数,这些参数的确定往往依赖于对实际系统的测量结果或对系统参数的佔价。与测量方法相比,模型方法有两个优点:—是它不仅可以应用于已有的系统的性能评价,而且也可以应用于尚未存在系统的性能预测;是它的T作量一般比测量方法要小,比测量手段的费用要少。模型方法又可分为模拟方法和分析方法两种。模拟方法是用一个程序动态地模拟个系统及其负载。一般首先使用一个模拟语言来为系统建立模型,然后在模拟时,通过随机Per网和系统性能评价用负载驱动系统模型从而得出模型的性能指标。模拟方法可以详细地刻画系统,得出较精确的性能指标,但是构造和使用模型时的费用较高。分析方法则是应用数学理论与方法来研究和描述性能与系统、负载之间的关系。为了数学上描述与计算的方便,往往要对系统模型进行-些笸化和假设,因响这种模型刻画系统的详细程度较低,得出的性能指标精度也较低。但是这种方法理论基础强,可以明显地刻画备种因素之间的关系,而且构造和使用模型时的费用也较低。随着讦算机技术的发展,系统的庞大和复杂化使得系统性能评价问题变得越来越复杂并越来越引起人们的重视。提供有效的数学理论工具、直观的模型描述方法和有效的模型分析方法以及实用的辅助分析软件,是系统性能评价所而临的迫切需要解决的问题,这也正是本书所要介绍的随机Petr网分析技术的核心性能分析方法传统上采用排队论数学埋论来鮮决系统的描述问题,数学求解的基础是马尔可夫随机过程。80年代初随机 PEtri网的提出为系统的性能分析又提供了个新的数学述工具。随机 Petri网研究爿前已是一个热门课题。Petri阿是可应用到很多系统和领域的图形和数学模型工具。 Petri网是信息处理系统描述和模型的有力工具之一,它的主要特性包括:并行、不确定性、异步和分布描述能力和分析能力。作为图形工具, Petri网除了具有类似流程图、框图和网图的可视描述功能外,它还可通过标记( token)的流动模拟系统的动态和活动行为,所以可以说, Petri网是动态图形描述工具。作为数学工具, Petri网可以建立状态方程代数方程和其他数学模型来描述系统的行为。 Petri网既可为理论工作者也可为程人员所使用。它可以作为理论者和实践者之间的通信媒介,以便于人们进行交流和理解随着信息处理系统的日益庞大和复杂化,人们越来越需要采用系统T程的方法来设计和维护信息处理系统。在信息处理系统的整个生命期内,采用图形化的数学工具来完成系毓的形式描述、系统的正确性险证、系统性能的评价、系统的「标实现和测试是卡常必要的。 Petri网是适应上述各项任务的有效工具,可以在一个 Petri网系统模型的框架上完成各项任务。在这-点上,其他图形或数学工其则不具备如此的功能系统性能评价方法,尤其是排队纶分析方法的发展和所遇到的问题,包括并行系统的资源共享描述和非乘积解的问题,给Peri网应用领域的拓宽和发展带来了勃勃生机。从8年代初随机 Petri网提出以来,系统性能评价过成为 Petri网最成功的应用领域之从1985年起,相关Pet网和性能模型的国际研讨会也开始召开,这个研讨会每两年召开一次。在随机Peri网简短的发展历史中,它的应用范围经超出了讦算机科学成为研究离散事件动态系统的一种有力工具。很有前途的应用领域包括计算机网络、分布式软件系统、分布式数据库系统、并发和并行计算系统、柔性制造与工业削造系统、离散事件系统、多处理机系统、容譜与故障诊斷系统、办公自动化系统和决策模型等。作者进行了不同级别 Petri树和各种随机 Petri网的多年研究,并在国际上首先提出了随机高级Peti网及其分析技术和在一些系统性能评价中的应用。本书的主要内容是作者十多年工作的总结。据作者所知,本书是国内外第一本随机Petr网理论和技术方面的专著。本书的目的是使读者能基本掌据随机Peri网的理论模型方法、分析技术和前言应用思路;同时了解当前隨机Petr网理论和庇用的发展,为读者的系统性能评价学习丁作和研究课题提供一条有效途径。本书的主要内容包括四部分:1)在第1章至第3章中介绍了各种随机Petr网理论和分析技术,包括随机 Petri网(SPN)、广义随机Petn网(GSPN)、随机回报网(SRN)随机高级 Petri网(SHPN)和确定与随机Petr网(DsPN)。在这些Petn网理论和分析技术中,着重描述了可达集和稳定状态概率的算法,可达分析和入变量的计算及分析方法。介绍了系统的性能特性分析和算法。这部分是随机 Petri网的基础知识,足学习其他章节的基础。2)在第4章至第6章中讨论了随机Peri网的模型方法,随机网模型的分解和压缩技术以及模型性能界限求解技术。SPN模型性能评价的一个主要问题是模型状态空间的爆炸状态的数量会随着模型的规模和复杂性的增加而是指数性地增长,使实际系统的性能评价不可能。这一点会严重地阻得SPN模型的实际应用,也是当前SPN研究的热点问题。这部分所介绍的技术可以应用到各种复杂大型系统的性能模型和评价屮,这些技术是掌握SPN分杆方法的关键,也是深入进行SPN研究的基础。(3)在第7章至第10章屮,着重介绍了随机Per网在通倍协议性能模型,ATM网络性能模型、柔性制造系统性能模型以及在计算机系统和软件系统性能评价中的应用。在随机Per网的应用中,注意了专有对象的描述问题的求解及分析方法的有效性。介绍了一些基本计算杋和网络系统的性能模型方法,系统模型的基本化简技术,系统性能参数,例如系统的吐吞量资源的利用率和用户平均响应时间等的实际计算和分析。(4)为了方便读者使用随机Petr网软件工具,在第12章中介绍了随机Peti网软件包—SFNP确定与隨机 Petri网敦件包 DSPNexpress以及本书作者开发的随机高级Per网辅助软件 SHLPNA。在SPNP的介绍中,侧重介绍实际模型例了的分析软件程序,读者很容易套用这些例子编写自已的软件程序。而在 DSPNexpress和SHLPNA的介绍中,则侧重程序和数据结构的描述,读者可以了解随机 Petri网软件工具的开发和使用。本书的主要特点是:(1)书中的内容基本上是自包含的,随机Petr网的知识完整。本书包括了随杌Pet网理论、模型方法、化筒技术和应用以及软件工具的介绍。(2)容易理解,便于应用。本书淡化了数学形式的描述,注重了实际系统的模型;对于每种形式的定义和推导,都给出模型例了进行引导。软件T具的介绍便于读者对实你问题模型的理解(3)内容新颖。本书包括了随机Pet网领域的主要最新研究成果和作者近年来的工作目前在随机Petr网领域里已取得的成果远多于本书所介绍的内容。本书仅是学习随机 Petri网的第一步,深一步的学习还需读者阅读其他资料。囡家自然科学基金委员会和国家重点基础研究发展规划项目(编号:G1999270307Ⅵ随机Petr网和系统生能评价对作者的研究T作给予了连续的资助,本书的出版得到了“国家科学技术学术著作出版基金”的资助。北京航空航天大学计算机系杨文龙教授、中国科学院数学研究所陆维明研究员和上海复旦大学计算机系是时霖教授对本书的内容进行了认直的审阅,在此一并致谢本书写作期间,我的家人和朋友给了我极大鼓励科帮助,作者谨以此书献给我的家人和朋友林闯1998年12月于北京目录第1章Per网的基本概念和术语1.1Peri网研究与发展简况……冒甲昏■■看暑1.2 Petri网模型介绍…1甲甲■卜昏督晶b1.3网的基础知识…1.4位置,/变迁(PT)系统…5高级Peri网(HLPN》系统…甲甲冒鲁■■倡F■晶口1.6不同级别系统之间的关系与变换………参考文献血自自L甲14第2章几种随机Petr网模型与分析方法2.1随机时间变迁的实施…甲1冒■■■1b山bbh甲 D4D PE292.2随机 Petri网(SPN232.3·义随机 Petri网(GSPN}·甲1·甲1山*···啊…B"22.4随机回报网(SRN)……日日甲甲■■血pd2.5确定与随机 Petri网
- 2020-12-07下载
- 积分:1
基于QT的电子地图设计与实现
毕业设计是基于QT的电子地图设计与实现 ,用于C语言的开发。2010届本科生毕业设计目录摘要ABSTRACT前言.1.1概述1.2研究背景1.3研究目标1.4需求分析1.41用户需求分析1.4.2功能需求分析1.5本章小结2qT简介2.1QT的背景介绍2.2qT实现的结构原理.2.3 QT GraphicsⅤ iew Framework简介2.3.1 Graphics view层次结构2.3. 2 QGraphicsItem2.4QT应用程序的实现2.5本章小结3 mapinfo绘制电了地图3.1 Mapinfo professiona1简介122010届本科生毕业设计3.2 Mapinfo地图图表3.3 Mapinfo地图图层与图元.143.3.1地图图层.3.3.2地图图元3.4地图的来源3.5电了地图绘制3.5.1 Mapinfo professional地图绘制工具3.5.2 Mapinfo professional绘制地图3.6来MIF和求.MID文件3.7本章小结204系统框架描述214.1系统模块申非214.2主要功能4.3平台简介224.4UP- TECHPXA270-S核心模块资源234.5本章小结.....245详细设计,,255.1程序流程图...255.2界面设计.....275.2.1主窗体设计..,,,,.275.2.2子窗休设计285.3地图的显示..,,,,,,..,,.292010届本科生毕业设计5.3.1地图坐标转换5.3.2地图图元的显示305.3.3显示效果设计.,,,,,,,,,,335.4单源最短路径算法365.4.1 Dijkstra(迪杰斯特拉)算法365.4.2路径节点的存储,,,,,,,375.5木章小结416测试及运行结果6.1测试目标6.2测试预期结果426.3运行结果.6.3.1地图浏览功能.....436.3.2路径规划功能446.4木章小结看鲁457论文总结46参考文献.47谢辞482010届本科生毕业设计前言1.1概述随着新的ARM芯片不断问世以及这些芯片的价格下降,嵌入式产品开始潜移默化的取代早期的些单片机,并在社会各行各业中占有越来越重要的位置,嵌入式产品也由此成为众多工程师选择开发高端产品的芯片首选。QT具备跨平台,易扩展,界面华丽,性能稳定等优点。因此,以嵌入式处理器作为使件半台,以QT作为程序框架,两者的完美结合必将成为未来技术的发展方向1.2研究背景现在,汽车正在普及,道路不断建设,城际间的经济往来更加频繁,活动的区域也越来越大。为了提高生活质量,大量的休活动、探险活动的举行使我并不局限在自己认识的一小块区域中,不认识道路,找不到目的地的情况也屡有发生。就此,各种各样的导航仪逐渐走进我们的生活。无论仆么导航仪最主要的部分都是电子地图。开发电子地图成为了导航仪的关键。根据调査,电了地图制作困难而且价格相当昂贵,给导航伩的开发带来了很多不便。自主绘制电子地图,编写电子地图应用程疗,不管是从经济上还是研究上都具有非常大的意义市面上的嵌入式产品各式各样,用到的嵌入式操作系统自然也是有所不同。如果拥有一个跨平台的程序的话,那将会给我们的开发节省了大量的时间。QT正是一个支持多平台的C+图形用户界面应用程序框架。它提供给应用程序开发者建立艺术级的图形用户界面所需的所用功能。Q是完仝面向对象的很容易扩展,并且允许真正地组件编程。所以使用QT作为应用程序框架是一个不错的选择1.3研究目标基于上述背景,开发一个电子地图项目,使用 windOws cD5.0搭配PXA270开发板来构建这个项目。仗用 mapinfo电子地图绘制软件自主绘制电子地图。利用QT4作为系统应用层的程序框架。根据系统的需求,裁减、移植 windOwsce内核。分析系统功能和接口,添加各种驱动程序,如:USB驱动,(∽M口驱动等根据应用程序屮的钶个功能模块,分析各个模块的用户界面接口和对人机交互图2010届本科生毕业设计形化用户界面的接口设计。1.4需求分析1.4.1用户需求分析目前,我们可以通过各种途径接触电子地图,例如以网页形式的电子地图,如 Google地图、 Google earth、百度地图等,以车载GPS导航仪的电子地图,如 garmin饪我游、纽曼、新科、城际通等,还有以手机导航功能出现的电子地图,越来越多的亍杋将支持导航功能,诺基亚2010年在大规模普及手机导航对此,本顶目采用免费版的QT作为程序框架,并且可以跨平台使用,在廾发成本上有着很大的优势。未来几年,配备电子地图的电子产品市场将逐渐走向成熟,市场需求和产品销量会保持大幅增长,产品供应链中的各类企业将获得曰大商机。尤其是随着产品价格的不断下降,这种快速发展的态势公愈加明显。电子地图在中国市场必然会获得更大的发展空间。由此,本项日也适应用户需求,开发电子地图的相关功能:地图显示功能卫星定位功能、路径导航功能、语音提示功能等。1.4.2功能需求分析根据用户需求,和对产品的定位,划分以下功能表1-1用户需求功能支持功能所需硬件1地图显示2实时定位UP- TECHPXA270-S为硬件开发平台3路径导航4语音提示2010届本科生毕业设计攴持功能分析:1.地图显示:显示当前位置地理信息,包括道路、河流、建筑物,以及标志性建筑的名称,可以通过地图了解的所在位置的周边情况。实时定位:通过不断对对COⅧM凵接收到的信息进行分析,获取当前所在位置并且显示在地图的相应位置上3.路径导航:可以设置日的地点,系统将通过路径优先算法显示最优路径,完成导航功能。4.语音提示:通过简单的语言提示来配合路径导航。所需硬件分析:需要的硬件模块在UP一 TECHPXA270-S硬件实验平台上已一应俱全。在此平台上还配制了8英寸的TFT真彩液晶屏,支持640*480的分辨率。UP一 TECHPXA270S在存储系统方面也有着很高的配置,内置了高性能价格比的 NAND FLASH6M内存,支持大谷量的用户差异图形图片和媒休文件的存储。CPU的能力当然是毋庸置疑的, Intel xscale结构芯片的PXA270在各方面都表现了很强悍的能力,在日前市场上来说也是一款很先进的处理器芯片PXA270处理器是 Intel公司目前性能最为强劲的移动处理器,已经成为高端移动设备屮最受欢迎的处理器之一。PXA270最高主频可达624Mz,它引入了X86架构奔腾4系列上的多媒体技术——MⅨ技术,能够大大提升多媒体处理能力,用户通过该技术可以在VGA上面播放高质量的MPG4视频:同时加入了 Inte lSpeedstep动态电源管理技术,在保证CPU性能的情况下,最大限度地降低移动设备功耗。1.5本章小结木章主要介绍本项目的选题背景、意义,选题目标和项目需求分析,根据品市场和本人技术水平情况,按需求划分软件功能模块,还根据软件功能和现有瓷源的性能对使件需求做」详细分析。2010届本科生毕业设计20T简介2.1QT的背景介绍Qt/ Embedded是著名的Qt库开发商 Trolltech公司开发的面向嵌入式系统的Qt版本,开发人员多为KDE项日的核心开发人员。许多基于Qt的XWindow程序可以非常方便地移植到Qt/ Embedded上,与X11版本的Qt在最大程度上接口兼容,延续了在Ⅹ上的强大功能,在底层彻底摒弃了X1ib,仅米用 framebuffer作为底层图形接口。Qt/ Embedded类库完全采用C++封装。丰富的控件资源和较好的可移植性是Qt/ Embedded最为优秀的·方面,使用Ⅹ下的开发工具 Qt Designer可以直接开发基于Qt/ Embedded的UI(用户操作接口)界面。越来越多的第三方软件公司也开始采用Qt/ Embedded廾发嵌入式下的应用软件。2.20T实现的结构原理Qt/ Embedded是 Trolltech公司开发的面向嵌入式系统的Qt版本,与Ⅹ11版本的Qt在最大程度上接口兼容,采用帧缓存( framebuffer)作为底层图形接口。Qt/ Embedded类库完全采用C艹+封装,并且有着丰富的控件资源以及较好的可移植性,大范围的Qt/ Embedded apl可用于多种开发项∏。Qt/ Embedded的实现结构如下:QT的应用程序QT的图形事件QT/EmbeddedFrameBuffer设备驱动操作系统硬件平台图21QT的实现结构图2010届本科生毕业设计Qt/ Embedded的底层图形引擎基于 framebuffer。 Framebuffer驱动程序的实现分为两个方面:一方面是对LCD及其相关部分的初始化,包括画在缓冲区的创建和对DMA通道的设置;另外一方面是对画面缓冲区的读写,具体到代码为read、 write、 Iseek等系统调用接凵。至于将画面缓冲区的内容输出到LCD显示屏上,则由硬件自动完成。对于软件来说是透明的。当对于DMA通道和画面缓冲区设置完成后,DMA开始正常工作,并将缓冲区中的内容不断发送到LCD上。这个过程是基于DMA对于LCD的不断刷新的基于该特性, framebuffer驱动程序必须将画面缓冲区的存储空间(物理空间)重新映射到一个不加高缓存和写缓存的虚拟地址区间中,这样能才保证应用程序通过map将该缓存映射到用户空间后,对于该画面缓存的写操作能够实时的体现在LCD上。QT程序是基于C+编写的,图形用户界面编程同时需要运行效率和高水平的灵活性。Qτ通过结合C+的速度为这一领域提供了Qt对象模型。Qt把下面这些特性添加到了C++当中和被称为信号和槽的非常强大的机制;可查询和可设计的属性项;强大的事件和事件过滤器:根据上下文进行国际化的字符串翻译;完善的时间间隔驱动的计时器等。许多Qt的特性是基于Q0 bject的继承,通过标准C++投术实现的。Q^ pplication是必须构造的吐t主对象,需要在一开始的时候就构造这个对象,并把命令行参数传递给这个对象,每个Qt应用程序有且仪有一个APplication对象,该对象必须在做其他事之前创建,这个对象处理一些底层操作,如事件处理、字符串本地化和控制界面外观等。信号和信号处理函数是(UⅠ应用程序用来响应用户输入的基本机制,乜是所有GUI库的核心特征,Qt的信号处理机制由信号( signa1)和槽(slot)构成,它们相当于GTK+中的信号和回调函数。在Qt中回调函数就叫做槽。信号和槽用于对象间的通讯,它的基本语法为:connect(objectl, signal, object2, slot1)2.3 QT Gr aphics view Framework简介2.3.1 Graphics view层次结构Graphics view提供一个强人的自定义2D平面图元并处理它们之间相互作用的接口,以及将一个这些图元视化的view控件,它支持旋转和缩放。该框架还包含个事件传递机制,允许画布和画布上的图元之问精确
- 2020-12-08下载
- 积分:1