5.1 局域网技术的发展与演变
5.1.1 局域网技术的发展与演变
20世纪80年代，Ethernet、Token Bus与Token Ring三足鼎立。21世纪Ethernet得到广泛应用，成为局域网主流技术。
冲突：两个以上主机同时通过一条共享介质发送数据，则多路信号会相互干扰而使接收主机无法正确接收任何一台主机发送的数据。
解决局域网冲突的方法：①设立中心主机。由中心主机决定发送顺序...
分类：
其他好文 时间：
2015-02-26 09:58:11
阅读次数：
2393
阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有...
分类：
其他好文 时间：
2015-02-22 21:50:26
阅读次数：
120
第五章—软件工程中的形式化方法软件的设计过程就是一个建立形式规约的过程。当规格说明用非形式化方法说明时，可称之为“规格说明”，当用形式化方法说明时，可称之为“形式规约”。已建立的形式化方法可分为操作类和描述类。形式证明与验证技术主要包括模型检测和定理证明，模型检测主要适用于有穷状态系统，优点是完全自...
分类：
其他好文 时间：
2015-02-21 13:09:45
阅读次数：
115
设计是将一个实际问题转换成相应的解决办法的主动过程，所谓设计也可以是对一种解决办法的描述。总体设计描述系统时，不采用计算机方面的专业术语，用户完全能够理解。总体设计是解决系统做什么的问题，而技术设计则是解决系统怎样做的问题。对于每种情况而言，没有一种设计风格或方法可以说是最佳的。事实上，当新方法和技...
分类：
其他好文 时间：
2015-02-19 00:15:12
阅读次数：
148
形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型...
分类：
其他好文 时间：
2015-02-18 12:59:13
阅读次数：
170
本章的主要内容是软件工程中的形式化方法形式化方法基本概念 形式规约 软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。 当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。 非形式化的规格说明可用自...
分类：
其他好文 时间：
2015-02-16 18:16:51
阅读次数：
162
第五章、软件工程中的形式化方法 本章涉及到离散数学与数据结构的知识，可见知识都是互通的。1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例...
分类：
其他好文 时间：
2015-02-16 12:56:51
阅读次数：
142
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及...
分类：
其他好文 时间：
2015-02-15 23:07:10
阅读次数：
144
1. 概述 本章讨论MS.NET Framework开发人员经常接触到的各种类型。2. 名词解释 ① 基元类型：编译器直接支持的数据类型。 ② 装箱：将一个值类型转换成一个引用类型。 ③ 拆箱：获取已装箱的对象中的各个字段的地址。3. 主要内容 3.1 编程语言的基元类型 作者建议开...
分类：
其他好文 时间：
2015-02-15 17:51:10
阅读次数：
129
第五章 整合异步脚本1、脚本如果按常规方式加载Number(new Date())){};setTimeout(vstart,0);}（3）使用script的defer属性,没有setTimeout（）好。（4）保持CSS和JS的执行顺序浏览器是按照样式表的在页面中列出的顺序应用它们的，而与下载顺序...
分类：
Web程序 时间：
2015-02-14 00:56:41
阅读次数：
271
