分享到:

引入ad hoc方式的LEO卫星终端双模组网模型及性能分析

引入adhoc方式,提出基于卫星系统原有信令通道的双模组网模型,使近距离溢出业务在卫星  (本文共5页) 阅读全文>>

《地理教学》2017年05期
地理教学

在自制经纬网模型实践中提升球面认知

"经纬网"作为一种球面坐标系统一直是教学的难点,根据地理核心素养的培育要...  (本文共3页) 阅读全文>>

《指挥与控制学报》2015年02期
指挥与控制学报

基于加权超网模型的武器装备体系效能分析

针对传统超网模型对武器装备体系进行描述存在的不足,引入加权超网模型,用权重信息表现作战实体之间联系的紧密程度.定义了一种武器装备体系的加权超网模型,并且给出了...  (本文共6页) 阅读全文>>

《城市公用事业》2004年06期
城市公用事业

城市供水系统中管网模型的建设和应用

介绍建立城市供水系统管网模型的重要性和必要性、...  (本文共3页) 阅读全文>>

《山东矿业学院学报》1988年04期
山东矿业学院学报

实现自然数M次乘方和开M次方计算的增广PETRI网模型

本文给出一个实现自然数m次乘方计算和开m次方计算的两个增广Petri网模型。对于开m次方的增广...  (本文共9页) 阅读全文>>

西南交通大学
西南交通大学

基于Petri网模型的归结自动推理研究

知识表示、知识推理和知识应用是人工智能的核心问题。目前,基于非经典逻辑的自动推理系统由于它加速了人工智能的发展而越来越引起人们的广泛重视。为了处理不同信息的推理,人们提出并发展了多种数学理论、方法和工具。如归结原理、经典逻辑、模糊逻辑、格值逻辑、Rough逻辑以及Petri网理论等,这些理论和方法为自动推理提供了强有力的支持。本文在自动推理领域中,进一步发展了现有的理论和方法,研究了基于Petri网模型的归结自动推理系统,并取得了如下主要研究成果:1.给出了子旬集的矩阵表示形式,根据单文字规则与纯文字规则,讨论了矩阵的化简策略,并定义了子句集矩阵的初等变换,研究了变换的性质。根据Petri网中T-不变量推理判定法的思想,并结合输入归结、单元归结以及支撑归结,提出了多种矩阵归结的推理方法,证明了推理算法的完备性。2.给出了基于Horn基子句集、一般基子句集和一阶Horn子句集的Petri网模型。根据Petri网中标识的流动规则,结...  (本文共148页) 本文目录 | 阅读全文>>