论文部分内容阅读
利用赋值集的随机化方法,在三值逻辑W_3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_(W_3)-相似度与伪距离的概念,并建立了D_(W_3)-逻辑度量空间,证明了此空间没有孤立点.
三值逻辑系统W_3中的随机化研究
【摘 要】
：
利用赋值集的随机化方法,在三值逻辑W_3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_(W_3)-相似度与伪距离的概念,并建立了
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
【基金项目】
：
教育部科学技术研究重点项目;
其他文献
二正丁基氧化锡和2-氯-3-吡啶甲酸反应,合成2-氯-3-吡啶甲酸二正丁基锡配合物{[n-Bu_2Sn (O_2CC_5H_3NCl]_2O}_2。经X-射线衍射法测定了晶体结构。晶体属三斜晶系,空间群P-1,
在图像的边缘检测中,利用模角分离的小波变换,结合尺度独立的算法区分了阶梯型边界和跳跃型边界,从而提取了阶梯型边界.上述算法中需选择峰值阈值,将小波变换系数较小的点滤
为探明湘西黑藤精油对白纹伊蚊的卵和幼虫、小菜蛾3龄幼虫、菜粉蝶3龄幼虫、斜纹夜蛾3龄幼虫、棉蚜和烟蚜无翅成蚜的杀虫活性,通过浸渍法、夹毒叶碟法、点滴法和玻片载蚜法测
应用高效离子交换色谱和激光光散射仪检测器对不同致病力的青枯菌进行分析,建立了一种快速检测青枯菌致病力分化的新方法青枯菌纯培养物经过高效离子交换色谱分离得到3个致病
通过拓展公路交通中常见的Eulerian模型,研究了一种空中交通流量模型.利用线性二次型最优控制理论,对空中交通流量模型进行了分析研究,实现对特定区域内流量进行控制.最后,用
利用数值方法求解一维模型氢原子和类氢离子在强激光场中的含时薛定谔方程,研究了由它们产生的高次谐波谱构造的阿秒脉冲规律.研究结果表明,对于高电荷离子而言,由于高次谐波
设AUG(n,Fq2)是Fq2上的n维仿射酉空间,AUn(Fq2)是Fq2上的"次仿射酉群,设M(m,r)是AUn(Fq2)作用下的(m,r)面的轨道.用L(m,r)表示M(m,r)中面的交生成的集合.讨论了各轨道生成的
令()为无限维复Hilbert空间,()表示()上所有有界线性算子全体.研究了()上双边保持逼近酉相似的线性满射ψ的特征.通过引入极小逼近酉相似不变子空间的概念以及应用算子酉轨道
以白沙蒿籽为原料,经水提醇沉,酶法和Seveg法脱蛋白,乙醇分级沉淀,得到两种酸性多糖ASP1和ASP2.将ASP1和ASP2分别完全酸水解、高碘酸氧化、Smith降解后经高效液相色谱分析表
基于Merton(1971)的最优消费和投资组合策略模型,利用无风险资产、风险资产复制卖权的方法,建立连续时间条件下的动态投资组合保险模型.在连续时间条件下,把投资者的个人跨期