论文部分内容阅读
文中以Ｇｏｏｄｍａｎ条件事件代数为背景，基于一种与主理想陪集形式有一一对应关系的特殊的条件事件表示法，建立了一个代数模型。在此模型上研究了条件事件和三值逻辑之间的关系，并给出了条件事件运算和三值逻辑运算的９种对应关系。
条件事件和三值逻辑
【摘 要】
：
文中以Ｇｏｏｄｍａｎ条件事件代数为背景，基于一种与主理想陪集形式有一一对应关系的特殊的条件事件表示法，建立了一个代数模型。在此模型上研究了条件事件和三值逻辑之间的关系，并给出了条件
【机 构】
：
西安电子科技大学计算机学院
【出 处】
：
西安电子科技大学学报
【发表日期】
：
1998年2期
【基金项目】
：
电科院军事电子预研基金
其他文献
文中提出了一种在随机荷载作用下结构可靠性约束显式化的优化设计方法。通过映射变换将各种非高斯型随机荷载当量高斯化,利用弹性结构体系对高斯荷载反应的不变性,将位移、应
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着网络技术的发展,秘书工作中对档案信息的利用以及需求,不仅仅是内容而且诸如方法等途径都发生了巨大的变化。本文利用比较与分析的方法,对电子档案与纸质档案的利用需求
自20世纪60年代以来,国际范围内关于传统知识资源的保护一直持续不断且矛盾重重。我国对于此题的研究近十余年来才渐尔增多,但以法学界人士的成果为多,艺术界鲜有涉足者,另外
本文利用Jeyakumar新近给出的类凸(Convexlike)择一定理,在半序线性空间中导出了一般非凸非光滑向量极值问题解的某些性质及广义鞍点定理、Fritz John型条件和Kuhn-Tucker型
目的:探讨音乐干预是否能对术后患者的心理应激产生影响,从而使机体的各项生理指标更有利于术后机体的恢复。方法:选择130例全麻择期手术和50例硬膜外麻醉择期手术作为研究对
介绍设计高阶滤波器的一种有效方法，此方法是根据给定的指标要求，任选基本节来建立数学模型，继而确定迭代公式，进行迭代，最终构成所需网络，这一方法简便、实用、电路类型少，经计算机
道路运输市场现已放开，并且今后将逐步实行招标制。因此，如何确定新建运输企业规模的问题日益突出。本文从其规模确定，建设程序和投资前期工作几方面对新建运输企业的方式、方法
汽车运输在国民经济中的地位日益提高，但是，由于汽车运输的主体过分追求经济利益，汽车运输超载现象特别严重，导致了恶性交通事故的频发，造成的损失触目惊心。文中通过对汽车运输超