Applying process mining approach to support the verification of a multi-agent system

Using agent development tools to construct an agent-based system is a well applied approach.However,the development tools usually do not have the function to check the feasibility about the workflow of the agent system during it implementation stage.Therefore,to develop an evaluation approach to analyze the feasibility of a developing agent system such that the improper workflow of an agent system can be found in the early design stage is a necessary task to reduce the risk of implementation.In this research,a Petri Net(PN) based three-stage evaluation approach was developed.In the conceptual stage,the pitfall of the current agent system developing process was examined and an improvement analysis process was specified.Then,in the system design stage,an evaluation approach which extracted the process log file from a developing agent system into a PN model in terms of a process mining approach-α algorithm was proposed.This model was simulated in a PN simulation package.The agent system performance was evaluated in terms of analyzing the deadlock phenomena of the PN model.Finally,in the implementation stage,the proposed concept was implemented by using an agent developing tool JADE and a PN simulation tool CPN.An agent-based robotic assembly system was used to examine the possible deadlock of the agent system.     

消费者交互作用对网络效应产品扩散的影响——基于产品生命周期的视角

从消费者采用产品过程的生命周期(PLC)视角出发,运用微观扩散模型仿真分析消费者交互作用对网络效应产品扩散的影响.研究表明:消费者交互作用所产生的局部网络效应能够加快产品扩散早期和中期速度,而聚集效应则会降低产品扩散中期速度; 消费者之间交互强度越强,产品扩散中期速度越快; 全局交互型消费者则会降低产品扩散早期速度,但能提高产品扩散中期速度;且上述因素对网络效应产品PLC不同阶段扩散速度的影响还会由于消费者交互作用所形成的复杂社会网络结构差异而呈现不同模式.这些研究结论能够为网络外部性市场中企业的营销策略提供一定新启示.     

Robust scalable pre-compressed video coding based on MPEG4-FGS over the Internet

1.INTRODUCTION WiththeadventofInternetrevolutionandavailability ofgrowingnetworkresources,streamingvideoisbe comingincreasinglypopularamongInternetmultime diaapplications.Inordertomaintaingoodqualityof service(QoS)inthecurrentbest effortInternet, bandwidthadaptationanderrorresiliencetothevary ingnetworkconditionsaredesiredforstreamingvideo overtheInternet.Onegoodsolutiontotheseprob lemsistocompressandtransmitavideosequence withscalabilityandAUPLP.Fromthepointofview videocoding,sca…     

移动电信低端增量市场中的价格策略互动

针对双头垄断下的移动市场竞争,在用户存在转网成本,且运营商根据用户支付意愿和网络偏好价格歧视策略条件下,采用一个三阶段动态博奕模型对运营商低端增量市场竞争中的价格策略互动进行了分析,认为前期高端市场中的不对称地位会激励不同运营商在价格竞争采取不同策略,在位运营商为了保持与原有用户的激励相容会相对保守.均衡时低端增量市场份额分布与运营商前期高端市场优势无关,而取决于其提供的用户效用水平.     

并购后销售服务网络的优化问题

研究的是企业横向并购后的销售服务网络的优化集成问题,文章以两个公司的横向并购为例,构造了可变策略下的系统优化模型.算法设计思想是:对待合并后的销售服务网络,采用"休克"式设计程序,暂时对所有的销售服务网点"视而不见".假设每个销售服务网点的运营能力相同,那么,所要研究的问题即转化为:在现有客户条件下,若一个销售服务中心可以为k个用户提供服务,求,如何确定客户销售服务中心的关系以使得销售服务中心总的效率最高.基于这种策略,文章给出了问题的优化模型及其求解算法,同时分析了该算法的时间复杂性.所得到结果与已有的研究结果具有较强的互补性.     

时间容忍度下航空快件运输一体化决策优化

为了研究快递公司航空运输网络优化及快件的运输组织问题,本文放宽了先到先服务(first come first serve,简称FCFS)作业模式的时限限制,构建了双层规划模型.上层模型确定快递公司自有全货机所配置的航线以及各航段的腹舱租赁量,下层模型决策快件的配送方案.选取SF快递公司所服务的14个城市的相关数据对模型进行验证,并基于上层模型优化的网络比较了不同时间容忍度下快件的运输方案,结果表明:随着时间容忍度的增加,快件的总运输成本逐渐降低,而总运输时间升高.可见,先到先服务模式不是最经济的派件作业模式,快递公司可利用快件的时间容忍度,实施航空运输网络和运送方案的优化设计.     

A role—Based Fuzzy Assignment Model

It's very important to dynamically assign the tasks to corresponding actors in workflow management system, especially in complex applications. This improves the flexibility of workflow systems. In this paper, a role-based workflow model with fuzzy optimized intelligent assignment is proposed and applied in the investment management system. A groupware-based software model is also proposed.     

铁路编组站阶段计划编制的模型及其算法研究

以压缩车辆在编组站停留时间为目标，建立阶段计划车流推算模型，考虑列车解体顺序与列车出发计划的综合协调问题，并通过求解带分枝定界策略的网络流及有准备时间的带权最小误工工件数问题，解决了编组站因车流不足需停运出发列车运行线的问题.     

蓝牙个人区域网络视频流传输建模与仿真研究

目前无线ad hoc网络发展的目标是支持多媒体数据的传输,基于ad hoc网络的视频流传输有着巨大的应用前景。但是无线传输介质的不稳定特性决定了其支持视频流传输存在较大的挑战。在分析蓝牙技术特点的基础上,对蓝牙无线ad hoc网络视频流传输进行建模。设计基于所提模型的网络视频流传输模拟实验架构。在不同码率和不同路径长度的模拟环境下测试解码视频流的质量,研究分析蓝牙视频流传输性能。     

双寡头零售市场的演化稳定策略

在一个三阶段Hotelling博弈模型的基础上研究双寡头零售市场价格策略的演化稳定问题.在[0,1]线性城市模型中,两家零售商在第一阶段同时选择价格策略变量,第二阶段确定价格的大小及相应的定价概率,第三阶段由消费者选择零售商.应用演化博弈论进行分析,得到了价格促销策略为双寡头零售市场的唯一演化稳定策略的结论.     

多媒体传感器网络中服务感知的传输控制协议

多媒体传感器网络中同时存在端到端（end-to-end）的多媒体流和事件到汇聚点（event-to-sink）的事件流,这对多媒体传感器网络服务质量保证带来了新的挑战。针对多媒体传感器网络提出了一个基于二级反馈的QoS自适应保证方法,该方法以传输控制协议为核心,根据汇聚节点处数据包的接收率和网络拥塞状况将网络划分为10个运行状态,通过传输控制协议调整媒体流和事件流的发送率,完成网络向最优状态的迁移。一系列基于NS2的仿真试验证明了本方法的有效性。

Abstract：

There exist two kinds of streams in multimedia sensor networks：end-to-end stream and event-to-sink stream,this makes the guarantee of QoS multimedia transmission face a new set of challenges. A self-adaptive QoS guarantee scheme was proposed based on two-layer feedback for multimedia sensor networks. The kernel of this scheme is transport control protocol. The network is partitioned into 10 typical states by means of the data packet receive rate at sink node and network congestion status,thus the state transfers to the optimal one by adjusting the transmit rate of media stream and event stream. A series of simulation results are performed by NS2 to demonstrate the effectiveness of the proposed scheme.     

有源配电网两阶段动态应急抗灾运行策略

由于台风等动态灾害具有持续性和渐变性的特点,增加了故障恢复过程的复杂性。为使有源配电网快速恢复供电,建立包含资源分配预案、孤岛划分方案和抢修与复电协同方案的两阶段动态应急抗灾运行策略和相应的整体优化模型。第一阶段根据路程时间和预计受灾地区与抢修资源的属性匹配情况制定灾前资源分配预案;第二阶段根据已受灾地区的灾情信息制定孤岛划分方案和抢修与复电协同方案,并根据灾情的动态变化做相应的方案调整。通过IEEE33节点系统进行算例仿真,验证了策略的有效性。     

基于智能天线的多跳空分复用蜂窝网容量分析

为了提高无线频谱效率,多跳蜂窝系统中多跳与蜂窝系统需要使用相同的频率资源。采用频率空分复用技术和智能天线技术降低节点间的干扰,通过设置不同的频率复用因子,并根据网络节点分布确定多跳节点的间距,为系统带来不同的容量增益。结果表明,空分复用和智能天线技术大大提高了多跳蜂窝系统的容量。     

基于混合定价机制的高估价顾客购买策略

在传统市场和网络市场上销售具有价值易逝性的商品,研究顾客在卖方定价与买方定价这一混合定价机制下的购买行为.分析了顾客的最优出价策略,讨论了成交价和顾客获胜概率,得到高估价顾客的购买策略.     

在一个二阶排队网络中对两类不同顾客的模糊控制

研究一个二阶的串联排队网络 ,其中第一阶有一个服务员 ,第二阶有两个并联服务员 ,每个服务员都有其自己的具有无限存储空间的排队队列 .在第一阶的存储空间中包含有足够多的两类顾客 .两类不同的顾客需要首先在第一阶的服务员上接受服务然后按顺序先后进入第二阶分别排在和两类顾客相对应的服务员前 .不管什么时侯只要第一阶的服务员服务完一个顾客 ,系统就得到一个收益 ,与此同时 ,每个在第二阶排队中的顾客都需要付一笔占位费 .系统的控制目标是根据系统的状态动态地选择在第一阶中下一个被服务的顾客的种类 ,以保证系统在一个无限长的时间里平均收益最大 .这个控制模型可以应用在生产和通讯网络中 .在这篇论文里 ,一个模糊控制的新方法被提出用以解决这个复杂问题 .计算机模拟的结果显示这种新方法是非常有效并极富研究潜力的 .     

FDTD并行计算中的区域划分及负载平衡

与并行处理机相比,基于局域网的并行FDTD算法是解决复杂电磁问题相对简单的、有效的方法。本文讨论了利用网络进行FDTD并行计算时需要解决的两个关键问题:区域划分及负载平衡策略,并利用局域网内的2台和4台PC实现了对平面光波导实例的并行计算,给出了实验结果。结果表明,利用该方法可以获得较好的加速比,并能大大提高计算的效率。     

微波接力组网的节点再优化研究

为进一步完善常规方法构建的微波接力网组网拓扑,提出了一种基于最优链路集的网络节点再优化方法。该方法综合考虑节点吸引系数、链路衰落概率、节点通信冗余等因素,借助网络拓扑优化的思想,采用遗传算法构造了微波接力网的最优链路集;以节点在该集合中的度为依据,通过对节点的合理排序,以部分用户节点代替非必要的干线节点,完善了组网拓扑。在修改链路和节点价值集后,该方法还可解决其他网络干线、中继节点的选择问题。     

星间测距网的抗差估计方法研究

通过分析星间测距网的特殊性,设计了适用于星间测距网的抗差方案。根据失效节点和观测粗差对残差影响的差异,提出分步处理的方法;由于星间测距网中粗差可能较多,为了减少它们对初值的牵连影响,观测值等价权的选择以真误差的估值为依据。通过算例,比较了该方案与其它两种经典抗差估计方案的检测效果,结果表明,该方案在粗差定位的准确性和精度方面都优于其它两种方法。     

企业集群创新网络动态演化模型

介绍了企业集群创新网络的组成与知识流动。基于物理学在复杂网络结构研究方面的新进展,设定了创新网络的初始状态和优先连接机制,提出形成企业集群创新网络的活动包括加点、加边和重连,认为遵循优先连接机制的这三类活动会使得集群创新网络成为规模有限的无尺度网络。创新网络具有较高的容错性而抗攻击能力较弱,而且网络的稳定性依赖于地方和非地方联系的适当组合。     

工作流过程的结构变化分析

业务过程的动态性要求工作流系统具备相应的适应能力.当工作流流程发生变化时,将存在一个潜在的问题,即变化后的流程可能会产生死锁、不一致性等错误.这篇文章主要讨论工作流流程的结构变化问题.提出了一个判断结构变化是否可行的准则,即不出现错误以及不一致现象,该准则从结构和行为属性方面进行考虑.给出了一个计算最小变化域的算法,并且证明了变化域的结构正确性及行为一致性能够保证结构变化的可行性.用一个实例说明了该方法的有效性.