< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
作品简介:基于51单片机的信号发送器,理论距离是3000米,实际受到现实的干扰,信号发送距离降缩短到1500米以上.可以配备多个接收器,实现多机通讯. 作品作用:例如手动输入A,B,C,D 80个不同的信号,启动发送,那么配备的多个接收器能接收到这80个信号.
上传时间: 2013-12-24
上传用户:zhengjian
基于B IO S和USB盘实现对PC机的安全访问
上传时间: 2016-10-31
上传用户:stvnash
实用电子技术专辑 385册 3.609Gjk-b交通信号控制机原理图 1.3M.rar
标签:
上传时间: 2014-05-05
上传用户:时代将军
基于labview和access的温湿度监测系统上位机程序设计7099这是一份非常不错的资料,欢迎下载,希望对您有帮助!
上传时间: 2022-01-27
上传用户:1208020161
论文以松下FP1系列PLC为研究对象,对其MEWTOCOL-COM协议,有关远程测控系统开发,以及PLC指令的机器代码进行系统研究,并在此基础上开发B/S模式的Web远程测控系统。论文首先介绍了PLC的运用领域和发展前景;其次对MEWTOCOL-COM协议进行了系统的研究分析,以实验统计的方式,得出了PLC基本指令的机器代码表;接着基于LABVIEW10.0,开发了PLC与上位机的人机界面,简单实现了上位机对PLC端口,寄存器,定时器以及布尔命令的读写功能。接下来又介绍了通讯原理和通讯模式,描述了LABVIEW10.0中的通讯函数,然后以16盏流水灯为例子,先在向PLC输入梯形图,然后在通讯系统上对PLC的进行监控,以16盏布尔灯显示其运行过程。接着比较分析了Date Socket通讯,TCP通讯和Web通讯的优缺点,并解释了最终通讯方案选择的原因。最后基于Web通讯技术实现了PLC与上位机的远程通讯。本文技术对进一步研发PLC与上位机通讯系统提供了一定的借鉴作用,尤其机代码的测定在后续进一步开发通讯界面提供了新的方向。
上传时间: 2022-06-25
上传用户:得之我幸78
基于C#温湿度上位机源码,使用C#语言编写,可以完整的运行程序。
上传时间: 2022-07-07
上传用户:
结合单片机和M a t l a b 两者的优点,基于事件驱动的中断通信机制,提出一种Matlab 环境下PC 机与 单片机实时串行通信及数据处理的方法;完成单片机数据采集系统与PC 机的RS-232/RS-485 串行通 信及其通信数据的分析处理、文件存储、F I R 滤波及图形显示;简化系统开发流程,提高开发效率。 该方法已成功应用于一个P I C 1 6 F 8 7 6 单片机应用系统实例之中
标签: 单片机
上传时间: 2014-01-19
上传用户:yzy6007
本书提供用J B u i l d e r开发数据库应用程序、创建分布式应用程序以及编写J a v a B e a n 组件的高级资料。它包括下列几个部分: • 第一部分是“开发数据库应用程序”,它提供关于使用J b u i l d e r的D a t a E x p r e s s数据 库体系结构的信息,并解释原始数据组件和类之间的相互关系,以及怎样使用它 们来创建你的数据库应用程序。它还解释怎样使用Data Modeler(数据模型器)和 Application Generator(应用程序生成器)创建数据驱动的客户机/服务器应用程 序。 • 第二部分是“开发分布式应用程序”,它提供关于使用ORB Explorer、用J B u i l d e r 创建多级的分布应用程序、调试分布式应用程序、用J a v a定义C O R B A接口以及 使用s e r v l e t等的信息。 • 第三部分是“创建J a v a B e a n”,它解释怎样开发新的J a v a B e a n组件,描述在组件 开发中涉及的任务, 怎样使用B e a n s E x p r e s s创建新的J a v a B e a n,以及关于属性、 事件、B e a nIn f o类和其他方面的详细情况。
上传时间: 2014-01-03
上传用户:wpt
21世纪大学新型参考教材系列 集成电路B 荒井
上传时间: 2013-04-15
上传用户:eeworm