论文部分内容阅读
介绍了一种NAT的形式化模型,讨论了NAT在FreeBSD上的实现以及NAT模型在实际编码中的一些应用,解释了一些NAT理解上的误区,并说明了该模型在实现上的意义.
TCP／IP协议中一种形式化的NAT模型
【摘 要】
：
介绍了一种NAT的形式化模型,讨论了NAT在FreeBSD上的实现以及NAT模型在实际编码中的一些应用,解释了一些NAT理解上的误区,并说明了该模型在实现上的意义.
【机 构】
：
上海交通大学
【出 处】
：
计算机工程
【发表日期】
：
2002年7期
其他文献
目的探讨人下肢拇长屈肌肌构筑和肌内神经的关系。方法肌构筑法、改良Sihler＇s染色法。结果人下肢拇长屈肌为羽肌。肌内腱板长（15.52±2.30）cm,宽（0.68±0.24）cm,厚（0.18&#
该系统是基于８９３－ＩＤＣＮ智能数据采集网络，针对热电厂设备分散在不同的区域，组成了小型集工用监测系统，并讨论了其硬件组成与软件结构。
近些年来，关于高校的管理问题成为一个重点与热点话题，教授治学、去行政化等思潮成为热议，不少的专家与学者则将高校管理的法制化作为一个新的话题，因而依法治校备受关注。然而，要
大学专业化和社会化的并行发展使得大学治理问题不断凸显、备受关注。近年来，在国家治理体系和治理能力现代化的整体推进下，随着《高等学校信息公开办法》《高等学校章程制定暂
于2002年7月对雅安市草坪绿化发展情况进行调查发现,雅安市草坪发展已经初具规模,但仍存在一些问题,并就问题提出了具体的建议.
岷山红三叶是甘肃省审定登记的地方品种，其主要特征是耐寒，丰产和优质。兰州周边山台地引种试验表明：岷山红三叶不仅适宜于高寒阴湿区繁育种子，在海拔1800m，具灌溉条件的地区也可
草原生态补偿机制是国家为了保障生态安全和实现可持续发展，建立以公共财政为主，多渠道的草原生态保护投入机制。我国草原生态补偿机制正在建立和完善当中。呼伦贝尔草原生态环
传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制，提出一种改进的乐观并发控制方法，能够较好地解决传统乐观并发控制方法在工程设计
乌拉尔甘草、刺毛甘草、光果甘草、胀果甘草、刺果甘草等５种甘草从资源分布在医药、畜牧、食品、化工领域的应用等方面的研究进行了综述，对甘草的进一步开发利用提供了科学依据
提出一种基于混沌的序列密码生成方法,该方法通过随机改变混沌映射的参数来提高混沌的复杂性.同时在有限精度实现时,通过引入扰动序列使得输出的混沌序列具有良好的自相关性