论文部分内容阅读
基于对象Ｐｅｔｒｉ网，提出了层次化并发软件模型，这种模型在结构上参考了统一建模语言ＵＭＬ的描述机制，并用一种扩展Ｐｅｔｒｉ网ＥＣＰＮ分层描述对象的内部状态，以及对象间的相互作用，易于仿真与程序生成。模型的实际应用将有利于保证并发软件，特别是Ａｄａ９５并发软件的质量，提高开发效率。
Ada层次化并发软件模型的研究
【摘 要】
：
基于对象Ｐｅｔｒｉ网，提出了层次化并发软件模型，这种模型在结构上参考了统一建模语言ＵＭＬ的描述机制，并用一种扩展Ｐｅｔｒｉ网ＥＣＰＮ分层描述对象的内部状态，以及对象间的相互作用，易于仿真与程序生成。模型的
【机 构】
：
北京航空航天大学
【出 处】
：
北京航空航天大学学报
【发表日期】
：
1998年4期
【基金项目】
：
国防科技预研基金
其他文献
混合系统的稳定性分析，乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分
2011年12月，教育部下发文件决定正式印发的微学课程标准（2011年版）》（以下简称2011年版课标）分为“前言”“课程目标”“课程内容”和“实施建议”四部分以及“有关行为动词的分类
应用代理理论的分析手段，对委托实现的决策问题进行了分析。首先对该问题的背景作了代理理解相一致的假设，然后在此基础上建立了问题的一般模型；接着，对这个一般模型进行了分解，并
介绍了研究减压器特性的实验系统。详细地描述了实验系统的结构组成和各个部件的功能与性能，并对静态特性实验与动态特性实验的工作过程进行了说明。简单地介绍了数据采集系统
“苏湖熟，天下足”，苏湖分别指苏州和湖州，都是稻米的重要产地，扩展为长江中下游产粮区的代称。长江中下游平原是我国重要农业基地，重要的粮、棉、油生产基地，著名的鱼米之乡，也是最
通过应用现有的作战飞机空战效能的数学分析模型，在已有的历史空战实例资料数据的基础上，进一步确定或才探讨有关战效分析的数学模型中的待定因子或者假想忽略不计的参数，进而对
〈正〉本报讯5月3日,中华全国供销合作总社在京召开直属机关学习型组织建设经验交流会。会议推广了中华全国供销合作总社农资局学习型组织建设的经验。中华全国供销合作总社
浦城县教育局下发《开展“剪纸艺术进校园”系列活动的实施意见》，要求各中小学校广泛开展“剪纸艺术进校园”活动。浦城是中国民间文化艺术（剪纸）之乡，县教育局经研讨后决定以中
随着课程改革的不断推进，一线教师又开始重视数量关系的教学。如何不让数量关系成为学生记忆的负担，避免学生在解决问题的过程中出现机械套用的情况呢？笔者认为，应该整体把握数量