tpp协议范文
时间：2023-03-17 15:10:24
导语：如何才能写好一篇tpp协议，这就需要搜集整理更多的资料和文献，欢迎阅读由公务员之家整理的十篇范文，供你借鉴。
篇1
2016年2月4日，来自环太平洋的美国、日本、澳大利亚、文莱、加拿大、智利、马来西亚、墨西哥、新西兰、秘鲁、新加坡和越南12个国家，在新西兰的奥克兰正式签署了跨太平洋伙伴关系协议（TPP）。同时美国正在与欧盟进行TTIP（跨大西洋贸易与投资伙伴协定）的谈判，虽然没有透露文本内容，但是许多条款可能与TPP一致。TPP的经济体量占到全球的40%，如果加上TTIP，则占全球经济体量的达80%。因此TPP的签署及执行，将对世界贸易的规则与格局产生影响，也不可避免对中国产生巨大的影响。2015年11月新西兰政府率先公布了TPP文本全文，我们从条款本身来解读美国所试图建立的贸易新规则，并从中发现与WTO的关系。
一、TPP与WTO的联系
首先，TPP目前成员国只有12个，且12个国家都是WTO成员国。而WTO自1995年接替GATT（关税与贸易总协定）以来，成员国已经从128个增长到160个。TPP与WTO相比，绝大部分的国家都没有纳入进来。
其次，TPP在第一章《初始条款及一般定义》中就开宗明义指出“本协议之全体缔约方，遵循WTO1994年GATT第24条及服务贸易总协定第5条之规定成立自由贸易区。”换言之TPP协议是根据GATT与WTO相关条款起草并签署的。在定义条款中也将WTO的相关附件写入了定义，如“反倾销协定指1994年GATT第6条执行协定，载于WTO协定之附件1A”，“关税估价协定指1994年GATT第7条执行协定，载于WTO协定之附件1A”，“服务贸易总协定指服务贸易总协定，载于WTO协定之附件1B”。
此外在正文条款中TPP也多次引用WTO的相关内容。如第二章《货物之国民待遇与市场准入》中明确“农业协定指载于WTO协定附件1A下的农业协定”，“进口许可协定指载于WTO协定附件1A下的进口许可程序协定”，“各缔约方依1994年GATT第3条及其注释的规定，应一致给予其他缔约方货物以国民待遇。为此，1994年GATT第3条及其注释的规定作为本协定一部分并用之。”
第四章《纺织品与成衣》中约定“本条规定不应解释为限制缔约一方在1994年GATT第19条、WTO防卫协定或第六章（贸易救济）的权利及义务。”
第六章《贸易救济》中明确“本协定并未对全体缔约方依据1994年GATT第19条及防卫协定所采取的行为授予或课以任何权利或义务。”
第七章《食品安全与动植物防疫检疫》中约定“在执行风险评估时各缔约方应考量WTOSPS委员会及国际标准与相关指导”。
第八章《技术性贸易障碍》中明确“各缔约方应适用WTO技术性贸易障碍委员会所公布、WTO技术性贸易障碍委员会自1995年1月1日起通过的决议及其后相关修订。”
第十八章《知识产权》中明确“承认2003年8月30日WTO总理事会执行TRIPS协定及公共卫生宣言及相关WTO总理事会主席声明，以及2005年12月6日WTO总理事会通过的与贸易有关知识产权修订案决议及相关WTO总理事会主席声明”。
第二十九章《例外及一般条款》中明确“1994年GATT第20条及其注解均作为本协定一部分并准用之。”“货物交易方面，1994年GATT第12条及1994年GATT收支平衡条款备忘录均作为本协定一部分并准用之。”
第三十章《最终条款》中明确“如全体缔约方对本协议因WTO协定修订而有所修改，除非另有规定全体缔约方应协商是否修订本协定。”
综上所述，TPP对WTO相关条款的引用基本贯穿了整个TPP协议，不仅直接采纳相关条款，还强调出现纠纷可以援引WTO救济措施，因此TPP与WTO是紧密相连的。
二、TPP对WTO的改进
当然TPP并不是仅仅照抄WTO的相关内容，而是在WTO相关条款的基础上或多或少都做了一些改进。如第二章《货物之国民待遇与市场准入》，本章主要以WTO货物贸易协定及农业协定为基础，但增加了如不对再制品进出口限制、出口许可证签发程序透明化及农业生技产品贸易等不在WTO中的新规范。
第六章《贸易救济》，本章约定TPP缔约方保有在WTO下采用防卫措施的权利，但在通知WTO防卫委员会时，应将电子文档提供给TPP的缔约方。维持WTO反倾销协定等规范，但对调查过程增加一些程序及透明化的规定。
第八章《技术性贸易障碍》，本章主要架构在WTO协定基础上，同时对最基本的原则如“不歧视”、“透明化”和“使用国际标准”在本章节中加以深化，用大量的篇幅（共15个条款）对WTO协定中透明化做了更加明确的规定。
篇2
2月10日，华盛顿偏暖的2月迎来了一个寒冷的星期五。一个名为“美智贸易关系：与智利大使馆的讨论”的小型闭门会议在华盛顿城中心的一座办公楼内举行。与会人员告诉《财经》记者，这是为3月14日-15日在智利举行的跨太平洋伙伴关系（TPP）成员国峰会预热。
智利召集的此次峰会邀请了美国在内的所有TPP成员国，此外中国、哥伦比亚和韩国也在被邀请之列。在智利看来，美国退出TPP并不意味着TPP的终结，他们认为该协定可以通过“双边路线”或新的多边区域贸易协定来推进。在某种形式上，这也是亚太地区对美国总统特朗普“美国第一”贸易议程的集体反馈。
智利驻美大使馆经济处主任兼商务参赞孔特雷拉斯对《财经》记者说，3月中旬的这次高级别对话，将侧重于各国对亚太地区贸易和经济一体化进程的看法，并讨论在全球化进程中不同群体间产生的不对称和不平等的问题。
孔特雷拉斯对此次对话充满期望，他说，它将证明我们能令人信服、并有创造性地应对挑战。在孔特雷拉斯看来，促进区域一体化，解决国际贸易最紧迫的问题要基于现有的拉美太平洋联盟（Pacific Alliance）、TPP和区域全面经济伙伴关系（RCEP）以及亚太自由贸易区（FTAAP）等其他相关的机制设定。
随着五六千页纸厚的TPP协商文本被束之高阁，TPP的美国合作伙伴国陷入了何去何从的困境。实际上，在过去的一年里，全球和区域贸易受到前所未有的挑战。反全球化和反贸易自由化思潮蔓延，国际贸易合作倒退。经合组织警告称，已达成的贸易协议可能会伤及各方利益，尤其是试图增加新的贸易壁垒的国家和地区。经合组织表示，全球主要贸易国增加贸易壁垒可能会对贸易和国内生产总值的增长带来重大负面影响。 此次智和的TPP成T国峰会只是对话的开始，其他亚太国家继续推进贸易合作而将美国抛在一边，这样的结果是美国服务和美国产品的竞争性大为失色，而等到美国意识到这一点时已经悔之晚矣。图为2017年3月15日，太平洋联盟部长峰会在智利维尼亚德尔马举行，此峰会旨在探索新市场应对美国保护主义。
IMF官员对《财经》记者指出，一直以来，贸易都是美国经济和全球经济增长的引擎。但我们还需要打磨政策细节以更好地将贸易、开放和一体化的惠益扩大到所有的人，同时减轻全球化的负面影响。
在特朗普鸣金收兵之际，其他TPP成员国则在另寻出路。到智利赴会的各TPP成员国各自怀揣了不同的愿景，一些TPP成员国寄希望于新形式的TPP会由此诞生，另外一些成员国则希望改进现有的区域贸易协定，在此基础上催生新的可能性。
无论如何，TPP的高标准和规则制定代表了经济全球化的发展方向，已非简单的关税削减和市场准入条款。它主张全面市场准入，取消或削减所有货物和服务贸易以及投资的关税和非关税壁垒，促进区域内生产和供应链的发展。此外，不同于以往任何自由贸易协定（FTA），TPP协定条款涵盖内容广泛，从货物贸易、服务贸易、投资、原产地规则等传统的FTA条款，到知识产权、劳工、环境、临时入境、国有企业、政府采购、金融、发展、能力建设、监管一致性、透明度和反腐败等亚太地区绝大多数FTA尚未涉及或较少涉及的条款。
前美国副贸易代表、现美国亚洲协会副会长温迪・卡特勒（Wendy Cutler）是代表美国参与TPP谈判的重头人物，她对《财经》记者说，此次智利的TPP成员国峰会只是对话的开始，她最担心的是，其他亚太国家继续推进贸易合作而将美国抛在一边，这样的结果是美国服务和美国产品的竞争性大为失色，而等到美国意识到这一点时已经悔之晚矣。 后TPP时代？
TPP是奥巴马政府亚太再平衡战略的经济工具，特朗普上台后的第三天，就大刀阔斧地把前任的标志性协议扔进了废纸篓，这令TPP除美国外的11个成员国措手不及，且心有不甘。经济在很大程度上依赖对外贸易的南美国家智利动了脑筋，决定利用拉美太平洋联盟轮值主席国的身份，组织一次亚太区域经济一体化高级别对话会，作为后TPP时代的探路石。
国际贸易和可持续发展中心（ICTSD）资深研究员费利佩・桑多瓦尔（Felipe Sandoval）此前是智利常驻世贸组织（WTO）代表团顾问，他对《财经》记者说，智利是组织这次峰会的自然之选。智利同时是拉丁美洲国家，也是太平洋国家，智利经济的70%与国际贸易相关。智利最大的贸易伙伴在亚洲，智利增长最快的出口市场也在亚洲。出于长久的经济和政治利益考量，从地理位置及与亚太地区的历史关系出发，智利牵头主办这样的高级别对话都水到渠成。
篇3
关键词：会话初始化协议SIP；TCPN；建模；模型
中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2016）25-0035-02
1 引言
第三代合作伙伴3GPP选择SIP协议作为第三代移动通信系统的IP多媒体子系统（IMS）心灵协议，是因其具有灵活、无缝和可扩展性，它将逐渐成为下一代网络NGN中关键控制协议之一。它可以满足多媒体通信与网络电话的要求，所以很多的通讯公司均先后研发出了支持SIP的服务产品与终端产品。为充分适应这些技术的发展，SIP协议需要进行进一步的完善与扩充，但是如果协议在设计环节出现任何问题都会给系统带来难以预料的影响，所以为保证协议的稳定性和安全性，应在早期开发时尽可能挖掘其隐蔽的问题并找出解决方案。
目前研究SIP协议主要涉及以下几方面：基于SIP的应用于服务[3]；SIP测试工具和方法；其他协议与SIP协同工作。因时间着色Petri网TCPN[2]在描述带有较复杂的交互动作和时间约束的系统过程中具有明显的优势，故本文以TCPN为模型分析工具进行SIP协议分层TCPN模型的构造，并在不同状态下实现分层建模。
2 SIP协议事务处理
SIP协议通过事务进行会话控制，其主要事务有INVITE、non_INVITE事务。INVITE事务完成会话的创建，non_INVITE事务则完成会话的保持与关闭。SIP端系统（User Agent，UA）是连接服务器从而发送服务请求的一种应用程序。因UA向服务器发送服务请求并接收来自服务器的响应，故一个UA有UAS（用户服务器）和UAC（用户客户端）两部分，这两部分就是SIP协议中的两个最关键的参与者，UAC创建呼叫请求，UAS接受呼叫给出响应。
在SIP的请求消息中，最常用的有INVITE、REGISTER、CANCEL和BYE。其响应消息有1xx、2xx、3xx、4xx、5xx、6xx6种。SIP的呼叫方式有3种：从UAC到UAS的直接呼叫、从UAC发出的重定向呼叫、服务器发起呼叫。本文主要针对应用最广的直接呼叫进行分层建模。
3 SIP协议TCPN分层建模
本文应用CPN Tools[4]进行INVITE事务的分层建模，并在不同的抽象层次上描述协议行为细化模型。这种方法在一个层次中描述协议细节，有利于优化或局部完善协议模型，也能有效把握模型规模，便于确认模型与分析协议性质。
SIP协议的TCPN分层模型中的10个模型页分别处于不同的层次，每页所描述的是对应抽象级别上的协议功能，低级别页作为高级别页的替代变迁子页。各层次模型页功能描述如下表1。各层内部模块细化是依据UAS与UAC在INVITE事务执行过程中具备的不同状态进行的，因在terminated状态下协议无行为，而仅表示终止事务，故没有单独描述此状态。
3.1 总体流程建模
SIP协议分层TCPN模型的top page（顶级页）如下图1所示，它总体描述了协议运行的网络拓扑，其中使用了2个替代变迁对NET、UAS和UAC在协议运行过程中的交互行为进行描述。UAC通过NET向UAS发送REQUEST型数据，UAS将RESPONSES型数据通过NET回传给UAC。
Client页用以描述UAC的行为，下图2所示为其页模型。图中的3个替代变迁对应的子页能够更加细致地描述处于不同状态的UAC端行为。库所Scene用以描述UAC的行为，变迁TransErr可以模拟协议在不同条件下出现传输层错误时所采取的处理方式。
3.2 网络层建模
下图3所示为NET页模型，描述的是由UAC到UAS的网络传输建模。库所Schannel_Em记录的是有多少个消息被成功地传送到了UAS端，其初值为0。库所CollectorCTS用以收集不可靠链路丢失的消息。变迁RCTS与CTOS用以模拟不可靠链路。不可靠链路的具体建模方式如表2所示。
通过上述时间类型、弧表达式及防卫表达式的应用，可模拟存在重复数据包、延迟、丢包的不可靠链路。若对其某些参数做适当的修改，便可动态调整其链路的可靠性，以此来真实地模拟不可靠链路。
3.3 具体行为建模
本文表1中的Sproceeding、Ccalling、Cproceeding等底层模型页描述UAS和UAC在不同状态下处理事件的过程，也就是对协议的具体行为建模。下文以UAC端处于Ccalling状态时的应答消息处理行为为例，阐述具体行为的模型描述方式。
下图4所示为UAC处于Ccalling状态时处理INVITE消息的模型，即Ccalling页模型。图中CallTimer表示UAC处于超时状态时消息的处理过程，CallResp表示UAC收到UAS应答时对消息的处理过程。库所TimerAorB用以控制A与B两个定时器的触发。融合库所cloneCs用队列存放UAC每次状态的变化，其队首为UAC的当前状态，Scenec记录UAC的当前状态和导致UAC变为此状态的事件。Message存放初始条件下从SIP协议上层收到的INVITE请求。Channel_Em用以记录当前是否收到UAS的应答，其初值为0。
当收到UAS会送的响应消息时，变迁CallResp被点火执行，即运行其对应的函数代码。此函数代码中sta与st均为SCENEC型变量，st是处理消息前UAC的状态，sta为处理消息后UAC的状态。Action部分调用函数call_resp（st，resp）完成UAC对不同类型响应消息的处理，该函数代码如下：
由上述代码可知，处理类型为r2xx的应答消息后UAC处于TERM状态，处理类型为r3xx的应答消息后处于COMP状态，处理类型为r1xx的应答消息后处于PROC状态。
4 总结
本文给出了SIP协议处理INVITE事务的TCPN分层模型，对该协议总体流程、网络层、UAS与UAC间的具体行为在不同模型层次上分别进行建模。该层次模型规模可控、功能划分直观、数据结构完备，为建模后期协议的验证与改进提供了较完善的模型基础。
参考文献：
[1] 姜秀玉，杨峰，崔再惠.SIP协议实现中消息解析的研究[J].计算机工程与设计，2010（7）.
[2] 何中阳，李鸥，杨白薇，等.基于TCPN的TCP协议形式化描述[J].计算机工程，2011（9）.
篇4
关键词：TCP/IP协议网络接口层网络层传输层端口应用层
中图分类号：TP311.52 文献标识码：A 文章编号：1007-9416（2012）03-0000-00
因特网是当今世界上最大的信息网络，自80年代以来，它的应用已从军事、科研与学术领域进入商业、传播和娱乐等领域，并于90年代成为发展最快的传播媒介。信息传输和网络互连是根据协议进行的，而因特网使用的就是TCP/IP协议。TCP/IP协议是因特网最基本的协议，是因特网的基础。TCP/IP的全称是Transmission Control Protocol/Internet Protocol的简写，中文译为传输控制协议/因特网互联协议。
1969年，因特网的前身阿帕网（ARPAnet），诞生之初仅连接了4台计算机，供科学家们进行计算机联网实验用。到70年代，ARPAnet已经有了好几十个计算机网络，但是每个网络只能在网络内部的计算机之间互联通信，不同计算机网络之间仍然不能互通。卡恩于1973 年提出开放的网络结构的思想。所谓开放的网络结构，指的是任何类型的网络都可以通过“网络互联结构”与其他网络连接，这是因特网的核心技术思想。为了适应开放的网络结构环境的需要，瑟夫与卡恩共同开发了TCP/IP协议，并于1974年正式提出。TCP／IP是实现不同网络互联的标准，成功地解决了不同硬件平台、不同网络产品和不同操作系统之间的兼容性问题。
TCP/IP协议定义了电子设备如何连入因特网，以及数据如何在它们之间传输的标准，它是因特网事实上的国际标准。协议采用了4层的层级结构，层次由低到高依次为：网络接口层、网络层、传输层、应用层。每一层都调用它的下一层所提供的服务来完成自己的需求。
1、网络接口层
网络接口层（通信子网）是数据包从一个设备的网络层传输到另外一个设备的网络层的方法。由于ARPNET的设计者注重的是网络互联，允许网络接口层采用已有的或是将来有的各种协议，所以这个层次中没有提供专门的协议，因此网络接口层实际上并不是因特网协议组中的一部分。实际上，TCP/IP协议可以通过网络接口层连接到任何网络上，例如X.25交换网或IEEE802局域网。[1]
2、网络层
网络层可以接收由网络接口层发来的数据包，并把该数据包发送到传输层；也可以把从传输层接收来的数据包传送到网络接口层。网络层的数据包是不可靠的，因为网络层并没有做任何事情来确认数据包是按顺序发送的或者没有被破坏。数据包中含有发送它的主机的地址（源IP地址）和接收它的主机的地址（目IP的地址）。
网络层的协议包括IP协议、ICMP协议、ARP协议、RARP协议等，其中IP协议是网络层的核心协议，完成数据从从源网络传输到目的网络的基本任务。IP协议定义了数据包在网际传送时的格式，目前使用最多的是IPv4版本，这一版本中用32位定义IP地址，可供使用的地址数超过37.2亿，但是仍然不能满足现今全球网络飞速发展的需求，因此IPv6版本应运而生。在IPv6版本中，IP地址共有128位，这样的IP地址数是原IP地址数的296倍，目前来看，IPV6的IP地址是不可能用完的。[2]
3、传输层
传输层提供应用进程间的通信。两个系统之间的应用进程的通信，是用每个信息中的如下四项进行确认的：源IP地址、目的IP地址、源端口号、目的端口号。其中源IP地址和目的IP地址已在网络层的介绍中说明。TCP/IP的端口号是一个软件结构，用来标识本地计算机应用层中各个进程在和运输层交互时的接口。在因特网不同的计算机中，相同的端口号是没有关联的。一个端口号对应一个16比特的数。服务进程通常使用一个固定的端口，例如，SMTP使用25、HTTP使用80。客户进程通常使用系统分配的一个随机端口号。[2]
传输层协议主要是传输控制协议TCP(Transmission Control Protocol）和用户数据报协议UDP(User Datagram protocol）。TCP协议是一种面向连接的、可靠的的传输机制。通信之前要建立连接，通讯完成时要拆除连接。它提供一种可靠的字节流保证数据完整、无损并且按顺序到达，TCP协议还能尽量连续不断地测试网络的负载并且控制发送数据的速度以避免网络过载，对于一些需要高可靠性的应用，可以选择TCP协议。UDP是一种面向无连接的，不可靠的传输机制。不是它特别不可靠，而是它不检查数据包是否已经到达目的地，并且不保证它们按顺序到达。UDP的典型应用是如音频和视频等这样的流媒体，对它们而言，按时到达比可靠性更重要，或者如DNS查找这样的简单查询／响应应用，否则建立可靠的连接所需的额外开销将是不成比例地大。
4、应用层
应用层是大多数与网络相关的程序为了通过网络与其他程序通信所使用的层。数据从与网络相关的程序以这种应用程序使用的格式编码成标准协议的格式并进行传送。来自应用程序的数据一旦被编码成一个标准的应用层协议，它将被传送到TCP/IP协议的下一层。
应用层一般提供面向用户的服务，如HTTP、FTP、SMTP、POP3。HTTP是超文本传输协议，用于浏览网页，FTP是文件传输协议，一般用于下载和上传文件。SMTP是简单邮件传输协议，用来控制信件的发送、中转。POP3是邮局协议第3版本，用于接收邮件。
TCP/IP有一个非常重要的特点，就是开放性，即TCP/IP的规范和Internet的技术都是公开的。目的就是使任何厂家生产的计算机都能相互通信，使Internet成为一个开放的系统。这正是后来Internet得到飞速发展的重要原因。
参考文献
[1]万雅静,黄巍,梁玉凤.网络基础实用教程[C].北京:机械工业出版社,2011:14-16.
篇5
关键词：FPGA；以太网；TCP/IP协议；DM9000
中图分类号：TP301 文献标识码：A 文章编号：1672-7800（2013）005-0022-02
0、引言
随着网络通信技术的飞速发展，越来越多的测试仪器需要将大量数据传送给终端计算机进行解析处理，抑或从PC机传送大量数据给相应设备。现在常用的数据传输方式（usb、总线）中，虽说数据传输的速率较快（可达400Mb/s），但是传输距离过短成为其不可避免的缺点。而百兆以太网中点对点间的数据传送距离可达100m，如果借助交换机或者路由器等设备可以实现更远距离传输。本文以FPGA为基础，在硬件上完成简化的TCP/IP协议栈，用来获取必须的协议处理机能，实现三态以太网嵌入式系统设计。
1、系统硬件设计
该系统以Altera公司的EPIC12型FPGA芯片作为中心控制单元，另外还需两片作为缓存数据用的SRAM，以太网接口芯片采用DM9000。系统具体硬件框图如图1所示。
DM9000是一款全集成、功能强大、性价比高的快速以太网MAC控制器。该芯片拥有一个通用处理器接口、10/1（）（）PHY、EEPROM和16kB的SRAM。DM9000支持8位、16位以及32位的接口访问内部存储器，可以支持不同型号的处理器。该芯片的PHY协议层接口完全可以使用10MBps下的3/4/5类非屏蔽双绞线和100MBps下的5类非屏蔽双绞线，很好地对应IEEE 802.3u规范。DM9000实现以太网媒体介质访问层（MAC）和物理层（PHY）的功能，其中包含MAC数据帧的组装/拆分与发送接收、地址的识别、CRC编码/校验、MLT-3编码器、接收噪声抑制、输出脉冲形成、超时重传、链路完整性测试、信号极性检测与纠正等。
2、TCP/IP协议实现
2.1 TCP/IP协议
TCP/IP协议就是传输控制协议/互联网协议，它是一个真正实际的开放性通信协议规范，其开放式的特点使得计算机之间都可以通过此协议来完成数据的交换，而不管这些设备拥有不同的物理特性或者各自运行着不同的系统。
与其它网络协议相同，TCP/IP协议的开发也是分不同层次进行的。与ISO开发的OSI模型相比，TCP/IP的四层模型显得更为灵活，原因在于它着重强调功能分布而不是功能层次的划分。
ARP协议负责IP地址与MAC地址之间的转换工作，IP协议实现网络层数据的封装工作以及路由功能，而TCP和UDP是运输层的协议，主要完成传输数据的封装、实现可靠稳定传送以及流量的监控。ICMP是报文控制协议，它是一种辅协议，所具有的Ping功能可以用来诊断网络性能。在一个正常通信过程中，ARP/IP协议是必需的，而TCP/UDP实现一种即可。在FPGA用硬件完成ARP＼P和UDP比较简单，而TCP协议在连接时的握手机制、数据发送接收的校验机制以及流量的控制，实现起来较为复杂，因此从系统的复杂度来考虑，本文并没有实现TCP/IP协议，实现了相对较为简单的UDP协议。
2.2 系统模块构成
本系统的协议栈功能由网络控制模块、数据接收解析模块、ARP应答发送模块、Ping应答发送模块、UDP发送模块和调度模块构成。每个模块间相互的接口联系如图3所示。
因为每个模块都有分时访问DM9000接口总线的要求，所以必须要有一个调度模块执行中心控制工作，利用开始与结束信号来同步。在接受到中断信号时，调度模块只有在总线空闲状态时才会开启接收模块，接收模块解析完MAC层数据包后会发送对应的请求讯号：ARP应答请求、Ping应答请求，此时必需的应答参数也会输出。在总线空闲时，调度模块会依据请求信号开启对应的应答模块进行工作。接收模块在收到已定义端口UDP数据包后将有效数据写入SRAM中，供其它的应用模块使用。
2.3 DM9000接口控制
DM9000内部存储器由物理层寄存器、链路层寄存器和数据缓冲三部分组成，与该芯片进行的所有数据交换作都必须通过此三部分寄存器来完成。为遵循DM9000接口时序规范，接口逻辑需分层设计，I/O读写模块位于最底层，第二层为物理寄存器读写，接下来是链路层寄存器读写模块，而最上层是初始化模块，主要完成接口芯片内物理寄存器与链路寄存器的初始化工作，比如MAC地址、中断设置以及数据包过滤条件等等。
3、实验结果及系统性能分析
3.1 接收处理能力
在计算机端编写一死循环程序，用来发送有效数据大小为1 400Byte的UDP数据包。当PC端的发送软件运行后，网络传输速率可以达到98Mb/s，利用Ethereal能够看出，相邻的UDP数据包的间隔为10tLs～200tLs。图4为抓取的FPGA引脚信号波形，通道1为DM9000接收的中断信号，通道2为FPGA接收处理开始及结束信号。
3.2 发送处理能力
如果系统以最大速率发送含有1400比特的UDP数据包，传送速率可以达到98Mb/s。因为UDP未设计流量监控与确认功能，所以在编写应用软件的时候需要特别注意，必须加大Socket的缓冲区大小以及增加数据处理的速率，不然会出现数据丢失的现象。
篇6
中文译名为传输控制协议、因特网互联协议，又叫网络通讯协议，这个协议是Internet最基本的协议、Internet国际互联网络的基础，简单地说，就是由网络层的IP协议和传输层的TCP协议组成的。
TCP、IP 定义了电子设备如何连入因特网，以及数据如何在它们之间传输的标准，TCP、IP是一个四层的分层体系结构，高层为传输控制协议，它负责聚集信息或把文件拆分成更小的包，低层是网际协议，它处理每个包的地址部分，使这些包正确的到达目的地。
（来源：文章屋网 ）
篇7
[关键词]商标权 TRIPS协议 权利客体 权利保护 识别性 救济
一、商标权在TRIPS协议中的地位
在TRIPS协议中，协议第二部分第二节对商标权的保护作了专门的规定，从体例上来看，其位于著作权之后，置于地理标志、工业产品外观设计和专利权之前。而在《保护工业产权的巴黎公约》（以下简称巴黎公约）中，各类知识产权的保护是不分节次的排列在一起的，各种不同权利类型之间的规定并非截然分开的，有些条款还将几种不同的产权放在一块共同规定，而且，很明显的一点是，商标权是位于专利权和工业产品外观设计之后的。对此，笔者认为，TRIPS协议的规定有着更为清晰的逻辑结构，而且，商标权排列位置的变化，也反映了该权利在所有知识产权保护中的重要性的提高。
从内容方面来看，TRIPS协议对商标权的保护本事却并非是一个完整而独立的协议，他是对巴黎公约中关于商标权保护内容的补充性规定。协议的第2条就明文规定“关于本协议第二、第三及第四部分，各成员方应遵守《巴黎公约》（1967）第l条至第12条以及第19条规定。”“本协议第一至第四部分的所有规定均不得减损各成员方按照《巴黎公约》、……而可能相互承担的现行义务。”既然完全遵守巴黎公约，就意味着TRIPS协议中关于商标权的规定不会做出与巴黎公约重复或相左的规定，也即把公约实施的基础建立在巴黎公约之上了。然而，鉴于世界贸易组织的成员国与巴黎公约成员国不尽相同的情况，协议的规定无疑又是把巴黎公约的使用扩大到非巴黎公约的世界贸易组织成员国之中，从这一点意义上说，巴黎公约关于商标权的规定是TRIPS协议中商标权保护的一个组成部分。
在原则适用方面，在TRIPS协议中，商标权保护不仅仅适用于“国民待遇原则”和“优先权原则”，而且还适用于协议所确立的“最惠国待遇原则”，而后者是巴黎公约等有关商标权保护公约中所不具有的原则。“国民待遇原则”可以让成员国的国民或在成员国有居所、营业地的国民互享各国对于本国国民在商标保护方面的待遇；而“最惠国待遇原则”，又使得某个成员国对某另一成员国的最惠待遇迅速普及到其他成员国。“优先权原则”则尽可能地给予先注册商标以最有利的国际保护。
二、TRIPS协议对于商标权的具体保护及评议
那么，在具体的制度、规定方面，比之于巴黎公约，TRIPS协议对商标权的保护又有哪些体现和不同呢？通过对TRIPS协议规定的分析，主要表现在以下方面：
（一）在可保护的客体方面。
TRIPS协议规定任何能够将一企业的商品或服务与其他企业的商品或服务与其他企业的商品或服务相区别的标记或标记的组合，均应能构成商标。这一概念界定中，一改巴黎公约中的模糊性规定，明确了商标认定中主要标准——标记的识别性。显然，商标的最基本功能便是区别商品或服务的来源，使不同的商品或服务、不同的商品或服务的提供者不至混淆。为此，协议还特别说明，如果符号本身不能区别相关货物或服务，成员亦可根据使用而获得的识别性来确定其是否可以注册。意即当标记和商品或服务之间没有意义上的联系时，申请注册人可以通过商标的使用使公众对标记所标示的商品或服务产生识别，从而获得注册。同时，考虑到大多数国家的现状，协议未对商标客体的范围加以强制要求，而是允许各国可以“以视觉上可感知”作为注册条件，掌握了一定限度的灵活性。
在商标使用范围上，TRIPS协议的定义又将其扩大到服务领域，规定服务商标应与商品商标受到同样的保护。较之于巴黎公约“不应要求本联盟各国对此相商标（服务商标）的注册做出规定”而言，对于服务商标的肯认，TRIPS协议不是由各个成员国自由认定，而是将商品商标的规定原则上适用于服务商标。这意味着，TRIPS协议中适用于服务商标的规定，各成员国有义务遵守。反观其原因，不难发现，巴黎公约的最后修订是于上个世纪60年代完成的，此时世界各国的第三产业尚不发达，即便在发达国家也是刚刚处于兴起阶段，对商标的保护自然主要限于商品商标。而TRIPS协议的签订则在上个世纪的90年代，西方各大国尤其是对协议签订起重要影响的美国已经基本上完成了产业结构的调整，服务业在国民经济中占有最大比重，对服务商标的保护自然也要求进一步提高，上升到与商品保护同等重要的地位。
在商标注册方面，协议的新规定包含三点重要内容：一。成员可将商标的注册取决于使用，但不得将实际使用作为申请注册的先决条件，不得仅仅以在申请之日起3年内未实现使用意图而驳回申请。其意义在于，未经使用的商标也可用于申请，只要其以使用为目的即可；商标能否注册与其使用达到的效果无关，仅仅因为未达到使用目的而不予注册，有悖公平。二。使用商标的商品服务的性质，在任何情况下均不应成为商标注册的障碍。本条意指，成员国注册机关不得因商品或服务本身的情况而阻止申请标记成为商标。例如在商品或服务与申请标记本身没有内在或外在的关联时，申请标记若符合法律的规定，便可成为商品或服务的商标。当然，根据民法的基本原则，此处的商品或服务应当然理解为为法律和公序良俗所允许，否则，商品、服务的本身即为法律所不允，又何谈商标注册？三。规定了商标注册前后的公告和提供撤消注册和提出异议的合理机会。这一条款，承接巴黎公约中对无权人或代表人申请注册商标侵害真正所有人利益时的补救措施，并扩大了其适用，对于恶意注册等其他有害真正权利人利益的行为进行预防和补救。同时，商标注册的独立性原则也由于对巴黎公约的遵守而当然地承续下来。
（二）对权利本身的保护
TRIPS协议将商标权界定为商标专有权，这是一种不同于所有权而又类似于所有权性质的权利。强调“专有”说明其不像所有权那样可以通过对具体有形物的占有来享有权利，它意味着，并不是占有了商标就可以享有商标的权利，其权利只能由申请注册人或受让人垄断性地享有。其类似于所有权，意指其所有人可以像行使所有权那样对其商标专有权进行使用、收益、处分，并得以排除他人的妨害。尤其是对于商标权的处分方面，协议对强制许可进行了限制——“成员可确定商标的许可与转让条件”，但“不得采用商标强制许可制度”，并给予权利人自主转让的自由，亦是对协议第一部分“知识产权是私权”的确认。
此外，对于驰名商标，由于其包含着商标权利人较多的经营劳动和商誉等无形财产，也凝聚着更多的消费者的信赖，故各国际公约均对其实行特殊保护。又由于驰名商标的保护往往涉及各国民族产业的利益，故各国往往对其采取有利于本国商标的作法，尤其是在对驰名商标的认定上。巴黎公约对驰名商标的认定只是笼统地规定了由注册国或使用国主管机关认定，这就难免出现标准不一的情况。对此，TRIPS协议虽然也未能给出统一的标准，但其规定，认定驰名商标“应当顾及有关公众对其知晓程度，包括在该成员地域内因宣传该商标而使公众知晓的程度”，显然，这一标准是作为成员国必须遵守的标准提出的，这就大大减少了认定驰名商标中的不确定因素。此外，在商标确权方面，TRIPS协议增加了提供司法机构或准司法机构复审机会的规定，尽管这一规定未必能从根本上解决问题，然而，毕竟为当事人多提供了一条救济途径。
在权利保护的程度上。TRIPS协议给出了假冒商标的定义，只要使用了与有效注册的商标相同的商标，或者使用了其实质部分与有效注册的商标不可区分的商标，即构成假冒商标，应承担相应的民事、行政甚至刑事责任。对驰名商标的保护力度则更进一步加大：首先，驰名商标不经过注册也能受到保护，而且是按照比普通商标更高的标准进行的保护。其次，对驰名商标实行“跨类”保护，不仅包括了在相同或类似的商品或服务上的保护，而且还扩大到不相类似的商品或服务上，这比以往任何公约的保护力度都为强大。究其原因，乃当今世界，企业经营多元化成为潮流，资本流动异常活跃，即使是在与原商标所标示商品或服务不相同的商品或服务上，仍足以让消费者产生误解，造成对原驰名商标淡化的危害。因此，TRIPS协议的这种加强保护的规定是完全必要的。
另一方面，在对侵权责任的追究方面，TRIPS协议的制度设计也更为完备，有一整套的民事、行政、司法救济程序，包括刑事程序的严格保护：“全体成员均应提供刑事程序及刑事惩罚，至少对于有意以商业规模假冒商标或对版权盗版的情况是如此。可以采用的救济应包括处以足够起威慑作用的监禁，或处以罚金，或二者并处，以符合适用于相应严重罪行的惩罚标准为限。”
在保护的期限方面，TRIPS协议第18条规定，商标首次注册以及各次续展注册的期限，均不应少于7年，且商标注册可以无限次续展，这一规定，是原有国际公约中皆未有规定的。协议中，公约对于“7年”注册或续展期限的规定只是最低限度的要求，各国可以根据情况制定比此更高的标准；而相反，若是低于7年的期限规定，则是违反应当承担的公约义务。不限制续展的次数亦符合了商业经营活动中商标经营和使用的要求，利于商标品牌的培养和商标价值的利用。在三种知识产权中，一方面，商标权的保护期限最短，另一方面，又只有商标权可以无限次续展。协议之所以如此规定，乃考虑到商标的存续往往与企业的经营状况密切相关，而现代社会竞争激烈，企业经营状况复杂多变，过长的期限实无必要。
（三）其他保护措施
对于合法产生的有效商标，协议还规定了一些对于保障其存续和自主使用的要求，要求各成员国遵守，包括以下两点内容：
一、对撤消注册的限制。对于以使用作为保持注册前提的国家，“则只有至少3年连续不使用，商标所有人又未出示妨碍使用的有效理由，方可撤销其注册”。其中，期间限定在“至少3年”范围内，且以“不连续使用”作为必要条件；在上述条件下，若当事人有“有效理由”存在，还可排除以上的规定，直接不予撤消。并且，协议紧接着将“因不依赖商标所有人意愿的情况而构成使用商标的障碍”解释为不使用的有效理由。使用的主体也不仅仅限于所有人，商标受所有人控制时他人的使用亦认为是保持注册所要求的使用。这些规定大大排除了非出于权利人本愿而使商标归于无效的情形。
二、商标使用不受不合理的干扰。商标在贸易中的使用不得被不合理的特殊要求所干扰，诸如要求与其他商标共同使用、以特殊形式使用或以不利于商标将一企业的商品或服务与其他企业区分开的方式使用。这一规定在保障商标自主使用的同时，对发展中国家也是一把双刃剑：它一方面可以保护发展中国家商品、服务的品牌，同时也断绝了他们借助他国驰名商标闯自己品牌的道路。当然，协议并不排除当事人自愿增当时用的与其他商标共同使用等，只是禁止成员国以法律的形式干涉商标权人正当使用的自由。
随着经济全球化趋势的日益增强，资本和商品、服务市场亦将日益全球化，越来越多的商标冲破地域性的限制，走向了国际市场，国际之间的商标冲突也日益纷杂。商标保护的要求亦将随之不断得到加强，可以预测，未来的商标权保护，亦将随着经济的发展而不断完善和加强。然而，无论商标权的国际保护呈现怎样加强的趋势，商标的所有人都只有在将自己的标记或商标纳入法律划定的保护范围内、满足法律规定的要件时，方能使自己的权利得到真正的维护，否则，无论保护加强，都难以避免我们在商标问题上的吃亏受损。因此，对于我国的大多数企业，尤其是欲走向或正走向国际市场的企业而言，树立商标保护意识，重视商标保护更是不容忽视。
参考书目：
1.《与贸易有关的知识产权》
2.《保护工业产权的巴黎公约》
3.《知识产权的国际保护》 唐广良 董炳和 著 知识产权出版社2002年10月版
4.《知识产权法学》 张玉敏 主编 法律出版社2002年10月版
篇8
开局Draco出生在左下角，而fantasy出生在右上角。Draco造下第一个水晶的农民就延逆时针方向探路，fantasy12人口同时放下兵营和气矿，然后派出一个农民探路，很显然他打算用skt1流进行压制和扩张。Draco第一个农民很快发现了fantasy的位置，家里又派出一个probe前去在中上的水晶矿旁偷造下水晶。显然，他想做些什么。
花开两支，Draco的农民在fantasy家中徘徊，或者攻击造建筑的农民，或者通过右键点水晶矿在矿间穿来穿去，利用枪兵在矿区行进困难的特点，轻易的摆脱着枪兵的追杀。家中单兵营龙骑提射程，fantasy的探路农民未到，一个龙骑就把路口堵得死死的，SCV看了一眼，就放弃了继续侦查的想头。隐刀?金甲?双兵营龙骑?单兵营vr转双兵?提速狂徒?还是?Draco的目的就是要fantasy感到疑惑，发展起来束手束脚。然而他的目的没有达到。fantasy犹如maphack一般把一个枪兵准确的派向了中上水晶矿，从而发现了Draco正在建造的两个兵营。这样以来，fantasy需要做的只是在家门口埋满地雷，并扩张就够了。
分析
农民的探路时机
最开始draco计划的战术就是野兵营，否则，造第一个水晶的农民去探路是很伤经济的。有一段时间，pvt造第二个水晶的农民才去探路一不用知道t怎么打，只要知道t在哪就够了。但现在有了被rush的隐患，探路要早一些。
而fantasy则是在13人口时派出scv去探路的。这意味着他能在p龙骑出来前探完两个出生点。因为看不到p的开局，对t的影响是非常大的，在这局中，fantasy的运气不佳，因为他看到Draco的农民很早就到他家，所以判断Draco是在靠近自己的出生点，所以最后探到Draco家时，什么也没看见就被两个龙骑杀死了。
中前期
回到比赛，Draco取消了正在建造的两个兵营，fantasy的枪兵还没打掉水晶，Draco的两个龙骑就出现了。fantasy的枪兵掉头就跑，但龙骑比枪兵更快，Draco控制骑边打边追，杀掉三个枪兵。然后在坦克出现时后退，等待第三个龙骑的支援。双方的第二仗发生在中上水晶矿――Draco偷建筑的位置旁的桥头。Draco三个龙骑，fantasy三个枪兵一个坦克一个雷车。Draco兵力不优不劣，龙骑射程早已升好，距离自己分矿还有相当远的距离，退守轻而易举。但Draco选择了进攻，目标是fantasy的坦克。
fantasy的坦克稍微靠前，但它反映很快，Draco的第一炮打中坦克时坦克巴已经在退。三个枪兵点射最靠前的龙骑，一个雷车迅速的埋下两颗地雷。龙骑移动的同时齐射第二炮，第三炮，坦克爆炸，但靠前的龙骑被点杀，靠后的龙骑引爆地雷，神族还剩一血量充足的龙骑，人族还剩一辆有一颗地雷的满血雷车和两个只有10滴血的枪兵。龙骑后退点射，再后退再点射，雷车埋雷后被点杀。此战后，Draco还剩一个有4点甲25血的龙骑，而fantasy只剩一个没血枪兵，以两个龙骑的代价换掉5个枪兵一个坦克一个雷车，Draco小赚了一笔。双方分别扩张，为了平衡水晶和气体的比例，Droco早早的取消了采气，二矿好后立即造下气矿，随后双方补兵营的补兵营，补重工的补重工，比赛进入中期。
分析
此役看似Draco大赚，但6个枪兵到中期几乎完全无用，fantasy和Draco同时放下二矿，经济对等，Draco没有任何优势可言。更何况，野双兵营是要靠停造农民来实现的，这让Draco的经济小伤了一下。
通过取消采气来平衡水晶和气矿的收支是现在常用的一种技巧，fantasy在采集了100气体造下重工场后，也把采气体的农民拉去采矿。这么做的意义在于，采集更多的水晶意味着更快地扩张分矿，如果需要气体，只需要更早的造下二矿的气体就可以了。
中期
此时Draco并不知道fantasy是否扩张。毕竟Sktl流也有转单矿rush的变化存在。现在主流的对策是速vr，先出一个ob侦查，然后再决定扩张还是暴兵。Draco也出了一个vr，并补充了第三个兵营。但他优先造了一个运输机并运上三个狂徒。直接奔赴fantasy的家中。作为一个成熟的人族选手，Fantasy的家中自然是坦克防空严阵以待。可是他并不知道，Draco的运输机中并没有金甲虫。Draco的运输机在fantasy家中徘徊的同时，在左中扩张了三矿。并造下vc提升狂徒速度。第四个和第五个兵营依次放下。
Fantasy的选择中规中矩，在43人口时连补两个重工场到四个，但却较早的造下分矿的气矿，而四重工一波流不需要太多气体，分矿气矿会造得很晚，很明显，他早造重工场仅仅是为了在早期拥有提速雷车以便实施骚扰，而并非以rush为目的。而早采分矿气矿的用意十分明显：采集更多的气体，以保证中期高人口部队中的坦克数。
Luna这张地图中央不能造建筑，正因此早期拥有运输机加狂徒能化解人族的rush战术的威胁。而且运输机还能逼迫人族把精力放在防守而不是进攻上，为神族三矿顺利的扩张争取足够的时间。这种变化可攻可守，值得每个神族玩家学习。
雷车的第一次惊世表演
运输机过渡后，Draco三矿在握，兵营逐渐补齐，开始发展并防守。而fantasy的雷车上路。双方的第一次交火发生在Draco的左中三矿，8个雷车见到两个站位不好的龙骑，迅速的冲过去，在其身边埋下6颗地雷，然后转身追杀农民，Draco的主力龙骑回救，地雷引爆，雷车杀掉6个龙骑后撤退，八个雷车仍剩其六。雷车操作之好让人惊叹。
随后雷达闪过，Draco二矿口龙骑调整阵形一字排开，不给雷车以破绽，fantasy放弃继续的骚扰的念头，安心扩张三矿。Draco三矿造下一个炮台，龙骑部队开始在地图中央游走，一个农民悄然奔赴右下的主矿偷矿。此时无人想到，这片矿成为了比赛的关键。
5draco致使的两个失误
fantasy雷达闪过，见到Draco的三矿只有一个炮台，并没有部队协防，5个没血的雷车冲过去强行点掉三个probe后被炮合消灭。随后六个满血雷车再次上路，这一次Draco的炮台火力便显得不足，六个雷车强杀农民速度很快，但Draco迅速的回救，并将主力分作两部分，两边包抄，fantasy的六个雷车在杀掉7个农民后全军覆没。
两次不算成功的对Draco的三矿的骚扰并没有阻止fantasy继续屠杀农民的念头，四个雷车再次上路，这一次的骚扰非常成功，总共杀死了Draco9个农民。而Draco的闪电兵的骚扰并不威功，电兵仅仅杀掉了3个scv。
fantasy有两点骚扰细节作的很好，第一，他没有在Draco部队救援的必经之路上埋雷，因为这样的效果并不明显。第二，他先让雷车走到Draco三矿基地的下方，这样，当Draco把三矿农民拉向二矿时，能杀掉更多的农民。
被杀掉过多农民的Draco人口被fantasy超过，但他早早的在角落偷偷的放下了航母的建筑。航母就要问世。没有气体的他无法保地面持部队的质量――只有一队多一点的龙骑和闪电兵，还有的就是大量效的单位――狂徒。
fantasy的部队从家推了出来，Draco立刻发动冲锋。他的阵形很好，狂徒扇形展开冲到坦克身边，闪电兵放下闪电，然而，在fantasy170的高人口部队面前，Draco的兵种质量差，兵量少。坦克几声轰鸣后，神族主力全灭，双方人口差距超出了60。fantasy顺利的打掉Draco的二矿和三矿，而Draco的口只航母开始了骚扰fantasy资源点之旅。
但胜利在望的fantasy有些大意，并没有对有气矿的左上和副矿进行扩张，也没有派主力进攻Draco右下的分矿，更没有去拆掉Draco的主矿建筑，他的巨型机器人不断的在自己的主副矿徘徊，不但给了对手喘息的时间，也让自己的资源点扰得很厉害。
篇9
《专利合作条约》(PatentCooperation Treaty，简称PCT)是继《保护工业产权巴黎公约》之后的一个意义重大的国际条约，它奠定了各国在专利领域进行国际合作的基础。PCT是主要涉及专利申请的提交、检索、审查以及技术信息传播的合作的一个条约。
在设立PCT之前，需要在数个国家或地区获得专利保护的唯一途径是直接向每一个国家或地区提交专利申请，每一个国家或地区依据其本国或地区的法律规定，对此专利申请分别独立进行检索，审查、公布或公告等工作。由此就会导致这些国家或地区对同一个发明创造进行部分重复的工作。为了避免重复工作，减轻各个国家专利局的工作负担，因此，设立了PCT申请体系。
PCT的主要程序及其优势
PCT申请包括两个阶段，国际阶段和国家阶段。
国际阶段具有以下程序，
1 提出PCT申请。专利申请人可以公约约定的多种语言中的一种在一个受理局提出PCT申请，此PCT申请的效力相同于在指定的PCT成员国提出一件专利申请：
2 形式审查。受理局会依据公约约定的标准对PCT申请进行形式审查，
3 作出国际检索报告。国际检索单位会对PCT申请进行国际检索，并出具检索报告说明相关的现有技术：
4 国际初步审查。国际初步审查为可选择程序，专利申请人选择后，国际初步审查单位对PCT申请进行国际初步审查，并为申请人提供一份包含所要求保护的发明创造是否满足专利性国际标准的观点的报告，供申请人及选定的PCT成员国专利局参考。
国家阶段的程序为申请人在优先权日起30个月或者宽限期内依据PCT程序进入选定国家，选定国家的专利局依据其本国法律对该专利申请进行审查，以决定该专利申请是否可以获得该国家专利。若申请人在优先权日起30个月或者宽限期内没有进入选定国家，此PCT申请在选定国家的效力终止。
依据PCT申请体系，PCT申请在进入国家阶段之前，已经由国际阶段的受理局进行了形式审查，国际检索单位进行文献检索。在专利申请人选择了初步审查的情况下，国际初步审查单位进行了初步审查。选定的PCT成员国专利局可参考国际阶段的受理局、国际检索单位以及国际初步审查单位的审查结果，依据其本国的法律规定审查此专利申请，或者直接承认上述审查结果，并依据其本国的法律规定，处理此专利申请。因此，对各个国家的专利局来说，在一定程度上避免了重复工作，节约了审查资源。
对于申请人，PCT申请体系有以下好处(1)有充足的时间考虑是否要在多个国家提出专利。利用PCT申请体系，从本国提出专利申请至进入各个选定的国家至少可有30个月的时间。在此期间，专利申请人可根据专利技术在各个PCT申请指定国的发展情况及产品的市场前景决定是否要进入这些PCT申请指定国，从而避免提出不必要的专利申请。(2)有充足的时间在各个PCT申请选定国办理相关的委托手续及专利申请事务。(3)可根据国际阶段得到的检索报告、初步审查报告判断是否有必要继续国家阶段程序，在PCT申请指定国提出专利申请。若检索报告、初步审查报告表明PCT申请明显无专利性，专利申请人可中断程序，避免产生不必要的费用。
但PCT申请体系也存在以下缺点(1)程度复杂，相关申请表格填写难度大，(2)修改频繁，专利申请人疲于适应。在PCT申请体系获得极大成功的同时，也面临着超负荷运转、体系日渐复杂、效能日益下降等方面的严峻挑战，因此，不得不频繁进行修改以解决出现的新问题。(3)获得专利保护的时间推迟。尽管PCT申请经受理局受理后，即相当于在各个指定国提出专利申请，但要获得专利保护，还要进行国家阶段。由PCT申请选定国依据其本国的法律进行审查，授权。一般情况下，获得专利保护的时间会比要求优先权直接提出专利申请的方式推迟2年左右。(4)申请成本高。PCT申请会增加国际阶段的官方费用以及支付给专利机构的服务费。(5)仅发明专利可提出PCT申请，外观设计专利不适用。
总的来看，PCT申请有其优势但也有缺点，申请人应根据其具体情况，合理选择PCT申请体系。如某项重要技术有前瞻性，申请人希望在许多国家获得专利权，需要较长的时间进行市场评估和办理专利申请手续，则可选择PCT申请。如该重要技术只是希望在少数国家获得专利保护，则可以要求优先权，直接在这些国家提出专利申请。如某项技术并不是非常重要，而且生命周期短，没有必要在许多国家获得专利权，则没有必要选用PCT申请。
中国PCT申请的现状及思考
中国于1994年1月1日成为PCT的正式成员国，并同时成为PCT条约规定的受理局、国际检索单位和国际初步审查单位。
近几年中国的PCT申请数量迅速增长。据世界知识产权组织统计，2005年中国共计申请2503件，首次挺进申请量排名前十，2006年共计申请3951件，同比增长57.8％，2007年共计申请5456件，同比增长38.1％。3年的增长速度皆居世界各主要国家之首。在2007年全球企业PCT申请公布量排行榜中，中国PCT申请量位居世界前列的有华为和中兴两家公司。华为从2006年的13位跃升至第4位，创下发展中国家企业的历史新高。中兴也从92位升至52位。
尽管中国PCT申请数量增长迅速，但在漂亮数据的背后，显现的却是盲目、攀比的心态。利用PCT体系进行多国专利申请，获得专利授权的时间会延迟，而且费用较高。如果不是一项有前瞻性、技术生命周期长、并希望在许多国家获得保护的重要技术，专利申请人通常不会选择PCT申请体系。正是由于PCT申请体系适合于有前瞻性、技术生命周期长的重要技术，所以，PCT申请量会作为评估创新能力的参考指标之一。为了提升政绩、争取知识产权成果排名，各级知识产权部门大力鼓励其本地企业多提出PCT申请，并给予相应的资助。而企业为了标榜研发创新能力、争取政府资助，或者是对专利排名的痴迷，不计成本、盲目地追求PCT申请数量。甚至有些企业根本就不了解PCT，但在各方面的宣传与鼓动下，也提出一些PCT申请。由此，产生了大量没有必要的PCT申请，造成资源的浪费。
另外，国内专利机构的涉外专利事务处理能力弱，与外国专利机构的沟通能力差，并不能很好地协助国内申请人办理国家阶段的事务，导致多数PCT申请在国际阶段之后就不了了之，并没有在相应国家获得专利权，造成申请人极大的损失。
篇10
关键词：WTP协议；SPIN；模型检测； Promela
中图分类号：TP393文献标识码：A 文章编号：1009-3044(2008)34-1588-04
Model Checking of WTP Protocol Via SPIN
FENG Jie
(Electronic Science and Information Technology College, Guizhou University, Guiyang 550025, China)
Abstract：This paper deals with a formal verification of WTP, where the model checking approach is applied by SPIN model checker.The Promela model is developed and LTL specifications of secrecy are given. Eventually, some defects has been revealed.
Key words:WTP Protocol; SPIN; model checking; Promela
1 引言
SPIN作为一个有效的软件系统模型检测工具，已经在分布系统，软件的形式化验证，特别是通信协议和安全协议上获得了的成功。SPIN己经验证的协议有：X. 509认证协议，距离矢量路由协议，NS公钥协议，Ad Aoc路由协议。
Gordon[1]基于Petri网的理论，用有色Petri网(CPN)对WTP协议进行了建模和形式化的分析。他是在无损通道上建立的模型，但在无线应用上，信道上数据包的丢失是时常发生的。
在本文中，我对WTPv2[2]协议方案进行了形式化的验证。我们用自动机的理论重新形式化了服务的定义和协议的规程，并建立了相应的Promela的模型。
2 SPIN对协议的分析原理
SPIN以Promela为输入语言，适合于对网络协议设计中规格的逻辑一致性进行检验。Promela被设计为可以对协议模型作出准确的表达。此外，Promela的语义保持了协议并发性和不确定性的特征。Promela本质上是一种有穷自动机的形式描述语言。
SPIN易于对Promela建立的模型进行仿真和验证。仿真和验证是SPIN的两种工作方式。随机仿真常被用于仿真协议的执行过程。同时，如果在验证阶段发现了错误，可以由此指导仿真重现相应的错误轨迹。这样就能帮助我们找出错误的来源。
当我们用SPIN进行验证时，我们就需要解决模型检测的问题：证明时序逻辑公式φ是在模型M中成立（即证明M│=φ）。当我们把φ转化成Buchi自动机Aφ并且模型M转化成自动机AM就相当于
证明：
■ (1)
证明过程实际上就是计算(1)式是否为空集。如果(1)式成立，就可认为该协议满足这些性质，如果(1)式不成立，则说明该协议可能存在某些性质上缺陷或攻击。使用SPIN 对协议进行验证和分析过程如图1所示。
3 WTP协议的形式化
由于人们无时无处通信的需求，对无线网络移动数据服务的要求也越来越迫切。无线用户的需求不同于有线用户的需要，因为移动数据服务受到移动终端以及无线网络特点的限制――移动终端本身显示屏微小，处理能力很低，同时无线网络具有高延迟和低带宽的性质。WAP(Wireless Application Protocol)定义了一个体系结构就是针对无线环境下的传输，通信等问题。WTP是WAP体系结构中的事务层（Transaction Layer)。它定义了一个协议实现在两个实体之间的请求/响应事务，作为浏览应用的一个组件。
3.1 协议的设计及内容
我们按照网络协议的5个基本要素来对WTP协议进行说明
3.1.1 协议环境的假定
在层次化的WAP体系结构中，事务层位于传输层的上层。传输层为事务层提供服务。然而，在WAP体系中传输层采用的是无连接的无线数据报协议（WDP）(对应于TCP/IP中的UDP)。所以，我们假定在事务层两个对等的协议实体（TR-PES）之间消息交换可能会丢失、重排，重复。
3.1.2 服务定义
在WTP中，CLASS 2的事务层服务被定义为向上层的会话层用户（TR-Users）提供可靠的事务服务。这种可靠性是通过一个可靠的请求（Invoke）消息（事务的发起者Initator发送）就会响应一个可靠的结果（result）消息（响应者Responder发送）的机制实现。TR-Service通过服务原语和它们的序列抽象定义。
这里我们只讨论涉及到模型的三个原语：Invoke，Result，Abort。每个原语都可以作为四种原语类型(Request简写为Req，Indication简写为Ind，Response简写为Res，Confirm简写为Cnf)的前缀，从而形成“提交-交付”对。例如Invoke.Req和f。
3.1.3 协议词汇
协议词汇中我们需要用到有四种协议数据单元：Inovoke，Result，Ack,，Abort。它们分别对应于响应的服务原语。
3.1.4 报文格式
每一个报文由两部分组成：控制字段和数据字段。我们主要集中在控制字段中的几位。它们是RID，表明是一个重传PDU。U/P位指示Ack-Type的参数开关。位TIDve/TIDok用来验证事务标识。
3.1.5 协议规程
协议规程保证了消息交换的一致性。在WTP的设计方案中，协议规程是由一组状态表所规范。它定义了对等协议实体之间当协议实体有输入事件发生时如何改变它们的状态。表2给出了一个示例，每个状态都要参考一个四元组（Event，Condition，Action，NextState）。当事件发生，条件满足时，行为集就会发生，并且更新状态信息。
3.2 协议的Promela模型和自动机模型
我们的系统建模主要是基于以下假设。这些假设是：仅仅是涉及一个事务发起者和一个事务响应者的单个事务。在对等协议实体间的信息交换缓存在异步通道中，这个通道是允许重排和丢包。
我们基于TR-Protocol和TR-Service构建了两个Promela模型。两个模型共享相同的架构。（图2）这个架构的核心是由两个进程组成，一个是发起者进程，另一个是响应者进程。两个进程通过异步通道共享控制变量。
图2中每个进程被定义为一个自动机Ai=(Si,s0i,∑i, δi,Fi)。在TR-Protocol模型中,i=PI是指发起进程(Initiator),i=PR是指响应进程。每个自动机由下面5个组件组成：
1) 状态集Si:Vi Di映射变量集Vi到相应的定义域Di。
Vi=(Globali,Locali)是包含全局变量和本地变量的元组。
Globali=(channels,toggles)其中全局变量集也是一个元组，由通道变量集和原语触发集组成。两个扩展变量通道模拟了进程间的异步通信。这两个通道分别是I2R和R2I。以下给出了I2R通道的Promela语言的描述：
mtype = {INVOKE, ACK, RESULT, ABORT};
chan I2R = [4] of {mtype, bit, bit};
Toggles=(Primitive_tgls,Dlock)是一个元组。他包含的变量常用来规范协议的正确性需求。Primitive_tgls是一个位变量，用来记录服务原语的发生。例如，iind_tgl的值为1，那就表示Invoke.ind原语已经提交。而Dlock用来指示进程执行中是否发生死锁。
2) 初始状态S0i
3) ∑i={a|a=L(s),s∈Si}，定义为状态转换的哨岗（条件）。
4) 转换(变迁)关系δi:Si×∑i2Si定义了进程执行的控制流。Si(s,a)给出了状态下所有可能的后继。通常|δi(s,a)|≥1时，下个状态就是不可确定的。
5) Fi包含了所有可能的终态。(?坌SFi∈Fi)SFi(Locali)=s0i(Locali)，在一个完整的转换，在清除了所有的状态信息后对等的协议实体最终回到它的初始状态。
然后TR-Protocol的基本行为被模拟为自动集AM,它是发起进程自动机API和响应进程自动机APR的交叉积。AM=API×APR。同理我们用相同的方法也会得TR-Service的自动机模型。
在从有穷自动机(FSA)定义转换到Promela模型前，我们需要创建条件表作为一个中间步骤来指定状态转换和相应的哨岗。条件表是用集合理论对WTP协议方案的状态表进行形式化得到的。
如表3，第一个条目定义的哨岗就是:a=(PE_state=TIDok_Wait)∧(Ack∈I2R)∧(TIDok=1)
其中(ACK∈I2R)∧(TIDok=1)在用Promela建模时，可以用通道轮询操作来模拟（I2R∪[ACK,RID,1]）。当哨岗(条件)满足后，Action一栏就计算变量的新值，例如当前状态的后继状态。如表2当哨岗条件成立后，变量会进行如下更新。从输入通道中接收消息，并从通道中清除掉，如I2R-{ACK} 。同时，由于我们假设了通道允许消息重排，所以我们在用Promela建模时，我们使用Promela语言中的随机接收操作。I2R∪ACK(RID,1)
向输出通道中发送信息，如I2R∪{INVOKE}，对应的Promela模型是I2R!INVOKE(1,0)。
iind_tgl+1表明提交了INOVKE.ind服务原语。
同状态转换有关的每个条件表中的条目，实际上定义了一个在临界区域当中更新共享变量。为了确保在Promela模型中临界区域的原子属性，我们在每个哨岗中都用一个全局控制变量Aflag。
inline Entry i( ) {
atomic {
if (Guard == TRUE AND Aflag == 1) {
Aflag = 0;
Actions of updating variables;
Aflag = 1;
}
}
}
这里我们给出了发起者进程的Promela模型的伪码。
proctype Initiator ( ) {
progress:
do
:: Entry 1 ( ) // 在表4中以定义
:: ...
:: Entry n ( )
:: atomic {
if (?nal state conditions == TRUE) {
Indicate the transaction completed;
break
}
}
:: atomic {
if (timeout) {
DLock = 1;
break
}
}
od
}
最后，我们用一个独立的进程 模拟通道存在数据包丢失的假设
proctype Stealing( ) {
end: do
:: I2R?? , , ,
:: R2I?? , , ,
od
}
3.3 协议性质LTL描述
对WTP协议设计规范，我们分类了三种属性对协议描述：安全性PS，活性PL，时序特征PT。
3.3.1 安全性
安全性通常来说就是指没有“坏事”发生。正式的，给出一个协议的自动机 AM,(?坌ps∈PS)(?坌s∈SM)ps∈L(s),例如：每一个安全属性 在所有状态下为真。
从变量的一致性考虑，安全性要求：协议是有边界约束的。每个变量不能溢出他的取值范围假如SM:VM->DM,因此(?坌v∈VM)(?坌s∈SM)s(v)∈DM。例如我们考虑本地的重传计数器PE_data.RCR，它的最大取指是RCR_MAX。所以我们的安全属性的LTL公式为：ps1=(PE_data.RCR?燮RCR_MAX)
原子性，全局控制变量Aflag应该总是安全的。ps2=(Aflag==0）从进程的执行考虑，安全性要求：无死锁ps3=(DLock==0）
上面属性的安全性，我们用一个Promela的进程来实现(见图)。一个Promela的断言语句assert( )常被用来报告psi是否违规然后定位一个错误的状态。
active proctype monitor() {
end: atomic {
if
:: !BOUNDNESS -> assert(BOUNDNESS);
:: !Aflag -> assert(Aflag);
:: (DLock_R || DLock_I) -> assert(!DLock_R && !DLock_I);
fi
}
}
3.3.2 活性
活性通常是指“某些好事发生”。既是说，指定的条件或状态最终会到达。从进程执行来考虑，活性是指:协议不能包含不可达状态。当用SPIN验证Promela模型时，如果协议含有不可达状态，SPIN将会报告“unrearched states”。
3.3.3 时序行为
时序行为主要是处理服务原语间的序列。他们也常用来验证由TR-Protocol生成的服务语言是否是TR-Service生成的子集，从而判断TR-Protocol忠实于TR-Service的服务定义。
PTi=[]((ICNF_tgl)=>■ICNF_tglUires_tgl))（2）
这里我们给出其中的一个将被验证的时序需求，n其中,[](always)表示一直,(future or eventually)表示未来的某个状态点或最终,U(Until)表示直到。这个公式规范了Invoke.res原语（即触发位Ires.tgl=1)的发生是f原语（位ICNF_tgl=1）发生的先决条件。
4 检验结果分析
我们给出了验证TR-Service模型和TR-Protocol模型的结果，重点是给出了最初协议设计方案中的一些错误。
验证TR-Service模型的目的是为了证明我们我们建立的Promela模型是符合WTP协议设计方案中定义服务语言（需求）。经验证所有属性都是满足TR-Service的Promela模型。图3给出了安全属性的验证，没有错误报告。其他的活性，时序特性验证也是类似的。
■
图3TR-Service模型的安全性属性验证
在TR-Protocol模型中发现的错误表明TR-Protocol没有忠实于TR-Service模型定义需求。如图4，这个错误的发生违反了PS3定义的安全属性死锁。首先，TR-Resp验证完TR-Init的INVOKE消息（包含正确的TID）,发送Result消息，但是这个消息没有立即到达TR-Init。最后TR-Resp异常终止了这次事务。但由于TR-Init重传时间超时TR-Init重发了INVOKE消息（包含了不正确的TID）,这个时候TR-Resp发送一个ACK进行TID的验证，并进入TIDok状态等待。此时Result消息由于网络延迟等原因，TR-Init终于收到了。于是TR-Init最后完成了这次事务，而TR-Resp还在等待TR-Init响应完成TID的验证。从而TR-Resp形成了死锁。
5 结束语
我们的工作主要是形式化分析了一个真实运行的协议WTP的设计方案。首先建立了一个有穷自动机模型，然后利用条件表这样一个中间步骤，我们把有穷自动机模型转化为一个SPIN能够检验的Promela模型。使我们用Promela建模的过程不在看起来仅仅是用Promela编程的过程，而更多的是进行形式化推理的过程。
参考文献：
[1] Gordon S.Verification of the WAP Transaction Layer Using Coloured Petri Nets[D].Ph D Thesis,University of South Australia,2001.
[2] Open Mobile Alliance(WAP Forum).WAP Wireless TransactionProtocol Specification, Version 2.0[S].Available via openmobilealliance,2001-07-10.
