马震远 作品数:24 被引量:9 H指数:1 供职机构: 广东技术师范学院 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家科技支撑计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于双变异算子的差分进化算法 2015年 针对差分进化算法中全局搜索能力和收敛速度不可兼得的问题,提出了一种具有双变异算子的新型差分算法.将current-to-best/1和rand/1两种变异算子结合,通过控制两个算子的执行比例获得了快速收敛模式和强搜索模式,并进一步通过计算和判断每个个体的进化停滞标识,使算法在运行时自适应的选择两种模式.在CEC2005测试集上的实验证明:与传统算法相比,新算法具有更好的性能和更广的适应性. 马震远 梁钰彬 赵凯 林智勇关键词:进化计算 差分进化 基于Memetic框架和改进DFP局部搜索的改进差分进化算法 被引量:1 2015年 为提高差分进化(DE)算法对性连续优化问题的求解能力、增强算法的适应性,提出了一种基于局部快速收敛算法的Memetic进化算法。改进了Davidon-Fletcher-Powell方法,得到了具有强搜索能力的局部搜索算法——NDFP。当进化过程中出现具有优秀特质的个体时,NDFP可以使该个体沿着局部最优解的方向快速进化。为综合NDFP和DE的优势,提出局部搜索的执行策略来平衡全局搜索和局部搜索的关系,使得NDFP对DE的优化具有更为广泛的适应性。在CEC2005和CEC2013 Benchmark的53个测试函数上的实验结果表明,同DE/current-to-best/1、Sa DE和EPSDE算法相比,NDFP-DE进化算法具有更高的求解精度和稳定性。 马震远 叶树锦 林智勇 梁钰彬 黄翰关键词:差分进化 局部搜索 一种对于眼底图中视盘和视杯的语义分割方法 本发明提供了一种对于眼底图中视盘和视杯的语义分割方法,其包括:对任一个眼底图进行预处理,获得眼底图数据;获得预处理后的眼底图中关于视盘和视杯的标准分割图像数据;初始化构建的语义分割网络、生成器网络和判别器网络的参数;将眼... 刘少鹏 贾西平 关立南 林智勇 高维奇 欧阳佳 梁杰鹏 廖秀秀 马震远 洪佳明文献传递 一种基于capsule理论和PLSA路由的医学影像分类方法 本发明公开了一种基于capsule理论和PLSA路由的医学影像分类方法,本发明通过引入PLSA概率模型,设计新的capsule路由方法,相比一致性路由,该方法采用更合理的软聚类方法度量capsule之间的一致性,在此基础... 刘少鹏 贾西平 洪佳明 林智勇 马震远 丘永发 关立南 廖秀秀 高维奇文献传递 最优切割与全路径匹配交叉的2E-VRP优化算法 被引量:1 2015年 双层次车辆路径NP组合优化问题的传统求解算法精度较低,针对该问题,提出一种基于最优切割算法和全路径匹配交叉Memetic算法的双层次车辆路径优化算法(OCFM-2E-VRP)。根据一二级配送耦合特点,采用最优切割算法一次性确定中转站配送容量次优解,以此作为客户配送优化的基础。为提高算法效率,设计全路径匹配交叉算子对Memetic算法交叉操作进行改进,利用爬山法进行局部搜索,并使最优切割算法和全路径匹配交叉Memetic算法顺序执行,实现对一级中转站容量和二级客户配送的同步优化。仿真结果表明,与Branch and Cut和Multi-start算法相比,该优化算法具有更高的收敛精度和更快的收敛速度。 马震远 梁钰彬 李俊关键词:MEMETIC算法 一种慕课的关键词提取方法 本发明公开了一种慕课的关键词提取方法,该方法包括:先将慕课视频文件的语音转换为文本,并对文本进行中文分词、添加词性标注和语义标注,再根据每个词语的词语位置、词性和语义特征,结合预设的权重设置,计算文本中每个词语的第一综合... 马震远 黄丽霞 张露娟 戴玉珠 林智勇 刘少鹏文献传递 一种基于RabbitMQ和MongoDB的下载系统 本发明提供了一种基于RabbitMQ和MongoDB的下载系统,包括MongoDB、生产者模块、RabbitMQ、消费者模块,所述MongoDB被配置为存储任务和接收生产者模块返回的数据;所述生产者模块,用于与Mongo... 马震远 林智勇 刘少鹏 方浩生 林安成任播服务的实现方法、发送任播请求的方法、任播路由器 本发明实施例公开了任播服务实现方法,该方法包括:接收分组P,所述分组P为任播请求数据包;根据所述分组P的目的地址查找任播服务器的单播地址;将所述分组P的目的地址变换为所述任播服务器的单播地址,形成第二分组P;将所述第二分... 马震远 周杰 张凌 夏忠其 高雪松文献传递 一种基于数据挖掘的车载信号设备智能维修方法 本发明涉及一种基于数据挖掘的车载信号设备智能维修方法,其特征在于,主要包括以下步骤:第一,数据整合和统一;第二,数据清洗;第三,建立规则库;第四,数据分析,即调用规则库将第二步留下的规则化的日志中的检查项进行逐一检查,以... 盘茂杰 林智勇 马震远 贾西平 梁鹏文献传递 实例化空间逻辑下的SET支付协议验证及改进 被引量:4 2013年 使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题. 肖茵茵 苏开乐 马震远 胡若关键词:知识推理 自动化验证