论文部分内容阅读
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程.
基于B方法的流量控制系统的实现
【摘 要】
：
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程.
【机 构】
：
扬州大学信息工程学院
【出 处】
：
企业导报
【发表日期】
：
2004年期
其他文献
提高边检服务水平,作为当前和今后一段时期边防检查工作的中心,是全面推进公安队伍正规化建设的必由之路.近年来,各边栓站在服务水平上都取得了很好的成效,但也暴露出了一些
自主讲授是指检索、分析、报告的一个过程,可以提升学生发现问题、分析问题和解决问题的能力.通过分组、选题、自主讲授的准备、讲解、评价等步骤,提高和培养学生的自学能力
思想政治工作,对提高职工的思想素质,理顺职工之间的关系,调动职工的积极性,增强单位的凝聚力,发挥着重要作用.现结合我的工作实际,谈了工会思想政治工作存在的问题,并提出了
本文从公司法所规定的股东知情权的内涵出发,简单叙述了有限责任公司股东知情权的形成原因,论述了股东知情权制度中的利益冲突及其平衡。
Based on the connotation of the
班主任是班级管理的直接责任人,其素质高低直接影响班级的管理水平.本文通过分析当前班主任存在的心理健康问题,探讨解决班主任心理健康问题的对策.
不同法律闻的法条竞舍时,应严格适用特别法优先原则,同一法律的法条竞合时,可分为从属竞合和交叉竟合,前者适用特别法条优先原则,后者适用全面法优先原则,当特别法条、全面法
采用顶空固相微萃取-气相色谱/质谱联用技术(HS-SPME-GC/MS)对人体气味进行了特征性分析.通过对人体气味样品色谱图相似度比较,发现保留时间在0～15min及25～42min阶段的色谱检出
当前,执行难、执行乱已经成为困扰中国司法的一大顽症,当事人在持久而昂贵的司法诉讼后无法从执行中得到自己合法的利益,导致之前的努力付之东流,损害了当事人的权益,也动摇
《消费心理学》与市场营销专业学生的核心专业能力的培养有直接的关系,与其他核心专业课程(如《市场营销》、《广告与促销》、《商务谈判》)等有很密切的联系。任务驱动是以
模型往往能将复杂抽象的概念进行简单化、形象化,让人容易接受和理解.在物理教学的过程中,模型的利用尤为重要,它将物理理论和物理世界连接在一起,让学生更好的理解物体的运