论文部分内容阅读
本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性。这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为。
Ada中实时结构的Petri网建模与分析
【摘 要】
：
本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性。这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为。
【机 构】
：
国家多媒体软件工程技术研究中心
【出 处】
：
计算机应用与软件
【发表日期】
：
2002年07期
【基金项目】
：
国家军工预研项目
其他文献
本文提出具有层次结构的广义变长多维数据库结构模型,同时设计一个地矿资源数据库系统:采用该技术建设的地矿 数据库,可提供统一的数据访问服务,便于各子系统间相互访问,并具有很好的扩充性。
VB通过调用API函数 ,能够直接控制和处理计算机的系统参数和硬件资源。本文从VB中调用API函数的一般方法、编程应用实例和应注意的问题等三个方面讲述了API函数在VB中的应用
图形用户接口（GUI）是应用软件的重要组成部分，使用模型－视图－控制（MVC0的面向对象模型不仅可以提高设计效率，而且还能使其对不同的运行平台有自适应性，本文主要论述面向对象的用户接
布尔希科的成败与中国广告界北京商情咨询公司最近，在北京展览馆剧场降下帷幕的“１９９６年首届世界优秀影视广告展映”暨“广告饕餮之夜”活动，展示了法国广告收藏家让·玛丽
【正】 中国共青团发展到今天,理论准备不足和理论研究难以深入的问题已见突出.一方面,50年代以来沿用至今的传统理论,已经很难解释不断变化的新情况,急需有迎接挑战的现代理
基于VRML建立大范围，多景物的场景，通过Web进行浏览时存在着网络带宽和绘制困难的问题，本文把大范围的场景分成许多知形场景场，通过ProximitySensor,VisibilitySensor节点和Javas
本文在分析当今Web课件系统存在问题的基础上 ,研究了Web课件系统的体系结构和功能模块 ,探讨了Web课件系统的实现技术。
“文革”初期的血统论之争郭文亮血统论原是奴隶社会和封建社会中世袭等级制度的产物。随着社会的不断发展，世袭等级制度早已寿终正寝，但血统论的反动影响却并没有因此绝迹。到
【正】 (一)农业的发展,农村经济的振兴,必须依靠科技的进步,科技成果的推广和应用.而科技的进步,尤其是科技成果的推广和应用,在一定程度上又离不开具有一定文化知识的青年.