PROLOG

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

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机技术与发展x
条 记 录,以下是1-6
视图:
排序:
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 
应用本体和AllegroGraph实现几何定理证明被引量:1
《计算机技术与发展》2014年第8期89-93,共5页吴店年 李云清 
江西省教育科技项目(GJJ12195)
由于传统的定理机器证明方法是基于规则的,使得定理证明出现几何信息增长迅猛,推理和计算效率低以及过程可读性差等问题。针对以上情况,提出了基于本体和AllegroGraph的几何定理证明方法。该方法通过本体构建几何定理命题模型,然后采用P...
关键词:本体推理 AllegroGraph(AG) Prolog规则 几何 定理证明 
基于Visual Prolog6.3内核的专家系统实现被引量:1
《计算机技术与发展》2006年第12期91-93,共3页申晓勇 雷英杰 王坚 
针对目前构建专家系统开发环境的局限性造成开发周期长的问题,提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的方法,通过两类语言优势互补,实现高效开发专家系统。详细论述了Visual Prolog 6.3动态链接库的生成过程...
关键词:专家系统 VISUAL PROLOG 动态链接库 谓词 事实数据库 
用PROLOG构造不精确正向推理机
《计算机技术与发展》1992年第5期24-27,共4页崔志明 
近年来,不精确推理在专家系统中的地位不断提高.本文着重叙述用Turbo Prolog构造不精确正向推理机的技术.
关键词:正向推理 专家系统 PROLOG 
A~*算法的改进及其PROLOG实现
《计算机技术与发展》1992年第2期11-14,共4页崔志明 
在人工智能领域中,A~*算法是实现有向图最佳优先搜索的一种启发式算法。本文介绍了A~*算法和对A~*算法的改进——B算法,并叙述了用Turbo Prolog实现B算法的方法。
关键词:自发式搜索 PROLOG A~*算法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部