云南高校图书馆联盟文献共享服务平台- PROLOG

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

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语言正则表达式自动机

基于Java和Amzi!Prolog混合编程的辅助训练专家系统: 《杨凌职业技术学院学报》2019年第1期5-9,13,共6页张鹏海毕璐刘斌旺堆次仁; 西藏自治区自然科学基金项目"西藏运动员训练专家系统的研究"(2016ZR-MY-06); 为了科学规范的选拔和培养优秀的高水平运动员,构建了一种科学高效的选拔和训练运动员的辅助方法-运动员训练专家系统。本系统收集了运动员教练在实践中总结的比赛经验和训练计划等资料,将这类隐性知识在计算机上建立了知识库,并设计了...; 关键词：运动员专家系统知识库判断树 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

A Genetic-Algorithm-Based Information Evolution Model for Social Networks: 《China Communications》2016年第12期234-249,共16页Yanan Wang Xiuzhen Chen Jianhua Li Wanyu Huang; supported by the National Key Basic Research Program of China (No. 2013CB329603);National Natural Science Foundation (No.61562004,No.61431008);Basic Research Foundation of Shanghai Committee of Science and Technology (No. 13JC1403501) of China; the existing information diffusion models focus on analyzing the spatial distribution of certain pieces of messages in social networks. However, these conventional models ignored another important characteristic of di...; 关键词：social network information evolution genetic algorithm MUTATION five-tuple 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