-
PCA算法.pdf(主成分分析 ( Principal Component Analysis ， PCA ))
PCA·1——主成分分析 . 主成分分析 ( Principal Component Analysis ， PCA )是一种掌握事物主要矛盾的统计分析方法，它可以从多元事物中解析出主要影响因素，揭示事物的本质，简化复杂的问题
- 2020-12-10下载
- 积分：1
-
2018年全国大学生电子设计大赛A题设计报告
资源为2018年全国大学生电子设计大赛山东赛区A题电流检测装置的设计报告，报告格式规范，含有详细的设计原理、方案比较和测试数据以及分析，另附带部分电路图和pcb板图，该作品荣获山东赛区省级一等奖，可供学习的参考价值大。
- 2019-12-29下载
- 积分：1
-
非线性动力学与混沌基础_正文
ch1：非线性动力学理论基础ch2：混沌ch3：混沌的一些实例是《非线性动力学》的简化版
- 2021-05-06下载
- 积分：1
-
傅里叶变化频谱图及频域滤波
了解傅立叶变换在图像处理中的应用；掌握频率滤波的原理和特点；利用matlab 实现二维图像的傅里叶变换；实现图像的理想高/低通、高斯高/低通、布特沃斯高/低通滤波
- 2021-05-06下载
- 积分：1
-
基于PCA和BP神经网络的人脸识别
本程序通过pca算法进行特征提取，再用bp神经网络进行分类，最后计算出识别率。
- 2020-12-04下载
- 积分：1
-
飞机机票系统
网上机票预订系统，里面有详细的外部接口需求、性能需求、软件属性需求、数据需求、概念设计以及详细设计的部分代码相关内容,如果满意可以点击订票,把相关信息添加到机票数据库表中,如果不满意,可以点重置,所有信息清空,再重新选择。●退票窗口,用户可以根据用户信息表中的我的机票信息査询,找出机票号,在输入到机票号査询里,点击査询获得你的杋票信息以及价格显示,点击退票则在数据库机票信息表中朋除本条信息。●管理员界血的管理员添加芥血能对管理员信息进行査询、添加、删除和修改,包括用户名、登陆密码和联系方式。管理员界面的舱位信息的査询、添加、删除和修改,包括舱位等缴编号、舱位等级名称、提供的各种服务类别,以及备注信息等。●管理员界面的客机信息界面对客杋信息的添加、修改、删除和査询,包括客机编号、客机型号、购买时间、服役时间、经济舱座位数量、公务舱座位数量、头等舱座位数量以及备注信息等。●管理员界面的航线信息界面对航线信息的添加、修改、朋除和査询,包括航线编号、出发城市、到达城市、航班日期、出发时间、到达时间、客机编号、经济舱价格公务舱价格、头等舱价袼和备注信息等。●客户等级信息的的添加、修改、删除和查询,包括客户等级编号、客户等级名称折扣比例和备注信息等。管理员界面的用户信息查询,能查询所有的已注册的用户信息。管理员界面订票信息界面,可以査询所有的已订的机票的信息。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
-
bms电池管理系统
一个对电池进行监控的上位机软件，对初学者很有参考价值！
- 2021-05-07下载
- 积分：1
-
IBM+P570主机在线更换HBA卡详细过程
IBM+P570主机在线更换HBA卡详细过程IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06ocat ionU7879. 001, DQDKKNT-P1-C5-T1DescriptionADAPTER ERRORProbable causesADAPTER HARDWARE OR CABLEADAPTER MI CROCODEFIBRE CHANNEL SW I TCH OR FC-AL HUBFailure causesADAPTERCABLES AND CONNECT I ONSDEVI CERecommended Actions限于个人学习参考使月PERFORM PROBLEM DETERMINAT ION PROCEDURESCHECK CABLES AND THEIR CONNECT IONSVERIFY DEV I CE CONF I GURAT IONP570_RAG1:/# fget config-Aν/查看存储链路现状daro-.User array name=dS4000dac1 active dacO ACTIVEDiskDAC LUN Logical Dr ivetmhdisk2 dac1 0hdisk3 dac 1hdisk4 dac 1hdisk5 dac13hdisk6 dac1)4hdisk7 dac1 5hd isk dac12、根据erpt信息确认硬件状态检查上机HBA卡fs0所在位置U787900 QDKKWT-P1-C5-T1,发现HBA卡已无光,同时通过Storage Manager Client登录DS4000,存储链路发生了切换,由于证明HBA卡fs0损坏,需要更换。ITPUB个人空间http://space.itpubnet/9664900第3页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.062.故障处理2.1.处理结果1、通过在线更换P570主机的HBA卡fcs0后故障解决22.处理过程1、准备工作1)工具:防静电手套、镙线刀2)更换HBA卡期间,尽量选择在业务较闲时操作,防止意外造成业务中断造成较人的损失。3)能备份的操作尽量备份,如SAN交换机配置备份、存储配置备份,并确认数据库的备份有效。2、检查是否满足AIX版本和文件集的最低要求官方要求如下Table 12. Minimum A/X operating systems and file set versions required for supporting HBAhot swapOperating systemPackage nameMinimum file set versionAⅨX5.1devices. fcp. disk array rte5.1.0.65AX5.2devices. fcp. disk array rte5.2.0.60AX5.3devices. fcp disk array rte5.3.0.20检查本次需要更换IBA卡的P570,证明已满足官方要求,如下:P570_RAC1: / IsIpp -h grep fcpdevices. fcp. disk array di agdev ices fcp. disk. array rtedevices. fcp. disk. rte5.3.0. 42 APPLI ED FC SCSI CD-ROM. Diskdev ices. fcp. tape. rt5. 0. 42 APPLlED FC SCSI Tape Device Softwaredevices. fcp disk array rtedevices. fcp. disk rte5.3.0.30 COMMITTED FC SCS CD-ROM. Diskdevices. fcp. tape rte 5. 3.0. 30 CoMMiTTed fc scs tape Dev ice Software/注意:●在热插拔更换HBA卡的过程中,dar的 autor ecovery属性必须设置为否(no),否则有丢失数据访问的可能。必须在确认HBA卡更换完成,后续的配置工作也完成之后,才可以“ Redistr ibute logical Drivesto the preferred path",否则有丢失数据访问的可能。3、查看HBA卡当前状态,记录相关信息P570_RAC1: /# Isdev-c grep fcsITPUB个人空间http://space.itpubnet/9664900第4页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06fcsOAvailable oB-08FC AdapterfcsAvailable on-08FC AdapterP570_RAC1: / Isdev -c grep dacdacoAvailable ob-08-021815DS4800 Disk Array Controllerdac 1Available oN-08-021815DS4800 Disk Array ControllerP570 RAC1: / Iscfg -vpI fcsO007879. 001. DQDKKWT-P1-C5-T1 FC AdapterPart Number.03N5014EC LevelASerial number..,,,,,,,,,,,,.1B60801814ManufacturerFeature Code/Market ing ID.. 280DFRU Number,,,,,,,,,,,03N5014Device Specif ic(ZMNetwor k Address..10000000c9531814ROS Leve and D...02C82134Device Specific(z0)1036406DDevice Spec ific.(Z1)....00000000Device Specific.(Z2)00000000Dev ice Spec fic(Z3)03000909Device Specific.(Z4..FFC01158Device Spec ific.(Z5)02c82134Device Spec ific.(z6)06032134Device Specific(Z7)07C32134Dev ice Specific.(28)....200000009531814Device Spec ific.(Z9)..BS2.10X4Device SpecifiC(ZA)B1D2.10X4Device Specific(ZB).... B2D2 10X4Device Spec i fic.(YL)U7879.001. DODKKWT-P1-C5-T1PLATFORM SPECIFICName: fibre-channe IMode LP11000Node: fibre-channe I i@Device Type: fcpPhysical Location: U7879. 001. DQDKKWT-P1-05-T1根据 Physical location硝定HBA卡位置:在U7879.001 DQDKKWT柜子中P1C5槽位,如下图:ITPUB个人空间http://space.itpubnet/9664900第5页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06P1-C1P1-c6/P1-c7P1-T10P1-C2P1-c8-T1P1-12CP1-C3P1-C8-12P1-T1P1-C4P1-C8-T3P1-T2P1-c5P1-c8-T4P1-T3P1-E1PTE|°世山可次P1-C7-T1P1-T4P1-T8 P1-T9P1T10P1-C7-T2P1-T6P1-T5P1-T7IPHAH50Q-24、查看DAR的 autorecovery属性P570 RAC1: / Isattr -El darOact controller dacO dacl Active ControllersFalsefre600Polled aen frequency in secondsTrueall controller daco daclAvailable controllersFalseautorecovery noautorecover after failure is corrected Truebalance trcq600Dynamic Load Balancing frcqucncy in seconds Truccache size4096Cache size for both controllersFalsefast write ok yesFast Write availableFalseheld in reset noneHeld-in-reset controllerTruehlthchk freq 600Health check frequency in secondsTload balancing noDynamic Load Balancingrueswitch retries 5Number of times to retry failed switches True确认 autorccovcry的属性为no。如果 autorccovcry属性为Yes,需用如下命令手动关闭P570 RAC1: / chev -I daro -a autorecover y=no5、热插拔更换HBA卡1)删除需更换的fcs卡,将其状态置为 definedP570 RAC1: / rmdev -RI fcsOITPUB个人空间http://space.itpubnet/9664900第6页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06mdey -rl fcsefcnete defineddace Definedfscsi0 Definedfcse Defined2)物理更换HBA卡dag1 ask Selection-> Hot Plug ->PCI Hot Plug Manager通过此处在线更换HBA卡,过程如下图父注意:此时不要将光纤线插回新换上的HBA卡%Figure 1. Lift up the EMC shieldFigure 2. Rotate the emc shield into the open positionFigure 3. PCI adapter cassette removed from the system unit3)用光纤环回堵头测试新更换上的HBA卡将 fibre channel loop back堵头插入HBA卡,然后扫描设备:P570 RAC1: / cfgmgr注意:ITPUB个人空间http://space.itpubnet/9664900第7页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06新的HBA卡会被放在 Mapping里的 Default group中,如果 Default group中存在 hd i sk的映射,则在 cfgmgr之后对应新的HBA卡会产生多余dar和dac设备。在后面更新完 Mapp ing中的WwPN信息后,使用 rmdev命令删除多余的dar和dac设备检查更换上的HBA卡为 Availablc状态P570 RAC1: / Isdev-c grep fcso4)、检查更换上的HBA卡是否需要升级微码P570 RAC1: / Iscfg -vpI fcsoU7879. 001. DODKKWT-P1-C5-T1 FC AdapterPart Number...03N5014EC Leve lSeria number...,,,,,,,,,,,,1B70701314Manufacturer,,,,,,,001BFeature Code/Marketing ID.. 280DFRU Numb03N5014Device Spec if ic. (ZM)Networ k Address...1000000009601314ROS Leve and|D..,,,,,,,,,,02c82138DSev ice spec IC1036406DDevice Spec ific.(Z1)00000000evice Spec ific.(Z2)..00000000Device Specific.(Z3)3000909Device Specific(Z4FFc01159Device Specific(Z502c82138Device Specific. (Z6).,..06C32138Device Spec ific.(Z707032138Dev ice Speci f ic(Z8)20000000c9601314Dev ice Spec ic. (Z9BSs2.10X8微码没问题,不需要升级。Device Specific(ZA)B1D2.10X8Device Specific(ZB).... B2D2 10X8Device Spec ific. ( YL)U7879.001. DQDKKWT-P1-C5-T15)重新将HBA卡置为 Defined状态P570 RAC1: / rmdev -Ri fcsO6、在DS4000 Storage Manager的 Mapping配置中更新HBA卡WwPN信息Storagc Manager Clicnt->Mappings-> Show All Host Port Information查找已被更换的HBA卡fcs0的WWPN号,查看其别名( alias)ITPUB个人空间http://space.itpubnet/9664900第8页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mikqwyc86@163.comUpdate Date: 2010.06Storage Subsystem Viex Pinc Aray Loccal Drive Contreller Drive Adranced HelpDefineALOgical/Physical View围veTopologyBeplace Host Port.e-storage SubsystemSocN DINe NeAccessible BY LUNShow A Most Port InformationHortOris上 Uhdetned Mopp RgsHost OronDefei GroupHost OrionHost Group ExchangeHost orona日0toro3 LMAHos Ports地ApE00题 HBA Host PoBRE 001选择对应P70RACf0别名的 HBA HoSt ports, Mappings> Replace host port,输入新的16位WWPN号码。torage Subsystem Viez Tappings Aray Loaiea Drive Coatrdzler Drive Advanced HelpLogical/Physical viewTopologyDefned MappingsReplace Host Port9-storage SubsAccessible ByUNShow All Kost Port InformationHost Orione日 Endet ned MeK·Host oronDefaut GroupHost orona E=Host Group ExchanHost orion8日0Host oriona LHBA Host Ports回 HBA Host Port FBRE0HBA Host PortBRE 0017、更换HBA卡后的配置操作1)在主机上拔下f0卡上的光纤环回堵头,并插入原光纤线。2)检查SAN交换机的Zone配置在SAN交换机上,如果有绑定WWPN的光纤交换机,修改Zone配置,如果绑定端口,则不用处理3)SAN交换机注册HBA卡的wwPN号在P570RAC1主机中运行 cfgm重新扫描设备后,登录SAN交换机,检查HBA卡在光纤交换札上是否注册新的WWPN号。4)检查fcs和dac设备处于 available状态P570 RAC1: / Isdev-c grep fcsoP570 RAC1: / I -c grep fcs1P570 RAC1: / Isdev-C grep dacoP570 RAC1: / Isdev-C grep dac1ITPUB个人空间http://space.itpubnet/9664900第9页共11页IBMP570主机在线更换HBA卡详细过程 mfkqwyc86Version: 作者:周铃Email:mfkqwyc86(@163.comUpdate Date: 2010.065)检查是否有多余的dar设备,当前的dar设备是否处于 Available状态,并删除多余的dar设备。(每个DS4000柜子只能对应一个dar设备)P570 RAC1: / Isdev-C grep dar6)检查每个dar下是否有两个 active的dac设备P570_ RAC1: / Isattr -El daro grep act controllerP570 RAC1: / Isattr-El dar1 grep act controller7)在DS4000存储上重新分布光纤链路,将之前切换的路径调整冋之前的控制器在 Storage Manager Client中相应的lun+ change→ Ownership/ Preferred Path→ Controller in Slot A/B操作如下图Storage Subsystem View Mappings Array Logical Drive Controller Drive Advanced HelpG Logical/Physical View B Mappings ViewLob/ Storage Subsystem DS4700PhysicalEnclosure 100- Show FC Show SATA+l-OTotal Unconfigured Capacity (56. 44 TB)(front)0RAD5)058.0GB1目目目日目国目目目目目目日Create ArrayFreeChangeModification Priority,.Increase Capacity,,Cache Settings.Create Copy.Media Scan Settings, ,Create Remote MirrorPre-Read Redundancy Check.Create FlashCopy Logical DriveOwnership/PreFerred Path|◆ ntroller in5 lot A(PreferredSegment SizeController in slot BRenameProperties00000000000000OO8)检查P570RAC1主机上的光纤链路P570RAC1:/# fget config-Av//查看存储链路现状daroUser array name =D$4000dac1 active dacO ACTIVEDisk DAc LUN Logical Dr ivetm21hdisk2 dac1 0hd isk3 dacOhdisk4 dac1 2hdisk 5 daco 3diskoITPUB个人空间http://space.itpubnet/9664900第10页共11页
- 2020-12-08下载
- 积分：1
-
matlab 字符串识别.zip
【实例简介】有代码，有解释，有分析，可以直接运行,用matlab实现的字符串切割
- 2021-11-30 00:50:55下载
- 积分：1
-
浙江大学计算理论复习总结
计算理论复习总结,但是考试快要结束了，估计大家也没有什么需要了。28.文法是CFG的推广,任何CFG都是文法。G=(V,∑,R,S)29.语言被文法生成ⅲ它是re的。30.所有数值函数都是原始递归的31.原始递归函数集是递归可枚举的。32.特殊语言/问题H={"M"w":M在w上停机}lH={"M"w":M是一台在"w"上不停机的TM}H1={"M":M在“M”上停机}H1={w:要么w不是一台TM的编码,要么w是M的编码,M是一台在"M"上不停机的TM}H:re.;H1:re.;-H,-H1:非r.e.;2-SAT∈P;SAT∈NPThe world as We Dont Know itreAsumming P≠APCo『eHrecursiveSATSATCO-A伊II Asumming P=Npr, eCo-r.erecursiveNP= cO-Np= p33没有算法的问题称作不可判定的or不可解的,如TM的停机问题34.证明不可判定通用图灵机U通过递归函数归约到L如果L是递归的则U是递归的ic若L1非递归,并存在L1到L2的归约,则L2也非递归。递归函数是 Turing Computable的35.语言是图灵可枚举的,证存在枚举它的图灵机。(M通过空格代开始,周期性的经过特殊状态q来枚举L,任意顺序且可重复)6.不可判定语言与递归语言互为补集,与rc语言有交集。37语言是re.,if它是图灵可枚举的;语言是递归的,i它是以字典序 turing可枚举的。8.P在并交连接和补运算下封闭NP在并、连接运算下封闭。若NP在补下封闭则NP=P39.H={M"wM在最多2w步后停机}唾P40.所有正则语言和所有CFL都属于P41.NPA.机器角度去定义:被多项式界限非确定型图灵机判定的所有语言的类。B.基于 verifier的定义:NP问题上建立的非确定机包含两步1)非确定地猜一个解2〕用一个确定的算法判定该解是否为可行解判定一个给定猜测值是否满足该问题(可满足性)的算法称作 verifier,一个问题称作NP问题当且仅当存在一个多项式时间的 verifier这两个定义是不矛盾的,因为如果一台非确定TM在多项式时间内可以判定一个非确定选择的翰入是否满足,就是基于 verifier的定义。P和NP的区别a problem is in P if we can decide them in polynomial time. It is in NP if we candecide them in polynomial time, if we are given the right certificate42.若存在计算函数f的多项式界限的图灵机M,则f称为多项式时间可计算的43.若τ1是L1->l2的多项式归约,τ2是L2->I3的多项式归约,则τ1τ2是L1->l3的多项式归约44.证明NP完全法一、按定义:LΣ*,若(a)L∈NP,且(b)对每个语言L∈NP,存在从L到L的多项式归约则L称为NP完全的。法二、归约,对于语言L,(a)若L∈NP(b)一个NP完全问题可以在多项式时间规约到L,ie. SAT 0 is context-free but not regular49.L=L1L2,L是CFL,则L1一定是CFL(x50. Regular-CFL不一定是CFL,如a*b*c*-anbn包含 anben51. 2-way PDalie PDa whose input heads can move both left and right] are more powerfulthan 1-way pda52. Given a PDa M1 and an fa M2, the problem l(M1)cl(M2)is decidable53.DFA/NFA识别的是 exactly正则语言54.Re.只在补和差下不封闭,CFL在交下也不封闭55.非正则语言的可能是正则语言。比如A:[W=w}及所有回文,A=*,为正则语言56.典型非正则:w=wR57.正则语言的子集可能非正则,如 anben是a*b*c*的子集;又如Σ*是正则语言,H≌Σ*58.归约:X到Y的归约可以理解为X到Y问题的映射, reduction可以解释为 at least asdifficult as….比如ⅹ可以被Y的算法解决,则 X is no more difficult than yⅩ可以约到Y,记X≤Y。e.gx2可以归约到任意两数的乘积。若有A≤B,A是不可判定问题>B不可判定A不递归->B不递归B可判定>A可判定B是递归的->A是递归的59.若X多项式时间归约到Y,Y多项式时间可解,则X多项式时间可解若X多项式时间归约到Y,Ⅹ多项式时间不可解,则Y多项式时间不可解60.X多项式时间归约到Y,Y多项式时间归约到Z,则X多项式时间归约到Z61.PRME( COMPOSITE)多项式时间归约到 Factor,但是 Factor多项式时间不能归约到PRIME COMPOSITE )o62.若A≤PB,B∈NP,则A∈NP。证明A≤PB→存在确定图灵机X,可将A归约到B。B∈NP→存在一个非确定图灵机N可判定B。我们希望构造一个新的TM(ⅹN)是的ⅹ*N非确定多项式时间求解A,则A∈NPRunning time of X*N≤1+p(mB>+qp(m)(B多项式时间非确定判定是多项式时间所以A∈NP63若AsPB,B∈P,则A∈P64.若X是NPC的,则X在多项式时间内可解ifP=NP65.SAT多项式时间归约到3SA(3AT是NPC的)66.证明语言L是R/Re, Non rea) Intuitively想想有没有半判定(判定)的TM,有则Rc、(R)。若非R执行下一步。b)用能否由Re.( Non re.)语言归约到该语言,能则Re而非R( Non re)严格用归约函数定义f:A≤B,r1∈A当且仅当r1∈Beg1∈H,M∈L证明Recg2∈非H,iM∈L证明 Non rc注意方向:是从A的实例经过递归函数推向B的实例。详细介绍http://www.cs.rice.edu/nakhleh/comp481/finalreviewsp06sol.pdf67.递归与μ递归等价68.PDA中,若每一个格局至多有一个格局接在它后面,则为确定型的。确定型CF在补下封闭69.M半判定L:w∈L,ifM在w上停机,注意半判定图灵机中不存在“拒绝”状态。只要不接受w,就不停机。70. Chomsky hierarchyElements of the Chomsky HierarchyRecursively enumerable languagesRecursive languageContext sensitive languagesContext ee languageseterministccontext free languagesRegularanguages71.俩证明7.6证明P在并、交、 Kleene*连接和补运算下封闭(1)并:对任意L,LEP,遴n时间图灵机M1和nb时间图灵机M2判定它们且c=max{ab}对L1L2构造判定器MM=“对于输入字符串w1)在W上运行M1,在w上运行M22)若有一个接受则接受,否则拒绝。时间复杂度:设M1为0(n)M2为0(m)。令c=max{ab}第一步用时0(n+n),因此总时间为Oma+n)=0(n9所以L1L2属于P类,即P在并的运算下封闭。(2)连接对任意L1,L2属于P类,设有n时间图灵机M1和m时间图灵机M2判定它们,且c=max{ab}。对L1l2构造判定器MM=“对于输入字符串w=w2灬,Wn对k=0,1,21…,n重复下列步骤。在wW2…wk上运行M1,在wk1wk+2…n上运行M若都接受,则接受。否则继续。若对所有分法都不接受则拒绝。时间复杂度:(n+1x0(n+0m-0(m+4)+0(nb+4=0(nc+),F以L1oL2属于P类,即P在连接的运算下封闭。对任意L属于P类,设有时间0(n)判定器M判定它,对构造判定器MM=“对于输入字符串〔1)在w上运行M12)若M1接受则拒绝,若M1拒绝则接受。时间复杂度为:0(m)。所以属于P类,即P在补的运算下封闭。77证明NP在并和连接运算下封闭。1)并对任意L1,L2∈NP,设分别有n时间非确定图灵机M1和n时间非确定图灵机M2判定它们,且c=max{a,b}。构造判定LL2的非确定图灵机M:M=“对于输入字符串w1)在W上运行M1,在w上运行M2。2)若有一个接受则接受,否则拒绝。对于每一个非确定计算分支,第一步用时为O(n-)+O(n),因此总时间为On+n)=0(n。所以LLz∈NP,即NP在并的运算下封闭2)连接对任意L,L2∈NP设分别有na时间非确定图灵机M1和m时间非确定图灵机M2判定它们,且c=max{ab}。构造判定L1oL2的非确定图灵机M:M=“对于输入字符串w:1〕非确定地将分成两段xy,使得w=xy。2)在x上运行M1,在y上运行M23)若都接受则接受,否则拒绝。对于每一个非确定计算分支,第一步用时O(n,第二步用时为0(n)+0(m),因此总时间为o(n+m)=0(n。所以L1oL2∈NP,即NP在连接运算下封闭。专题一一图灵机可判定性问题判定以下问题是否可判定:声明:思路—想证明B问题不可解,1.从一个不可解问题A入手(如停机问题)2.创建B的—个实例,从中推出如果能解决B,A也就可以解决了3.所以B是不可解的1.一个图灵机有至少481个状态。我们可以给出这样一个TMN进行cnc(M)a)数M中状态数,直到481b)如果达到了481,N就接受,否则拒绝2.给定图灵机在空串上走了481步还没停机。构造2带图灵机N,a)2a带:写481个0b)1s带在空串上模拟M,每走一步,第2带就删掉一个0c)如果M在所有0都删掉之后停机,则N接受,否则不接受给定图灵机,判定它是否在一些输入上经过481步还没停机?a)按字典序找出所有 length
- 2020-12-01下载
- 积分：1
