公共文化服务平台

程经纬: 作品数：16 被引量：47H指数：5; 供职机构：华南理工大学更多>>; 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术建筑科学交通运输工程理学更多>>

合作作者

一种支持用户偏好的RDF模糊查询方法被引量：3: 2013年; RDF模糊查询是实现语义Web智能检索的重要组成部分,利用Zadeh的Ⅱ型模糊集合理论、α-截集及语言变量概念,提出了支持用户偏好的RDF模糊查询方法,其扩展了SPARQL语言来实现模糊及偏好表达,构造了有序语言值子域表来实现模糊值到相应子域的映射,以确定隶属度区间。利用去模糊化规则,将扩展的查询转换为标准SPARQL,利用现有的SPARQL查询引擎实现模糊查询操作。为验证提出的方法,开发了fp-SPARQL实验系统。实验结果表明,该方法提高了RDF模糊查询效率,增强了用户对查询结果的满意度。; 王海荣马宗民程经纬; 关键词：语言变量模糊查询 SPARQL

RDF在关系数据库中的存储研究被引量：3: 2015年; 资源描述框架(RDF)是Web资源信息的规范性描述语言,如何存储RDF数据成为当前重要的研究问题.通过深入分析RDF数据的特点,提出了一种新的基于关系数据库的RDF存储模式,给出了RDF在关系数据库中的存储规则,提供了相应的存储实例.基于提出的存储方法,实现了相应的自动存储原型系统,通过实验进一步验证存储方法和原型系统的可行性,并与已有存储模式进行了理论对比分析.; 佟强张富程经纬马宗民; 关键词：语义网关系数据库信息保持

基于数字图像的分离式霍普金森压杆实验中试件应变及两端应力的同步测量法被引量：7: 2014年; 本文提出一种基于高速摄像和数字图像相关方法(DIC)的分离式Hopkinson压杆(SHPB)测量技术,从而实现试件应变和两端应力的同步测量。即在与试件接触的输入输出杆两端制作散斑,通过高速摄像获取SHPB实验过程中的散斑变形图像,由DIC测得各时刻试件的应变、输入输出杆端的应变(可直接换算为试件两端的应力)。由于试件和杆端的应变都是从同一张高速摄影的图像上分析得到的,因此它们是同步的。应用该方法对钢纤维混凝土试件的SHPB试验进行了测量,测量结果与传统应变片测量结果吻合,验证了该方法的可行性。该技术不仅实现了SHPB实验中试件应变和应力的同步测量,还将有助于直接检验各材料在SHPB实验中试件两端的力在实验过程中是否平衡。; 谢倍欣汤立群张晓阳刘逸平张泳柔程经纬蒋震宇刘泽佳; 关键词：高速摄影系统同步测量

环氧树脂基混凝土的冲击和老化性能研究: 随着我国交通事业的迅速发展,路面铺装层的早期破坏问题越来越受到重视,而研制高性能的铺装材料是解决该问题最直接的方法。环氧树脂基混凝土以其高强高韧的材料属性,在铺装材料中具有潜在的应用空间,但是国内外相关的研究才刚刚起步。...; 程经纬; 关键词：铺装材料霍普金森压杆; 文献传递

基于数字图像的分离式霍普金森压杆实验的同步测量方法: 本发明公开了基于数字图像的分离式霍普金森压杆实验的同步测量方法，包括实验前，在入射杆与被测试件接触一端的外表面及在透射杆与被测试件接触一端的外表面制作标记区域；实验过程中，通过高速摄像机获取冲击实验过程中包括被测试件及标...; 汤立群谢倍欣张晓阳刘逸平蒋震宇刘泽佳张泳柔程经纬; 文献传递

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)被引量：12: 2009年; 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.; 王海龙马宗民严丽程经纬; 关键词：模糊描述逻辑

基于查询转换的RDF高效查询方法被引量：7: 2015年; 为实现RDF的高效查询,提出了一种基于SPARQL到SQL查询转换的RDF查询处理方法。给出了SPARQL图模式到SQL查询的转换规则,以及SPARQL查询到SQL查询的转换规则。建立了SPARQLtoSQL实验系统,通过对实验结果分析,证明了实验系统的可行性、正确性以及有效性。; 佟强程经纬张富张丽丽马宗民; 关键词：SPARQL 结构化查询语言资源描述框架查询转换

基于数字图像的分离式霍普金森压杆实验的同步测量方法: 本发明公开了基于数字图像的分离式霍普金森压杆实验的同步测量方法，包括实验前，在入射杆与被测试件接触一端的外表面及在透射杆与被测试件接触一端的外表面制作标记区域；实验过程中，通过高速摄像机获取冲击实验过程中包括被测试件及标...; 汤立群谢倍欣张晓阳刘逸平蒋震宇刘泽佳张泳柔程经纬; 文献传递

模糊描述逻辑知识库查询蕴涵的判定方法被引量：2: 2012年; 大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊#0这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-#0123的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-#0123是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,证明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.; 程经纬马宗民严丽张富; 关键词：描述逻辑知识库语义WEB