【摘 要】
：
该文提出OMNets和UNINET是为了用多级抽象的方法全面刻画并发对象系统的行为.我们把对象系统模型抽象为4个层次,分别是：系统的行为,对象的行为,对象中方法之间的交互行为以及
论文部分内容阅读
该文提出OMNets和UNINET是为了用多级抽象的方法全面刻画并发对象系统的行为.我们把对象系统模型抽象为4个层次,分别是：系统的行为,对象的行为,对象中方法之间的交互行为以及方法具体实现的行为.OMNets和UNINET分别是最后两层的建模工具.OMNets的提出主要有两个目的：一是提供一种避免继承异常的方法,二是为并发对象提供行为检查工具.在该文中,UNINET是一种用于描述并行程序语义的低层模型.传统Petri网中的流关系不适合描述程序中的变量使用,因为不仅变量中的数据并不会因为读取操作而流走,而且尽管一个变量在某一刻只有一个数据,但却允许另一个新的数据被写入,此时前一个数据不是流走而是消失了.UNINET是一种结合Petri网和UNITY的并行程序设计模型,它扩展了Petri网中库所的概念用变量库所表示程序变量,并且允许变迁以程序语句的方式读和/或写变量库所.这样不仅使并发读操作成为可能,而且也自然地表达了读-写之间的依赖关系.该文最后还给出了两个有代表性的例子进一步阐明该文的多级建模方法.
其他文献
该论文对如何实现"基于WEB的远程智能学习系统"进行了初步研究、探讨,通过动态收集学生的学习动作、学习方式、知识理解情况、学习时间、考试情况等诸多因素,经过自反馈系统
该文设计了基于文件完整性检验的分布式入侵检测及恢复系统DIDRFIC（Distributed Intrusion Detection andRecovery System based on File Integrity Checker）.该系统采用分布式
随着计算机技术的不断发展,实时嵌入式系统在现代生活中得到了越来越广泛的应用,从家用的微波炉、洗衣机,到工业界的汽车、交通灯和铁路,甚至是导弹制导、空中交通管制等。实
本论文主要针对Flash型FPGA芯片的基本特点及其空间应用需求，对其抗单粒子技术进行研究。 首先，本文广泛研究了空间环境对FPGA的影响以及FPGA单粒子效应的机理和故障模式，并
首先简要介绍了软件工业化生产的方向和复用技术对它的重要性,并阐述了其困难性的根本原因.然后论述了哲学和计算机科学及面向功能体方法的联系,从管理学原理、脑科学和数据
该文首先从分析对象的角度对视频分析技术的研究现状进行了综合论述.并且通过对视频分析技术的现状分析,提出了该领域可能的发展趋势.该文用基于图像序列特征的视频分析的方
随着因特网技术的发展，越来越多的人们倾向于在网上搜索和发布信息。人才市场管理系统是以B/S(浏览器／服务器)体系结构作为基本架构，采用ADO实现对数据库的存取，以IIS 5.0作为Web
软件体系结构对于系统的分析和重用起着至关重要的作用.而要充分利用软件体系结构就必须它进行准确的、全面的、无二义性的描述. 为了克服以上的问题,更好的描述软件体系结构
随着网络技术和数据库技术的发展，人们对网络中数据资源的共享越来越迫切，但这些数据库资源往往存在广泛的异构性。此外，硬件平台的异构、操作系统的异构及网络的异构使得异构问
本文分析了在管理信息系统中集成实时监控系统信息遇到的问题，如跨操作系统平台接收数据、处理网络故障和数据库的故障的自恢复功能、如何处理海量数据等，并针对这些问题结合实