论文部分内容阅读
本文从概率推理形式化的角度叙述了概率逻辑的一些基本概念，在最短距离准则下给出了一种推导概率逻辑结果的新方法．该方法只需通过求解一个线性方程组便可得以完成，适用于较大命题集的概率逻辑结果的推导．
一种推导概率逻辑结果的新方法
【摘 要】
：
本文从概率推理形式化的角度叙述了概率逻辑的一些基本概念，在最短距离准则下给出了一种推导概率逻辑结果的新方法．该方法只需通过求解一个线性方程组便可得以完成，适用于较大命
【机 构】
：
宁波大学自动化与计算机技术系!宁波,315211
【出 处】
：
计算机学报
【发表日期】
：
1998年S1期
其他文献
针对异构多机系统中的任务分布问题，本文提出一个将任务系统Ｔ－｛Ｔ１…ＴＭ｝分布到一组处理机Ｐ＝｛Ｐ１…ＰＮ｝上求解的最小适应算法，简称ＬＦ．指导思想是，选择一台能够承担Ｔｊ∈Ｔ且功能最小的处理机Ｐｉ∈Ｐ，将Ｔｊ分布予Ｐｉ。
心平气和确实与一个人生活、人生的“适当”定位有关。每一个人，只要是一个正常人，都自觉不自觉地对自己的生活、人生有一个定位。那么，孰为适当、孰为不适当，又如何才能适当呢？ 这些年，虽然不令人满意的地方甚多，但总算国泰民安，老百姓过上了昔日只有在梦里才能享受的日子。记得若干年前从报刊上看到外国人在减肥，吾辈哈哈大笑：“简直是天方夜谭，想肥还肥不起来呢，减什么减！”又谁知不多年后的今天，减肥瘦身
详细地研究了在水胶比保持不变的条件下，掺人萘系、氨基及聚羧酸高效减水剂对硫铝酸盐型膨胀剂效能的影响。结果表明：高效减水剂和硫铝酸盐型膨胀剂复合使用时，会降低膨胀剂的限
笔者提出了文献检索课教学中的改革思路。认为计算机检索教学除了介绍国外的联机网络外，重点应放在光盘检索技术和数据库知识的介绍，加强实习环节，增加模拟课题查新等内容，提高学
本文讨论了ＰＶＭ的计算模型，分析了其支持客户机／服务器（Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ）分布计算的不足，设计和实现了一个可以提供较好透明性的，静态和动态调用接口的ＲＰＣ机制，并获得较好的结果。
知识经济的到来要求重视农业科技期刊的商品属性，即重视期刊的市场经营。本研究在调查和实践的基础上指出，目前农业科技期刊在经营上的不足之处是：期刊发行量普遍不高，发行渠道单
纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中描述了非确定性进程网，证明了一些有用的代数性质。
本文介绍了基于决策模型“theMovingBasisHeuristics”的在整个决策对象空间上获取专家线性分类判断规则的算法的优化方法
本文提出了一种基于有向超图的参数化图表表示模型。它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示，在交互绘制图形对象的同时直