伍丽华
- 作品数：21 被引量：71H指数：4
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金广东省科技计划工业攻关项目广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学电子电信更多>>
- 从逻辑推理到算术运算的转换系统
- 该文提出了一个形式系统（formal system）,它基于一阶逻辑,比H.J.OhIbach和J.Koehler提出的算法适用性更大,功能更强;该系统通过定义的“桥函数”,把一阶逻辑推理合并到算术语言中,使得在逻辑系统...
- 伍丽华
- 关键词：桥函数可靠性逻辑推理
- 文献传递
- 时态规划中基于CSP技术的时态约束方法被引量：2
- 2012年
- 在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率.
- 伍丽华陈蔼祥姜云飞边芮
- 关键词：时态推理CSP技术
- 计算机网络实验教学改革与实践被引量：35
- 2003年
- 针对目前高等学校计算机网络实验教学的现状,围绕实验教学目标,对实验教学体系、实验教学内容及形式方法等提出了一些改革设想和实践方案。
- 伍丽华张鹏
- 关键词：计算机网络课实验教学教学改革教学目标
- 基于FPGA的多核技术课创新实验探索被引量：5
- 2008年
- 介绍了在现场可编程门阵列(FPGA)芯片和SOPC、NOIS-II等工具软件所组成的软硬件平台下,开展多核技术课程创新实验的探索。并在新组成的多核系统中,移植和扩展了uC/OS-II操作系统。设置了相关的实验环境和若干实验项目,对提高学生的综合实验能力具有积极的作用。
- 程小雄伍丽华
- 关键词：FPGA多核技术UC/OS-II操作系统
- 一种基于无人机的路口斑马线识别方法
- 本发明涉及一种基于无人机的路口斑马线识别方法，包括以下步骤：S1.将无人机悬停在路口的正上方，对路口范围进行视频拍摄，获取包含斑马线的视频图像；S2.采用混合高斯背景建模方法提取图像中路口的背景图像；S3.对提取出的背景...
- 胡继华林军记张力越程智锋伍丽华
- 文献传递
- Novell NetWare网络管理中的若干问题
- 1998年
- 本文主要面向ＮｅｔＷａｒｅ网络管理员，论述了网络管理上的一些概念问题及管理措施。
- 伍丽华
- 关键词：NETWARE网络管理权限局域网
- 规划图框架下用遗传算法求解时态规划问题被引量：6
- 2008年
- 许多现实世界中的规划问题通常希望规划目标能在尽可能短的时间内实现,并且规划动作的执行需要考虑时间因素.在规划图框架下,提出了一种能进行时态约束推理的遗传规划算法.主要工作有以下3个方面:1)介绍基于完全动作图的时序约束推理技术;2)提出能进行时序约束推理的基于规划图的遗传规划技术;3)针对基于规划图的遗传规划技术存在局部搜索能力不足的缺点,提出了在原有遗传操作算子的基础上,引入局部修复算子的混合规划技术.实验表明,这种算法能有效地处理一类时态规划问题.
- 伍丽华陈蔼祥姜云飞
- 关键词：规划图遗传算法
- 基于一阶逻辑的推理与运算的合并系统
- 本文讨论了从逻辑推理到算术运算的转换系统,给出了该系统的形式化定义,并论证了其可靠性与完备性.进一步讨论了这种转换系统的算法,使推演与运算能机械地实现.
- 周青伍丽华
- 关键词：桥函数
- 文献传递
- 一种基于无人机的道路交叉口车辆检测方法
- 本发明涉及一种基于无人机的道路交叉口车辆检测方法，包括有以下步骤：(1)将无人机悬停在道路交叉口中心的上方，对交叉口行车区域进行垂直拍摄，获得交叉口行车区域的视频；(2)对获得的视频进行稳像处理，去除视频各帧视频帧中的非...
- 胡继华陈静萍靖泽昊程智锋钟洪桢伍丽华
- 文献传递
- 一阶逻辑在关系数据库中的应用被引量：4
- 2002年
- 一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。
- 伍丽华钟宏音
- 关键词：一阶逻辑关系数据库演绎数据库PROLOG语言
