PROLOG

作品数：411被引量：258H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：雷英杰陶文祥崔奇明曾湘燕邓铁清更多>>
相关机构：国防科学技术大学吉林大学上海交通大学中山大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金教育部高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机科学与技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Start of Spring
《Women of China》2020年第2期58-59,共2页
The traditional Chinese lunar calendar divides the year into 24 solar terms.The Start of Spring,the first solar term,is from February 4-19 this year.Start of Spring is like a"prologue"to spring.The so lar term m ight ...
关键词：SPRING SPRING PROLOG 
一种基于Prolog有限自动机的正则表达式算法研究被引量：1
《电脑编程技巧与维护》2019年第7期37-39,55,共4页李晓欧 刘军 
正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难.介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正...
关键词：声明式编程语言 PROLOG语言 正则表达式 自动机 
运动员训练专家系统知识库的设计与实现被引量：1
《计算机与数字工程》2019年第2期314-319,共6页毕璐 刘斌 张鹏海 
国家自然科学基金(编号:61603234);西藏自治区自然科学基金"西藏运动员训练专家系统的研究"(编号:2016ZR-MY-06)资助
为了选拔和培养优秀的体育运动员在比赛中取得更好的成绩,构建了运动员训练专家系统知识库。此知识库将运动员选拔和训练等有关的知识和经验转换成计算机可处理的规则和事实,建立基于规则和事实的诊断树;该知识库采用判断树结构作为知...
关键词：运动员 专家系统 知识库 数据结构 PROLOG 
浅谈Prolog在教育教学中的运用
《软件工程》2018年第12期63-66,共4页王佳楠 
Prolog作为一种逻辑语言广泛被运用于人工智能和专家系统中。不同于其他编程语言，Prolog类似自然语言的语法使它更容易被读懂和理解，因此它被认为可能是一种出色的帮助学习逻辑知识的工具，一些科学家已经通过 实验证明了Prolog甚...
关键词：PROLOG 教育 几何证明 
AADL端对端数据流一致性验证方法
《计算机技术与发展》2018年第1期1-5,共5页王凯 毕海滨 
"十三五"重点基础科研项目(JCKY2016206B001)
复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法。体系结构分析与设计语言(Architecture Analysis and Design Language,AADL)是描述实时系统(嵌入式系统)的标准语言,端对端的数据流描述系统组件间的...
关键词：端对端数据流 实时系统 一致性 PROLOG 
AADL行为模型时间一致性验证方法被引量：1
《计算机技术与发展》2017年第7期1-5,共5页刘骁 谢红梅 
"十三五"重点基础科研项目(JCKY2016206B001)
任务关键的实时系统对时序及安全要求的特殊性,在实时系统开发的早期阶段进行体系结构的时间一致性分析,能够尽早发现系统设计时出现的有关时序的潜在问题,为此提出了基于时间约束的AADL行为模型的验证方法。针对带有时间约束的AADL行...
关键词：AADL行为模型 实时系统 时间一致性 PROLOG 
智能程序设计语言VISUAL PROLOG编程解析被引量：2
《电脑与电信》2016年第11期37-38,56,共3页李玉香 沈楠 李可强 
河北科技师范学院2016年教学改革与研究项目:基于visual prolog的知识表示与推理研究;项目编号:JYYB201604
VISUAL PROLOG具有很强的逻辑推理能力,且易于编程,操作界面友好,近年来得到程序设计行业的广泛关注。本文对VISUAL PROLOG程序设计语言的主要特征进行概述,在此基础上,对基于VISUAL PROLOG语言的程序编程展开较为深入的探究。
关键词：智能程序设计语言 VISUAL PROLOG 编程解析 
基于Prolog的专家系统中模糊知识的表示
《经济视野》2016年第11期118-118,120,共2页胡伟强 胡丽芳 
Prolog Server Pages（PSP）是一种基于Prolog的脚本语言，它能被嵌入在HTML文档中。用事实和规则描述问题，运用内部的搜索、匹配和回溯等推理机制求解问题，特别适用于符号推理。本文首先介绍了Prolog语言的主要特点和基本结构，然后...
关键词：PROLOG 专家系统 模糊知识表示 
一种基于Prolog的时间约束业务流程验证方法被引量：4
《计算机科学》2016年第6期173-178,共6页陈鹤文 周勇 燕雪峰 
国防科工局十二五重大基础科研项目(c0420110005;NS2013091)资助
随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的...
关键词：时间约束 时间模式 业务流程模型 验证方法 
Prolog服务器页面概述
《电脑知识与技术》2016年第6期102-103,共2页胡伟强 胡丽芳 
Prolog Server Pages（PSP）是一种基于Prolog的脚本语言,它可以嵌入到HTML文档中。运行一个PSP应用程序需要Web服务器、Web浏览器和PSP解释器,代码在服务器端通过解释程序执行,执行结果被发送到客户端。该文以SWI-Prolog作为应用程序后...
关键词：PSP WEB服务器 PSP解释器 
全选清除导出
共26页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部