PROLOG

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Prolog的列控工程数据验证方法被引量：4
《铁道学报》2019年第6期91-99,共9页谭冠华 徐田华 王海峰 张路 吕继东 
国家自然科学基金(61473029);国家重点基础研究发展计划(2014CB340703);中国铁路总公司科技研究开发计划(16X001-A);北京市自然科学基金(L161008);轨道交通控制与安全国家重点实验室自主研究课题(RCS2016ZT010)
列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障。针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法。考虑到列控工程数据表格的多...
关键词：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 
An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems被引量：2
《Chinese Journal of Aeronautics》2014年第6期1571-1577,共7页Li Guoqi Shao Yuanxun Hong Sheng Liu Bin 
supported by the National Natural Science Foundation of China (No.61304111);National Basic Research Program of China (No. 2014CB744904);Fundamental Research Funds for the Central Universities of China (Nos. YWF-14-KKX-001 and YWF-13-JQCJ)
Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, s...
关键词：Backward chaining inference Design method Embedded systems Inference engines Inter-process communication Prolog 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部