【摘 要】
：
经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结
论文部分内容阅读
经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含()和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.
其他文献
引入不同市场的响应时间变量,考虑响应时间对销售收入和供应链总成本的影响,以利润最大化为目标函数,建立网络设计优化模型,并通过算例分析表明:不同市场顾客需求的响应时间
半监督聚类利用少量标记样本的辅助信息来引导对大量无标记数据的分割。Pedrycz提出的半监督FCM(sFCM)算法应用标记样本的类别归属信息来辅助聚类,其在标记点过于稀少时会退化为无监督FCM算法且收敛较慢,难以应用于多数实际问题。在半监督FCM的基础上提出一种改进退化的半监督FCM算法(dsFCM),通过在sFCM迭代过程中设置监督成分的比重,来加大标记样本点对聚类中心的影响力,在聚类精度、速度
目的探讨与鼻咽癌细胞放射敏感性相关的并可能预测鼻咽癌细胞放射敏感性的蛋白质。方法以人鼻咽癌细胞株CNE-2诱导建立放射抗拒的鼻咽癌细胞株CNE-2（R743），通过克隆形成实验及流
恶性肿瘤是一类严重威胁人类健康的多发病和常见病.根据世界卫生组织 2003年公布的数据,2000年全球共有恶性肿瘤患者1 000万,其中男530万,女470万,因恶性肿瘤死亡者高达620万
利用H(t,s)k(s)函数、广义Riccati变换和完全平方技巧获得了一类时标上的二阶非线性变时滞动力系统的新的振动准则.
以富马海松酸为原料制备了中间产物富马海松酸三酰胺,再与草酰氯反应制备了标题化合物,中间产物和目标产物结构经IR1、HNMR1、3CNMR和MS等表征。标题化合物在国内外属首次合
以硝酸盐作前体,通过均匀共沉淀法制备了掺锰复合氧化物CeO2-MnO2-CoO,采用X-射线粉末衍射（XRD）对复合氧化物进行了表征,并研究了复合氧化物在苯甲醇液相氧化反应中的催化性能
采用单松弛不可压缩D3Q19格子Boltzmann模型,自主开发了基于性能优化和MPI并行的程序包.程序通过合并碰撞迁移过程和引入临时数组以连续读入分布函数的优化处理,使程序计算性
为适应解决工程中越来越多动态力学问题的需求,在近年来计算技术、高速摄影技术、图像处理技术等迅速发展的基础上,本文对动光弹性法中的若干关键问题近期的研究进展作简要叙
数字图像相关方法已经成为近几年来最为广泛使用的实验力学方法之一。本文从算法的角度提出了增强该方法准确度与速度的几个技术。由于插值算法在数字图像相关方法测量中扮演着重要的角色,文中采用了几种基于B样条表示的递归插值算法来提高数字图像相关方法的分析准确度与计算速度。在实践中,三维的测量在许多数字图像相关方法的应用中成为主导,而三维测量的准确度强烈依赖于相机的标定。本文描述了一种利用同心圆图案以及正面图