4.0更新—webcast听课笔记

一步一步从头学吧,听课记笔记!

4.0更新—webcast视频笔记

一基础类增加 base class libraries

1.Biginterger ----system.number

 

2.Complex numbers(复数)

回忆复数和实数

数学概念

复数

1、基本概念

复数是指能写成如下形式的数a+bi,这里ab是实数,i虚数单位(即-1开根)。 由意大利米兰学者卡当在十六世纪首次引入,经过达朗贝尔、棣莫弗、欧拉、高斯等人的工作,此概念逐渐为数学家所接受。 复数有多种表示法,诸如向量表示、三角表示,指数表示等。它满足四则运算等性质。它是复变函数论、解析数论、傅里叶分析、分形、流体力学、相对论、量子力学等学科中最基础的对象和工具。

 数集拓展到实数范围内,仍有些运算无法进行。比如判别式小于0一元二次方程无解。因此将数集再次扩充,达到复数范围。

  我们定义,形如z=a+bi的数称为复数,其中规定i虚数单位,且i^2=i*i=-1ab是任意实数

  我们将复数z=a+bi中的实数a称为虚数z的实部(real part)记作Rez=a

  实数b称为虚数z虚部imaginary part)记作 Imz=b.

  易知:当b=0时,z=a+ib=a+0,这时复数成为实数;

  当a=0b≠0z=a+bi=0+bi我们就将其称为纯虚数

  设z=a+bi是一个复数,则称复数z'=a-biz共轭复数

  定义:复数的(绝对值)=√(a^2+b^2)(定义原因见下述内容)

  复数的集合用C表示,显然,R∩C=R(即RC的真子集)

复数是无序的,因为在复平面上可以很容易看出来复数不光有长度还有方向(可类比矢量)

abi)+(cdi)=(ac)+(bdi

  (abi)-(cdi)=(ac)+(bdi

  (abicdi)=(acbd)+(bcadi

  (cd不同时为零)

  (abi÷cdi)=[(ac+bd) / (c^2+d^2)][(bcad) / (c^2+d^2)] i

  (c+di)不等于0

2、历史来源

16世纪意大利米兰学者卡当Jerome Cardan1501—1576)在1545年发表的《重要的艺术》一书中,公布了三次方程的一般解法,被后人称之为"卡当公式"。他是第一个把负数的平方根写到公式中的数学家,并且在讨论是否可能把10分成两部分,使它们的乘积等于40时,他把答案写成=40,尽管他认为和这两个表示式是没有意义的、想象的、虚无飘渺的,但他还是把10分成了两部分,并使它们的乘积等于40。给出"虚数"这一名称的是法国数学家笛卡尔(1596—1650),他在《几何学》(1637年发表)中使"虚的数""实的数"相对应,从此,虚数才流传开来。

  数系中发现一颗新星——虚数,于是引起了数学界的一片困惑,很多大数学家都不承认虚数。德国数学家莱布尼茨1646—1716)在1702年说:"虚数是神灵遁迹的精微而奇异的隐避所,它大概是存在和虚妄两界中的两栖物"。瑞士数学大师欧拉1707—1783)说;"一切形如,习的数学式子都是不可能有的,想象的数,因为它们所表示的是负数的平方根。对于这类数,我们只能断言,它们既不是什么都不是,也不比什么都不是多些什么,更不比什么都不是少些什么,它们纯属虚幻。"然而,真理性的东西一定可以经得住时间和空间的考验,最终占有自己的一席之地。法国数学家达朗贝尔1717—1783)在1747年指出,如果按照多项式的四则运算规则对虚数进行运算,那么它的结果总是的形式(ab都是实数)(说明:现行教科书中没有使用记号=-i,而使用=-1)。法国数学家棣莫佛(1667—1754)在1730年发现公式了,这就是著名的棣莫佛定理。欧拉在1748年发现了有名的关系式,并且是他在《微分公式》(1777年)一文中第一次用i来表示一1的平方根,首创了用符号i作为虚数的单位。"虚数"实际上不是想象出来的,而它是确实存在的。挪威的测量学家成塞尔(1745—1818)在1779年试图给于这种虚数以直观的几何解释,并首先发表其作法,然而没有得到学术界的重视。

  德国数学家阿甘得(1777—1855)在1806年公布了虚数的图象表示法,即所有实数能用一条数轴表示,同样,虚数也能用一个平面上的点来表示。在直角坐标系中,横轴上取对应实数a的点A,纵轴上取对应实数b的点B,并过这两点引平行于坐标轴的直线,它们的交点C就表示复数a+bi。象这样,由各点都对应复数的平面叫做"复平面",后来又称"阿甘得平面"。高斯在1831年,用实数组(ab)代表复数a+bi,并建立了复数的某些运算,使得复数的某些运算也象实数一样地"代数化"。他又在1832年第一次提出了"复数"这个名词,还将表示平面上同一点的两种不同方法——直角坐标法和极坐标法加以综合。统一于表示同一复数的代数式和三角式两种形式中,并把数轴上的点与实数一对应,扩展为平面上的点与复数一对应。高斯不仅把复数看作平面上的点,而且还看作是一种向量,并利用复数与向量之间一对应的关系,阐述了复数的几何加法与乘法。至此,复数理论才比较完整和系统地建立起来了。

  经过许多数学家长期不懈的努力,深刻探讨并发展了复数理论,才使得在数学领域游荡了200年的幽灵——虚数揭去了神秘的面纱,显现出它的本来面目,原来虚数不虚呵。虚数成为了数系大家庭中一员,从而实数集才扩充到了复数集。

  随着科学和技术的进步,复数理论已越来越显出它的重要性,它不但对于数学本身的发展有着极其重要的意义,而且为证明机翼上升力的基本定理起到了重要作用,并在解决堤坝渗水的问题中显示了它的威力,也为建立巨大水电站提供了重要的理论依据。

实数

1、基本概念

包括有理数和无理数。其中无理数就是无限不循环小数,有理数就包括整数和分数。

  数学上,实数直观地定义为和数轴上的点一一对应的数。本来实数仅称作数,后来引入了虚数概念,原本的数称作"实数"——意义是"实在的数"

  实数可以分为有理数和无理数两类,或代数数超越数两类,或正数负数三类。实数集合通常用字母 R R^n 表示。而 R^n 表示 n 维实数空间。实数是不可数的。实数是实分析的核心研究对象。

  实数可以用来测量连续的量。理论上,任何实数都可以用无限小数的方式表示,小数点的右边是一个无穷的数列(可以是循环的,也可以是非循环的)。在实际运用中,实数经常被近似成一个有限小数(保留小数点后 n 位,n 为正整数)。在计算机领域,由于计算机只能存储有限的小数位数,实数经常用浮点数来表示。

  ①相反数(只有符号不同的两个数,我们就说其中一个是另一个的相反数) 实数a的相反数是-a

  ②绝对值(在数轴上一个数所对应的点与原点0的距离) 实数a的绝对值是:

  |a|= a为正数时,|a|=a

  ②a0时, |a|=0

  ③a为负数时,|a|=-a

  ③倒数 (两个实数的乘积是1,则这两个数互为倒数) 实数a的倒数是:1/a a≠0

2、历史来源

  埃及人早在大约公元前1000年就开始运用分数了。在公元前500年左右,以毕达哥拉斯为首的希腊数学家们意识到了无理数存在的必要性。印度人于公元600年左右发明了负数,据说中国也曾发明负数,但稍晚于印度。

  直到17世纪,实数才在欧洲被广泛接受。18世纪,微积分学在实数的基础上发展起来。直到1871年,德国数学家康托尔第一次提出了实数的严格定义。

实数

.net部分

定义2维

Var z1=new Complex(2,4) [2是x,4是y]

Var z2=new Complex(3,5)

直接进行虚数运算

Complex.Add(z1,z2)

Complex.Subtract(z1,z2)

Complex.Multiply(z1,z2)

Complex.Divide(z1,z2)

 

数据结构部分

1.Tuple---元组【有序的数据集合】--泛型表现

Var primes=Tuple.Create(2,3,5,7,11)

--数据类型不同,可以定义复杂信息,实现复杂信息的定义

Tuple.Create<string,uri,DateTime>("",new uri("http://www.baidu.com"),DateTime.now)

 

2.SortedSet<T>----(自平衡红黑树)

唯一元素组成的集合

与HashSet区别,前者是元素是顺序排列的。

有增加删改等,支持排序,可以认为是一个排序的hashSet

代码示例:

 

自平衡红黑树---【不为平衡二叉树】--性能有提升。

【扩展:二叉搜索树,自平衡红黑树】

【扩展:内存—硬盘文件映射内存,system.io.memery.mapfile 好处,避免频繁io,大文件处理,内存分享,避免抢io通道】

【扩展:托管代码中的并行计算】

自平衡红黑树:

4.0更新—webcast视频笔记  

4.0更新—webcast视频笔记

概念

  红黑树是一种自平衡二叉查找树,是在计算机科学中用到的一种数据结构,典型的用途是实现关联数组。它是在1972年由Rudolf Bayer发明的,他称之为"对称二叉B",它现代的名字是在 Leo J. Guibas Robert Sedgewick 1978年写的一篇论文中获得的。它是复杂的,但它的操作有着良好的最坏情况运行时间,并且在实践中是高效的: 它可以在O(log n)时间内做查找,插入和删除,这里的n 是树中元素的数目。

  红黑树是一种很有意思的平衡检索树。它的统计性能要好于平衡二叉树(有些书籍根据作者姓名,Adelson-VelskiiLandis,将其称为AVL-),因此,红黑树在很多地方都有应用。在C++ STL中,很多部分(目前包括set, multiset, map, multimap)应用了红黑树的变体(SGI STL中的红黑树有一些变化,这些修改提供了更好的性能,以及对set操作的支持)

性质

  红黑树是每个节点都带有颜色属性的二叉查找树,颜色或红色或黑色。在二叉查找树强制一般要求以外,对于任何有效的红黑树我们增加了如下的额外要求:

  性质1. 节点是红色或黑色。

  性质2. 根是黑色。

  性质3. 每个红色节点的两个子节点都是黑色。(从每个叶子到根的所有路径上不能有两个连续的红色节点)

  性质4. 从任一节点到其每个叶子的所有路径都包含相同数目的黑色节点。

  An example of a red-black tree

  这些约束强制了红黑树的关键性质: 从根到叶子的最长的可能路径不多于最短的可能路径的两倍长。结果是这个树大致上是平衡的。因为操作比如插入、删除和查找某个值的最坏情况时间都要求与树的高度成比例,这个在高度上的理论上限允许红黑树在最坏情况下都是高效的,而不同于普通的二叉查找树。

  要知道为什么这些特性确保了这个结果,注意到属性4导致了路径不能有两个毗连的红色节点就足够了。最短的可能路径都是黑色节点,最长的可能路径有交替的红色和黑色节点。因为根据属性4所有最长的路径都有相同数目的黑色节点,这就表明了没有路径能多于任何其他路径的两倍长。

  在很多树数据结构的表示中,一个节点有可能只有一个子节点,而叶子节点包含数据。用这种范例表示红黑树是可能的,但是这会改变一些属性并使算法复杂。为此,本文中我们使用 "nil 叶子" "(null)叶子",如上图所示,它不包含数据而只充当树在此结束的指示。这些节点在绘图中经常被省略,导致了这些树好象同上述原则相矛盾,而实际上不是这样。与此有关的结论是所有节点都有两个子节点,尽管其中的一个或两个可能是空叶子。

背景和术语

  红黑树是一种特定类型的二叉树,它是在计算机科学中用来组织数据比如数字的块的一种结构。所有数据块都存储在节点中。这些节点中的某一个节点总是担当启始位置的功能,它不是任何节点的儿子;我们称之为根节点或根。它有最多两个"儿子",都是它连接到的其他节点。所有这些儿子都可以有自己的儿子,以此类推。这样根节点就有了把它连接到在树中任何其他节点的路径。

  如果一个节点没有儿子,我们称之为叶子节点,因为在直觉上它是在树的边缘上。子树是从特定节点可以延伸到的树的某一部分,其自身被当作一个树。在红黑树中,叶子被假定为 null 或空。

  由于红黑树也是二叉查找树,它们当中每一个节点的比较值都必须大于或等于在它的左子树中的所有节点,并且小于或等于在它的右子树中的所有节点。这确保红黑树运作时能够快速的在树中查找给定的值。

用途和好处

  红黑树和AVL树一样都对插入时间、删除时间和查找时间提供了最好可能的最坏情况担保。这不只是使它们在时间敏感的应用如即时应用(real time application)中有价值,而且使它们有在提供最坏情况担保的其他数据结构中作为建造板块的价值;例如,在计算几何中使用的很多数据结构都可以基于红黑树。

  红黑树在函数编程中也特别有用,在这里它们是最常用的持久数据结构之一,它们用来构造关联数组和集合,在突变之后它们能保持为以前的版本。除了O(log n)的时间之外,红黑树的持久版本对每次插入或删除需要O(log n)的空间。

  红黑树是 2-3-4树的一种等同。换句话说,对于每个 2-3-4 树,都存在至少一个数据元素是同样次序的红黑树。在 2-3-4 树上的插入和删除操作也等同于在红黑树中颜色翻转和旋转。这使得 2-3-4 树成为理解红黑树背后的逻辑的重要工具,这也是很多介绍算法的教科书在红黑树之前介绍 2-3-4 树的原因,尽管 2-3-4 树在实践中不经常使用。   

  在红黑树上只读操作不需要对用于二叉查找树的操作做出修改,因为它也二叉查找树。但是,在插入和删除之后,红黑属性可能变得违规。恢复红黑属性需要少量(O(log n))的颜色变更(这在实践中是非常快速的)并且不超过三次树旋转(对于插入是两次)。这允许插入和删除保持为 O(log n) 次,但是它导致了非常复杂的操作。

 

二、The Goal of Clr4

Code contracts-契约式编程[结果为真的表达式]

An exchange of promises between two or more parties to do,or refrain from doing,an act which is enfranceable in a court of law. ---wikipedia

严格验证规则—条件编译限制

1.断言—contract.assert()

4.0更新—webcast视频笔记

2.假设行契约---contract.assume【验证已经添加的事实】

3.前置条件契约---contract.requires—方法被调用时候的验证(一般为参数)

Requires(always)

4.后置条件契约

方法终止时的状态----有更少的可见性

4.0更新—webcast视频笔记

 

使用场景—demo【code Contracts】

打开契约方式(默认不打开)

4.0更新—webcast视频笔记

与debug的关系—八哥

Debug.assert断言---噔—断言

Contract.assert

4.0更新—webcast视频笔记

4.0更新—webcast视频笔记

 

工作方式的不同

Debug直接中断

Contract 运行完方法后 中断[避免注释过多的描述,比debug更柔性]

 

Type Equivalence[托管代码与com的互调]

以前的操作,IA【interop Assemblies】

引用dll

Scdleb,stdoled.dll

-------PIA解决方案,嵌入式Assembly,

Primary Interop Assemblies【com组件封装定义】

-------缺点:部署比较困难,严重依赖于.NET FRAMWORK,无法修改,pia比较庞大1m,2m或者更大,兼容升级问题。

 

No-PIA

 

Existing Side-By-Side(SxS)

Host Process(i.e. Outlook—启动最新的.netFramework)

4.0更新—webcast视频笔记

 

4.0更新—webcast视频笔记

In-Process Side-By-Side【4.0 一个进程可以加载不同的CLR,之前的不可以

4.0更新—webcast视频笔记

 

 

明天继续听讲。继续记笔记。

相关文章:

  • 2021-11-28
  • 2021-12-12
  • 2021-10-20
  • 2021-07-18
  • 2022-01-14
  • 2022-01-14
  • 2021-04-26
  • 2021-11-08
猜你喜欢
  • 2022-12-23
  • 2022-12-23
  • 2022-01-14
  • 2022-12-23
  • 2021-07-13
  • 2022-02-20
相关资源
相似解决方案