切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
利用谓词/变迁网证明的一阶谓词逻辑命题
利用谓词/变迁网证明的一阶谓词逻辑命题
来源 :计算机工程 | 被引量 : 0次 | 上传用户:yufengdong
【摘 要】
:
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词,变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩
【作 者】
:
方欢
印玉兰
徐誉尹
【机 构】
:
安徽理工大学数理系,山东科技大学信息与工程学院
【出 处】
:
计算机工程
【发表日期】
:
2006年23期
【关键词】
:
网逻辑
谓词/变迁网
一阶谓词逻辑
命题证明
Enlogy
Predicate/Transition net
First-order predicate l
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词,变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。
其他文献
矩形销孔零件装配策略及几何约束
本文针对典型三维矩形销孔零件装配,提出一种实用,简单的装配策略,并推导出此装配策略销孔所产生接触状态几何约束方程,为三维矩形销孔零件的成功装配提供了理论依据,同时,观察所得
期刊
机器人
装配作业
几何约束
零件装配
Robot
assembly operation
assembly strategy
多信号源的投影定位及其应用
针对近场系统(near field system)提出了一种新的信号源定位方法——投影定位打法,该方法将采集到的信号映射到感兴趣的空间网格,并且通过能量聚集程度来估计信号源位置。投影定
期刊
多信号源
投影
定位
Multiple sources
Projection
Localization
试论建筑结构设计中如何实施全面质量管理
本文通过对建筑结构设计前期质量管理、设计过程质量管理、设计后期质量管理的阐述,分析了建筑结构设计全面质量管理的过程,简洁透明、便于掌握。有效地执行建筑结构设计全面质
期刊
建筑工程
结构设计质量管理
浅谈物资采购的风险及防范对策
摘要:物资采购,作为物流活动的起点,涵盖了从供应商到需求方之间的货物、技术、信息或服务流动的全过程,其采购费用直接决定产品的成本。而企业物资采购风险贯穿于采购过程的各个环节。只有不断提高风险防范意识,强化对物资、采购全过程的监督和对物资采购环节的风险管理,物资采购环节才能为提高企业产品质量和经济效益提供有力保证。 关键词:物资采购 风险 防范对策 随着市场经济的深入发展,资源市
期刊
物资采购
风险
防范对策
关于新形势下地勘单位如何有效开展统计工作的探讨
本文主要就地质勘查业改革后的新形势下,统计任务、统计环境也越来越复杂,如何有效进一步搞好统计,发挥统计作用展开探讨
期刊
新形势
四大工程
多元化
开展
地勘
基层统计
工作
基于IP的体全息存储系统的设计与实现
体全息存储技术不同于传统的光存储、磁存储等二维存储技术,与其它传统大容量存储技术相比,具有存储容鼍大、数据传输率高、存取时间短以及可快速进行图像匹配和内容相关寻址操
期刊
体全息存储
网络存储
网络处理器
LINUX
千兆以太网
Volume holographic data storage
Network attached s
浙江低丘红壤供钾强度和容量关系及其应用
采用多点玉米田间试验和室内分析相结合的方法,研究了浙江省20个低丘红壤钾素供应的强度和容量关系,并求得相应的参数。供钾强度指标(AR^0)变幅为0.0004499 ̄0.006579,平均为0.002001(molL^-1)^0.5;供钾容量指标(-△K^9)变幅为0.3153 ̄4.057,平均为1.578cmolkg^-1;钾素
期刊
土壤
钾
供钾强度
供钾容量
缓冲容量
玉米
Soil K K supplying intensity K supplying capacity K suppl
六自由度微动机构的运动分析
本文对作者设计的一种六自由度微动机进行位移分析,该机构由3条PP-R-S支链并联而成,为消除间隙,每条链的运动副都设计柔性铰链,本文用坐标变换方法求出了机构的输入输出微位移关系,由于柔
期刊
机器人
微动机构
运动分析
工业机器人
Robot.micromotion-platform
parallel mechanism
基于协议分析的自动化Web性能测试
基于Web的应用软件正得到越来越广泛的应用.一个Web系统常常是大量终端用户同时使用的,对它的性能进行测试显得尤为重要,其中自动化测试发挥着极其重要的作用.作者借助常用网
期刊
自动化测试
WEB测试
HTTP协议分析
Automatic testing
Web testing
HTTP protocol analysis
Freeswan IKE伪随机数算法效率分析及改进
Freeswan是Linux平台IPsec协议的著名实现,该文分析其IKE交换模块的随机数生成算法,给出改进的算法并应用数理统计方法对改进算法生成的伪随机数进行测试、分析,最后给出改进
期刊
随机数
均匀性
独立性
SHA算法
Random number
Randomness
Independence
SHA algorithm
与本文相关的学术论文