网模型相关论文
由总后卫生部组织,对解放军医学图书馆设计、实施的“全军医学图书馆卫星数据通信网”成果鉴定会于1993年12月30日在京召开。来自......
本文简述了Petri网的基本知识,给出了基于Petri网的制造过程建模与分析的方法及步骤。在此基础上,针对轻型汽车变速器的二档齿轮和......
正确计算地下水渗流过程中产生的水压力是评价滑坡稳定性的关键,然而目前有关地下水作用力的计算方法存有缺陷。为此,本文在两类地......
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新......
时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿......
本文中我们提出一个混合管网模型（HY-PIPENET），该模型采用一个最少成本分支（MCST）管网算法来确定优选线路，用约束导数法（CD）优选管径。HY-P......
为了分析集束型半导体装备的性能,研究了系统批加工过程的随机回报网模型,模型不仅可以描述装备的批加工过程和机械手的操作序列,......
定义了一种受控Ｐｅｔｒｉ网，并对其中冲突的避免问题进行了探讨。针对抽水蓄能机组运行工况较多、工况转换复杂的特点，采用了受控Ｐｅｔｒｉ网技术对抽水......
针对现阶段军备件供应保障中存在的备件短缺或浪费等问题,结合3D打印技术的优势,建立3D打印技术与备件保障的关联性,将其引入到备......
本文从给水管网的发展历程、管网的动态分析与准备工作,以及数据的采集等问题进行了阐述,并提出了给水管网建模是自来水公司实现可......
针对除涝计算中外海潮型缺乏定量标准的现状,以崇明岛为例,利用一维数学模型,研究了同一设计雨型下外海潮位对滨海地区除涝高水位......
将Ｐｅｔｒｉ网理论引入企业经营战略管理领域，提出了用Ｐｅｔｒｉ网对企业并购战略的制定过程进行分析与描述，使企业并购战略的制定过程在Ｐｅｔｒｉ网上得到了清晰......
本文以理想供热网模型为基础,以两种常用的供热汽轮机组为例,研究各种规模热电厂的热化系数和供回水温度的较佳范围,以及它们的最......
随着计算机技术的发展,管网模型逐渐成为自来水公司运行与管理的重要支持系统,在关键的调度、优化运行、水泵能耗分析、事故抢险等......
1美国海思得公司简介美国海思得公司是目前美国最大的从事给排水系统模拟、规划和优化设计软件研究和开发的专业公司。公司创立于1......
介绍一项为提高管网模型准确性的参数优化技术。通过一个成功的实际应用案例,阐述了优化模型在水工业中的作用和意义。
A paramet......
随着管网模型、GIS系统与各个业务的集成,自来水公司已经可以在模型的基础上开展更多的服务,基于模型的介绍,希望能够让行业从业人......
随着用水量的增加,用水效率逐年有所提高。但与经济发达的高收入国家相比,我国单方水的GDP产出量仍低于发达国家。它表明随着经济......
网络锁保证分布式系统中互斥资源的安全,它的效率是系统节点扩充的关键。文中介绍了具有自动迁移容错功能的网络锁算法及实现。同......
在分析城市供水管网模型建设和应用问题的基础上,针对管网模型参数识别这一核心问题进行了研究,提出了基于GIS和SCADA的管网模型参......
该文提出面向服务的供水管网模型应用模式,通过建立独立的供水管网模型系统,把模型构建与模型应用区分开。在该模式中,集中维护的......
本文应用场区网数值模拟的新方法对一五层楼建筑火灾中的烟气运动作了初步的数值模拟;结果表明,场区网数值模拟方法能较好地模拟高......
随着越来越多的外资和合资工程项目的出现,业主对于工程设计的要求也越来越高,很多项目不仅要求满足国内规范,还需参考国外标准的......
在进行裂隙岩体开挖时，为使开挖方量最少，须事先查明施工各点稳定边坡角，为此，设计人员应拥有稳定边坡图。介绍了岩体按裂隙度和裂缝网......
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论......
我们利用Ｐｅｔｒｉ网描述协议的方法，对ＬＡＰＤ协议的连接建立过程进行了形式描述，然后对ＬＡＰＤ协议的有界性、活性和保守性等性质进行了验证。
We use the......
网络的容量分配和流量控制是组建计算机通信网时不可避免要考虑的两个方面,二者有着紧密的关系,本文从网络的平均延时角度来分析通......
本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ．我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求解并......
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则......
事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观、方便地表示为状态转移图。本文给出了从状态转移图到Ｐｅｔｒｉ网模型......
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出......
模型方法是研究钢铁企业生产过程中复杂能源消耗系统的重要手段,也是企业系统节能的基础。本文针对现有模型存在的问题,根据钢铁企......
定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算，给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提......
文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提......
本文提出了一种分层的约束网模型ＨｉｅｒＣｏＮ（ＨｉｅｒａｒｃｈｉｃａｌＣｏｎｓｔｒａｉｎｔｓＮｅｔｗｏｒｋｓ）。根据产品开发的不同阶段，约束模型分成四层约束网，上层是下层建立的依据，下层是上层实现的基础。最......
介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析，然后描述了用Ｐｅｔｒｉ网进行建模的一般方......
利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模，将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中，通过对该模型......
首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则，然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则，其中，通讯时间Ｐｅｔｒｉ网侧重于......
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,......
针对系统故障现象的产生、变化情况 ,文中以 Petri网模型为基础提出了一种比故障树模型分析故障变化情况更方便、直观的分析方法 ;......
