删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

层次化对象Petri网模型到Ada程序框架的自动转换工具的研究与开发

北京航空航天大学 辅仁网/2017-07-06

文献详情


层次化对象Petri网模型到Ada程序框架的自动转换工具的研究与开发
文献类型学位
作者白炯心[1]
机构
授予学位硕士
年度1999
学位授予单位北京航空航天大学
语言中文
关键词Petri网;代码生成;面向对象;并发软件;Ada语言
摘要该文将面向对象方法与Petri网理论相结合,提出了用于并发软件建模的层次化对象Petri网模型HOPN.文中首先讨论了Ada语言的并发机制以及Ada 95语言的面向对象特性.通过引入并改进并发对象模板的概念,探讨了面向对象方法与并发过程的结合方式.在此基础上,通过分析HOPN模型的语法和语义,提出了HOPN模型到Ada源程序的映射方案,并对模型到Ada源程序自动转换工具、实现过程中的一些技术难点作了详细的阐述.在研究HOPN模型到Ada源程序的转换方案过程中,该文不仅尽量保持了用户建立的并发软件模型的语法和定义,还对所生成的Ada程序的效率、可读性、可扩展性和可维护性等方面作了综合考虑.使为目标系统所生成的源程序能较好的地满足实际系统开发的需要.



影响因子:


暂无成果共有人
dc:title:层次化对象Petri网模型到Ada程序框架的自动转换工具的研究与开发
dc:creator:白炯心
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.1999.
dc:identifier:DOI:
dc: identifier:ISBN:
相关话题/北京航空航天大学 语言 学位 程序 软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 无线电信号侦控系统数据网络软件设计与实现
    文献详情无线电信号侦控系统数据网络软件设计与实现文献类型学位作者岳强[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词客户机/服务器;关系数据库;无线电信号侦控系统;数据网络;软件设计摘要该文通过对客户机/服务器和Internet/Intranet计算环境 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 机载合成孔径雷达高分辨率成像软件工程化的研究
    文献详情机载合成孔径雷达高分辨率成像软件工程化的研究文献类型学位作者王明举[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词合成孔径雷达;实时成像;软件工程化摘要合成孔径雷达(SAR)是始于50年代的重要对地观测手段,其在军事和民用上都具有广阔的应用前景, ...
    北京航空航天大学 辅仁网 2017-07-06
  • 涡轮盘旋转腔流场数值计算方法与程序研究
    文献详情涡轮盘旋转腔流场数值计算方法与程序研究文献类型学位作者李俊山[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词静盘系统;航空发动机;转静盘腔;层流流动;换热;努谢尔特数;流场摘要由于开式转静盘系统比较真实地模拟了航空发动机涡轮盘腔内有冷却气流通过时 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 无人机基本特征数据库管理软件开发
    文献详情无人机基本特征数据库管理软件开发文献类型学位作者李玉兰[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词无人机;数据库管理;面向对象;软件设计;总体方案摘要论文在介绍数据库基本概念无人机基本特征数据库构成的基础上,对数据库管理软件进行了需求分析,提 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 综合校准数据处理软件系统的研制
    文献详情综合校准数据处理软件系统的研制文献类型学位作者付鲁平[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词测试系统;综合评价;综合校准;数据处理;软件摘要该文基于航空工业总公司304所开展实验室及工业现场的各类测试系统的校准及综合评价的需要,开发了一套 ...
    北京航空航天大学 辅仁网 2017-07-06
  • FWS-10发动机机载监控软件原理研究
    文献详情FWS-10发动机机载监控软件原理研究文献类型学位作者栾东[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词涡扇发动机;卡尔曼滤波;状态监视;灰色模型摘要该文从机载监控软件的原理着手,进行了深入地研究,其结果将对机载监控软件设计起重要的促进作用.主 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 首都机场供油自动化系统上位组态软件开发研究
    文献详情首都机场供油自动化系统上位组态软件开发研究文献类型学位作者陈乐[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词机场供油系统;集散控制系统;集散控制系统;组态软件摘要该论文以首都机场供油自动化系统工程为主题,深入开发研究了首都机场供油自动化系统上位 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 弹塑性动力分析程序的开发和应用
    文献详情弹塑性动力分析程序的开发和应用文献类型学位作者刘彬[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词非线性动力分析程序;前处理系统;鸟撞响应;弹塑性动力分析;冲击动力学;动力响应摘要近年来,非线性动力分析程序在冲击动力学领域的应用得到了人们的关注. ...
    北京航空航天大学 辅仁网 2017-07-06
  • 多通道并行预处理高速数据采集系统-主机管理与控制软件的研究及设计
    文献详情多通道并行预处理高速数据采集系统-主机管理与控制软件的研究及设计文献类型学位作者管丽娟[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词通信协议;保护模式;虚拟仪器;并行预处理;数据采集系统;主机管理;控制软件摘要该文主要研究和讨论了高速并行预处理 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 可靠性设计分析软件平台基础数据库系统设计与实现
    文献详情可靠性设计分析软件平台基础数据库系统设计与实现文献类型学位作者孔红[1]机构北京航空航天大学↓授予学位硕士年度1999学位授予单位北京航空航天大学语言中文关键词计算机辅助设计;可靠性设计摘要该文首先概述了可靠性数据库技术的发展现状、发展趋势以及该课题的研究任务;接着简述了数据库技术的基础理论 ...
    北京航空航天大学 辅仁网 2017-07-06