< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
工控软件图形界面-控件实现（温度计控件） 可用于工业控制系统开发使用的控件
上传时间： 2013-12-11
上传用户：CSUSheep
下午编译了这个串口调试助手,觉得非常不错,绝对免调试可编译通过跑在板子上!个人修改下里面的函数就可以达到自动控制目的,也可以编译成PC版程序用于桌面串口工控.相关文档 PSerialPort.cpp SerialPort.cpp SerialPortDlg.cpp SetupDlg.c
标签： PSerialPort 编译 cpp 串口
上传时间： 2014-11-04
上传用户：sqq
用于求解大型稀疏线性方程组Ax=b的数值计算库.
上传时间： 2014-01-04
上传用户：稀世之宝039
工控行业的控制卡驱动和应用程序, 能用于演示简单的pci控制卡的加工应用.
上传时间： 2016-07-01
上传用户：hakim
工控PLC冗余驱动代码,用于实现双机主从之间的冗余
上传时间： 2016-08-20
上传用户：whenfly
实现4种常见波形正弦、三角、锯齿、方波（A、B）的频率、幅度可控输出（方波 A的占空比也是可控的），可以存储任意波形特征数据并能重现该波形，还可完成 各种波形的线形叠加输出。
上传时间： 2016-10-02
上传用户：123啊
--文件名：mine4.vhd。 --功能：实现4种常见波形正弦、三角、锯齿、方波（A、B）的频率、幅度可控输出（方波 --A的占空比也是可控的），可以存储任意波形特征数据并能重现该波形，还可完成 --各种波形的线形叠加输出。 --说明： SSS（前三位）和SW信号控制4种常见波形种哪种波形输出。4种波形的频率、 --幅度(基准幅度A)的调节均是通过up、down、set按键和4个BCD码置入器以及一 --个置入档位控制信号（ss）完成的（AMP的调节范围是0~5V，调节量阶为1/51V）。 --其中方波的幅度还可通过u0、d0调节输出数据的归一化幅值（AMP0）进行进一步 --细调（调节量阶为1/（51*255）V）。方波A的占空比通过zu、zp按键调节（调节 --量阶1/64*T）。系统采用内部存储器——RAM实现任意输入波形的存储，程序只支 --持键盘式波形特征参数置入存储，posting 为进入任意波置入(set)、清除（clr）状态 --控制信号，SSS控制存储波形的输出。P180为预留端口，
上传时间： 2017-02-09
上传用户：z1191176801
外 挂 新 建 工 程 ( V B 基 础 类 视 频 )
标签：
上传时间： 2013-12-29
上传用户：lgnf
can通信,可用于工控领域的数据传输，工业控制，短距离通信。
上传时间： 2014-01-03
上传用户：gyq
