【摘 要】
：
流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描
论文部分内容阅读
流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接
其他文献
一年级正是因为学生进行口头语言到书面形式语言的过渡期。学生需要在语言中的单独阅读材料感知,学习感悟语言, 获取语言习惯,语言方法,丰富的语言体验感,然后逐渐形成自己的
<正> Fabless是SIC(半导体集成电路)行业中无生产线设计公司的简称。Fabless开拓出市场后(或根据市场未来的需求进行风险投资)进行产品设计,将设计的成果外包给Foundry厂家生
目的了解江苏省钉螺分布现状、消长趋势及钉螺孳生原因,从而为制订钉螺控制策略提供科学依据. 方法每年春季采用常规方法进行钉螺调查,调查资料均输入数据库,用SAS软件进行分
青少年学生是国家未来的栋梁,如何更好地培养他们的创新意识、创新精神和创新能力,是我们教育者需要不断探索 的内容。信息技术教学是一门以培养创新精神、研究能力和实践能
科学技术的发展推动了我国教育方式的进步，在近年来，由网络学习与我国教育理念的相结合，智慧课堂逐渐普及并广泛的得到了认可，同时，在新的教育教学模式背景环境下，也为小学美术课堂
为研究日本血吸虫ＳｊＲ４７组分抗原诱导的抗虫卵肉芽肿保护性免疫机制，探讨细胞因子ＴＮＦα及ＩＬ－８与ＳｊＲ４７诱导的保护性免疫力之间的关系，本研究用纯化的ＳｊＲ４７组分抗原免疫ＢＡＬＢ／Ｃ小鼠，攻击感一０￣１２ｗｋ测定血清ＴＮＦ－α和ＩＬ－８水平的动
在临床麻醉中常遇到的困难是气管插管。有些是麻醉前可以预料的，但更多的是麻醉前未能预测到的，我科用纤维支气管镜引导气管插管术解决了这一难题。现报道如下。
老年后极部视网膜下出血，常因老年黄斑变性引起，特点为突然起病，出血灶为棕黑色，稍隆起，外周可能有红色的视网膜出血，易误诊为脉络膜肿瘤，现将视网膜下出血误诊为脉络膜肿瘤1例现报
通过对丹峰煤田富蜡褐煤资源赋存特征的阐述，指出了本区褐煤的开发利用方向。强调了褐煤蜡的生产和热电联产是褐煤资源综合利用的重点，在此基础上兼顾其它矿产资源开发利用。