切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种利用扩展广义表来实现逻辑表达式自动推导的算法
一种利用扩展广义表来实现逻辑表达式自动推导的算法
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:sunuplee
【摘 要】
:
探讨了如何将数据结构中广义表进行扩展,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现其
【作 者】
:
詹玲
黄浩
谢长生
万继光
【机 构】
:
华中科技大学
【出 处】
:
小型微型计算机系统
【发表日期】
:
2004年9期
【关键词】
:
扩展广义表
命题逻辑
联接词
合取范式
析取范式
extended generalized list
propositional logic
conjunc
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
探讨了如何将数据结构中广义表进行扩展,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现其它复杂的表达式自动推导.
其他文献
适用于宽带网络波形的基于定价策略的时隙选择
针对宽带网络波形(Wideband Networking Waveform,WNW)的多信道二维时频资源,以减小网络资源浪费为优化目标,提出了一种基于定价策略的时隙选择方法(Pricing Strategy Based
期刊
宽带网络波形
时隙选择
定价策略
对偶优化
椭圆搜索法
wideband networking waveform(WNW)
slot selection
pri
基于波形对比度最优的扩展动目标恒虚警检测
在太赫兹高分辨引信系统中,引信与目标的相对运动会引起高分辨距离像剧烈变形,从而严重影响目标的检测.针对太赫兹引信扩展目标检测问题,提出了一种基于波形对比度最优的扩展
期刊
太赫兹引信
高分辨距离像
恒虚警率检测
对比度最优
terahertz fuze
high resolution range profile
constant
其他学术论文