您的位置: 专家智库 > >

国家自然科学基金(60074011)

作品数:13 被引量:58H指数:4
相关作者:吴智铭毛剑琳杨根科翟长连严新平更多>>
相关机构:上海交通大学武汉理工大学西安交通大学更多>>
发文基金:国家自然科学基金中国博士后科学基金国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术理学一般工业技术电子电信更多>>

文献类型

  • 13篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 3篇理学
  • 2篇一般工业技术
  • 1篇电子电信

主题

  • 3篇网络
  • 3篇无线传感
  • 3篇无线传感器
  • 3篇无线传感器网
  • 3篇无线传感器网...
  • 3篇感器
  • 3篇传感
  • 3篇传感器
  • 3篇传感器网
  • 3篇传感器网络
  • 3篇PETRI网
  • 2篇优化算法
  • 2篇PETRI_...
  • 2篇GA
  • 2篇DEADLO...
  • 2篇SCHEDU...
  • 1篇带宽
  • 1篇对策论
  • 1篇对象技术
  • 1篇多目标

机构

  • 10篇上海交通大学
  • 1篇西安交通大学
  • 1篇武汉理工大学

作者

  • 10篇吴智铭
  • 3篇毛剑琳
  • 3篇杨根科
  • 2篇翟长连
  • 1篇高梅梅
  • 1篇孙国基
  • 1篇雷德明
  • 1篇曹木亮
  • 1篇何苇
  • 1篇严新平
  • 1篇王四平

传媒

  • 3篇控制与决策
  • 2篇Chines...
  • 1篇自动化学报
  • 1篇计算机研究与...
  • 1篇通信学报
  • 1篇电子学报
  • 1篇计算机工程与...
  • 1篇计算机仿真
  • 1篇系统仿真学报
  • 1篇Journa...

年份

  • 1篇2007
  • 3篇2006
  • 1篇2005
  • 1篇2004
  • 2篇2003
  • 1篇2002
  • 2篇2001
  • 2篇2000
13 条 记 录,以下是 1-10
排序方式:
控制模态转移型系统的稳定切换被引量:4
2002年
离散事件决策子系统和数值反馈子系统合成的混合控制系统呈现出复杂的稳定动态特性 .研究了在达到模态切换周期的控制规则下 ,相应的系统连续状态轨迹的平稳性 .给出了具有较少约束的李雅谱诺夫型判据 ,不要求全局一致的李雅谱诺夫函数 。
杨根科吴智铭孙国基
CAPACITATED LOT SIZING AND SCHEDULING PROBLEMS USING HYBRID GA/TS APPROACHES被引量:3
2003年
The capacitated lot sizing and scheduling problem that involves indetermining the production amounts and release dates for several items over a given planning horizonare given to meet dynamic order demand without incurring backloggings. The problem consideringovertime capacity is studied. The mathematical model is presented, and a genetic algorithm (GA)approach is developed to solve the problem. The initial solutions are generated after usingheuristic method. Capacity balancing procedure is employed to stipulate the feasibility of thesolutions. In addition, a technique based on Tabu search (TS) is inserted into the genetic algorithmdeal with the scheduled overtime and help the convergence of algorithm. Computational simulation isconducted to test the efficiency of the proposed hybrid approach, which turns out to improve boththe solution quality and execution speed.
Yang Honghong Wu ZhimingDepartment of Automation,Shanghai Jiaotong University,Shanghai 200030, China
一类有约束的混合系统的模型及设计被引量:6
2001年
提出一类推广的 Petri网模型 ,并利用它为混合动态系统建模。采用对策论求解设计模型中的有关参数的最优值及连续系统的控制器 ,以满足混合系统的最优约束条件。以火车道口的控制设计为例 ,说明了系统的设计方法。
翟长连何苇吴智铭
关键词:离散事件系统PETRI网对策论
基于不变集的一类混合系统的稳定性被引量:1
2000年
利用混合 Petri网为混合系统建模 ,探讨了基于不变集混合系统在 L yapunov意义下关于恢复半径的稳定性概念 ,并给出利用 L yapunov函数法判定混合系统的稳定性、一致稳定和渐近稳定的充分条件。
翟长连吴智铭
关键词:稳定性PETRI网不变集
DEADLOCK-FREE SCHEDULING METHOD BASED ON PETRI NET AND GA被引量:1
2003年
An efficient algorithm for finding an optimal deadlock-free schedule in amanufacturing system with very limited buffer is presented. This algorithm is based on the effectivegenetic algorithm (GA) search method, and a formal Petri net structure is introduced to detect thetoken player assuring deadlock-free. In order to make the scheduling strategy generated by GA meetthe required constraint of deadlock-free, Petri net is involved to make the implementation of thejob scheduling in an FMS deadlock-free. The effectiveness and efficiency of the proposed approach isillustrated by using an example.
Xu Gang Wu ZhimingSchool of Automation,Shanghai Jiaotong University,Shanghai 200030, China
关键词:GA
基于802.15.4的无线传感器网络查询质量优化算法被引量:4
2006年
在簇形结构的无线传感器网络中,针对基本单元簇,在IEEE802.15.4协议的MAC层讨论查询质量的优化问题。建立了以查询质量为目标,带宽限制为约束条件的优化模型,并提出了动态规划法和查询质量因子动态更新算法相结合的动态查询质量保证算法。仿真实验表明,该方法能提高IEEE802.15.4的实时带宽利用率,减少查询响应时间,并能根据不同的查询质量要求提供相应的服务。
毛剑琳吴智铭
关键词:无线传感器网络IEEE查询
延迟敏感型业务的带宽在线优化
2001年
本文研究N个延迟敏感型业务流对共享时隙带宽资源的实时在线最优配置问题。延迟业务的特点是如果在阈值n时隙内没有可分配带宽,则新业务会被阻塞,优化目标是诸业务流被阻塞的概率最小,优化问题是整数规划问题。本文把离散型问题转化为连续型优化问题,基于网络阻塞率的实时测量值,采用梯度估计的搜索算法,给出诸业务流的最优时隙配置比例。然后,引入一种集成了确定性和随机性的转换方法,等价地给出原离散型问题的最优时隙配置。
杨根科吴智铭
关键词:服务质量通信业务
一种基于线性逻辑的时间Petri网推理方法被引量:6
2000年
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .
高梅梅吴智铭
关键词:时间PETRI网线性逻辑
无线传感器网络仿真系统的设计与实现被引量:4
2006年
无线传感器网络是一个新兴领域,其面向应用的特点使其区别于现有的通信网络。为有效和快捷地展开无线传感器网络的研究,在离散事件仿真原理和面向对象技术的基础上,该文提出一个无线传感器网络仿真系统,从系统结构框架、类的设计及软件模型、仿真机制方面多层次多角度地对该系统进行了描述,并采用C++和M atlab编程语言予以实现。该系统具有开放式、模块化、易扩展的特点,它的设计和实现对于推动无线传感器网络技术的研究有着积极的意义。
毛剑琳吴智铭
关键词:无线传感器网络离散事件仿真面向对象技术
Kind of deadlock-free scheduling method
2004年
Deadlock must be avoided in a manufacturing system. In this paper, an efficient algorithm for finding an optimal deadlock-free schedules in a manufacturing system with very limited buffer is presented. This algorithm is based on the effective genetic algorithm (GA) search method, and a formal Petri net structure is introduced to detect the token player assuring deadlock-free. In order to make the scheduling strategy generated by GA meet the required constraint of deadlock-free, some results of the structure analysis of Petri net are involved as a criterion to select deadlock-free schedule from the population generated by GA. The effectiveness and efficiency of the proposed approach is illustrated by using an example.
徐刚吴智铭
关键词:GADEADLOCK
共2页<12>
聚类工具0