论文部分内容阅读
本文从语构角度出发,给出L＊系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L＊系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L＊系统中基于语构理论展开近似推理提供可能的框架.
L~＊系统中公式的语构程度化方法
【摘 要】
：
本文从语构角度出发,给出L＊系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L＊系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空
【机 构】
：
中国计量学院应用数学系
【出 处】
：
电子学报
【发表日期】
：
2011年2期
【基金项目】
：
国家自然科学基金（No.90818020）
其他文献
提出了一种基于目标散射鉴别的POLSAR图像地物无监督分类新方法.该方法首先利用极化散射熵将POLSAR图像地物粗分为高散射随机性、中散射随机性和低散射随机性三种情形;然后提
针对冒险引起的测试质量评估误差,本文提出了一种基于输出违例概率的测试质量评估方法.定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量的小时延缺
存储子系统是嵌入式系统的重要组成部分.由于传统存储系统的设计已经无法满足容量日益增长的需求,固态存储器的应用越来越广泛.针对固态存储系统的存取速率慢的问题,目前常用
2015年7月16～18日，由化学工业出版社与中国生物工程学会联合主办、成都英德生物医药装备技术有限公司与诚志生命科技有限公司协办、《生物产业技术》编辑部承办的第九届生物产
通过实例分析了公示语违背格赖斯合作原则及其准则的英语实例,提出了公示语中存在的影响公示语功能的问题。
针对无线Mesh网的特点,本文研究了媒体片段副本密度的理想最佳分布与流媒体片段流行度空间分布、节点能力以及节点稳定性之间的关系,提出了基于副本稳定性补偿的缓存优化算法
增加目标信号的积累时间是提高雷达对微弱目标探测能力的主要方法．但是，对于高速运动目标，在长时间相参积累期间，目标回波信号容易产生距离徙动和多普勒走动，若不进行补偿，目标信号
现有的离散时间型可重构模拟电路采用开关电容技术,存在功能有限、带宽低、与数字CMOS工艺不兼容等问题.本文提出了一种基于电流模取样数据技术的可重构模拟电路,能够与数字C