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