【摘 要】
：
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提.该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述.该
论文部分内容阅读
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提.该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述.该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度.为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件.
其他文献
DSP技术与LonWorks技术分别作为控制核心和网络通信机制在当今工业自动化领域中的应用日益广泛。为把两者结合起来应用于实际项目中必须考虑两者之间的接口设计 ,介绍了一种
在AFS理论的基础上给出了EI代数阶数的定义,提出并详细证明了有关EI代数阶数的重要定理,这些定义与定理可以更好地解决模糊概念的表示、合成、运算和模糊数据挖掘问题,并在基
CCD图像传感器以其光谱响应宽、动态范围大、几何精度高、便于与计算机连接并进行数字化处理等优点,在工业非接触测量中得到了广泛应用。介绍和分析了CCD技术在煤矿机械中的
采用线性低密度聚乙烯(LLDPE)、低密度聚乙烯(LDPE)、(乙烯/乙酸乙烯酯)共聚物(E/VAC)为基体树脂,Mg(OH)2、微胶囊化红磷为主、辅阻燃剂,制备了无卤阻燃电缆料.探讨了Mg(OH)2
为了有效地降低综采放顶煤工作面的粉尘质量浓度,为工人创造一个舒适、安全的工作环境,利用水力压挤技术对工作面进行高压注水;通过测定煤与水的接触角和不同表面活性剂的吸
为了避免工程实际中由于不同接线形式下切换方式设置不合理、有关定值设置不正确造成的人为厂用电切换失败事故,文中结合若干不同接线形式的电厂厂用电切换的实例,探讨了发电
为满足系统电路级仿真,本文通过Pspice软件为无刷直流电机系统设计了一套Buck变换器的电机控制系统,分析了换相转矩脉动和非导通相续流问题.由Sg3525实现降压斩波,解决了Sg35
为研究气缸缓冲特性计算机辅助测试 (CAT)系统 ,设计了气动回路、电磁阀驱动电路 ,配置了虚拟仪器的硬件 ,用 L ab VIEW设计虚拟仪器的软件 .此 CAT系统可以测试气缸的压力、输出力、位移和振动加速度 ,并绘制相应的实验结果曲线 .实验表明此 CAT系统操作简便、测量精度高、实用性强 ,可对缓冲特性、速度特性、瞬态特性等多种气缸性能进行检测
文章阐述了构建数字档案馆网络信息安全体系的必要性,分析了影响数字档案馆网络信息安全的因素,并从技术实施、制度建设层面对数字档案馆的网络信息安全体系进行构建。
The
该文在实践的基础上,针对银行代理业务的分布化和专业化的特点,提出了基于CORBA技术的银行代理业务系统平台的解决方案,并详细阐述了关键技术的原理和实现过程.