线性化

其实本章节的设置就显得有些为难,按照常理需要大家针对后面的“线性化机制”一章节进行充分理解后,我们才能更好的进行线性化的数学抽象。然而又为了照顾统一在数学抽象的章节中,所以这里为了统一性,就烦请读者在阅读本章之前可以先阅读后面“线性化机制”的内容,在概念上有一些感觉。

由于进行置换以后,更多的设计对象能够具有更多的相似或相同的特征,那么在此之上的一些操作我们就可以转化为数学上的线性化的处理过程。我们就可以利用线性化的已知结论来进行更加丰富的处理。

不过我们需要看到,能够进行线性化处理的设计对象其实是一种比较特殊的情形,这也取决于其关注的置换特征是否是线性的结构(其实很多特性是非线性的),只是线性特征具有更多“巧妙”的性质,而于此同时,我们也可以将一些非线性结构对象转化为线性结构对象进行近似的处理。

线性空间:

线性空间又称向量空间,是线性代数的中心内容和基本概念之一。

设F是一个域。一个F上的向量空间是一个集合V的两个运算:

ü 向量加法: V + V → V, 记作 v + w, ∃ v, w∈V

ü 标量乘法: F × V → V, 记作 a·v, ∃a∈F, v∈V

符合下列公理 (∀ a, b ∈ F 及 u, v, w ∈ V):

ü 向量加法结合律:u + (v + w) = (u + v) + w;

ü 向量加法交换律:v + w = w + v;

ü 向量加法的单位元:V 里有一个叫做零向量的 0,∀ v ∈ V , v + 0 = v;

ü 向量加法的逆元素:∀v∈V, ∃w∈V,使得 v + w = 0;

ü 标量乘法分配于向量加法上:a(v + w) = a v + a w;

ü 标量乘法分配于域加法上: (a + b)v = a v + b v;

ü 标量乘法一致于标量的域乘法: a(b v) = (ab)v;

ü 标量乘法有单位元: 1 v = v, 这里 1 是指域 F 的乘法单位元。

更抽象的说,一个F上的向量空间是一个F-模。V的成员叫作向量,而F的成员叫作标量。若F是实数域R,V称为实向量空间;若F是复数域C,V称为复向量空间;若F是有限域,V称为有限域向量空间;对一般域F,V称为F-向量空间。

对于软件设计中,我们可以将各个因素(或者称为特性),划分成线性无关的向量形式,如果是线性相关的则可以通过化约(在数学上存在可以使用其他向量的线性组合来表示其中的线性相关向量),将之转换为线性无关的。这样,我们其实就构建起了基本的“因素”支撑的线性结构,然后通过这个“基础”的线性关系来叠加而形成不同的表示向量(线性系统具有可叠加性),这样就简化了当前的程序实现,并且可以通过通用的线性变换的算法(例如剪切变换、投影变换、旋转变换等)进行高效的编程。同时,我们也可以将这些线性无关的向量空间,通过矩阵变换,转化为正交的坐标系,这样能够让我们的设计成为更为标准的程序基础构件,通过基础构件能够具有真正意义上的低耦合的搭建积木式的编程。而面向对象、面向切面都无法比拟的“正交”编程。

对于进行线性化的代码可以抽象为矩阵,而且针对抽象为的代码取值来说,由于其逻辑描述只涉及到有无的两个值,同时通过表驱动的方法所形成的矩阵通常情况下是各个向量正交后形成的矩阵形式,所以如果存在这样的代码描述就是形成的对角矩阵,而对于调用记数来说,则 的取值为大于等于0的整数。当然,我们也可以利用其它的各个操作或者特征来重现矩阵描述,这依赖于具体需要抽象的要素。

由此我们可以通过矩阵的运算来表示软件的运算过程以及线性化设计后的矩阵表示,由此可以使用矩阵的一些特征来描述软件设计的各个指标。

行列式:

行列式在数学中,是一个函数,其定义域为det的矩阵A,取值为一个标量,写作det(A)或 | A | 。无论是在线性代数、多项式理论,还是在微积分学中(比如说换元积分法中),行列式作为基本的数学工具,都有着重要的应用。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说,在 n 维欧几里得空间中,行列式描述的是一个线性变换对“体积”所造成的影响。

行列式所表示的物理意义非常重要,在软件设计中,表驱动所形成代码线性化中其实都是线性无关的,而且是为1的对角化矩阵,所以其行列式值就直接表示其“规模”的大小,这也是用于描述进行线性化所覆盖的程度。而对于调用记数所产生的行列式,在各个向量线性无关的情况下(如果线性相关则表示可以将无效的代码进行清理)其调用的总体“规模”,这也是我们进行线性化所带来的价值的大小的衡量。

参考资料

1. 百度搜索 网站:https://www.baidu.com

2. 互动百科 网站:http://www.baike.com

3. 《信息论基础(原书第2版)》 作者:Thomas M.Cover Joy A. Thomas,译者:阮吉寿等 出版社:机械工业出版社;出版时间:2008年1月

4. 《数学确定性的丧失》 作者:M·克莱因 ;译者:李宏魁 ;出版社:湖南科技出版社;出版时间:2004年2月

5. 《概率论与数理统计》 作者:电子科技大学应用数学系 ;出版社:电子科技大学出版社 ;出版时间:1999年8月

6. 《离散数学(第3版)》 作者:方世昌 ;出版社:西安电子科技大学出版社 ;出版时间:2009年1月

7. 《线性代数的几何意义》 作者:任广千等 ;出版社:西安电子科技大学出版社 ;出版时间:2015年7月

8. 《线性代数及其应用》 作者:David C.Lay ;译者:刘深泉等 ; 出版社:机械工业出版社 ;出版时间:2005年8月

9. 《测度论与概率论基础》 作者:程士宏 ; 出版社:北京大学出版社 ;出版时间:2004年2月

10. 《数学方法论丛书-关系映射反演方法》 作者:徐利治等 ; 出版社:江苏教育出版社 ;出版时间:1989年2月

11. 《重温微积分》 作者:齐民友 ;出版社:高等教育出版社 ;出版时间:2004年1月

12. 《数学之美》 作者:吴军 ;出版社:人民邮电出版社 ;出版时间:2012年5月

13. 《编程原本》 作者:Alexander Stepanov / Paul McJones,译者:裘宗燕  出版社:机械工业出版社华章公司;出版时间:2012年1月

连载32:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)相关推荐

  1. 连载32:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    线性化 其实本章节的设置就显得有些为难,按照常理需要大家针对后面的"线性化机制"一章节进行充分理解后,我们才能更好的进行线性化的数学抽象.然而又为了照顾统一在数学抽象的章节中,所以 ...

  2. 连载12:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    信息熵观点 针对软件设计来说,我们可以将所有的设计通过结构化来表达,于是我们的所有的设计信息都可以表达成结构熵的处理.那么如果系统的结构熵越大,系统就越不稳定,系统的有序化就越小. 那么是否结构化就表 ...

  3. 连载01:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

    件设计公理化 软件设计公理化  现在是一个知识过剩的时代,培养独立思考的能力远比盲目看书更重要.                                                     ...

  4. 连载13:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    置换的群特征 我们先来看看在计算机设计中最基本的三个置换,一个是从值到地址的置换方式,我们称为值-地址置换,一个是从地址到值的置换,我们称为地址-值置换.当然如果再加上对其值赋值为其他值操作或者对地址 ...

  5. 连载03:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

    统一化 打破了这种集合关系,那么我们需要重新整理一下我们的思路,这些特征到底是什么关系呢?感觉有点乱. 不过没有关系,我们先跳出面向对象的原有的思维方式,我们先从计算机的最基本的处理来看,在计算机里面 ...

  6. 连载03:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    统一化 打破了这种集合关系,那么我们需要重新整理一下我们的思路,这些特征到底是什么关系呢?感觉有点乱. 不过没有关系,我们先跳出面向对象的原有的思维方式,我们先从计算机的最基本的处理来看,在计算机里面 ...

  7. 连载08:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    置换的规范和度量 所以这里可以看出置换具有统一的"可替换"属性,在第二章描述的多重继承体.包含体.包容体.以及函数对象等多个结构中其置换都具有可互联的特征,比如多重继承就是将继承置 ...

  8. 连载17:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)...

    置换公理化的缺陷 虽然我浓墨重彩阐述了"置换"公理化作为软件设计中的种种优势,然而对于公理化过程来说,其本身的缺陷也是显而易见的. 首先需要明确的是:方法不是唯一的,公理化方法是处 ...

  9. 连载26:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

    最小生成树 生成树: 如果连通图G的一个子图是一棵包含G的所有顶点的树,则该子图称为G的生成树. 生成树是连通图的包含图中的所有顶点的极小连通子图. 图的生成树不惟一.从不同的顶点出发进行遍历,可以得 ...

最新文章

  1. 兀键和6键怎么判断_湖南槽钢经销商告诉您,槽钢的优劣状况应该怎么判断,注意这6点...
  2. PostgreSQL 表达式索引 - 语法注意事项
  3. IOS15之swift的Alamofire 5.4框架的网络封装
  4. python采用哪种编码方式_Python编码格式的指定方式
  5. 你研究过单例么?这样写单例效率最高.
  6. Anti-Aliasing SSAA MSAA MLAA SRAA 简介
  7. 移动云TeaTalk(长沙站)| 聚焦“云网一体”发展新机遇
  8. java销售额查询_用JSP+JavaBean开发模式实现一个销售额的查询
  9. 增删改查java代码_程序员:听说你正在为天天写增删改查代码而烦恼
  10. Java中获取当前类名和方法名
  11. HDU 4407 Sum(容斥原理+状态压缩)
  12. 如何手动从Exchange2007/1010边缘/集线器传输服务器卸载ScanMail for Exchange(SMEX10.0)程序...
  13. 剑指MBA?Acer发布全高清触控Win8平板Aspire S7
  14. SecureCRT 超级终端 不能输入命令
  15. javacv使用笔记
  16. 如何使用html制作网页
  17. 简单的限流保护电路图大全(六款简单的限流保护电路设计原理图详解)
  18. pycharm背景色和字体设置
  19. 使用docker成功安装paddlespeech进行语音识别
  20. 我的同学是计算机作文,我的同桌作文

热门文章

  1. 关于做PDF的FAQ(一)~(四) 1
  2. 移动宽带用网速逆袭 电信宽带的危机来了吗?
  3. Thingworx平台:通过kepware将底层PLC变量写入指定数据库的方法
  4. 光伏行业报告:N型发展推动POE胶膜应用,POE产业链进入红利期
  5. 北航计算机组成原理课程设计-2021秋 PreProject-MIPS-测试程序设计
  6. 计算机专业英语这门课学什么内容,计算机专业英语(学术能力培养)
  7. UWB技术是如何做到室内精准定位的?
  8. 高效设置的Linux代理效劳器 Squid引见
  9. python爬虫---某站排名100
  10. 三明市机器人协会_永安三中斩获三明市青少年机器人竞赛综合技能项目第一名...