搜索筛选:
搜索耗时0.0352秒,为你在为你在61,042,061篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者:刘柯威,
来源:桂林电子科技大学 年份:2011
经济全球化已成为世界经济发展的总趋势,国际贸易中的关税壁垒日趋降低,技术法规、行业标准、评测程序已经产生了举足轻重的作用和影响。新一代GPS(Geometrical Product Spec...
[期刊论文] 作者:王雪红,刘柯威,,
来源:计算机光盘软件与应用 年份:2014
基于时间扩展的ASEHA自动机理论j?i以旅行预订票组合Web月艮务为例,分别建立了旅行者(Traveler)、旅行代理(TravelAgent)及航空公司预订票(AiriineRes霉rvation)三个自动机,并给出该服......
[期刊论文] 作者:刘柯威 王雪红,
来源:数字化用户 年份:2014
【摘 要】基于语义网理论,在Welty的本体谱、ISO 17450及其术语集的理论基础上,确定了GPS(Geometrical Product Speci cation and Veri cation)知识体系的领域与范围和模型概念,提出了GPS语义网络设计元模型的方法。 【关键词】GPS ALC(D) 语义网 一、 引言 ......
[期刊论文] 作者:刘柯威 王雪红 胡元闯,
来源:科学与财富 年份:2015
摘 要:基于Welty的本体谱理论、ISO 17450及其术语集,建立了以操作算子为核心的GPS(Geometrical Product Specification)语义网络元模型,给出了描述逻辑ALC(D)的形式化知识表达,使术语集具备了推理能力,成为ISO 17450的一个有益补充。 关键词:GPS;知识表示;描述逻辑;ALC(D)......
[期刊论文] 作者:刘柯威 王雪红 陈冠萍,
来源:科学与财富 年份:2015
摘 要:依据GPS元模型和形式化知识模型,利用Protégé开发工具,建立了本体的几何要素类、几何要素的对象属性和数据属性,开发了LiteGPS本体。并用实例验证了模型的推理能力,最后将本体导入MySQL数据库,方便了知识的管理。 关键词:GPS;知识表示;描述逻辑;ALC(D) 基金项......
[期刊论文] 作者:刘柯威,王雪红,胡元闯,,
来源:课程教育研究(新教师教学) 年份:2004
大学生创新创业训练计划是培养应用性人才、学生科技创新能力和就业创业竞争力的重要途径和有效载体。它的顺利开展、执行和结题需要学校的软硬件支撑,需要项目小组发挥主观能......
[期刊论文] 作者:王雪红,刘柯威,陈冠萍,胡元闯,,
来源:佛山科学技术学院学报(自然科学版) 年份:2017
由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利用时间自动机验证工具UPPAAL将带时间约束的...
[期刊论文] 作者:覃匡宇,黄传河,刘柯威,史姣丽,陈希,
来源:计算机科学 年份:2018
传统的网络使用基于最短路径的单一路径路由,无法有效地利用网络的全部带宽。软件定义网络(Software Defined Networking,SDN)采用中心化的控制平面能方便地实现对路由的精确控...
相关搜索: