论文部分内容阅读
发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型，刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型，通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性，从而证明了概念模型的正确性和有效性。
飞行程序发布订阅服务Petri网建模分析
【摘 要】
：
发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型，刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型，通过可达树分
【机 构】
：
中国民航大学空中交通管理研究基地
【出 处】
：
中国民航大学学报
【发表日期】
：
2011年5期
【基金项目】
：
天津市应用基础及前沿技术研究计划项目（09JCZDJcl6800）
其他文献
德育工作是高校思想政治工作的重要组成部分,在实行学分制的高校,德育工作者要理性审视德育工作现状,在实际工作中更新观念,探索有效对策,才能不断推动高校德育工作的创新和
秋天是游玩的季节，这句话一点都不需要印证，今年尤其明显——高速公路实行了节假日免费，降低部分游览参观点门票价格的举措又推出，其中13个景区免费。十月，尽管去走一走吧，不要钱的
【正】近日,上海。上海银润控股(集团)有限公司签约用友NC,项目涵盖UAP平台、财务、项目管理及营销管理。依托用友NC强大的平台化功能和解决方案,银润集团为自身发展夯实信息
目前在广播电台节目对应的制作与播控相关设备都在向着数字化方面进行过渡,对数字音频系统造成影响的相关因素进行分析,能够有效地将广播电台中节目制作质量以及效率进行有效
CD4 T helper(Th) cell differentiation into distinct T cell subsets is critical to the normal function of the immune system. Until recently,the paradigm held tha
Biliary tract external drainage protects against intestinal barrier injury in hemorrhagic shock rats
AIM: To investigate the effects of biliary tract external drainage(BTED) on intestinal barrier injury in rats with hemorrhagic shock(HS). METHODS: BTED was perf
随着科学技术的不断发展应用,自动化控制系统的研究也取得了一定的成绩。而变频器和PLC组合系统的应用也得到了相应的重视,在工业的生产实践与研究中,不断涌现出多种实用型的
近年来随着计算机科学技术的大力发展,计算机图形图像设计,多媒体技术与艺术及网络动画等已是在设计行业中屡见不鲜的词汇。计算机技能与艺术正在不断地融合,艺术专业也不断
本文按GB8841-88进行研究设计,通过对自升式钻井平台的设计要求,选择重量轻、防腐面积大的A-Z-I系合金牺牲阳极,由于平台桩靴外部一般工作在海底及海底泥土中,牺牲阳极主要保
AIM: To share our experience regarding the laparoscopic Frey procedure for chronic pancreatitis(CP) and patient selection.METHODS: All consecutive patients unde