江苏省教育厅自然科学基金(06KJB520132)
- 作品数：5 被引量：3H指数：1
- 相关作者：李斌吴俊章小卫李斌李斌更多>>
- 相关机构：扬州大学南京航空航天大学南京大学更多>>
- 发文基金：江苏省教育厅自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术交通运输工程建筑科学更多>>
- 交换机中周期流优化调度问题的复杂性
- 2008年
- 研究了交换机中周期流量的优化调度问题,着重讨论了该问题的复杂性.依据呼损率定义了交换机周期流量调度的最优化问题,并对其子问题,嵌套周期流优化调度的复杂性进行了研究.证明了一种受限Max2Sat问题的NP完全性,并通过将该问题多项式归约到交换机周期流量调度的最优化问题,由此证明了仅有1和2周期的交换机周期流优化调度问题是强NPC问题.并利用该结果证明了任意嵌套周期的优化调度问题也是强NPC的.这表明对于任意嵌套周期流优化调度问题不存在伪多项式算法.
- 吴俊李伟李斌
- 关键词：交换机调度硬实时NP完全
- 一个面向Web服务集成的Agent协同框架
- 2008年
- 多Agent系统适用于Web服务集成的分布式环境;软件Agent相比Web服务具有更好的主动性和交互能力.面向Web服务集成的Agent协同框架以软件Agent和Web服务作为系统基本组件,可以构造开放的、分布式的、动态的、自主的、智能化的服务集成系统.具有设计、编辑Web服务集成流程;验证服务集成流程的正确性;执行Web服务集成流程;监控Web服务集成流程的执行等功能.
- 罗家奇王业先李斌
- 关键词：WEB服务WEB服务集成AGENT协同AGENT会话
- 多Agent系统中的任务可调度问题被引量：2
- 2008年
- 为了将Agent方法应用于应急系统等新领域,在对该类系统研究的基础上提炼出它们的公共特征,根据这些特征设计出一种MAS系统模型,并在该模型的基础上定义了相应的任务可调度问题.利用网络流模型对可调度问题进行了建模,证明了最大流算法可以求解该可调度问题,由此说明该问题是可多项式时间求解的.并且对于给定该问题的一个可调度实例,利用最大流算法还可在系统中找到一组Agent完成所有任务.通过对该网络流模型的进一步分析,得出并且证明了任务可调度判定的充分必要条件,利用这个结论可以快速判断当前任务是否可调度.
- 章小卫李斌吴俊
- 关键词：多AGENT系统任务调度网络流最大流算法
- 一种用于agent协同的语义中间件被引量：1
- 2008年
- 在开放的动态的分布式系统中,agent之间的协同是确保成功交互的关键因素.元组空间(tuplespace,TS)因其可持久发布信息的逻辑共享存储、关联查询机制以及时空解耦等属性,使得它可作为分布式系统中agent之间通信的协同中间件.然而在异构的环境中,agent必须能够在相同的语义条件下交换信息,此时TS就具有了某些限制性.本文提出一种基于语义网技术和元组空间计算相融合的语义元组空间(semantic tuplespaces,STS).STS可作为开放动态的分布式系统中基于发布和检索语义信息,使能agent通信和协同的中间件.本文描述了STS的概念模型并讨论了对TS的语义扩展.基于Jena和Pellet——DL推理机,STS最初版本的原型系统已被实现.最后,通过实验的性能评估论证了所采用的方法是切实可行的.
- 李亮李斌李斌
- 关键词：语义WEB中间件元组空间
- 存储速率低于链路速率的重端口交换机稳定性分析
- 2008年
- 讨论了当存储器速率低于链路速率时重端口交换机的稳定性,通过理论分析证明:当端口重数为d(d>2)时,存储器工作于2/d的链路速率下,重端口交换机在任何满足强大数律的流量下均是稳定的;且获得这种稳定性只需使用极大匹配调度算法.仿真结果表明这种重端口交换机的性能堪与OQ交换机媲美.
- 方仲瑄吴俊
- 关键词：交换机输入队列调度算法稳定性
