作者：朱晓梅,刘键 单位：中国船舶重工集团公司第七0九研究所 出版：《计算机与数字工程》1995年第02期 页数：7页  （PDF与DOC格式可能不同） PDF编号：PDFJSSG1995020060 DOC编号：DOCJSSG1995020069 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大，分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础，因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法，其关键部分在于说明以对象为实体的事件之间的关系，利于系统形式设计与验证的实现。

    📙 相关资料

    1. 《基于Java 3D的熔融沉积模型快速成型机的远程监控系统》PDF+DOC 为了满足网络化协作制造对现场物理设备实时准确的监控要求，通过分析熔融沉积模型快速成型机的工作特征，设计了远程监控系统的框架，完成了快速成型机在Java 3D中的建模。提出了3D模型依据设备端应用服务器传输的相应传感器信号数据进行运动仿真，达到客户端对远端熔融沉积模型快速成型机远程监控的目的。...
    2. 《无线传感器网络中的被动式红外传感器模型研究》PDF+DOC 针对公共安全的需要，利用无线传感器网络系统进行区域监控已然成为趋势。通过对系统的物理结构分析提出了一种被动式红外传感器模型。该模型对配备被动式红外传感器的无线传感网络的系统设计具有指导意义。传感器节点的测试以及实时系统的试验验证了模型的可靠性。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。