论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证
【机 构】
：
厦门大学信息科学与技术学院,厦门,361005
【出 处】
：
系统仿真学报
【发表日期】
：
2011年09期
其他文献
2012年我国水稻病虫害呈偏重发生态势,发生程度重于2011年,预计发生面积15亿亩次。2012年水稻重大病虫害防控目标为:重大病虫防治处置率达到90%以上,绿色防控技术应用面积达
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
介绍单层多房间建筑室内火灾数值模拟的验证研究。模型的计算值与 L uo和 Beck的实验结果进行了比较。为了考虑火灾的燃烧过程 ,采用 L aminar Flamelet方法。多房间建筑内热
提出了在Borland C++Builder(简称BCB)环境下设计工业控制系统中上位工控机与PLC(可编程序控制器)之间串行通讯程序的两种方法--分别是利用ACTIVEX控件和Windows APIb函数,采
要想养好蟹,先要有好种,这里的种主要是指大眼幼体.但是目前国内河蟹苗种市场的发展不尽人意,还无法满足消费者对优质河蟹的需求.问题主要体现在苗种来源不稳定,苗种质量无保
期刊
文中研究了一种具有多维服务质量保证的OSPF实现技术,通过优化OSPF的软件协议实现架构、增加扩展协议报文、基于路由算法进行适应性改造及软件内部元素结构扩展,使路由协议运行和计算路由表时可综合考虑链路的带宽、跳数、通信质量等要求,均衡网络流量并减小网络拥塞发生的可能性,使网络带宽资源利用率趋于最大化。理论分析证明,该技术最终满足通信最大限度的畅通与多维服务质量保证的综合要求。
现代社会的信息传播的速度越来越高,信息传播的方式越来越多。在进行人事档案管理的时候,利用信息化的优点,可以将工作做得更好。传统的方式对于目前迅速发展的信息时代而言,
期刊