论文部分内容阅读
在基于资源的Petri网建立的分布式嵌入式系统模型中，针对没有考虑并行问题的常规调度分析算法无法计算出正确的调度长度的不足，通过引入时间基准和相对于初始状态类的触发域，得到了新的适合分布式实时嵌入式系统的调度分析算法。
基于Petri网的分布式实时嵌入式系统的调度分析
【摘 要】
：
在基于资源的Petri网建立的分布式嵌入式系统模型中，针对没有考虑并行问题的常规调度分析算法无法计算出正确的调度长度的不足，通过引入时间基准和相对于初始状态类的触发域，得
【机 构】
：
河南科技大学电子信息工程学院,中国科学院自动化研究所复杂系统与智能科学重点实验室
【出 处】
：
吉林大学学报：工学版
【发表日期】
：
2007年3期
【基金项目】
：
国家自然科学基金资助项目（60334020）,河南科技大学人才科学研究基金资助项目（06-8）.
其他文献
羊黑疫是养羊业的常见病,由诺维氏梭菌感染所引起,感染羊主要表现肝脏的实质性损害;病原菌可产生外毒素,对组织细胞的毒害很大;本病发病非常急,常无治疗时间,死亡后尸体呈现
在通常的DAG基础上增加了代码活跃信息（记为GDAG），给出了基于GDAG和寄存器状态的代码生成技术，并且在产生GDAG的目标代码时利用了代码活跃信息和寄存器状态信息，从而更加有效地利
大学生就业一直是社会关注的热点问题,对经济的发展和社会的稳定起着重要的影响,为了有效的解决大学生就业问题,需要高效辅导员做好相应的就业指导工作。本文笔者结合自己的
将两种基于图论的算法图切割与随机游走应用于运动对象的分割。利用图切割,通过构造网络图、HSV空间消除阴影、建立混合模型背景及运动区域最小切割自动完成运动对象的分割;利用随机游走,通过选择种子点、建立权函数、求解Dirichlet问题及形态滤波等交互地完成运动对象的分割。通过实验对两种算法的应用进行了研究。结果表明:基于图切割算法可针对单目标快速、有效地进行分割,并获得干净、光滑的分割结果;基于随机
为解决扫描仪特性在色彩空间内的非线性、不一致问题,提出一种自适应的校正方法,首先根据每个输入扫描值,在校正样本集中选取与输入值在设备色彩空间中特性最为接近的样本组成校正样本子集,利用多重回归的方法对输入的扫描值进行校正。实验结果表明,该方法的校正精度比传统校正方法有显著提高。
金属矿区开采活动所引起的地质体强度弱化,并产生矿震灾害已引起政府和企业的重视。介绍了全国首个金属矿区地震台网技术系统设计指导思想、台网布局及主要技术指标,以及提出建设矿山地震台网的作用及意义。
阐述了带整体开启阀的双腔串联压电薄膜泵的工作原理并给出结构设计。对整体开启阀的过流特性进行了理论推导，定性分析了影响其过流性能的因素，并用实验加以证明。对影响压电泵