廖伟志
- 作品数：67 被引量：189H指数：7
- 供职机构：嘉兴学院数理与信息工程学院更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学社会学经济管理更多>>
- 区间速率连续Petri网的有效冲突及其消解被引量：7
- 2006年
- 有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
- 廖伟志古天龙
- 关键词：区间速率连续PETRI网
- 基于Petri网的顾及转向延误的最优路径算法被引量：8
- 2013年
- 针对双向通行的交通运输网络结构复杂,且城市道路交叉口的转向延误不可忽略的问题,提出基于无向Petri网的顾及转向延误的最优路径智能搜索算法。从赋予托肯另外两种状态和拓展定义变迁的使能规则两方面对Petri网进行扩展,将网络站点间的最优路径问题转换为求解在限制区域内托肯在节点间通行的最短时间消耗问题。算例模拟和实例分析结果表明了算法的可行性和有效性。
- 杨琰廖伟志李文敬杨文李杰
- 关键词：智能搜索
- 基于冲突判定的混杂Petri网模型行为分析被引量：1
- 2011年
- 为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。
- 陆建波廖伟志
- 关键词：混杂PETRI网消解
- 区间速率连续Petri网的瞬时引发速率分析
- 2006年
- 瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．
- 廖伟志文瑛
- 关键词：区间速率连续PETRI网
- 编译原理课程教学中计算思维能力的培养方法被引量：3
- 2012年
- 针对编译原理课程的教学目标及该门课程教学中普遍存在的问题,从选择合适的方式陈述问题、模块化方法、等价转化方法、形式化方法等计算思维方法探讨如何运用计算思维提高编译原理课程教学质量及如何在教学中培养学生的计算思维能力。
- 廖伟志李文敬
- 关键词：教学方法计算思维
- 基于蚁群算法的多路径覆盖测试数据生成被引量：14
- 2020年
- 为了提高多路径覆盖测试数据的生成效率,研究了一种基于蚁群算法的多路径覆盖测试数据生成方法.首先给出蚁群算法的一种改进方法,该算法以蚂蚁对生成测试数据的重要性作为蚂蚁状态转移和蚂蚁路径变异的依据,以引导更多蚂蚁穿越小概率节点,提高测试数据生成效率.其次,根据改进的蚁群算法分别提出了基于单信息素表和多信息素表的多路径覆盖测试数据生成方法.在基于多信息素表的方法中,每条目标路径的信息素表均被用于其它路径测试数据的求解,而且蚁群算法运行一次即可求解多条目标路径的覆盖测试数据.最后对所提出方法的有效性和复杂度进行了理论分析.实验结果表明,与其它方法相比,基于多信息素表的测试数据生成方法能够有效地生成多路径覆盖测试数据.
- 廖伟志夏小云贾小军
- 关键词：测试数据生成蚁群算法多路径
- 基于人工鱼群算法的混杂FMS优化调度被引量：1
- 2015年
- 针对已有的调度方法难以找到混杂柔性制造系统调度全局最优解的问题,根据一阶混杂Petri网模型提出了一种基于人工鱼群算法的混杂柔性制造系统调度方法。利用混杂Petri网不变行为状态序列与时间序列的对应关系把寻找最优解转换成寻找最优时间序列。首先给出了合法时间序列的定义及其基于人工鱼群算法的判定方法;然后给出了最优时间序列求解的人工鱼群算法,同时提出基于最优解视野变异的人工鱼群算法以解决多次优化过程中只会得到某个局部最优解的问题。最后基于这些算法给出混杂柔性制造系统的最优调度求解方法。实验结果表明所提出方法正确有效。
- 蓝贞雄廖伟志
- 关键词：人工鱼群算法调度混杂PETRI网
- 基因表达式编程在分形图像压缩编码中的应用
- 2011年
- 针对目前存在图像压缩率不高、全局搜索或遗传算法寻找最优分形图像压缩编码速度慢的不足,将基因表达式编程应用于分形图像压缩编码,提高求解分形图像压缩编码速度和压缩比.首先从理论上对二值图像压缩编码的求解过程和基因表达式编程在压缩编码中的作用机理进行分析;然后,研究分形图像压缩编码的基因和染色体的表示方法,适应度函数设计以及选择、变异、插串、基因变换、基因重组等基因遗传进化操作过程.提出基因表达式编程的分形图像压缩算法,求解分形图像压缩编码的最优解.实验结果表明,基因表达式编程应用于分形图像压缩编码,具有较强的全局寻优能力,搜索最优解的速度比遗传算法快约2倍,图像压缩率高.
- 李文敬刘之家廖伟志
- 关键词：基因表达式编程分形图像迭代函数系统遗传进化
- 计算机程序设计课程实验教学质量标准的研究被引量：4
- 2009年
- 本文介绍了计算机程序设计课程实验教学在提高学生编程、系统开发能力中的作用、特点以及现状。通过对构成学生编程和软件系统开发能力的要素进行研究,提出了计算机程序设计课程实验教学的量化质量标准,并对质量标准所包含的指标进行了必要和可行性分析。初步试验表明,实施该质量标准收到了一定的成效。
- 李文敬廖伟志闭应洲
- 关键词：程序设计课程实验教学编程能力
- 基于Petri网和基因表达式编程的作业车间调度研究
- 2014年
- 为了更好的解决车间调度问题,提出了一种基于时延Petri网(TdPN)和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。
- 杨荐廖伟志孙环龙李双
- 关键词：基因表达式编程作业车间调度
