【摘 要】
：
在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。
【机 构】
：
装备指挥技术学院,北京 101416
论文部分内容阅读
在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。
其他文献
对于现代建筑工程而言，对其实施质量检测工作能够使建筑工程得到有效的监督，有利于建筑工程施工规范和施工质量的提升。然而在实施质量检测工作的过程中，其检测质量往往会受到一
分析网络应用中基于口令的身份认证流程,指出其存在的漏洞,详细分析在帐户锁定策略下远程口令破解的过程,分析帐户锁定对口令破解的影响。使用随机Petri网建立基于系统状态变化的过程模型,利用位置中token数和弧权来模拟帐户锁定阀值和触发锁定,利用循环来模拟多次攻击和防御过程,定义3个主要参数和1个评价指标,量化分析参数和指标的关系,评价不同防御策略下攻击和防御的性能,帮助用户改善防御措施,提高网络安
结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子
通过查阅相关资料，对房建工程施工中质量管理与控制的问题进行分析，主要包括房建工程管理质量制度不够完善、房建工程施工材料质量不符合规定、房建工程管理人员和施工人员的专
发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道的策略,给出了一个实用性较强,复用信道的Petri网模型。基于改进的模型,利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后对模型进行了验证。
该机芯电路的主要结构包括了数字视频解码TVP5147、图像缩放MST9151B和CPUW78E5161B等。其中,TVP5147是一视频解码器,内部有:2×11 bit的ADC电路、2D的Y/C分离电路、数字视频
海绵城市理念是当前城市发展和优化改造的重要目标，在这一新发展理念的推动下，市政领域的工作成为贯彻的主要内容，也是最直接产生海绵效应的主要手段之一。市政给排水作为城市发
统一威胁管理设备UTM是近年来网络安全领域涌现出的一个新的综合性平台,它融合了防火墙、入侵检测、病毒扫描等安全功能。其中防火墙模块一般实现在多核网络处理器平台上,负
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
市政工程项目由于与城市发展和民众工作、生活息息相关，一般都比较受城市居民关注，因此对其工程质量和建设标准要求较高，在市政工程施工中，混凝土施工是很关键的一步，它关系到市政