Hybrid partheno-genetic algorithm and its application in flow-shop problem

1 .INTRODUCTIONSincegeneticalgorithmwasproposedin 1975byHol land ,ithasbeenappliedinmanyfieldsbecauseofitseffectiveness .Butthetraditionalgeneticalgorithmalsohassomeshortcomings .Forexample ,sometimesitmayproducesaviolatingoffspringinthecrossoveroperation…     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

遗传算法在柔性动态调度中的应用

采用一种实用的柔性制造系统（FMS）在线动态调度方案 ,以对车间生产环境的变化作出及时反应,建立了零件的可变工艺路径、包含AGV的FMS调度问题的模型,采用遗传算法（GA）以任意始点的任务集为背景同时调度机器和自动引导小车（AGV）。研究由若干台加工中心（WS）和AGV组成的FMS的调度问题,论述了综合事件机制及时间机制优点的动态调度机制,通过被修订的工序集与所有剩余工序形成交集,来识别需要被修订的工序集。这种重调度方式减少了人为的干预,允许按环境改变而对方案作出修订,因此可以在实时条件下工作。     

三个Buffers切换到达系统的混合系统建模和控制

采用被服务Buffer编号为离散标识,Buffer中待处理任务数为连续状态,建立了系统的代数微分方程模型,提出了三个Buffers切换到达系统不稳定周期轨道的一种基于混合状态的镇定控制方法。当Server服务于一个Buffer时,以此状态下在连续周期轨道上对应的2个顶点张成的一维线形子流型滑动目标,仅通过系统许可的对极限连续处理时间的控制,使系统镇定于周期轨道,并从系统的混合模型角度,分析了镇定方法的鲁棒性。     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

基于粒子群优化的多目标作业车间调度

为了利用粒子群优化算法解决作业车间调度问题，提出了将调度问题转化为连续优化问题的有效策略；设计了Pareto档案粒子群算法（PAPSO），该算法将档案维护和全局最好位置选取结合在一起，在档案维护过程中为每个粒子选取全局最好位置；给出了变异与PAPSO的结合新策略；最后将PAPSO和带变异的PAPSO应用于15个调度实例，以最小化总拖后时间和最大完成时间，与强度Pareto进化算法2等算法进行比较，结果验证了PAP—SO在作业车间调度方面的良好性能．     

带时间窗车辆路径问题的混合粒子群算法

将粒子群优化算法与模拟退火算法结合,提出了一种求解车辆路径问题的混合粒子群算法.实例计算及与遗传算法比较的结果表明:应用混合粒子群算法可以快速地求得带时间窗车辆路径问题的优化解;该算法是一种求解离散组合优化问题的有效方法.     

一种离散时间系统的变结构控制方法

针对离散时间系统 ,讨论了利用离散趋近律设计变结构控制问题 ,分析了趋近律系数造成系统颤振的原因 ,给出改进的离散趋近律 ,并利用它设计变结构控制 .仿真结果表明 ,该方法是可行的 ,减少了系统的颤振 ,保证了闭环系统的渐近稳定性