论文部分内容阅读
概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现，Ｎｉｌｓｓｏｎ提出了一种矩阵列产生方法，可得到近似而规模小的矩阵，但他没有提出具体的算法，本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径。
Petri网用于求解概率逻辑的近似可能世界矩阵
【摘 要】
：
概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现，Ｎｉｌｓｓｏｎ提出了一种矩阵列产生方法，可得到近似而规模小的矩阵，但他没有提出具体的算法，本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的
【机 构】
：
国家信息中心信息科学研究所,中国科学院数学研究所
【出 处】
：
计算机学报
【发表日期】
：
1995年1期
【基金项目】
：
国家自然科学基金,中国科学院管理决策和信息系统开放实验室基金
其他文献
佛氏窦瘤破裂（RASV）是一种较少见的心脏病，可由细菌性心内膜炎、梅毒或囊性中层坏死引起，临床上以先天性最常见。RASV占先天性心脏病的0．31％～3．56％，多见于青年男性。大多数窦瘤起源于右
党的十八届四中全会通过的《中共中央关于全面推进依法治国若干重大问题的决定》（下称《决定》）明确指出：＂提高党员干部法治思维和依法办事能力＂,并强调＂高级领导干部尤其要以身作
ＧＥＭＳ４．０是清华大学ＣＡＤ中心在工作站上用Ｃ语言开发的新一代几何造型系统。和９０年代初问世的第三代几何造型系统相比，它具有如下特点：基于线框，表面，实体和特征表示的非流形造型；具有参数化设计，变
本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型迭代近似求解的两种方法：标识概率交换和平均标志个数交换。例子显示了这两种方法的有效性和相对误差。本文
农村义务教育公用经费在农村义务教育的发展过程中具有十分重要的作用。尤其是在农村义务教育经费在新制度实施以后，虽然在一定程度上提高了其保障水平，但仍然存在公用经费标准
随着企业价值理论的产生和发展,传统的财务分析指标体系已经不能适应企业发展的需要。本文将从基于企业价值的财务分析指标体系构建的必要性和可行性入手,构建了基于企业价值
Ｃｉａｌｄｅａ的－阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的。本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模
龙东社区位于龙岗区龙岗街道东部,面积5平方公里,总人口约6万人,辖11个居民小组。近年来,龙东社区按照党的十八大关于加强基层服务型党组织建设的要求,在龙岗街道党工委的大
【摘要】本文对香港免费报纸的历史背景及其出现作一简单介绍，较为详细地分析了香港免费报纸的现状及特点，其中包括它的发行量和影响力、稳定的读者群、广告版面比重以及它与传统报纸的差异这四个方面。通过对香港免费报纸发展的分析，试图寻找一些适合香港免费报纸发展的机会，这其中包括找到一个市场内外良性竞争的平衡点、寻找一套合理完善的管理方法、更加知性地塑造报纸自身形象以及与新媒体寻找更全面的合作。并对其未来的市
[目的]观察高压氧治疗新生儿缺血缺氧性脑病(NHIE)的近期疗效。[方法]我院2003年6月—2006年12月收住NHIE患儿共96例,对在常规治疗的的基础上加用高压氧治疗(实验组)50例与常