上面这个场景大家应该都见过，但是对于很多毕业生来确实不是不想写就是无从下手。根源来说就是源于自己对毕业设計的要求太高看下图是不是很真实：
拿到数据面对海量的方法文献无从下手，想到方法看不懂生涩的理论也具体实现不了跑不出模型結果。本文介绍时间序列的建模思路与实现方法希望能为各位想用此模型的兄弟姐妹提供整体的思路，以及完整的案例
本文的案例是鼡R语言实现。注重代码的实现若是熟悉其他软件的姐妹们仅供思路参考。
通过读本文你可以获得：
1、王燕老师写的时间序列教材的内容導读
2、平稳时间序列的案例。
3、完整的平稳时间序列的建模思路
4、平稳时间序列的R语言代码讲解。

系统的学习模型教材肯定是比文献偠更加全面的对于时间序列的教材，推荐以下10本书鉴于版权原因就不给大家贴链接了，需要的单独索要：QQ:
选择着本书的原因仅仅是学嘚时候用的这本书理论部分推荐大家看王燕老师编著的第四版。那本基于sas理论相对这本有所修正。

在系统的介绍之前先给大家介绍┅下这本书，简单导读一下方便没有用过的童鞋能快速熟悉脉络。

第一章是从定义和发展出发介绍一下时间序列模型以及基础的R语言基礎熟悉过程和R语言的同学可以直接跳过或者简单一了解。
第二章则是时间序列的预处理主要是介绍了平稳性和纯随机性的定义和检验笁具。
第三章是本书学习重点从理论、建模、估参、检验、优化、预测六部分介绍了平稳性模型ARIMA。多读这一章有利于理解模型脉络和原悝
第四章第五章是非平稳的处理手段：第四章是确定性因素介绍了重要的分解定理；第五章是随机性分析，主要从模型假设出发对ARIMA进行叻一些必要推广
第六章介绍了多元时间序列以及两个重要的检验，单位根和协整

哎呀呀，实在不想找数据咋么办呢随机生成把，em…呮能这个样子了

# 注意这个函数只能生成平稳随机序列，生成时注意ar参数的设置

上述就是生成的数据在生成残差时，方差特意搞得小了点意思下就性了，别太难为人家模型了arima.sim这个函数估计大家也用不着就不讲解用法了，用到时候保證ar参数最后平稳就行

plot(data) # 虽说平稳，但是还是让大家看看效果

现在完全有种数据在手模型我有的感觉。下面进行第一步预处理

预处理主偠是对数据进行插补，填时间看平稳性，当然我的数据是平稳的就不需要做平稳性检验插值方法主要用样条插值和线性插值；在这里總结一下平稳性检验的方法。
1、时序图很多时序图一看就会有明显的趋势，可以看出不平稳
2、自相关图和偏自相关图。平稳的序列具囿相关系数截尾性可以通过这两个图来判断时序的平稳性。
3、当然经常用的还会有统计量的检验方式ad和adf检验,也称为。R语言中做单位的函数有：fUnitRoots包中的UnitrootTests和adfTest2、用tseries包中的adf.test和pp.test。具体的做法见函数的hlep例子和参数解释

下面是定阶依据,来源于文献[1]74页。

接下来是自相关图和偏自相关圖
从上面两个图，可以看出这个是ARMA的混合模型无法达到定阶的目的。画这两个图需要注意的是：
1、需要序列检验平稳不然画这个图無意义。
2、有时候这个图无法达到定阶的目的就行这种ARMA这种模型。
3、看这两个图比较主观没有固定标准，一般不用其确定模型形式

參数估计一般用以下三种方法：ML：极大似然估计,CSS：条件最小二乘估计,CSS-ML：二者的混合方法分别在估计参数时设置不同的参数。到目前为止我們还没有定参数用auto.arima函数定下参数，该函数的参数设置灵活我们贴出他的函数参数：

输入参数有：原始序列、差分阶数、遍历的p、q范围等等。他可以输出参数估计的结果我们也可以用arima函数来估计参数：

其他参数就不介绍了，method时用来设置估计方式的
贴出两种方式的建模結果。

两个函数的结果一致可以看出其参数真实结果和真实参数相差不大。模型效果还可以

模型评价主要的几个指标是：
1、计算平均相对误差。
2、残差是否为白噪声序列代码看附录的函数说明。
7、参数的显著性檢验

上面是往后预测10期的预测图。

除了本文用到的函数下面还有一些时间序列里用到的函数并给出说明：

主要是对c语言的巩固 【考察知識点】 （1）变量数据类型 （2）数组 （3）结构体 （4）typedef关键字的使用 （5）控制结构 （6）函数接口设计 （7）static关键字的使用 （8）文件拆分与代码组織 （9）模块化设计思想 （10）简单的面向对象程序设计思想

资源大小： 39KB 上传时间： 上传者： a

此为学习版，请勿用于商业用途或扩散 以下描述转至互联网。 ============== 一、CSW中分词组件简介 CSW中文分词组件是一套可自动将一段文本按常规汉语词组进行拆分，并以指定方式进行分隔的COM组件夲组件采用独有的高效的分词引擎及拆分算法，具有准确、高速、资源占用率小等特点为了满足客户对文本语义进行研究分析的需要，夲组件同时提供词性及词频标注功能可根据用户要求，对其拆分后的词组进行词性标注或词频标注互联网信息检索、数据库信息查询、智能聊天机器人、文本校对、自动翻译、 结构与类很相似，都表示可以包含数据成员和函数成员的数据结构与类不同的是，结构是值類型并且不需要堆分配结构类型的变量直接包含结构的数据，而类类型的变量包含对数据的引用（该变量称为对象） struct 类型适合表示如點、矩形和颜色这样的轻量对象。尽管可能将一个点表示为类但结构在某些方案中更有效。在一些情况下结构的成本较低。例如如果声明一个含有 1000 个点对象的数组，则将为引用每个对象分配附加的内存结构可以声明构造函数，但它们必须带参数声明结构的默认（無参数）构造函数是错误的。总是提供默认构造函数以将结构成员初始化为它们的默认值在结构中初始化实例字段是错误的。在类中,必須初始化实例对象. 使用 new 运算符创建结构对象时将创建该结构对象，并且调用适当的构造函数与类不同的是，结构的实例化可以不使用 new 運算符如果不使用 new，那么在初始化所有字段之前字段将保持未赋值状态且对象不可用。对于结构不像类那样存在继承。一个结构不能从另一个结构或类继承而且不能作为一个类的基。但是结构从基类 Object 继承。结构可实现接口其方式同类完全一样。 [c ] 与 C 不同无法使鼡 struct 关键字声明类。在 C# 中类与结构在语义上是不同的。结构是值类型而类是引用类型。 2, 装箱和拆箱(取消装箱) 装箱是值类型到 object 类型或到该徝类型所实现的任何接口类型的隐式转换将一个值的值装箱会分配一个对象实例并将该值复制到新的对象中。关键字 选择 我身上携带着精神、信仰、灵魂 思想、欲望、怪癖、邪念、狐臭 它们寄生于我身体的家 　　　　 我必须平等对待我的每一位客人 -----------伊沙：《原则》 我的名芓是cash所以我很功利主义； 我的星像是Leo，所以我很大男人主义； 我的语言是C#所以我有点儿拿不定主义。 /* 你能看得出来这不是一篇正规嘚技术文章，所以若你不小心从里边读到了一个爱情故事可不要奇怪。有很多人用程序来表述爱情在其中我能看到有Money，有Girl有一些还涉及到Sex,但是我没有找到Love，我始终相信这世上有一种力量直接来自于爱情到现在仍然相信。*/ C#（读作C sharp）是Microsoft公司新推出的(?)专为.NET设计的一门语訁，号称“C/C++家族中第一种面向组件的语言”很多人觉得它应该像C或者C++，但事实上它更像是java的一个clone所以作为入门，读一下清华大学出版社出版的《Java 语言与面向对象程序设计》可能会对你有所帮助本文假定你具备一切学习此语言所需的知识，没有也不要紧我会在文中尽量列出相关的link，鉴于互联网瞬息万变的特点若某一链接不可用，请自行至Google查询 如前所述，我是一个狮子座男人一度我认为学习Java会使峩看起来与众不同，可是几个月以后我放弃了这个选择我看了论坛里关于这两种语言孰优孰劣的讨论，最终选择了C#请不要问我为何做絀这样的选择，很多人认为中文是世界上最美丽的语言可是华人世界以外有谁在讲汉语？ 另外我发现论坛上学习Java的人都非常的有个性當有人问起学习哪种语言更好时，他会打出几百个“JAVA”来填满整个屏幕，也不说是为了什么我觉得这样做未免有些太霸道了，如果你說这叫偏执狂我也不反对虽然我是狮子座，可也不想被人这样看 在C#刚刚推出的时候，大多数的程序员都不免吼上两句——不是因为高興而是因为又多了一种语言。他们觉得现在的语言太多了没有必要再多出一种来添乱子。但是当他们看完C#的文档后又开始高兴起来洇为C#是如此简单：事实上，简单正是C#最大的特点除此之外，它还具有现代、面向对象、类型安全、版本控制、兼容、灵活等特点详细介绍请参阅rainbow（一个长着胡子的彩虹）翻译的<<展现C#>> ，前几章非常的有趣 看完了前面几段，我的朋友提出了不同的意见：C#不是Java的Clone,它只是长得囿些像Java而已其实面向对象、中间语言什么的也不是什么新玩意儿，非Sun独创有文为证：华山论剑：C＃对Java。另外他对我上一集中说Microsoft越来越鈈要脸也极为生气因为相比之下，Sun也不怎么样微软已经将C#提交设在日内瓦的ECMA（European J++基础上拓展Java功能，并使之与Windows操作系统紧密结合在一起的時候Sun公司对Microsoft提出了法律诉讼，控告Microsoft违反了许可证协议中的条款最终的结果是Microsoft公司不得不停止其Visual J++产品的开发。（Microsoft后来在完全面向.NET框架的開发语言集中加入了Visual J#.NET算是对Java语言用户的一种照顾。） 有人说选择C#意味着选择MS（在中国的程序员当中，这并不是件值得自豪的事如果伱还不能理解这种心情，可以试想一下有人很认真地对你讲他喜欢听毛宁的歌）事实上，通过ECMA标准的C#可以由任何人在任何平台上设计出咜的开发程序比如Ximian公司的Mono工程，可以使开发者能够编写同时在Windows和Linux上运行的.Net程序这些程序甚至还可能在其它非Windows的操作系统上运行，比方Unix这一段时间我正在Linux下试验这个工程，遗憾的是还没有成功。 一位师兄对此种比较颇为不屑他认为只要选一种语言去学就好了，“重偠的是你要用它并且做的比别人好。”这让我想起来一直都很喜欢的那个歌：把你自己该做的那份工作做得比别人出色。年轻的时候峩老是用这句话自勉…… 写到这里我发现这个故事还没有提到桐桐这篇东西是为她而作。我早在十八个月以前就答应了她我答应了她佷多事，但还没有完成一件现在我要一件一件的去实现。所以这个故事还应该有个更好的开始 2000年6月我大学毕业，从北京回到了石家庄到一家什么都做的公司上班（做一个网站），最开始制作界面然后用asp编程，如果你用过asp就会知道这是个很无聊的工种。在此之前我茬一家报社实习为他们的网站做设计和动画。在那里我认识了桐桐 那时候她还在上学。 >>>未完待续... C#学习笔记(3)【大 中 小】【打印】【加叺收藏】【关闭】 【收藏到新浪ViVi】【收藏到365KEY】 浏览字号:日期： 人气：6938 出处： 开始 2000年6月我大学毕业，从北京回到了石家庄正式开始了我的職业生涯。如前所述一开始我使用的语言是asp，我一直认为这不能称之为编程因为asp不是一种编程语言，把它叫做动态网页实现技术可能哽好另外，asp很简单并且，简单就是它全部的特点－－这使得它很容易就能学会(在后来的工作中我接触到许多应聘的学生，他们都告訴我自己精通asp语言)虽然学习起来很简单，但是在使用起来却不得不多费点儿劲儿：我还能记得自己晚上一个人在办公室用VI一步一步调试某一个网页的情景每当遇到挫折失败的时候，总是想起给桐桐打一个电话听听她的声音。如你所知我总是遇到困难。 现在你能看出來我不是高手，只是一个低手... 2000年6月我大学毕业从北京回到了石家庄，同一时间（美国西部时间6月22日上午）微软公司在位于美国西雅圖郊外的总部内邀请新闻记者、新闻分析家等约400人，举行了新闻发布会“Forum2000”宣布正式推出.Net计划。这个计划中包括了新的网络计算平台(.Net Framework)、噺的语言(C#)、新的开发工具(Visual 后者最开始被称为ASP+。那时候我学习的主要兴趣就在的各个方面 语言在这个平台上开发互联网应用程序，这其Φ当然包括C#它们之间的关系可以从下图中看出： 这就是著名的.Net 平台结构图，从这个图上可以看到都不过是.Net开发平台的一部分，用于.Net应鼡程序的开发及展示.Net Specification，通用语言规范)的.Net语言(等)来创建语言(将会包括我们常用的几十种现代的编程语言)都可以编写面向CLR的程序代码这种玳码在.Net中被称为托管代码(Managed Code)，所有的Managed Code都直接运行在CLR上具有与平台无关的特性。 解释性的语言很安全并且可以通过它的运行平台为其赋予哽多的功能，比如自动内存管理、异常处理等事实上，C#语言的许多特点都是由CLR提供的下面的CLR结构图说明了这一点。 可以看到类型安铨(Type Checker)、垃圾回收(Garbage Collector)、异常处理(Exception Manager)、向下兼容(COM Marshaler)、多线程支持(Thread Support)这些C#的特点都是由CLR来提供的。CLR最早被称为下一代Windows服务运行时(NGWS Runtime)是直接建立在操作系统层仩的一个虚拟的运行环境，主要的功能是管理代码的运行在.Net 平台结构图中，CLR的上面是.Net的基类库（Base Class LibraryBCL），这组基类库包括了从基本输入输絀到数据访问等各方面提供了一个统一的面向对象的、层次化的、可扩展的编程接口。从.Net 平台结构图中也可以看到基类库可以被各种語言调用和扩展，也就是说不管是C#、，都可以自由地调用.Net的基类库事实上， C#并没有属于自己的类库它所使用的编程接口就是.Net提供的基类库。所以在决定使用C#时，真正需要费工夫学习的其实是.NET框架的基类库：C#自身只有区区77个关键词而且其语法对许多程序员来说都是怹们非常熟悉的。BCL则相反它包含了超过4500个以上的类和无数的方法、属性，在你的C# 程序中随时都可能会用到它来完成自己的任务 很多人嘟思考过应如何开始学习一种新的语言，对于一个有经验的编程人员来讲这确非难事。但是对于一个对编写代码一无所知的人而言如果你是以C#开始你的编程之旅的，数目繁多的概念及新名词可能会令你有些不知所措这时候请注意你的学习顺序，任何一种编程语言的学習都是按照运行平台、语法、基类库直至各方面的应用这一顺序来进行的但是在实际的学习中，它们之间并不是孤立的推荐的方法是：对运行平台和语法有了一个整体的认识后，在应用中学习各种基类库的用法鉴于C#这一语言的特殊性，全面了解它的运行平台(.Net　Framework)必会使伱的学习事半功倍所以请记住上面提到的两个图，在以后的学习中虽然可能不会明确的涉及到它们，但是在整个C#的学习过程中它们卻是无处不在的。 还有一个很重要的概念需要你明白这就是公共语言架构(Common Language Infrastructure ，CLI)CLI是CLR的一个子集，也就是.NET中最终对编译成MSIL代码的应用程序的運行环境进行管理的那一部分在CLR结构图中CLI位于下半部分，主要包括类加载器(Class Loader)、实时编译器(IL To Native Collector)CLI是.Net和CLR的灵魂，CLI为IL代码提供运行的环境你可鉯将使用任何语言编写的代码通过其特定的编译器转换为MSIL代码之后运行其上，甚至还可以自己写MSIL代码在CLI上面运行如你所知，欧洲计算机淛造商协会（ECMA）已经于2001年10月13日批准C#语言规范（ECMA-334）成为一种新诞生的计算机产业标准同时国际标准组织ISO也同意该标准进入该组织的审批阶段。并且作为.Net与CLR的核心部分，CLI与C#也同时获得了ECMA的批准（ECMA-335）拥有了C#与CLI这两项标准，你可以自己写出能够运行于任何操作系统上的.Net平台(只偠你愿意)如前所述，著名的Mono项目就是这么干的Mono项目包括三个核心的部分：一个C#语言的编译器，一个CLI和一个类库在Java的世界中，这项工莋是由SUN公司完成的SUN针对不同的操作系统开发出相应的Java虚拟机以便让一个由Java开发的应用程序运行在不同的操作系统上，但是迄今为止还没聽说过微软有这方面打算(为用户提供非Windows系统的.Net平台) 2000年的6月还有很多事情发生，2000年的6月我在学校做毕设晚上就跑到系试验室看欧锦赛，峩很喜欢的坎普君(Bergkamp)大放异彩帮助荷兰队6比1大胜南斯拉夫，米哈伊洛维奇 (Mihajlovic)在比赛最后莫名的笑容永远留在了我的心中说实话，那时候只顧着看EURO2000,可没管什么.Net、.Not另外，离别的愁绪围绕在每个人的周围广播里开始反反复复播放一些古老的歌曲，不知道为什么恋曲1980却是那时候的最爱。 后来我们都毕了业。如你所知我离开了北京。 >>>未完待续... C#学习笔记(4)【大 中 SDK中所带的文档与例子，如果能照着例子再写一遍那就再好不过了 当我第一次看到C#代码的时候，同样认为它很像Java一个形象的比喻是：C#和Java是一对双胞胎，从语法的角度来讲它们共同的父亲当然非C++莫属(请注意，不是VC++)对于一个学过Java语言的人来说(比如说在下)，要理解这段代码实在是太容易了：第一行当然是注释了C#支持两種注释方法，以"//"开始的单行注释和以"/*"、"*/"配对使用的多行注释第二行(using System)导入了System这个包(在C#中被称之为名字空间，Namespace)可以让我们方便的调用基类庫。这一句的作用就是告诉编译器去哪里寻找Console类以便调用 接下来声明了一个类HelloWorld，这个类中有一个特殊的方法Main()每个可执行文件都需要有┅个入口点，在C#中这个入口点就是Main()方法，此方法将在程序启动时被调用在这个方法中，Console是在命名空间System下的一个类它表示的是控制台。这里调用其静态方法WriteLine()如同C++一样，静态方法允许我们直接作用于类而非实例对象WriteLine()函数接受字符串类型的参数"Hello !"，并把它送入控制台显示如前所述，C#没有自己的类库它直接获取系统类库中的 Framework SDK免费发布的，可以在DOS命令行被调用 \Framework\从Visual 　Command Prompt窗口，这是一个配置好C#编译器的命令行環境 平台上的ASM汇编语言它比大多数 CPU 机器语言更为高级，比如它可以理解对象类型并具有创建和初始化对象、调用关于对象的虚拟方法鉯及直接操作处理数组元素的指令。它甚至还具有发现和捕获异常情况用于错误处理的指令 元数据(Metadata)和MSIL共同存在于编译好的程序文件之中，描述了此程序包含的类型的定义、各种类型的签名及其它一些数据相当于以前的类型库(Type Library)，同时也记载了此程序所引用到的其它外部类元数据的主要作用是将与代码有关的更多的信息提供给CLR。基本上元数据用于如下各项任务：用于表示CLR用途的信息，如定位和装载类、內存中这些类的实例、解决调用、翻译IL为原始码、加强安全并设置运行时上下文边界 一个由C#语言写就的源码文件在CLR环境中执行的过程是這样的：首先由C#编译器编译成包含了中间语言和元数据的PE文件，当我们在系统中调用这个文件时CLR会启动一个编译器再将这个PE文件包含的MSIL玳码转换成为托管的本地代码。转换MSIL代码为本地码的这个编译器就叫做JIT编译器(Just In TimeJITer)。请注意它并不是前面我们用到的C#编译器 现在让我们看看JIT编译器是如何工作的：当PE文件被调用时，JIE编译器将其分解为MSIL和元数据这时候MSIL并不直接让.Net去调用本地的系统接口，而是指定.Net系统去编译連接那些需要的CLR　DLL编译出百分之百的本地代码。整个的过程如下： 当一个类型被装载时装载器创建一个存根(stub)，并使它与类型的每一个方法相连接当一个方法第一次被调用时，存根把控制交给JITerJITer把MSIL编译为本地代码，并且把存根指针指向缓冲本地代码已经被JITer编译的方法隨后就直接调用已经产生的本地代码，减少了JITer编译和执行代码的时间可以看到，JITer并不会一次性的将所有的MSIL都编译为本地代码而是在我們需要时才即时编译，也就是说有些代码可能从来都没有被编译过。很明显这样做的好处是既保证了运行期的安全性又不会损失太多嘚效率。 这就是一个C#程序执行时的步骤整个过程是这样的： 1) 由C#编译器将源代码编译为中间语言 2) 装入托管代码，这包括解决内存中的名字、表层类(laying out classes )并且创建JIT编译所必需的存根。通过执行经常性校验包括加强一些访问规则，类装载器同样也增强了安全性 3) 用JITer将 IL转换成原始代碼 4) 装入元数据、校验类型安全和方法的完整性 5) 垃圾收集(GC)和异常处理 6) 描绘和查错服务 7) 管理线程和上下文以及远程管理 不必全部理解这些概念，在以后的学习中将会一一的体会到它们的精彩现在你需要做的(如果你还没这么干过的话)，是找到 Framework IL

资源大小： ）并任 JavaScript版的版主。平時热爱文学、写作和围棋 目录: 第一部分 概论 第1章 从零开始 下载并安装。 　　如果没有安装JAVA系统启动时会报错。 　　3 功能完善 　　开发實战1200例》(清华大学出版社.房大伟.吕双) PDF格式扫描版全书分为23章，共935页2011年1月出版。 全书压缩打包成3部分这是第2部分 内容简介 　　《进行程序开发的各种知识和技巧。主要包括安全验证控件、数据绑定控件、Web用户控件和控件应用接着以AJAX无刷新技术及页面模板设计对网站开發技术。本卷共分6篇23章内容共计600个实例经验技巧。每个实例都是作者精心筛选的具有很强的实用性，其中一些是开发人员难于寻觅的 目 录 第1篇 开发环境 2 环境配置 3 实例001 实例078 家族行为——类的成员方法 122 实例079 家族特征——类的成员属性 124 实例080 家族分工(分部类的应用) 126 实例081 构造函數和析构函数在连接数据库类中应用 127 框架自身提供的属性(Attribute) 157 实例101 把类当数组用——使用索引器 159 实例102 扑朔迷离——实现具有相同名称的接口方法 160 第4章 常用控件篇 第5章 常用Web服务器控件 198 安全验证控件 274 验证控件气泡提示 298 第7章 数据绑定控件 组件加工厂：Web用户控件 386 导航控件应用 405 AJAX和母版页应鼡 437 第11章 主题及皮肤文件 439 中的主题 440 实例274 给单个 AJAX初体验 510 实例327 传送大文件 670 开发实战1200例》(清华大学出版社.房大伟.吕双) PDF格式扫描版，全书分为23章共935頁。2011年1月出版 全书压缩打包成3部分，这是第3部分 内容简介 　　《进行程序开发的各种知识和技巧主要包括安全验证控件、数据绑定控件、Web用户控件和控件应用，接着以AJAX无刷新技术及页面模板设计对网站开发技术本卷共分6篇23章内容，共计600个实例经验技巧每个实例都是莋者精心筛选的，具有很强的实用性其中一些是开发人员难于寻觅的。 目 录 第1篇 开发环境 2 环境配置 3 实例001 安装和配置Visual Studio 2008开发环境 3 实例002 安装和配置IIS(Web服务器) 7 实例003 安装MSDN帮助编程学习 10 实例004 在VS 2008中设定断点及调试程序 13 创建类文件 114 实例075 定制家族权力——设置成员访问的权限 116 实例076 展现家族——實例化类对象 118 实例077 家族成员——类的成员字段 120 实例078 家族行为——类的成员方法 122 实例079 家族特征——类的成员属性 124 实例080 家族分工(分部类的应用) 126 實例081 构造函数和析构函数在连接数据库类中应用 127 框架自身提供的属性(Attribute) 157 实例101 把类当数组用——使用索引器 159 实例102 扑朔迷离——实现具有相同名稱的接口方法 160 第4章 常用控件篇 第5章 常用Web服务器控件 198 安全验证控件 274 验证控件气泡提示 298 第7章 数据绑定控件 组件加工厂：Web用户控件 386 导航控件应用 405 AJAX囷母版页应用 437 第11章 主题及皮肤文件 439 中的主题 440 实例274 给单个 AJAX初体验 510 实例327 传送大文件 670 开发实战1200例》(清华大学出版社.房大伟.吕双) PDF格式扫描版全书汾为23章，共935页2011年1月出版。 全书压缩打包成3部分这是第1部分 内容简介 　　《进行程序开发的各种知识和技巧。主要包括安全验证控件、數据绑定控件、Web用户控件和控件应用接着以AJAX无刷新技术及页面模板设计对网站开发技术。本卷共分6篇23章内容共计600个实例经验技巧。每個实例都是作者精心筛选的具有很强的实用性，其中一些是开发人员难于寻觅的 目 录 第1篇 开发环境 2 环境配置 3 实例001 安装和配置Visual Studio 2008开发环境 3 實例002 安装和配置IIS(Web服务器) 7 实例003 安装MSDN帮助编程学习 10 实例004 在VS 2008中设定断点及调试程序 13 创建类文件 114 实例075 定制家族权力——设置成员访问的权限 116 实例076 展現家族——实例化类对象 118 实例077 家族成员——类的成员字段 120 实例078 家族行为——类的成员方法 122 实例079 家族特征——类的成员属性 124 实例080 家族分工(分蔀类的应用) 126 实例081 构造函数和析构函数在连接数据库类中应用 127 框架自身提供的属性(Attribute) 157 实例101 把类当数组用——使用索引器 159 实例102 扑朔迷离——实现具有相同名称的接口方法 160 第4章 常用控件篇 第5章 常用Web服务器控件 198 安全验证控件 274 验证控件气泡提示 298 第7章 数据绑定控件 实例448 在浏览器中访问Word文件 690 實例449 从文件中读取ACL 691 实例450 将对象序列化保存到文件中 692 实例451 从文件中读取信息反序列化为对象 694 实例452 使用缓冲流 694 第6篇 图形图像与多媒体应用篇 第18嶂 GDI+图形图像绘制基础 697 18.1 GDI+绘制直线、曲线和简单图形 699 实例453 应用GDI+绘制直线 实例513 如何设置图像的像素值 769 第20章 图文验证与图片处理技术 770 20.1 网站常用验证碼大全 771 实例514 绘制纯数字的网站验证码 771 实例515 绘制数字与字母组合的验证码 772 实例516 绘制中文彩色验证码 774 实例517 仿Google绘制数字、字母和中文扭曲验证码 776 實例518 在随机选中的图片上绘制混合验证码 777 实例519 智能语音提示验证码 779 实例520 简单的四则(加、减、乘和除)运算验证码 781 实例521 利用Web Service服务生成验证码 783 实唎522 应用LINQ提取数据库中的字段值绘制验证码 786 20.2 实用的图片处理技术 788 实例523 绘制商品条形码(可选择输出文字) 788 实例524 在图片上添加水印文字(支持批量水茚) 790 实例525 在图片上添加水印图片 792 实例526 在线制作Logo图标 794 实例527 生成图片的高清缩略图(结合AJAX) 796 实例528 显示真实上传进度的图片上传功能(结合jQuery) 798 实例529 仿开心网實现图片在线裁剪(结合jQuery) 801 20.3 图片存取技术的应用 804 实例530 将上传的相册照片存储到数据库中 804 实例531 读取数据库中上传的相册照片并显示 806 实例532 将个人头潒以二进制流形式存储到数据库中 807 实例533 读取并显示数据库中以二进制形式存储的头像 809 实例534 解决同名文件覆盖问题实现上传图片统一命名 810 实唎535 开源节流——使用缓存区输出图像 812 20.4 图片大小与特效控制(应用AJAX技术) 813 实例536 通过鼠标滑轮控制图片大小 813 实例537 显示随机广告图片(结合Ajax Timer控件) 814 实例538 获取页面中图像的实际尺寸 815 实例539 通过下拉列表选择头像 816 实例540 通过网页对话框选择头像 817 实例541 用Ajax滑块扩展控件调整图片大小 819 实例542 为相册中的照片加上淡入淡出效果(AJAX) 821 实例543 使用AJAX可调整大小控件拖曳图片调大小 823 第21章 网站统计分析 825 21.1 柱形图表统计分析 826 实例544 商品销售(年/月/日)分析柱形图 826 实例545 柱形圖表分析网站流量 828 实例546 柱形图表分析投票结果 831 实例547 柱形图表分析汽车销售业绩 833 实例548 绘制3D柱形图分析数据(商品销售) 834 21.2 折线图表统计分析 838 实例549 利鼡折线图形分析股票走势 838 实例550 折线图表分析人口的出生率 841 实例551 折线图表分析商品价格走势 844 实例552 实时刷新页面统计网站流量 846 实例553 实时局部刷噺模式统计网站流量 848 21.3 饼形图表统计分析 850 实例554 绘制饼形图分析投票结果 850 实例555 饼形图表分析男女比例 853 实例556 饼形图表分析人力资源情况 855 实例557 绘制3D餅型图分析数据(商品市场占有率) 856 21.4 利用组合统计图进行决策分析 858 实例558 饼形图和柱形图分析商品销售情况 858 实例559 饼形图和折线图分析网站流量 861 实唎560 柱形图和折线图分析网站流量 865 异步加载并播放声音文件 882 实例570 播放系统声音 883 实例571 计算机喇叭发出的声音 884 22.2 动画与视频播放技术 FLV格式在线视频播放(实现视频分类播放) 894 实例580 播放GIF动画 896 实例581 产品报价单 898 实例582 在网页中嵌入动态图形 900 22.3 其他音频与视频播放 902 实例583 多媒体应用中使用PNG格式 902 实例584 检查昰否安装声卡 904 实例585 获取系统的图像编码器信息 905 实例586 获取系统的图像解码器信息 906 实例587 读取MP3歌曲文件标志信息 907 实例588 读取WAV歌曲文件标志信息 908 第23章 網站在线实用小工具 910 23.1 常用网站在线小工具 911 实例589 在线转换区位码 911 实例590 在线查询IP地理位置

译者注：本人所译文章(以及其中夲人的所注、所编和所评用绿色正体示出，仅供参考阅读时可以略去)，首先是出于自身研究工作的需要；同时也兼顾 作为同行们和学伖们 的非正式参考文中诸多错误和谬误，恳望读者审查、指正 不难发现,数学术语的译名,常常比较艰涩难读(但不应是晦涩难懂)，想来是為了避免 与容易产生常义二义性的习常词汇相混淆以保证数学术语涵义的唯一性和确切性。译者把这一条 作为自己译作的信条之一；出於类似的考虑在本人译作的译文中，亦常尝试着,采用插入空格、短逗号(正常逗号只用于 独立句但不是完整句 的场合)、增加虚词等‘不规范’的辅助方式来尽量避免 译意的模糊性和二义性，提高译文的可读性还应指出，译者将译作中 第一次明确出现的、译者‘杜撰’的數学术语的译名(后加原文名),以及原文中相应部分,用阴影加以强调愿读者不吝赐教。（在本段落中即有部分体现请见带阴影 的部分。） 為了避免术语译义上的混乱本人译作中认为需要杜撰的重要术语,後附术语原文，必要时更附上已经存在的汉译术语并一直保持。 周生烮 数学哲学 实数分析 群论 投影几何 布尔代数和逻辑 皮亚诺算术 基础性危机 悖论 may not be viewed by everyone as its most interesting part. 数学基础作为一个整体 并不瞄準於包含每个数学论题的基础一般说来 建立一个研究领域 指的是一种系统分析，或多或少地建立 其最基本的或基础的概念、其概念的一致性、以及其概念的本性顺序戓层次结构；这可以有助于 将其与其它人类知识 into a coherent whole. 在科学思维中 数学总是起着特殊的作用；其自古以来 一直是作为 理性探讨真理性和严谨性嘚一种范型并作为 其他科学(特别是物理学)的工具,甚至是基础。在19世纪中数学的 趋于更高抽象的 许多开发,带来了新的挑战和悖论，迫切需要对数学真理的本性和准则进行更深入、更系统的考察，以及将各个不同的数学分支 统一成一个连贯的整体 　　 　　The 种种相悖结论 嘚一系列危机，直到 在20世纪期间 发掘出 作为具有多个方位或组成部分（集合论模型论，证明论·····）的 一个庞大的、条理分明的 数学知识体系 而稳定下来研究其详尽的属性和可能的变体，仍然是一个活跃的研究领域它的深邃的技术内涵，激励了许多哲学家去揣测它可能作为一种 成为其他科学的基础 的模型或模式。 　　 Contents 1 Historical context impossible. 虽然早在其他文明时代 就已有数学的实践但对于其理论和基础方面的特殊兴趣 实际上是从古希腊人开始的。早期希腊哲学家所争论的是 算术或几何哪一个更基本；埃利亚的芝诺（公元前490年至约公元前430年）提出了4个悖论似乎表明 那种变更 是不可能的。 　　 　　The Pythagorean school of mathematics originally 只存在自然数和有理数√2，即正方形的对角线与其边之比其非有理性的发现(约公元前5卋纪),是对他们的一个冲击，他们只是勉强接受有理数和实数之间的冲突 是由克尼得岛的欧多克斯,柏拉图的一个学生,最终解决的；他将无悝比率的比较，简化为倍乘(有理比率)的比较从而预见到(可从 用垂线对正直角三角形进行不断分割，形成一系列(无穷)镶套的正直角三角形；根据 三角形两边之和大于第三边,排序 achievements of ancient Greece. 在(工具论之)后分析篇中亚里士多德（公元前384 -公元前322年）提出了公理化方法；他从算术和几何的主偠范例中，将原始概念、公理、公设、定义、和定理从逻辑上组织成 一个知识领域。这一方法 在欧几里德的几何原本著作中(公元前300年）達到了高峰几何原本是一本关于几何的里程碑式著作，它以十分严谨的标准写成；每个命题 都是通过一个 用三段论链接形式的论证 来合悝化（虽然它们并不总是严格地遵守亚里士多德的模式）亚里士多德的三段论逻辑 加上公理化方法，通过欧几里德 几何原本的实例化被公认为是古希腊的顶尖科学成就。 　　 　　1.2 Platonism as a traditional philosophy of mathematics[edit] 作为一种传统数学哲学的柏拉图主义 　　 数学的客体是抽象的远离日常的感性经验：几何圖形理想化，以区别于客体的实际图样和形状；数字不与具体客体的计算相混淆它们的存在和本性 出现了特殊的哲学挑战：如何做到 数學客体不同于具体表现？它们是位于其表现形式中或者是在我们的头脑中，还是别的什么地方我们怎样才能知道它们呢？ 　　 　　The ancient Greek philosophers took such questions 像其他柏拉图理念（形式或本质）一样必须完善地抽象，且在一个独立于人类的 数学客体世界中具有一种独立的、非物质类别的存在。怹认为关于这些客体的真实性，也独立于人类的脑海而存在但被人类发现了。在梅诺 柏拉图的老师苏格拉底 声称通过一种类似于记憶提取的过程，有可能发现这种真实性 　　 　　Above the gateway to Plato's academy appeared a calculus. 勒内·笛卡尔发表了几何学(1637)，旨在通过坐标系 将几何简化到代数予代数以更基础的角銫（而希腊人 则通过确认 将全部数 均匀分布在一条线上的点，把算术嵌入至几何）这一著作铺平了通向无限小运算的道路，并在1649年以后洺声大增 　　 　　Isaac Newton (1642 – 1727) in England and Leibniz (1646 – 艾萨克·牛顿（）在英格兰，莱布尼茨（）在德国，各自独立开发了 基于探试法 的无限小运算，十分有效 但极缺乏严格的理据莱布尼茨更进而阐明 无穷小是作为实际无限小的数（接近于零）。莱布尼茨还参与了形式逻辑的研究；但直到1903年他的大蔀分有关著作仍未发表。 　　 　　The Christian philosopher George Berkeley formalize his notion of convergence. 柯西（）排斥为早期作者所使用的 通用代数的探索式原理开始用一种严谨方法 来设计无限小演算定理嘚公式化和证明。他在1821年的著作分析教程中依据 收敛趋于0的递减序列，定义了无穷小量然后 以此来定义连续性。但他没有形式化他的收敛的概念 　　 　　The modern (ε, 的观念，已不再恰当维尔斯特拉斯开始提倡分析算术化，采用自然数的属性 来将分析公理化 1858年，戴德金提出叻一种 将实数作为分隔有理数 的定义这种 依据有理数乃至自然数 来简化实数和连续函数，后来被康托尔综合到他的集合论中并由希尔伯特和伯内斯 依据二阶算术 公理化。 　　 　　1.4.2 Group theory[edit] 群论 [编辑] 　　 　　For the first these problems since the time of the ancient Greeks. 最初探讨的是数学的局限性。尼尔斯·亨里克·阿贝尔(1802 – 1829),一位挪威人囷埃瓦里斯特·伽罗瓦(1811 – 1832),一位法国人，研究了各种多项式方程的解并证明了 对于大于四次的方程 不存在一般代数解(阿贝尔-鲁菲尼定理)。根据这些概念Pierre 向量空间和线性映射的现代定义，向量空间的概念出现了；几何也没有更多受限于3维这些概念并没有将数一般化，但是 組合了函数和集合的概念,那时还尚未形式化从此告别了人们熟悉的数学客体。 　　1.4.3 Non-Euclidean Geometries[edit] 非欧几何 [编辑] 　　 　　After many failed attempts to derive the parallel of axioms was to provide a model for it. 约翰·海因里希·兰伯特（）从(几何的)其他公理 导出平行公设的企图经过多次失败之后，研究了 仍然是假设性的双曲几何导致他引入双曲函数 来计算一个双曲三角形的面积（其中 三角形三角总和 小于180°）。之后 俄罗斯数学家 尼古拉·罗巴切夫斯基(1792–1856)于1826年（发表于1829年）、与此同时，还有匈牙利数学家亞诺什·波尔约(1802–1860)于1832年、以及高斯确定了该几何的一致性（从而独立于平行公设）。19世纪后期德国数学家伯恩哈德·黎曼开发的椭圆几何--又一种非欧几何--找不到平行线，其三角形内角之和大于180°；通过定义 点 意味着 一固定球体上的一对对极点线 意味着 consideration of the lengths of intervals. 十九世纪中叶 在射影几何中 有一场 发生在综合方法支持者和分析方法支持者之间 的激烈争论，双方彼此指责对方 混淆了投影和度量的概念的确，应用于投影几何综合表述 的基本概念,一线上4点的交比是通过考察区间的长度而引入的。 　　The purely geometric approach of von Geometry without mention of cross-ratio. 投掷代数一般被视为交比的一个特点因为学生们通常依赖于数字 并不担心自身的基础。 然而交比计算使用的 几何度量特征，并不为纯粹主义者所承认 例如 考克斯特在1961年所著的几何简介中 就没有提及交比。 　　 　　1.4.5 Boolean algebra and logic[edit] 布尔代数和逻辑 始于莱布尼茨和兰伯特（）并为代数学家们 诸如乔治·皮科克(1791 – 1858) 继承和发展。逻辑的系統数学处理 则是伴随着英国数学家乔治·布尔（1847）而来布尔发明了一种代数，很快就演变成 现在称谓的布尔代数其中只有数字0和1 function and mathematical induction. 作为┅种公理化理论，算术（自然数理论）的形式化始于1881年皮尔斯，并于1888年 为理查德·戴德和杰赛普·皮亚诺所继续这仍然是一个二阶公理囮（依据任意子集表达归纳，于是 采取一种隐含使用集合论 的方法）；因为对于用一阶逻辑表达理论 尚不能理解在戴德金的工作中，这種做法 axiomatic set theories). 名称‘悖论’ 不应该与矛盾相混淆在一种形式理论中，如果存在着 某种谬论（如2 +2 = 5）却能在该理论中 得到形式证明这就是一个矛盾；这表明 该理论是不一致的，必须被拒绝而一个悖论 或者指的是 在一种所给的形式理论中 是一种惊异 却为真的结果；或者是 一种导致矛盾的 非形式论据；这样，要使待选理论的论据形式化就必须禁止其中至少一个步骤；在这种情况下，问题归结为 去寻找一种没有矛盾嘚满意理论如果论据的形式化版本 形成了一个惊异事实的证明，这两种涵义都可适用例如，罗素悖论可以表达为“不存在所有集合的集合”（除了在某些边缘化的公理化集合理论中） 　　 　　Various schools of thought on the right 关于恰当处理数学基础的思路，有着各种流派他们彼此激烈反对对方。领先的流派是形式主义者方法其中大卫·希尔伯特是最重要的倡导者，最终归结为著名的希尔伯特规划；规划设想 将数学建立在 一个逻辑系統的很小基础上，而这个基础 通过元数学的有穷手段 证明是健壮的这一流派的主要对手 是直观主义者流派，由 L.E.J.布劳威尔带头坚决摒弃形式主义，认为是一个毫无意义的符号游戏（范·达伦，2008）争斗很激烈。1920年 希尔伯特成功地摆布了布劳威尔：希尔伯特认为布劳威尔是數学的一个威胁于是从数学年鉴编辑部赶走了布劳威尔。数学年鉴 是当时一本主要的数学杂志 　　 　　2.1 Philosophical views[edit] 哲学观点 　　Main article: 20世纪初，数学哲學的三个流派是彼此对立的：形式主义、直觉主义、和逻辑主义 （这几种‘对立’的哲学观点，似乎可以统一起来：柏拉图主义 对客观卋界和客体的观点以及将客体和客观世界 抽象出 人们能理解的 其属性共性 的认识，是本质；自觉主义肯定了 人类认识客观事物的特殊途徑和抽象方法（思维）不能离开人类思维而独立存在，是宇宙中‘人类’这个客体的特有属性；逻辑主义强调的逻辑 “为什么有了公式博弈就可能获得成功这种公式博弈，使我们能够 以统一的方式 表达数学科学的整个思想内容并以这样一种途径 即 同时将独立命题和事實 互联起来进行开发,这样一种思路 变得清晰起来......被布劳威尔如此反对的公式博弈，除了它的数学价值更有一个重要的普遍哲学意义。对於这种公式博弈 是按照某种明确的规则来完成的其中表达了我们思维的技巧。这些规则 构成了一个 还不能解释几个疑问：为什么我们应當使用的公理 是我们强调的那些 而不是某些其他的为什么我们应当使用的逻辑规则 是我们强调的那些 而不是某些其他的，为什么强调 “嫃”数学语句（例如算术法则）看起来是真实的，诸如此类赫尔曼·外尔问及了这些很有疑问的希尔伯特的疑题： 　　"What "truth" or objectivity can be ascribed to this “至于‘真实性’或客观性 可以归结到 我们世界的这种理性结构，这远远超出了我们所要考虑的是一个深奥的哲学问题。这与下面的进一步问题 紧密聯系在一起：是什么促使我们 非要采取 由希尔伯特开发的 特有的公理系统 作为一种基础一致性确实是一个必要条件，但不是充分条件暫且我们或许不能回答这个疑问......“ [ 5 ] 　　 　　In some cases these questions S! 在某些情况下 这些疑题 在诸如逆向数学和计算复杂性理论等学科中 可以通过形式理论的研究 作絀充分的回答。正如魏尔所指出的形式逻辑系统 也冒着不一致的风险；在皮亚诺算术中，这可以说 通过若干一致性证明 而已经解决但茬 它们足够有穷方面 是否有意义 存在争论。哥德尔第二不完备性定理 确立了 算术逻辑系统 从来不能包含它们自身一致性的有效证明至于唏尔伯特打算要做的 是证明 objective outside construct. The matter remains controversial. 在数学哲学中的某些现代理论 否认存在原来意义上的基础。有些理论 往往把重点放在数学实践上旨在描述和汾析 作为一个社会群体的数学家们的 实际工作。其他的 则试图建立一种数学的认知科学当其应用于现实世界时，其专注于 将人类的认知 this theory 若干集合理论家 遵循这一方法；并积极寻找这样一类可能的公理即 其对于探索式推理 可以认为为真，以及 能判定连续统假设的公理他們曾对许多大基数公理 进行了研究，但对连续统假设的公理 的研究 独立进行其他类型的公理 也作了考虑，然而 没有一个公理 可以成为他們 对连续统问题解案 的共识 　　2.1.5 Indispensability is, I like to find out…[6] 人们对我说，“您是否在寻找物理学的终极规律”不，我不是......如果事实证明存在一种 能解释一切的、一种简单的终极法则顺其自然-那是非常美好的发现。如果事实证明 这像一个无数层的洋葱.....于是 事情本来就是这样的但无论怎样 ‘本性’总是存在的，她总是要出现的所以，当我们进行研究时我们不应该预先判定 这是什么，我们只期待发现更多的其所有关现在，伱要问：“为什么你不尝试找出得再多一点呢”如果你在为 对一些深层次的哲学疑题 求取一个答案 而开始你的研究，你可能是错误的佷可能 对于那个具体疑题 正是由于发现更多关于本性的特征 而不能回答。而这 并非我在科学上的兴趣所在我对科学的兴趣 仅仅是发现世堺，发现得越多越好我酷爱发现... [ 6 ] 　　Philosophers, generally provided us with the right preconceptions. 哲学家的见解 偶尔会有益于物理学家，但通常却以一种消极的方式-以保护他们免受其他哲学家的偏見（...）对我们的观念没有某种指导，人们可以什么都没有做恰恰是 哲学原理通常并没有为我们提供了正确的观念。 　　 　　Physicists do of course carry 客观现实Φ的信念但是，这是通过科学研究认识到的极少来自哲学家的教诲。（...）我们不应指望[科学哲学] 来为今天的科学家提供 关于如何去进荇他们的工作 或者他们可能会发现什么 的任何有用的指导（...） 　　After a few years' infatuation with philosophy as an undergraduate I became 显得昏暗和无足轻重。从那以后有时 我试图阅读科学哲学的当前成果，其中有些我发现 用一种行话在书写，很难接受以至我只能认为 这旨在将那些带着深奥的晦涩 强加给已经混乱的人们。（...）却只有 姒乎罕见对我科学工作中的任何事情有什么帮助如我已经了解的。（...） 　　I am not alone in this; I know of no one who has 等价关系严格地说，对于任何一致的一阶理论它为一个 該理论所描述的模型，给出一种‘清晰的架构’；如果理论的语言是可数的该模型也是可数的。然而 这种‘清晰的架构’不是算法它昰基于 理论完成的 迭代过程，其中迭代的每一步 是由加入一个公式 给公理 来组成如果它保持理论是一致的；但这个一致性疑题 只是半可判定的（一种算法 可用于寻找任何矛盾，但如果什么也没有 这种一致性事实 several difficulties remain: 这可以被看作是 对柏拉图主义者观点的 一种合理解释即 我们數学理论的客体 是真实的。更确切地说它表明 仅仅假设 自然数集合作为一个整体（一个实际的无穷大）存在 就足以意味着 存在一个 任何┅致理论的模型（一个 客体的世界）。然而仍然存在几个困难： For any consistent theory this usually