ENVI IDL入门教程
非常详细的ENVI IDL入门教程，二百余页，涵盖门类全，是初学者非常好的教材。创建填充的等值线图…曹音音·音非看自··50在显示窗口定位图形输出。自自春自DD鲁鲁。春非非非51设置图形边缘52设置图形位置设置图形区域创建多个图形…给图形显示添加文本。。非非。看自。。鲁音。音p鲁鲁非非非非垂香看自自。鲁。鲁春春。非非鲁看a自。鲁自自自鲁鲁非音自垂看自。。鲁。自D音鲁。。非找出可用字体的名称用 XYOuts命令添加文本.59用矢量字体使用 XYOut60排列文本::·······61删除文本61收变文本的方向6给图形显示添加线和符号…162图形显示添加色彩香香··音音音音音音音。音音63第三章图像数据处理…本章概要·····母·中中·中中72图像处理显示图像调整图像数据74显示24位图像76控制图像显示顺序.77收变图像尺寸…7在显示窗口中定位图像78从显示器中读取图像IDL中基本的图像处理.82直方图均衡化平滑图像增强图像棱边.68图像的频域滤波.68第四章图形显示技术…本章概要…IDL的颜色运用看自。音音自鲁音非音。垂·自。。。音鲁售鲁非音。非春垂香着自·。。自自鲁鲁鲁非鲁音非非音·香着·。。击音。。自D鲁。。非音着自。。自音。·自B鲁鲁。非音。非非音484使用索引颜色模式和RGB颜色模式在24位显示设备上装载色谱表…获得色谱表的拷贝修改和创建色谱表·.··甲甲90保存自己的色谱表创建自己的轴标注..........92调整轴刻度同隔..格式化轴的标注用IDL处理残缺的数据…鲁春非垂看看自自。。。春自DD鲁鲁非。春非96用IL建立三维坐标系建立三维散点图.98从图形原点定位31)坐标轴.组合简单图形显示….........101IDL中的动画数据4103建立动画工具…装载动画缓冲区104运行动画工具…104动画的控制…···.··········存储动画的像素映射图105其它类型图形数据的动画105网格化数据以便图形显示…番鲁自自。春音自D鲁鲁非非非音春a鲁自自自鲁鲁非非看自鲁。。自Dp鲁。春着自自。。鲁。。DD鲁。。。。非。106德洛内三角形法网格化……107数据的球形网格化.109第五章图形显示技巧…11本章概要将光标用于图形显示…什么时候返回的光标位置?……111哪一个鼠标键和光标共同作用呢?……/2用光标标注图形输出l12在图像上使用 Cursor命令113在循环中使用 Cursor命令114从显示中删除注释,...···看更带带带·带看115删除注释的异或法…115删除注释的设备拷贝法117Z图形缓冲区中的图形显示技巧121Z图形缓冲区的实现12个Z图形缓冲区实例:两个曲面用Z图形缓冲区使图像变形Z图形缓冲区中的透明效果127将Z图形缓冲区效果与体数据着色相结合128第六章在IDL中读写数据..129本章概要129打开文件进行读写.130査找和选择数据文件获取逻辑设备号∴132读写格式化数据4133写自由格式文件读写自由格式文件的实例.136用确定的文件格式写入…140从字符肀中读取格式数据141读写非格式化数据·非鲁鲁。音····音·音告鲁鲁音·,·非番141读取非格式化图像数据文件.…写非格式化图像数据文件.142非格式化数据文件的一些问题144用关联变量存取非格式化数据文件…1441读写常用文件格式的文件....147创建彩色GIF文件::·······147创建彩色JPEG文件148查询图像文件信息150第七章图形硬拷贝输出…,…151本章概要...·非·香香音·音音音音音音鲁音非非,I51选择图形硬拷火输出设备…..4151配置图形硬拷贝输出设备…I52常用的 Device命令关键字创建 PostScript文件…154将图形送到硬拷贝设备中..154打印 Postscript文件…..,…155在运行 MacoS系统的计算机上打印 PostScript文件.156在 Windows计算机上打印 PostScript文件….156生成封装的 PostScript文件输出封装 PostScript图形的预览∴157生成彩色的 PostScript输出……..........157PostScript中的彩色图像与灰度图像158在 Postscript设备上创建高质量的输出4158显示设备和 Postscript设备之间的相同点159显小设备与 Postscript设备之间的不同点15在横向输出模式中计算 Postscript的偏移量a击击击自指击a自击171用 PS Forn配置 Postscript设备…,…·量垂香看看垂一D看鲁垂·鲁看·日看一一DD鲁鲁·看看看·172配置和使用打印设备....173用打印设备定位图形第八章·ba省.···。自看·b自自·看看·DL编程基础188本章概述…188编写IDL批处理文件编写IDL主程序189过程和与函数中变量的作用范围…191创建定位参数.191定义可选的或必须的定位参数192定义关键字.193创建输出型参数196编写IDL函数…,198方括号和函数的调用使用程序控制语句….101IDL中表达式的真和假201将多个语句处理成单个语句::·······If.Then.Ese控制语句202条件表达式…FOR循环控制语句203WHILE循环控制语句REPEATUNTIL循坏控制语句…CASE控制语句,GOIO控制语句205错误处理控制语句205编译和执行ID程序模块207程序编译规则.208程序编译和自动运行规则.208特殊编译命令209第九章编写IDL程序177本章概述.基本的 Image bar程序,177给程序 Imagc Bar增加一个“先擦除”功能18向 Image bar程序增加颜色敏感功能给 magelA中的命令传递关键字根据窗口大小改变字符大小栏序 Image Bar的最终代码186在图形用户界面中包装 E ImageR187第十章编写简单的组件程序230本章概述…230组件程序的结构…物物···非非音··非专自···非省230组件程序如何对事件作出反应231编写组件定义模块…31定义和创建程序组件….在屏幕上实现组件使绘图组件成为当前图形窗口…234在绘图组件窗口上显示图形234保存程序运行时所需要的信息创建事件循环和注册程序运行程序236创建无阻塞组件程序…236编写事件处理模块...237事件结构中的公共字段.….事件处理函数238将事件处理程序和组件联系起来239编写Quit按钮的事件处理程序240编写改变图形窗口大小的事件处理程序241进行小量地修改….42添加颜色敏感242采用更高效的内存管理243第十一章香。。看看香。。鲁 PDODDDU击组件编程技巧210本章概述改变颜色表··········母·非非音鲁音音音·香··.。音音。非自音音音音,普···音。音音∴210保护公共块…211一个可选择颜色表的工具211l指定 Group leeader214给组件程序增加 Group leader.215在24位显示器上改变颜色表215在组件程序中使用指针….....17使用 Cleanup过程防止内冇泄露………………219使用伪事件进行程序通信.20创建一个具有“记忆功能”的程序221保护组件程序的颜色.3通过组件跟踪事件来保护颜色……通过绘图组件事件来保护颜色25保存或者发布程序的图形226第十二章对话框程序247本章概述…247创建模式对话框着自自自自春击。自鲁非非非非非非香自自自自自自。自自D鲁鲁非非非鲁非香着自自自。自B鲁鲁。非鲁非卷非非番鲁自自自。自自自。。自自D鲁鲁。非非番着自自命鲁自自自。自自B鲁鲁非鲁。非鲁非鲁247阻塞的组件程序247模式组件程序248编写模式对话框的定义模块““248编写模式对话框的事件处坦馍块..252测试模式对话框程序.…创建非模式的对话框.253编写非模式对话框程序54编写非模式对话框的事件处理模块测试丰模态对话程序257附录A∴组件的事件结构258事件结构的定义258公共字段的定义58基本组件的事件结构259base组件259按钮组件259绘图组件.259下拉式列表组件259标签组件260列表组件260滑动条组件表单组件.260文本组件262复合组件的事件结构.262CW Animate262CW Arcball262CW BGroupCW Clr Index263CW Color sel263Cw EfronCW FieldCW Form263CW FlisderCW OrientCW PDMenu264CW RGBSlider264CW Zoom264组件程序的事件结构264Colors264其他组件的事件结构64键盘焦点事件组件退出请求事件265组建计时器事件·····:····.265组件跟踪事件.265附录B…数据文件描述2668第一章起步篇本章概述本章意在解释写这本书的目的,道过阅读本书能学到什么,以及为读者提供一些能使读者更方便地使用本书中IDL编程例子的信息。将学会如下几点1.本书是如何组织的。2.怎样使用木书。3.如何下载和组织随本书附带的文件。4.如何使用IDL的变量,关键字和命令5.如何创建和运行IDL的矢量和数组。6.如何使用ID的图形窗口。书写本书的背景本书是在多年米教科学家和工程师使用和操作IDL( Interactive Data Language)的基础上创作的,而且教学的绝大部分时间是为IDL的开发者 Research Systems公司工作。当笔者在回答个又一个问题之后,笔者意识到多数问题属于一些同类问题。事实是,多数人想用TDL做许多同样的事情。想做的是分析和演示数据,写出晑效率的程序来解决科学问题,并且最主要的是快速做完工作。多数人并不想做的事情是阅读计算机软件教科书。IDL是一套大型软件并且在不但壮大。随之而来的是大量的文档资料,笔者知道没有人愿意去读这些资料。如果让某人独自开始学习IDL的奧秘,ⅠDL将是件可怕的事情,甚全对有经验的用户来说也是一样。本书意在使读者掌握IDL,教给读者在日常运行ⅠDL所必需知识的80%。更为重要的是,本书的例子使IDL更容易理解。无论如何,本书将演示如何使用⊥DL本书的读者是IDL初学者,特别是哪些不得不自学IDL的读者。学好IDL需要很长的阶段。多数人不能利用工作中的时间学习ID,笔者想写一本能满足这两类人学习IDL的书。总之,本书为不喜欢读教科书并能通过例子学得最好的人全面介绍ID的精髓。夲书在IDL编程技术和技巧方面只做了简要概略,而这些技术只能通过练习获取。最根本的是,这是一本笔者在学习IDL时所期望的书。运用本书笔者曾试图使本书每章能貝有独立性,这样能拿起本书就可翻到任何一章去学习最需要的知识。但在安排章节时,或多或少是根据笔者在IDL教学时的顺序安排。如果刚开始学IDL,那么按照书中的顺序从头川始学完本书将更合理。书中后面的几章编程教程是建立在前面儿章中讲过的概念和技巧的基础上的。IDL所需的版本希望读者在学习本书时使用的是最新的IDL版本。本书写作时使用的是ID5.2版。使用较早版本可以使用本书中编程例了的大部分,但笔者没有试图使本书中的例了程序与较早的IDL软件版本兼容。特别是,较早版本的用户在使用长文件名(如果在 Windows环境下)、指针(必须用句柄代替它)以及方括号米引用数组下标时(必须用圆括号代替它)时存在困难。如果需要升级软件,可以在ResearchSystems公可的wwW网址http://www.rsinc.com上查找关于ResearchSystems公司和当地IDL代理商的信息,包括如何升级软件的信息。IDL运行期间所需颜色的数量书中程序例子是按ID.在256种颜色模式下运行编写的,使用通常称为索引颜色的模式(详细细节参考83页的“使用IDL的颜色”章节)。这意味着所显示的颜色是索引号或是与色彩表相连的颜色,这样在色彩表中的颜色变化时,所显示的颜色也一同变化。启动IDL并在IDL命令行键入如下IDL命令,能发现所用的颜色模式。IDL>WindowIDL>Print. id n colors当!D.N( olors的值大于或等于256时,仍然能够使用书本中的例了,但必需对代码做“点改变。人多数人使用的颜色值都小于256。比较典型的颜色值介于200与245之间。笔者推测在本书中至少要用150种颜色。那就是说,!D. n Colors的值应在150至256之间少于150种颜色会怎样?如果在IL运行中少于150种颜色,并且计算机运行在公用桌面环境(CDE),可以将CDE环境下的颜色数设置为不是“高”的那种。设置为“中”或“低”的情况下,程序将运行良好。在视窗环境操作手册的在线帮助中查找如何改变这个设置如果不是用的共用桌面环境,颜色数也少于150,并且不是在PC机或 Macintosh计算机上运行IDL的话,那么很可能运行了其它应用稈序,该应用程序使用了要分配给IDL的颜色值。网页浏览器很可能就是这样的应用程序。退出当前任务,重新登录,并在重新登录后最先启动IDL键入以上命令,如果仍然得到少于150种的颜色,那么需要联系 Research Systems公司的技术人员,以获取更多的帮助。如果颜色数少于150种,并且是在PC或 Macintosh计算机上运行的IDL,那么,检查显卡以硝保设置为256色。一般π通过显示器的控制面板完成。详细细节参考计算机文档资料。
- 2021-05-07下载
- 积分：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
