谓词
共 18 篇文章
谓词 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 18 篇文章，持续更新中。
基于C#的规则引擎RuleEngine22
基于C#的规则引擎,给我们在系统技术实现上指出了一条颠覆性的新的路径.系统在对象满足什么规则时执行什么动作.
系统将有对象+规则+谓词组成.
(上传的另一个,还没有写完就出错上传了,请将它作废)
一种基于谓词执行优化技术的寄存器分配算法
· 摘要： 对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在学院研制的YHFT-DSP?700芯片的编译器上实现,实验结果表明,减少了所需寄存器数目,缩短了代码执行时间,获得了较好的性能提高.&n
基于位串编码的遗传归纳逻辑程序设计
归纳逻辑程序设计是基于一阶逻辑的数据挖掘新方法。一阶规则挖掘是目标谓词和背景知识谓词对应的各种原子的复杂组合优化问题。该文根据Occam’s razor原理提出原子的位串编码，设计相应的遗传算子，基于
非经典切片优化的同步运行时检验方法
利用现有的同步IP 核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中，正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检
基于约束满足搜索算法的测试用例生成策略
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、
基于入侵行为模式的告警关联
本文提出了一种基于入侵行为模式的告警关联方式。入侵行为模式是定义在时间<BR>基础上的一组谓词公式，其实质是通过时间限制联系在一起的入侵事件的集合。该方法在对大量告警进行关联的同时，对虚警的处理尤为有
人工智能专题讲座
<p>人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图</p>
本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图
本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。
通过本课程的学习，使应考者有抽象思维和逻辑推理能力，掌握计算机科学技术常用的离散数学中的概念、性质和运算。
自学教
用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理
用Prolog求解传教士和野人问题
复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。
离散数学中---------一阶谓词演算源代码
离散数学中---------一阶谓词演算源代码
人工智能的原理与方法_马宪民
本书全面系统地介绍了人工智能的基础理论、基本方法和应用技术。内容涉及人工智能的基本概况和数学基础、知识表示、基于谓词的逻辑推理、不确定性理论、搜索策略、专家系统、神经网络、模式识别、机器学习、自然语言理解、智能决策系统以及智能计算机等。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/177094-12021515405K31.jpg" />
国家SQL标准委员会ISO/IEC JTC1 SC32 WG3负责人Keith W.Hare作序推荐。 使用SQL进行数据操作的快速上手指南。 如果你使用如下的数据库系统：Access
国家SQL标准委员会ISO/IEC JTC1 SC32 WG3负责人Keith W.Hare作序推荐。
使用SQL进行数据操作的快速上手指南。
如果你使用如下的数据库系统：Access，MS SQL Serve，Oracle，DB2，MySQL，Ingres。
或者任何其他基于SQL的程序，在你开始编写查询之前，本书都能够节省你的时间和精力。
本书针对编写SQL查询为初学者提供了一个按部就
、掌握基本查询 2、掌握嵌套查询 3、量词与谓词的应用 4、利用聚合函数进行数据统计
、掌握基本查询
2、掌握嵌套查询
3、量词与谓词的应用
4、利用聚合函数进行数据统计
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
一个基于H.wang的谓词演算公式的机器证明的vc实现
一个基于H.wang的谓词演算公式的机器证明的vc实现
一个介绍谓词的讲义
一个介绍谓词的讲义，非常清晰明了，适合初学者自学
一阶谓词逻辑
一阶谓词逻辑，详细讲述一阶谓词逻辑，是现在语义网semanticweb的基础
人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图
人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图