INSIM01
INSIM01
INSIM01
E-O模型由四个逻辑部件组成：①设备管理模块(device management module)，提供与各种交互设备的接口，实现设备无关特性;②事件管理子系统(event Man-agement subsystem)，它读取输入设备的输入信息形成事件并进行统一管理，将反馈信息的事件解释为适当的输出指令并传送给输出设备;③目标管理子系统(object Man-agement subsystem)，创建、装载、保存用户界面中各类目标，并对目标进行管理，④事件-目标管理子系统(event-object management subsystem)，主要职责是实现事件与目标的整合，按适当策略控制事件在各目标结点之间流动，以形成和维持交互的过程，是整个用户界面系统的核心。
深圳市远创机械科技有限公司

区域经理：李女士

手机：13751115283

Q Q: 277150164

电话：0755-33066731
2.2.2 有限状态机的形式化描述

有限状态机FSM(Finite State Machine)由状态、事件、转换和活动组成。每个状态有1个状态进入动作(entryaction)和1个状态退出动作(exit action)，每个转换有1个源状态和目标状态并且与1个事件相关联。当在源状态时，该事件发生且触发转换的监护条件为真，则顺序执行下列一些动作：①源状态的退出动作;②转换动作;③目标状态的进入动作。

FSM可以形式化表示为1个五元组：M=(0，I，λ，S，δ，S0)。

其中，S为有限状态集;

I为有穷的事件输入集;

0为有穷的输出集，

S0为初始状态集;

δ：S×I→S，进入下一个状态的过程;

λ：S×I→O，产生输出的过程。

CIC01 计算机接口模块

IMHSS03 液压伺服控制模块

INSIM01 串行接口模块

NAMM01 模拟主站模块

NAMM02 模拟主站模块

NAMM03 模拟主站模块

NAOM01 模拟量输出模块

NASI02 模拟量输入模块

NASM01 模拟量输入模块

NASM02 模拟从站模块

NASM03 模拟从站模块

NASM04 模拟输入从模块

NASO01 模拟量输出模块

NBIM01 总线接口模块

NBIM02 总线接口模块

NBTM01 总线传输模块

NCIS01 控制I/O模块

NCIS02 控制I/O模块

NCOM02 增强型控制器模块

NCOM03 增强型控制器模块

NCOM04 先进的控制器模块

NCTM01 配置优化模块

NDCS03 数字控制站

NDIS01 数字指示器站

NDLS01 数字逻辑站

NDLS03 数字逻辑站

NDSI01 数字从输入模块

NDSI02 数字量输入模块

NDSM03 数字量输入模块

NDSM04 数字模块

NDSM05 数字逻辑站接口模块

NDSO01 数字输出模块

NDSO02 数字输出模块

NDSO04 数字输出模块

NFAN01 网络风扇

NGCM02 网关通信模块

NIMP02 多功能处理器端接模块

NIOP02 I/O电源面板

NIOX01 I/O扩展模块

NIPL01 端接模块

NKLM01-4 环路接口电缆

NKLM01-5 环路接口电缆

NKLS02-5 回路电缆

NKLS03-10 环接口电缆

NLIM02 环路接口模块

NLIS01 回路接口

NLMM01 逻辑主站模块

NLMM02 逻辑主站模块

NLSM01 网络环路存储

NLSM02 循环存储模块

NMFC01 多功能控制器

NMFC02 多功能控制器

NMFC03 增强多功能控制器

NMFC05 多功能控制模块

NMPP02 模块电源面板

NPEP01 电源输入面板

NPEP02 网络电源输入面板

NPIM01 处理器接口模块

NPSI03 电源供应模块

NPSM01 电源供应器

NPSM02 电源供应器

NPTM01 点表模块

NSBM01 总线模块

NSIM01 串行接口模块

NSPM01 串口模块

NSPS01 电源供应器

NSSM01 串行模块

NTAO01 模拟输出终端装置

NTCU01 计算机接口终止单位

NTRL01 远程连接终端

NTRL03 远程连接终端装置