伍丽华

作品数：14被引量：66H指数：4
导出分析报告
供职机构：中山大学更多>>
发文主题：实验教学道路交叉口规划问题时态规划图更多>>
发文领域：自动化与计算机技术理学文化科学电子电信更多>>
发文期刊：《计算机工程与应用》《数学年刊（A辑）》《计算机学报》《计算机研究与发展》更多>>
所获基金：国家自然科学基金广东省科技计划工业攻关项目广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向实验教学和学生创新活动的复合云桌面设计与构建被引量：7
《实验技术与管理》2020年第6期246-249,262,共5页胡继华 陈薇薇 伍丽华 
国家自然科学基金项目(41271181);广东省科技计划项目(2017B010111007)。
该文提出了一种复合云桌面的设计方案,包括VOI、VDI、虚拟显卡VDI和云桌面申请发布网站。该方案按照不同的实验课程要求和终端特点,部署相应的云桌面服务,并通过网站集成各个云桌面平台,使各个云桌面互为备份,同时将空闲资源发布出来供...
关键词：实验教学 云桌面 复合 系统设计 
时态规划中基于CSP技术的时态约束方法被引量：3
《计算机学报》2012年第8期1759-1766,共8页伍丽华 陈蔼祥 姜云飞 边芮 
国家自然科学基金(60773201;60970042);广东省自然科学基金项目(10451032001006140);广东高校优秀青年创新人才培育项目(LYM10081);广州市科技和信息化局应用基础研究计划项目(2010Y1-C641)资助~~
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(...
关键词：时态动作图 时态推理 CSP技术 一致性时态赋值 遗传规划算法. 
基于FPGA的多核技术课创新实验探索被引量：5
《实验室研究与探索》2008年第11期3-5,23,共4页程小雄 伍丽华 
中山大学实验室开放基金项目
介绍了在现场可编程门阵列(FPGA)芯片和SOPC、NOIS-II等工具软件所组成的软硬件平台下,开展多核技术课程创新实验的探索。并在新组成的多核系统中,移植和扩展了uC/OS-II操作系统。设置了相关的实验环境和若干实验项目,对提高学生的综合...
关键词：创新实验 FPGA 多核技术 UC/OS-II操作系统 
具有学习能力的智能诊断系统研究被引量：2
《计算机工程与应用》2008年第22期31-34,38,共5页陈蔼祥 伍丽华 姜云飞 
国家自然科学基金No.60773201~~
随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势...
关键词：RBD MBD 复合系统 机器学习 决策树 
规划图框架下用遗传算法求解时态规划问题被引量：7
《计算机研究与发展》2008年第6期981-990,共10页伍丽华 陈蔼祥 姜云飞 
国家自然科学基金项目(60773201)~~
许多现实世界中的规划问题通常希望规划目标能在尽可能短的时间内实现,并且规划动作的执行需要考虑时间因素.在规划图框架下,提出了一种能进行时态约束推理的遗传规划算法.主要工作有以下3个方面:1)介绍基于完全动作图的时序约束推理技...
关键词：规划图 动作图 完全动作图 遗传算法 时态规划 
复合系统智能诊断方法研究被引量：1
《计算机科学》2008年第5期14-17,共4页伍丽华 萎云飞 陈蔼祥 
国家自然科学基金(No．60173039)资助项目
随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求。将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势...
关键词：RBD MBD 复合系统 知识库 机器学习 
规划问题编码为约束可满足问题的研究被引量：3
《计算机科学》2006年第8期187-189,292,共4页伍丽华 陈蔼洋 姜云飞 
国家自然科学基金项目;编号:60173039
基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并...
关键词：规划问题 CSP SAT 领域知识 
逻辑推理与算术运算合并系统的理论分析
《计算机学报》2004年第8期1109-1114,共6页周青 伍丽华 
提出一个逻辑推理与算术运算合并系统的形式定义 ,通过合并算子把逻辑推理合并到算术系统中 ,使得在需要解决逻辑推理中的数值计算时 ,直接把问题转化为纯算术系统中的运算 ;文章对该形式系统作了理论上的分析 ,考察了合并系统的语法描...
关键词：合并语言 合并算子 相对可靠性 相对完备性 
计算机网络实验教学改革与实践被引量：34
《实验室研究与探索》2003年第6期28-29,57,共3页伍丽华 张鹏 
针对目前高等学校计算机网络实验教学的现状,围绕实验教学目标,对实验教学体系、实验教学内容及形式方法等提出了一些改革设想和实践方案。
关键词：计算机网络课 实验教学 教学改革 高校 教学目标 
计算机实验教学信息化管理研究被引量：3
《中山大学学报论丛》2003年第3期47-51,共5页叶翔鹰 伍丽华 
以计算机实验教学管理为主线 ,围绕学校管理系统下各部门资源的共享 ,探讨信息化管理系统的开发 。
关键词：实验教学 信息化管理系统 模块设计 教育模式 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部