李晓霞
- 作品数：2 被引量：2H指数：1
- 供职机构：广东第二师范学院计算机科学系更多>>
- 发文基金：广东省高等学校学科与专业建设专项资金项目更多>>
- 相关领域：经济管理自动化与计算机技术更多>>
- 基于云计算处理的物流网体系构建被引量：2
- 2013年
- 基于云计算处理的物流网总体逻辑架构可以从数据存储、物联网、存储应用3个方面描述.将云计算的优势与物流的特点结合起来,形成智能物流综合管理平台系统.开发和建设现代化的公共物流信息平台,是物流信息化的首要任务,而基于云计算的云物流将是一个很好的解决方法和途径.实现定制化的云应用和公共信息集中管理模式,形成统一的物流链数据服务中心.各企业根据权限对其进行操作,可提升企业之间的业务协作,完成与多个合作伙伴的信息交流,进而实现统一平台下的业务协作提升整个物流链的物流服务水平和综合竞争力.
- 姜永生李晓霞谭画
- 关键词：云计算物联网物流网体系结构
- 本体推理在几何定理机器证明中的应用
- 2013年
- 文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。通过具体案例,描述了以Protégér软件为工具,基于WordNet重用的领域本体半自动构建方法,构建几何本体模型的过程,并结合Prolog规则进行双向推理。结果表明将本体引入几何定理机器证明是可行的,且本体推理脱离了代数形式,使得推理过程更接近自然语言的描述,同时推理效率更高。
- 李晓霞陈强
- 关键词：定理机器证明本体模型
