超过460,000+ 应用技术资源下载
rar

一阶谓词逻辑

  • 1星
  • 日期: 2014-03-05
  • 大小: 498.94KB
  • 所需积分:1分
  • 下载次数:0
  • favicon收藏
  • rep举报
  • 分享
  • free评论
标签: 一阶谓词逻辑

一阶谓词逻辑,详细讲述一阶谓词逻辑,是现在语义网semanticweb的基础

更多简介内容

推荐帖子

TI DSP的一阶低通数字滤波实现
将普通硬件RC低通滤波器的微分方程用差分方程来表求,变可以采用软件算法来模拟硬件滤波的功能,经推导,低通滤波算法如下:    Yn=a* Xn+(1-a)*Yn-1 式中 Xn——本次采样值      Yn-1——上次的滤波输出值;      ,a——滤波系数,其值通常远小于1; Yn——本次滤波的输出值。 由上式可以看出,本次滤波的输出值主要取决于上次滤波的输出值 (注意不是
Aguilera 【DSP 与 ARM 处理器】
关于逻辑中断
在CE5 中,比如现在BSP中的 keypb 已经对 EINT0中断 进行了处理。 那么可不可以 再写个驱动 对于EINT0 进行处理。调用KernelIoControl 老是失败。 static UINT32 g_EINTIrq = INTSRC_EINT0; static UINT32 g_EINTSysIntr = SYSINTR_UNDEFINED; KernelIoControl(I
faner0315 嵌入式系统编程
世贸天阶-全北京向上看!
转自:38度灯光论坛 可能很多朋友都已经知道,北京世贸天阶的超级LED屏幕,号称是世界第二,亚洲第一。 去现场看是比较震撼。找了一个机会和做LED屏幕的朋友。去震撼了一把。如果想具体了解 先看看他们的官方网站吧http://www.theplace.cn/ 让我们先看一段世贸天阶的楼盘广告: 世贸天阶定位于“结合美食、娱乐、空间艺术、时尚信息橱窗以满足看、听、嗅、味、触的全感官之旅的休闲购物
gina 安防电子
运放二阶滤波电路
二阶滤波电路有两种结构: Sallen-key和多路反馈(KFB) A%20=%201+R4/R3 MFB型滤波器的基本电路如下图所示。该电路有两条负反馈支路,并且运算放大器是作为一个无限增益器件来反馈支路,并且运算放大器是作为一个无限增益器来使用的,所以称为无限增益多端反馈电路 A%20=%20-R2/R1 高通滤波:%20把低通滤波的电阻用电容代
Aguilera 【模拟与混合信号】
逻辑器件的使用整理
1:多余不用输入管脚的处理 在多数情况下,集成电路芯片的管脚不会全部被使用。例如74ABT16244系列器件最多可以使用16路I/O管脚,但实际上通常不会全部使 用,这样就会存在悬空端子。所有数字逻辑器件的无用端子必须连接到一个高电平或低电平,以防止电流漂移(具有总线保持功能的器 件无需处理不用输入管脚)。究竟上拉还是下拉由实际器件在何种方式下功耗最低确定。 244、16244经测试在接高
小丸子 汽车电子
怎么由逻辑的0和1,产生不同的物理信号?
大家好,最近在想一个问题: 我们通过键盘等物理工具,可以形成电流的通断/电压的高低; 然后由半导体的一些物理特性,将这些物理信号判决成逻辑的0或1 我想反过来,如何将逻辑的0或1转换成物理信号的? 比如说8个比特 1000 0001 表示将芯片的0和7号针脚置为高电平, 1-6号针脚置为低电平,那么这个过程是如何实现的呢? ===============================
cheungma 嵌入式系统编程

评论


个人中心

意见反馈

求资源

回顶部

下载专区


TI最新应用解决方案

工业电子 汽车电子 个人电子

搜索下次设计所需的
TI 器件

● 目前在售器件有45,000款
● 6.99美元标准运费,不受时间和地点限制
● 无最低起订量要求

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

EEWorld电子技术资料下载——分享有价值的资料

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2018 EEWORLD.com.cn, Inc. All rights reserved
$(function(){ var appid = $(".select li a").data("channel"); $(".select li a").click(function(){ var appid = $(this).data("channel"); $('.select dt').html($(this).html()); $('#channel').val(appid); }) })