张磊
- 作品数：8 被引量：16H指数：2
- 供职机构：黑龙江东方学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目黑龙江省教育科学规划课题新世纪高等教育教学改革工程更多>>
- 相关领域：自动化与计算机技术交通运输工程自然科学总论文化科学更多>>
- 基于DNA编码的多重约束目标的智能组合优化
- 2012年
- 在组卷策略中,多重约束目标的智能组合优化问题一直是人们研究的热点.大多数的优化算法都是基于传统的遗传算法,这些算法的适应度不高,并且交叉算子和变异算子对适应度的影响很大.针对这些缺陷,本文提出了一种新的优化算法DNA_YH算法,该算法将DNA编码引入到多重约束目标的组合优化问题中,并完成了DNA编码、初始化种群、个体适应度计算和遗传操作的优化过程.经过实验证明DNA_YH算法的最优适应度高于其他相关算法,并且交叉算子和变异算子对适应度的影响都很小,得到了较好的优化效果.
- 修建新范晓敏张磊
- 关键词：DNA编码组合优化优化算法
- 基于事件集的反应系统模型的验证
- 2012年
- 在总结前人工作的基础上,提出了一种有效检测并发或反应系统的动态行为模型中违反安全属性的方法,目的是减少为检测违反安全属性所需检测的状态数量,验证过程包括构造一个由所有独立状态图组成的全局状态空间图,并遍历这个全局状态空间图中的状态以便检测安全协议。首先读待验证的安全属性和可能会违反这些属性的相关事件集,构造全局状态空间图只考虑相关事件产生的状态转换。使用该方法验证了"火车道口"系统,减少了59%的搜索空间。
- 张磊马光胜
- 基于GSM网络的实验室安防报警系统设计被引量：2
- 2012年
- 介绍了一种基于GSM网络的实验室安防报警系统,阐述了该系统的结构及其软硬件设计。报警系统采用GSM短信模块来发送接收短信,从而实现对实验室安全的监控。该系统结构简单、安装调试容易、使用方便。
- 尹奇龙赵龙王强张磊修建新
- 关键词：GSM模块安防传感器短消息
- 任务网络到时间自动机的等价模型验证
- 2012年
- 针对实时调度理论模型缺乏形式化语义的问题,提出将结果行为的语义转换成系统模型的形式化方法。结合定时分析技术,基于已有的任务网络形式方法,证明任务网络模型与候选型体系结构(CTA)模型稳态的等效性,将任务网络模型映射到语义相同的CTA模型,并验证该映射的语义等效性。将该方法应用于实例中,结果表明,该方法能代替调度模型,高效地应用于实时调度系统。
- 张磊马光胜修建新
- 关键词：事件流时间自动机映射
- 嵌入式Linux2.6的实时性研究与改进
- 2010年
- 该文研究如何使Linux2.6满足硬实时的要求,以更加适应嵌入式领域的需求。论文分析了Linux2.6内核源代码,在此基础上,针对2.6内核实时性不足的三个方面提出了改进方案。首先,在中断机制方面,提出中断线程化的方案;其次,在调度机制方面,最小空闲时间优先算法;第三,将单次触发模式引入到Linux2.6定时器中,并且结合＂最小空闲时间优先算法＂巧妙设置了新的时钟机制。
- 张磊修建新
- 关键词：嵌入式系统抢占式内核定时器
- 汽车整车配载与运输路线优化方案及算法研究被引量：11
- 2011年
- 对于运输车辆的调度与运输路线优化问题,借鉴成熟启发式算法的思想,将汽车整车的合理装载和运输路线优化问题结合到一起考虑,确定整车配载和运输路线优化模型并给出模型求解算法,设计出一个有效的求解方案,即把运输任务进行分解,对满载运输采用经典的Dijkstra算法;对于非满载运输,借鉴改进的C-W节约算法的基本思想等。实验表明,此方案及算法对于编制汽车整车运输计划、求解整车配板与运输车辆路线问题达到了比较理想的效果。
- 张磊袁建清郑磊
- 关键词：DIJKSTRA算法
- 一种改进的基于合作调停的交通协调控制算法被引量：3
- 2014年
- 缓解交通拥堵,增加交叉口通行能力的有效手段是交通信号控制.为了使车辆在穿越干道交叉口时尽量少的停留,协调交通信号控制的研究越来越成为热点.以智能体控制技术为基础,提出了基于合作调停的协调交通信号控制算法.将信号的协调模型化为分布式约束优化问题,应用最优异步部分交叉算法,通过调停手段得到最优的信号协调控制方案.仿真实验表明,基于合作调停的交通信号协调控制算法能够得到使系统费用最小的协调信号控制方案.
- 王雪茹高婷婷李萌张磊王培东
- 关键词：交通控制约束优化问题多智能体
