基于时间着色Petri网的OpenFlow协议建模研究

介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.     

雅芳 泥淖抽身?

正旷日持久的贿赂门调查暂告一段落,持续低迷的雅芳能否重振?持续六年的雅芳"贿赂门"调査终于有了结果。2014年5月,雅芳在自己的第一季度财报中指出,已经与麵雕部以及证券交易委员会就海外V T|贿赂指控达成和解,雅芳公司将为此支付1.35亿美元(向司法部支付6800万美元,向证券交易委员会支付6700万美元)罚款。     

基于有限状态自动机的入侵检测系统研究

<正>随着Internet的广泛应用,入侵事件变得越来越频繁,攻击手段也变得越来越高明,攻击目标不再仅仅局限在单个主机或单个网络系统,网络基础设施现在也成为黑客的入侵目标。所谓网络基础设施主要包括路由协议和网络管理协议,它们共同构成Internet上各种服务的基础。如果基础设施遭到破坏,提供服务也就无从谈起。     

浅谈WebService技术

WebService技术实现了不同平台上的应用系统构件快速进行连接和相互调用,在这些不同平台之间建立一个与平台和语言无关的通用技术层。     

面向温湿度监控系统的无线传感器网络路由协议的设计与实现

温湿度影响着日常生活和社会活动的诸多领域,对温湿度进行实时、准确、有效地监控十分有必要。无线传感器网络的出现很好地满足了这类监控的需要。针对该系统的特点,本文设计了一种主动式备用路由协议,采用了两条路由的策略,兼顾了传输可靠性和网络开销。通过组网实验验证了AAR路由协议的有效性和可靠性。     

基于网络协议的彩信业务分析方法

文章根据彩信的业务流程,结合协议分析的方法,分析了影响彩信端到端成功率的现状,以及影响这一指标的各种因素,并从技术和管理两个层面,给出了提升彩信端到端成功率的措施与策略。     

禅城：投12亿建云计算基地

全国首家融合新一轮信息技术和能源科技的创新产业基地落户禅城。佛山禅城区与世纪互联数据中心有限公司在北京正式签订协议。世纪互联将在禅城区投资12亿元建设云计算南中国总部基地。该项目将成为全国首家融合新一代信息技术（IT）和能源科技（ET）的创新产业基地，并在2个月内实质性启动建设。该项目投入使用后，     

基于软件中央控制器的多媒体教学系统实施方案

以《多媒体教学环境的工程建设规范》为标准,提出了纯软件的中央控制能器的设计的思想,设计了由纯软件中央控制器组成的多媒体教学系统的解决方案.     

电子信息

中国专业市场的＂南大门＂将搬上互联网。4月1日,广州专业市场商会与阿里巴巴签署战略合作协议。根据协议，广州专业市场将利用阿里巴巴平台上网“升级”，打造成全球领先的国际化、展贸化、电子化专业市场交易平台。     

数字水印协议的研究

在电子商务环境中,数字产品很容易被非法复制和传播,数字水印技术是保护数字产品知识产权的一个潜在解决方案。文章介绍了几种典型的数字水印协议,并对其优缺点进行了详细的分析。