排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
实时多任务系统的TPCQ建模方法 总被引:1,自引:0,他引:1
本文提出了一个基于定时的Petri网和立方体队列网络的实时多任务系统的建模方法-TPCQ,它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统,也可以描述一般的实时多任务系统。文中讨论了TPCQ模型,并且给出了一个建立实时多任务系统的TPCQ模型的例子。 相似文献
5.
7.
8.
本文对Berkley Socket及其在WindowsNT3.51下的实现作了扼要分析,论述了基地C^3系统网络实时接收发送模块的模型与结构。 相似文献
9.
10.
本文提出了循环的一种静态分析方法,即左模拟执行前,对网络中存在的循环进行静态分析,进而把对循环的处理转化为对网络线初始相位的确定,简化了对循环的处理。文中所用的算法都是基于文献中所描述的数据结构,本文还提出了对循环进行静态分析所用到的几个定理及其证明。模拟器LOSIM中使用了静态分析方法,使得LOSIM可对组合网络,同步时序网络、异步对序网络和在给定的初始条件下就己存左振荡的网络进行模拟。同时,也提高了模拟器运行的效率。 相似文献