< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后...
电力自动化智能测量校验仪表系统软件v1.0!...
电力仪器仪表智能独立误差计算设备系统程序!...
智能识别系统程序...
基于HCS12的小车智能控制系统设计,智能车,HCS12,单片机,红外光电传感器...
智能电加热温控系统的研制.kdh 整体说明与设计...
一种新型的独立CAN通信控制器MCP2515;给出其在CAN总线系统智能节点中的一个应用实例,硬件设计给出了节点的电路原理图,软件设计给出了系统程序的设计流程图,并对其作了简要的说明...
该系统主要可以分为四大模块:道路监控模块、智能设置模块、交通灯测试模块、注册模块;...
智能大厦报警系统:主要通过串口通信来实现。计算机对数模转换设备发送到端口的数据进行处理,并根据用户设置的信息相应的动作,同时,还需要通知大厦的管理人员,以确保万无一失。...
智能交通对道路的划分建议 特别是城区道路系统的研究...