< B語言與方法：實用形式化開發(fā)指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發(fā)指南
上傳時間： 2014-11-29
上傳用戶：康郎
工控軟件圖形界面-控件實現（溫度計控件） 可用于工業(yè)控制系統(tǒng)開發(fā)使用的控件
標簽： 控件 工控軟件 圖形 工業(yè)控制
上傳時間： 2013-12-11
上傳用戶：CSUSheep
下午編譯了這個串口調試助手,覺得非常不錯,絕對免調試可編譯通過跑在板子上!個人修改下里面的函數就可以達到自動控制目的,也可以編譯成PC版程序用于桌面串口工控.相關文檔 PSerialPort.cpp SerialPort.cpp SerialPortDlg.cpp SetupDlg.c
標簽： PSerialPort 編譯 cpp 串口
上傳時間： 2014-11-04
上傳用戶：sqq
用于求解大型稀疏線性方程組Ax=b的數值計算庫.
標簽： Ax 大型 稀疏 方程
上傳時間： 2014-01-04
上傳用戶：稀世之寶039
工控行業(yè)的控制卡驅動和應用程序, 能用于演示簡單的pci控制卡的加工應用.
標簽： pci 控制卡 工控 加工
上傳時間： 2016-07-01
上傳用戶：hakim
工控PLC冗余驅動代碼,用于實現雙機主從之間的冗余
標簽： PLC 冗余 工控 代碼
上傳時間： 2016-08-20
上傳用戶：whenfly
實現4種常見波形正弦、三角、鋸齒、方波（A、B）的頻率、幅度可控輸出（方波 A的占空比也是可控的），可以存儲任意波形特征數據并能重現該波形，還可完成 各種波形的線形疊加輸出。
標簽： 方波 波形 正弦 幅度
上傳時間： 2016-10-02
上傳用戶：123啊
--文件名：mine4.vhd。 --功能：實現4種常見波形正弦、三角、鋸齒、方波（A、B）的頻率、幅度可控輸出（方波 --A的占空比也是可控的），可以存儲任意波形特征數據并能重現該波形，還可完成 --各種波形的線形疊加輸出。 --說明： SSS（前三位）和SW信號控制4種常見波形種哪種波形輸出。4種波形的頻率、 --幅度(基準幅度A)的調節(jié)均是通過up、down、set按鍵和4個BCD碼置入器以及一 --個置入檔位控制信號（ss）完成的（AMP的調節(jié)范圍是0~5V，調節(jié)量階為1/51V）。 --其中方波的幅度還可通過u0、d0調節(jié)輸出數據的歸一化幅值（AMP0）進行進一步 --細調（調節(jié)量階為1/（51*255）V）。方波A的占空比通過zu、zp按鍵調節(jié)（調節(jié) --量階1/64*T）。系統(tǒng)采用內部存儲器——RAM實現任意輸入波形的存儲，程序只支 --持鍵盤式波形特征參數置入存儲，posting 為進入任意波置入(set)、清除（clr）狀態(tài) --控制信號，SSS控制存儲波形的輸出。P180為預留端口，
標簽： mine vhd 方波 波形
上傳時間： 2017-02-09
上傳用戶：z1191176801
外 掛 新 建 工 程 ( V B 基 礎 類 視 頻 )
標簽：
上傳時間： 2013-12-29
上傳用戶：lgnf
can通信,可用于工控領域的數據傳輸，工業(yè)控制，短距離通信。
標簽： can 通信 用于工控 數據傳輸
上傳時間： 2014-01-03
上傳用戶：gyq
蟲蟲下載站版權所有 京ICP備2021023401號-1
