飞机机票系统
网上机票预订系统,里面有详细的外部接口需求、性能需求、软件属性需求、数据需求、概念设计以及详细设计的部分代码相关内容,如果满意可以点击订票,把相关信息添加到机票数据库表中,如果不满意,可以点重置,所有信息清空,再重新选择。●退票窗口,用户可以根据用户信息表中的我的机票信息査询,找出机票号,在输入到机票号査询里,点击査询获得你的杋票信息以及价格显示,点击退票则在数据库机票信息表中朋除本条信息。●管理员界血的管理员添加芥血能对管理员信息进行査询、添加、删除和修改,包括用户名、登陆密码和联系方式。管理员界面的舱位信息的査询、添加、删除和修改,包括舱位等缴编号、舱位等级名称、提供的各种服务类别,以及备注信息等。●管理员界面的客机信息界面对客杋信息的添加、修改、删除和査询,包括客机编号、客机型号、购买时间、服役时间、经济舱座位数量、公务舱座位数量、头等舱座位数量以及备注信息等。●管理员界面的航线信息界面对航线信息的添加、修改、朋除和査询,包括航线编号、出发城市、到达城市、航班日期、出发时间、到达时间、客机编号、经济舱价格公务舱价格、头等舱价袼和备注信息等。●客户等级信息的的添加、修改、删除和查询,包括客户等级编号、客户等级名称折扣比例和备注信息等。管理员界面的用户信息查询,能查询所有的已注册的用户信息。管理员界面订票信息界面,可以査询所有的已订的机票的信息。23用户特点及一般约束1.管理员和用户的登陆要求合法的管理员以及用户才能登陆体统,防止系统被无关人员动用,使用字符串匹配对用户名和密码进行判断。管理员和用户的登录对相应的操作权限也不一样,如果是用户登录,管理员的窗口属性为不可用,管员冇舱位信息管,客杋信息管理,航线信息管理客户类型信息管理,客户信息和订票信息管理,用户主要有舱位査询,客机信息査询,航线信息查询,客户类型信息查询,自己的信息管理,和自己订票和退票2管理员的日常操作管理员可以对舱位信息,客杋信息,航线信息,客户类型信息,进行査询、修改和删除操作,可以对客户信息和订票信息只有査询操作。3用户的的日常操作用户可以进行注册然后登陆系统,可以查询舱位信息,客机信息査询,航线信息查询,客户类型信息,可以对自己的信息进行修改,可以定票(按照肮班号进行预订机票,显示所订机票的信息和价格,进入支付系统付账,并再次要求客户确认,确认无误后订票成功)可以退票(在特殊情况下(如天气不适合飞机起降,飞机延误超过30分钟)等给予全额退票,如果是个人原因只能退50%),对退票后的机票要在未售出机票中重新体现24功能需求(用DFD图表示)241用户注册的DFD图顶层图:点击新用填写信息P获得确认注册成功可户注册填写相应的登录信息注册图点击新用写信息PIP2获得确认户注册填写相应的返回用户注册成功信息注册信息D添加用户信息数据流图开输入用广名和密码而断用P名和测码是青正提错忍录金理面判断管理阻标志录时f结束242用户订票的DFD图顶层图用户登杳阅积订1层图PLP2用广登输入要查查洵机处理订订票订票成询D1机票信2层图D2订票信息票信息票信息P用户信息用户登陆处理用户查询用户查询订票信D3机票已卖完节息信息用户信息用户证信检查机票是D4订票有误信D1用户信息否存在机票数冒已满信息错更新机票误信息书信信用户243退票的DFD图顶层图白票信息用户登陆退票退票成功1层图D订票记用户登处理订票取消机票退票成机票信退款处退票的原因D2退票的相关规244机票信息查询的DFD图顶层图用户登的机票铜查询机机票层图:P用户脊找机处理机票机.票信机单D票信息清D2机票信25外部接口需求在用户界面方面要求错误信息格式均以弹出提示框的形式出现,硬软件接∏方面没有特别的需求,一般用户都可以直接使用。25性能需求因为系统夲身较小,并不投入实际应用,因此响应时间、结果精度方面可能会比较差,数据量大小方面能够处理较大的数据量。26软件属性需求在数据检索、数据增删改方面必须做到丝亳不差,满足软件开发的正确性要求。必须考虑充足的异常处哩机制以及软件的复用性,以便增强软件的健壮性。在安仝保密性方面倣到不同身份所能处理的事务不同,避免保密数据泄漏:设置足够的触发器对不安全的数据修改进行回滚操作,进而保证了安全性要求。所廾发出来的软件必须是叮维护的,不能把一些东西做的太妣。27数据需求(ER图表示)管理员信息实体E-R图如图2-1所示。管理员信息实体管理员编号管理员电话管理员用户名管理员密码舱位等级信息实体E-R图如图22所小。船位感位等线号m>均日图2-3客机信息实体ER图航线信息实体ER图如图2-4所示信比号备思出发城市到达球市图2-4航线信息实体ER图客户类型信息实体ER图如图2-5所示癣型实斗鬥型端号客广型姓名折比例图25客户类型信息实体ER图客户信息实体ER图如图2-6所示。吞户信实售户号客姓名联票图2-6客户信息实休ER图订票信息实体ER图如图2-7所示订票信息实体订票倌息号客户共客户信恩航线信息图2-7订票信息实体ER图实体之间关系的ER图如图2-8所示。舱位等信息机信容户垄型信客户记线设置户信息航线信息顸订机票□订哪信图28实体之间关系的ER图三、概要设计3.1总体设计(系统总流程图)网上机票预订系統用理路录广|需共●验证登陆名密码,正确进入主菜单,根据登录时所选的脊录方式(客户、管理员)的不同分别对用户设定不同的访问权限(如果是输入的客户用户名和密码正确,选择以客户方式登陆则主界面里面的管理员界面不能用,如果输入的是管理员的相应用户密码正确,以管理员的方式登陆则管珥员界面可用)不正确则清空登录框,最多可以输入三次,三次不止确系统会自动关闭登陆界面FrmLoFan用户名:Wg=icha距码:客尸登阵地定●新用户注册,新用户可以注册,注册时输入用户名可以杏询用户可不π用,可用就可以注册,注册时可以判断用户输入的密码和验证密码是否相同,相同才给以注册,如果满意可以点注册,注册成功后用户可以选择不用在回到登陆界面,可以直接陆到用户主界面,以后就可以用这个用户登录了,如果不满意,点取消,所有信息清空,重新输入注册界面Farm⊥Teg1tcrx用户注册1个人信启垆写用户名: ansi chao校验是古有重名操示长用片名由家字和导母组前A已1q位密码确认:**两输入的密码应一瘿姓名:思超性别:黑身份证号:同502419809029313庭址;太原迎新街联方式:卩3468832247输入正确的于机号电子信箱:i≤i2203183.cm我是一个开的人个人奋注:据不内提亮
- 2020-12-01下载
- 积分:1
泛函分析及其在自动控制中的应用
泛函分析及其在自动控制中的应用,韩崇昭,1991控制理论所硏究的闩越,可以概括为系统分析、系统踪合建模和优化。系统分包括系统的稳定性分析能控能观性分析、鲁棒性分析等,主要是分用以描述系统行为的算子的特生。传统的分析方法是实用的但只限于某些特定的系纯类型.例如传统的枫域分忻法只阳于讨论单输入单输出约线性定常橤统,而泛函分析所提供的分析方法,有可能村包括多输入多输出线性时变系统、分和参觐线性系统,以及某忠类型的柞线性系统进行统…的处理,从而获得更加一般的论。系统的综合包插挖湖器和补偿器的设计等,使系流得以镇定或获得某种性能,这是分析的逆河题。传统的综合屴沄礻仪费时费事丶而且解决问题的范園比较狭窄:现代的综合方法倾向干构造能用计算机灾现的某些算法迭代算法或递推算法的收敏性分析,以及闭环控制的稳定性分衔等,只有借助泛图分析所提供的工其,才有可能使问题得以解决系统建撓和系统的最优控制,一般是在某些约束条件下,对某个泛函拈标进行优化的问题,这更是泛函分析研究惹围闪的问题绕上所泛函分析已渗逶到控制理论和系统科学的各个分支。“饿夯千里日,更上一层楼”,控制斑论研究者只冇掌握泛函分析这…工具,才有可能…览当令研究潮流中“群峰竞秀,万水争流"“的局面第二章代数基础鉴于工科人学亩动控制类专业研究生#不具备系统的拙象代数的知识,而泛函分析这门课程又经带涉及抽象代数的某些基本慨念,所以首先在本章对必要的代数基础知识进行简要介绍,作为学习泛函分枥的预备知识。§2.]集合与映射2.1.1集合集合是数学上最基本門概念,难以绐出确切的定义:一般说:所谓集合就是指具有其种属性的事物全体。构成集合的每个事物称为该集合的元蓊。果合也简称集,其元素也简称元集合可用列其历有元素或江明其暑性来表示如A=i1,nz,…,n},A={a:a具有属性P}如果个集合由有限多个元构成,称之为有限集;如果由无限多个元构成,称之为元限集不含汪何元素的集合称为空集记为这,只含一个元的集合称为单点集。用r∈A表示“?是4中的元”或a属于A”;用a表示a不是A中的元"哎“a不属于有两个集合A和B:若A中的所有元到为B中的元,则称为A是B的子集或A蕴含于B哎包含A,记为A≌或BA任集A必是共自身的了集,而空集又是仕意集A的子集若集A是集R的子集:而B中至少有一个元不屑于4,则称A是程的真子集,或B真包含A,记为心二BBA。若集A是集B的了集,且B也是A的子策,闻称集A与集B相等,记为A=B2这个定义也经出用作集合相等的证明方法即任取∈A,得x∈B则推知4≌B;其次任取xB证得∈小则描知B≌A;从而证明A=B。在以后的证明中,我打经常采用某些撰用符号:“"表示“所有的",“彐"表示“存在”,“→“表示“由左面的结论推出岩面的结论”“台”表示左右两面相互推出”以柴合为元素的集合秋为集类。如字={A,B,C}其中的元A,B,C均是集合,是集类。A、B两个集合的所有元素共同构成的集合称为A和B的并集,记为AUB={2:x∈A或x∈开2。1,2桌合A1,A:;…,A的并業定义为U4=A∪AU…∪4一{x:xEA,或x∈A,“x∈A}(2.1.3)A、B两个集合的公共元素构成的集合称为A和B的交集,记为A∩B={x:x∈A且芏.B〔2.I.4集合A1,A2,A的交集定义为门A=A∩A∩“∩A={x:x∈A且x∈12“且xEA}(2.!5如果集合A与集合升没有公共元家,即A∩B=C,则称A与R不相交。属于集A而不属于集B的所有元构成的集合称为A与B的差集记为AB={xgxA旦x2.⊥,5巢合A和F的对称差记为A△B-(APU(4)2.7设U是一↑特定的集合,AS;称EA为A关于U的补集.记为A此时有AUA=UA∩A=2.1蘸2..9对于集类也可以定义并、交运算。设是一个集类其元的并和交分别为U{BB∈}={z:B∈郾,使z∈B2.1.10∩{B:B∈}{x;B∈密,使r∈乃2.1.11)例211设R表示实数集,R=RXR表示实数序对(x,y)的集合,集合A={(x,g)mx;∈R固定}表示欧氏平面R2上y=m直线上的总集;所有这些集合(直线〕构成一个集类x={A:mER在此情况下,集类m的交集为∩ FRA={(0,0)},即R的坐标原点;其并集为∪v∈RA=R2{0,y):|l|>0}即除去坐标纵轴但保留坐标原点整个R2平面。前面绐出的集合运算具有如下性质〔1)幂等律:AA=A,A∩A=4;〔)交换律:AB=BJA,A∩B-B∩A;I)结合律:A∪(BU)=(4∪B)∪C,A∩(B∩C)=(A∩B)∩C;Ⅳ)分配律:4U(B∩C)=(AUB∩(AUc),A(BUC)-(Anu(A门〔V)恒等律:A∪C=A,A∩U=手AUC=[, A=另外还有一些恒等关系式Ⅵ) de morgan律:A(B)-(AB)∩AC),A(BNC)=(AB)U:A〔〕对偶律:(UAA,(∩A=UⅧ)互补律:AAU,A∩A=8下面只证明(W)和(W)其余留给读者验证W)的证明:∈A(B)∈A,(BC)∈AB且x∈C∈AB且tAr∈AB)n(4C)同理可证第二式。()的证明;*∈(∪A)=∈U,艺点UA+2A且2年A1“且卖Az∈出且x∈A」且x∈术台∈∩4:同理可证第二式渠合A和B的笛卡尔积就是由序对构成的集∈Ab∈2.1,12儿素n和b称为序对(a,b)的分量。如果两个厅对的对应分垤相等则称其相等例如,(x,y)z(n-a,且y一b般情况下,集合的笛卡尔积不叫交换次序,即AX≠xA更一般地,A1A2…**A是一组集合其笛卡尔积定义为A,=1×Azx{「rTI:AE1,2}〔2.I.132.1.2关系由集合A到集合B的一个关系配,就匙的卡尔积A×H的一个集若R=AXB.序对(a)∈R则称n与!有关系P,记为ee,关系RAX称为二元关系,周为此时其中的元由序对钩成更灬般地,若K∈]1,则称其为多元关英。例2.1.2设A一{a,b,c}B={u,b,,d,吧其笛卡尔积为AB=(,,(,b),().(,t).(bq),bb),,(冫(,),出,(qb)(qc),(,d)}如果R表示“相等关系”,则R=Yb),(c,E)}二A×F关系R4XB的定义城是A的子集,即1oia∈A:b∈,使得2..11〕其值址是郾的子集,即ange=,∈B:n∈A使得ah15倒21.3设R={(x,y):,∈R,g-2}表示一个关系,显然它是RXR的一个子粜,即面R上一条抛物线的点集。其定义域domR=R,其值域 rangeR=1={y:y:0),即l半实轴设A是灬个集台,三A×A4是某种关系下给出几种特殊二元关系的定义I)自返关系:若aA→(a,a∈R;(I)对称关系:若(,b)∈B→(b,a)EB;Ⅲ)传递关系:a,b),b)∈R=n,)∈R;Ⅳ)反对称关系:若(,b),h2n)∈→m=b;甚于以上基本的二元关系还可以定义〔V)偏序关系;若是返、传递和反对称的关系:此时称A为出R规定的编序集合;〔)全序关系:若是偏关系,H任意a,b∈A,要么(+b)∈B,要么(b,a);W)等价关系:若F是肖返、传递和对称的关系。例2.1.4设R-(,9):x,∈R,≤匚R表示平面R上包括x-9直线在内的左上半平面,它是一个二元关系:国对()!x∈R,(x,x)∈,所以R是自返的;(2)任意(,y),(,=)∈R即有“到队而有x,即:x,∈R,所以是传的(3){意(x,y),(y,)∈R,具有y,≤x,从而z=y,新以R是反称的;综合起来即证刚R是个懶序关系(即关系“≤’,或者总按偏序关系“≤”規定的R是一个偏序集合。其实,R还是一个全序关系,因为除!R编序关系外,对仁意r∈R.要么x≤,费么ysx即要么(x,y)∈界,要么(y,x)∈P例2.15设A={a,b;,d,g,R={(),(b,)仂,b),(c,q),(+b),e,c)(c,),(d,n),,n),(,4},(,b),(e,e)}4A,它是A上的一个二元关系。因为(1)!x∈A(r,x)∈R,即E是白讴的;(2)意(x,y)(y,z)∈萨即有(x,∈F即R是传递的;〔3若(x,y)(g,x)∈R,即有xy,即是反对称的;所以k是一个偏序关系。但是,为e,∈A,(e)R且(e,c)B,所以不是灬个全序关系若R实A×A是A上的一个偏序关系,则I)A的任一子集B按关系R仍是一个偏详集合,即B(BXB》∩是B上的偏序关系若B按关系R还是一个全序集合,则称其为A的个全序子集。[)设b∈4,若对x∈A均有r助,称b为A的末位元系()设a∈A若对x∈A均有Rx,称a为A的初位元Ⅳ)若b∈A对任意t∈A且l则称b为A的一个最大元素。若m∈A对任意x∈A且→=a则称a为A的一个最小元亲例2.L.6设A={7,4,23,2,5)为一有限整数粜,定义A上的一个二元关系R_{∈A,x≤y2),(4,4),(415),〔47),(4,12),(2,12)(3,3),(3,4),(35),(3;73,12),(2,2),(2,3)、(2,2(2,5),(2,7,(2,12),(5,5),(5,7〕,(苏,2)}显然,孩关系R(即“≤”),A是…个全序集合同时是A的韧位元,也是最小元:12是A的末位兀,也是最大元例2.L.725的关系星可以用图2.1.表示,共中a,即存在有向连线由x到yA的仟一子集加D一{e1b,a}按关系B仍是个偏序集合,而且此时B还是A的一个全序子集在A中按关系R,是末位元也是量大元和c均为A献最小元但A无初位元,月为e和c不存在关系R讲而,假定R是集合A上时一个编序关系,对于B4,则有M)r∈A称为由规定的B的一个上界,当且仅当图2.1.1关系R对∈B有xR。如果a是由R规定的P的一个上界,而对于由R规定的B的任意其它上界p均有aR,则称a为B的最小上界,或上确界.记为m=Lp3()a∈A称为由R规定的的一个下界,当且仅当对yr∈B有aR。如果a是由R规定的B的一个下界,而对于由R规定的B的任意其它下界A,均有山B则称t为B的最大下界或下确界,记为=infB。例2.1.8设A={z∈R:01二R为一闭区何,而B一{x∈R:.2
- 2021-05-07下载
- 积分:1