软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
networkComms.net2.3.1开源版本，基于gpl V3协议。因为不能公开3.x版本的源码，所以基于此版本进行学习。3.X版本进行了诸多改进和Bug修复，使用方法上两者相差不大。 /// 一个包装类用来跟踪发送的数据包 如果检验和失败需要重新发送时可以使用 /// c...
分类：
Web程序 时间：
2015-01-28 21:10:49
阅读次数：
182
networkComms.net2.3.1开源版本，基于gpl V3协议。因为不能公开3.x版本的源码，所以基于此版本进行学习。3.X版本进行了诸多改进和Bug修复，使用方法上两者相差不大。/*请注意使用以下代码，需遵循GplV3协议*//// 保留包类型 消息确认、检验和失败重发、心跳检测、连.....
分类：
Web程序 时间：
2015-01-28 19:27:47
阅读次数：
206
一、简介
Jackknife(刀切法)是有Maurice Quenouille (1949)提出的一种再抽样方法，其原始动机是降低估计的偏差。Jackknife为一种瑞士小折刀，很容易携带。通过类比， John W. Tukey (1958)在统计学中创造了这个术语，作为一种通用的假设检验和置信区间计算的方法。
Jackknife类似于“Leave one out”的交叉验证方法。令X=(...
分类：
其他好文 时间：
2015-01-20 12:03:28
阅读次数：
989
hadoop中重要的组成部分HDFS，它所发挥的重要作用是进行文件的后端存储。HDFS针对的是低端的服务器，场景为读操作多、写操作少的情况。在分布式存储情况下，比较容易出现的情况是数据的损害，为了保证数据的可靠和完整，实现了数据的检验和（checksum）和多副本放置策略等措施。在HDFS中采...
分类：
其他好文 时间：
2015-01-10 11:13:55
阅读次数：
325
4位版本
4位首部
长度
8位服务类型（TOS）
16位总长度
16位标识符
3位标志
13位片偏移
8位生存时间
8位协议
16位首部检验和
32位源IP地址
32位目的IP地址
32位选项（若有）
数据...
分类：
其他好文 时间：
2014-11-30 18:48:36
阅读次数：
213
TCP 和 UDP 都使用相同的网络层 IP，但是与 UDP 不同的是，TCP 是面向连接的、可靠的字节流协议。因此，在传输数据之前通信双方必须建立一个 TCP 连接。TCP 通过检验和、序列号、确认应答、重发机制、连接管理以及窗口控制等机制实现可靠性传输。...
分类：
其他好文 时间：
2014-11-29 11:57:19
阅读次数：
227
UDP 是无连接、不可靠的数据报传输层协议，为应用程序发送和接收数据报，只是将数据报的分组从一台主机发送到另一台主机，但并不保证数据报能够到达另一端，任何必须的可靠性都由应用程序提供。在 UDP 情况下，虽然可以确保发送消息的大小，却不能保证消息一定会达到目的端。没有超时和重传功能，当 UDP 数据封装到 IP 数据报传输时，如果丢失，会发送一个 ICMP 差错报文给源主机。
即使出现网络阻塞情况，UDP 也无法进行流量控制。此外，传输途中即使出现丢包，UDP 也不负责重发，甚至当出现包的到...
分类：
其他好文 时间：
2014-11-27 22:04:25
阅读次数：
229
在此次研讨会上，APEC北京峰会国宴用瓷的主设计师、中央美院黄春茂老师介绍说，我国陶瓷文化源远流长，APEC北京峰会国宴用瓷选用我国江苏高淳股份有限公司独家承制的珐琅彩青花瓷器，就是对我国具有中国传统特色的高端陶瓷产品的一次检验和展示。APEC北京峰会国宴主桌采用的“国韵黄”和嘉宾桌“珍珠白”的餐具...
分类：
其他好文 时间：
2014-11-25 12:26:37
阅读次数：
208
IP输入函数（ipintr）将在验证分组格式（检验和，长度等）之后，确定分组是否到达目的地之前，对选项进行处理。这表明分组所
遇到的每个路由器以及最终的目的主机都对要分组的选项进行处理。
IP分组内可以包含某些在分组被转发或被接收之前处理的可选字段。IP实现可以用任意顺序处理选项。标准IP首部之后最多可跟
40字节的选项。
1.选项格式
IP选项字段可能包含0个或多个单独选项。选...
分类：
其他好文 时间：
2014-10-07 15:46:13
阅读次数：
193
