颜色Petri网相关论文
随着Internet的快速发展,网络购物迅速普及,越来越多的消费者选择网络购物的方式购买商品。网络购物作为一种新型的购物方式,不仅......
本文针对软件演化过程领域的演化需求问题,提出了软件演化触发因子的概念,并基于颜色Petri网(CPN)和层次分析法(AHP),以形式化的方......
在电子商务范畴内，信任是预测交易对象遵守交易规则的主观可能性的依据，对这种可能性的大小我们用信誉度来度量。由于网络信息本身具......
随着Internet在全球的发展，基于网络的分布式应用越来越呈现出多样性和复杂性。其中，统一的服务注册、发现、绑定和集成机制，成为广域......
随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、......
随着互联网业务的不断丰富，IP电话、远程教育等实时多媒体应用已经在网络上广泛开展，与之相应的计费管理方法亟待改进。传统计费方式......
随着3G网络与无线局域网的普及,无线网络通信技术已经在我们的日常生活中无处不在了。无线Mesh网(Wireless Mesh Network)简称WMN......
随着现代信息科技的发展,信息作为一种重要的资源正不断受到外部和内部的各种威胁,访问控制是一种保护信息安全的重要措施。近些年......
OSEK/VDX作为分布式实时系统的标准,已被汽车电子行业广泛采用。为提高汽车的整体性能,应用程序的设计趋于并行和复杂化,OSEK/VDX......
在信息物理融合空间技术发展的同时，也为人们提供了一个服务日益丰富的数字化环境。在这个数字环境中，信息物理融合的趋势反应到现实......
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限......
在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN（Colored Petri Nets）模型不合理的......
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执......
离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程，它几乎是所有后续专业课程的重要基础，而学生在学习离散数......
交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复......
在新的面向服务的网格计算架构下，网格服务为Intemet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说，通过组装已有网......
复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标......
供应链中由于信息传递过程中出现的信息膨胀引起牛鞭效应造成各种成本的急剧增长，为使目标函数费用最小，基于颜色Petri网建立了不同......
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模，而且对并行程序中的并行结构也进行了建模和仿真......
密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点.通过引入颜色Petri网来描述密码协议,......
TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其......
多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如......
介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了......
研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不......
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不......
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题，提出一种基于颜色Petri网的电子商务协议攻击分析方法，用于分析协......
设计开发一种基于VHDL语言的新型集成技术，实现用Davidcells（DCs）构成的异步电路系统（Speed independent，SI），它综合了逻辑集成技术和直接......
生产者-消费者问题是计算机领域一个经典的问题,经过多年的研究广泛地应用于并行系统中。现在已经利用多种技术实现了生产者-消费......
蚁群算法在解决车辆路径问题时存在运行速度慢等问题,基于此本文提出了一种自适应蚁群算法.该算法把客户需求等因素加入禁忌表,实......
该文提出一个基于扩展颜色Petri网的Web服务组合描述模型,该模型在描述组合流程的控制流和数据流的同时还能描述流程中的参数、操......
鉴于传统合同网协议居高不下的通信量,本文提出了智能合同网协议(ICP).该协议对任务的发起者增加友好度因子,对投标者加入信任度因......
基于时间片的轮转调度算法中时间片大小影响着进程切换次数以及等待时间等方面。本文改进了时间片的取值方法,并通过颜色Petri网对......
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首......
排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模......
评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和......
业务系统安全管理需要网络攻击图来评估系统整体安全性或态势,同时又需要对那些可能严重危害系统安全的脆弱性利用威胁进行重点分......
食堂窗口是高校中排队现象最普遍的服务窗口,在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查,......
