【摘 要】
:
在现有逻辑系统中,各连接词的运算模型都可以归结为某些"代数算子",其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系.文章以"空间
【基金项目】
:
国家自然科学基金,北京市自然科学基金,国家高技术研究发展计划(863计划)
论文部分内容阅读
在现有逻辑系统中,各连接词的运算模型都可以归结为某些"代数算子",其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系.文章以"空间位置相关性"为中心,提出了"摸天花板问题",分析了逻辑运算中存在的几何位置相关性.在"命题对象"、"真值向量"、"空间图像"等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式.
其他文献
移动ad hoc网络是一种完全由移动主机构成的网络,其主要特点为网络拓扑易变,带宽、能源有限.这些特点使得适应于固定网络的安全策略在移动ad hoc网络上不能很好地发挥作用,需
现有的路由器体系结构研究中,很大部分是从纯软件角度展开,忽略了目前ASIC和NP广泛应用的事实.传统的按USER和KERNEL来划分的方式,已经不能准确地描述真实分布式路由器环境的
当移动节点在FA之间频繁切换时,需要完成频繁的注册过程,减小移动IP的注册时延,对减小切换过程中分组的时延、丢包率具有重要意义.本文利用MPLS具有快速转发的特点,给出了一
诸如移动网络一类的易错信道,其比特差错率相当高,在这样的信道上传输压缩视频信号是一个巨大的挑战.因此,在设计视频编码器时为得到可接受的服务质量,必须考虑信道误码率.讨
逻辑和概率理论是分属于哲学和数学领域的两个历史悠久的学科,一直以来都是相互独立的两个研究方向。但近年来,伴随着人工智能领域的快速发展,这两种经过长期发展形成的优秀理论
首先在考察Atanassov直觉模糊集的基本运算的基础上,引入两个典型的作用于直觉模糊集的时态逻辑算子"□(always)"和"◇(sometimes)",重点研究了直觉模糊集在直觉模糊时态逻辑
数据的冗余拷贝是影响网络缓存软件性能的重要因素.本文详细分析了当前广泛使用的网络缓存程序Squid的数据拷贝流程,利用快速文件传输和数据流拼接两种策略在Linux平台上实现
程序流程图的自动生成是软件结构分析及软件测试的基础.为实现汇编嵌入式软件程序流程图的自动生成,本文首先分析汇编嵌入式软件的特征,将汇编指令划分为5种典型类型,分别定
在易错环境如因特网、无线通信网中传输视频流,误码率相当高.讨论了一种有效的在易错网中传输视频信号时,提高空域差错恢复能力的方法.同步标记可限制空域差错在视频帧之间传
1临床资料患者,男,46岁,四肢、臀部反复起水疱伴剧痒12年。患者12年前无明显诱因情况下发病,最初在肘部起水疱,瘙痒明显,自行掐破后结痂愈合,很快累及膝、髋部以及臀部、下腹,水疱反复发生。