< B語言與方法：實(shí)用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號(hào)語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號(hào)語言的描述方法。
資源簡(jiǎn)介：< B語言與方法：實(shí)用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號(hào)語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大...
上傳時(shí)間： 2014-11-29
上傳用戶：康郎
資源簡(jiǎn)介：這個(gè)文檔用于I/O管理器和基本文件系統(tǒng)之間的過濾驅(qū)動(dòng)。文件系統(tǒng)可能是本地或者網(wǎng)絡(luò)的。這個(gè)文檔不涉及文件系統(tǒng)和存儲(chǔ)設(shè)備之間的過濾驅(qū)動(dòng)，比如FtDisk和DMIO. 我們將主要討論一種新的文件系統(tǒng)過濾驅(qū)動(dòng)模型，所謂的微過濾器（minfiter）
上傳時(shí)間： 2015-04-29
上傳用戶：kikye
資源簡(jiǎn)介：《實(shí)用最優(yōu)化方法 （第三版）》 該教材介紹了線性規(guī)劃、非線性規(guī)劃、多目標(biāo)規(guī)劃、整數(shù)規(guī)劃和動(dòng)態(tài)規(guī)劃的基本理論、計(jì)算方法及其應(yīng)用。書中著重闡述了最優(yōu)化的基本原理和在實(shí)際應(yīng)用中比較有效的計(jì)算方法及其在計(jì)算機(jī)上的實(shí)現(xiàn)等內(nèi)容。
上傳時(shí)間： 2014-01-11
上傳用戶：來茴
資源簡(jiǎn)介：摘要討論了消除慣導(dǎo)平臺(tái)航向效應(yīng)對(duì)地地導(dǎo)彈多位置自對(duì)準(zhǔn)精度影響的方 法。慣導(dǎo)平臺(tái)初始方位相同時(shí)航向效應(yīng)重復(fù)性好，根據(jù)這個(gè)特點(diǎn)設(shè)計(jì)了消除航 向效應(yīng)影響的兩位置自對(duì)準(zhǔn)方法。首先利用陀螺漂移歷史數(shù)據(jù)粗略估計(jì)方位， 并據(jù)此轉(zhuǎn)動(dòng)彈體將平臺(tái)轉(zhuǎn)到航向效應(yīng)標(biāo)...
上傳時(shí)間： 2017-08-07
上傳用戶：JIUSHICHEN
資源簡(jiǎn)介：本文簡(jiǎn)單介紹了OSI 抽象語法符號(hào)（ASN.1）的子集——基本編碼規(guī)則（BER）和可辨別編碼規(guī)則（DER）。
上傳時(shí)間： 2014-01-22
上傳用戶：Yukiseop
資源簡(jiǎn)介：51單片機(jī)在微型智能控制系統(tǒng)中應(yīng)用很廣,隨著人們對(duì)控制系統(tǒng)的要求不斷提高, 51 單片機(jī)的功能局限越發(fā)明顯。特別是51系列單片機(jī)不具有實(shí)時(shí)多任務(wù)支持功能,大大限制其在控制系統(tǒng)中的進(jìn)一步發(fā)展。而多任務(wù)恰恰是現(xiàn)代操作系統(tǒng)的突出特點(diǎn),將多任務(wù)機(jī)制引入 單片機(jī)...
上傳時(shí)間： 2014-11-23
上傳用戶：Altman
資源簡(jiǎn)介：MATLAB 7_0實(shí)用指南（上下冊(cè)）（超星圖書）和超星閱讀器的安裝程序。希望對(duì)大家有所幫助。順便盼求：關(guān)于GPS接收機(jī)的自適應(yīng)抗干擾的程序，應(yīng)該是功率倒置算法，還有GPS MATLB工具箱，否則還要編寫仿真GPS信號(hào)的程序才能調(diào)試這個(gè)抗干擾算法，是嗎？望高人指點(diǎn)...
上傳時(shí)間： 2015-05-09
上傳用戶：koulian
資源簡(jiǎn)介：螺旋矩陣問題：編程產(chǎn)生H*L的螺旋矩陣。首先，我們用一個(gè)二維數(shù)組來放置矩陣，然后按照數(shù)字大小順序來填充矩陣.
上傳時(shí)間： 2015-10-01
上傳用戶：zhichenglu
資源簡(jiǎn)介：人事工資管理系統(tǒng)：本文圍繞一個(gè)”人事管理系統(tǒng)”程序的設(shè)計(jì)和應(yīng)用系統(tǒng)的開發(fā)課題為背景,詳細(xì)介紹了以VB和SQL SERVER為語言編寫管理信息系統(tǒng)的過程。該程序通過VB的ADO數(shù)據(jù)對(duì)象來實(shí)現(xiàn)VB前臺(tái)與后臺(tái)SQL SERVER數(shù)據(jù)庫的連接,并具有典型的數(shù)據(jù)庫應(yīng)用系統(tǒng)的特征,完...
上傳時(shí)間： 2016-06-17
上傳用戶：luke5347
資源簡(jiǎn)介：本書講述的內(nèi)容是：如何用C++和中間件來解決網(wǎng)絡(luò)應(yīng)用程序開發(fā)中相關(guān)的重要課題。首先回顧主流OS平臺(tái)本身具有的核心OS機(jī)制，并闡釋如何在ACE中運(yùn)用C++和模式，將這些機(jī)制封裝到類庫（class library）wrapper facade之中，從而提高應(yīng)用程序的可移植性和健壯性。...
上傳時(shí)間： 2014-01-17
上傳用戶：gonuiln
資源簡(jiǎn)介：本書講述的內(nèi)容是：如何用C++和中間件來解決網(wǎng)絡(luò)應(yīng)用程序開發(fā)中相關(guān)的重要課題。首先回顧主流OS平臺(tái)本身具有的核心OS機(jī)制，并闡釋如何在ACE中運(yùn)用C++和模式，將這些機(jī)制封裝到類庫（class library）wrapper facade之中，從而提高應(yīng)用程序的可移植性和健壯性。...
上傳時(shí)間： 2016-10-20
上傳用戶：wangchong
資源簡(jiǎn)介：《MATLAB控制系統(tǒng)仿真與實(shí)例詳解》一書的光盤源碼。圖書簡(jiǎn)介：本書詳細(xì)地講解了MATLAB 7.x的功能與相關(guān)操作以及MATLAB在控制系統(tǒng)中的仿真應(yīng)用。本書內(nèi)容包括控制系統(tǒng)仿真基礎(chǔ)、MATLAB程序設(shè)計(jì)語言基礎(chǔ)、控制系統(tǒng)理論基礎(chǔ)、Simulink交互式仿真環(huán)境、控制系統(tǒng)建...
上傳時(shí)間： 2017-04-04
上傳用戶：181992417
資源簡(jiǎn)介：本書介紹了MATLAB 7.X版本與其他語言混合編程的方法。內(nèi)容包括在MATLAB中以文件方式導(dǎo)入、導(dǎo)出數(shù)據(jù)；在Windows和Linux開發(fā)C/C++語言的MEX文件；在Windows和Linux開發(fā)FORTRAN語言MEX文件；在MATLAB中使用動(dòng)態(tài)連接庫文件；在C/C++語言中調(diào)用MATLAB引擎；使用MAT...
上傳時(shí)間： 2017-07-03
上傳用戶：libenshu01
資源簡(jiǎn)介：本書介紹了JavssciPt的程序設(shè)計(jì)技術(shù)。書中從最基本的Javascr加編程概念談起， 詳細(xì)介紹了J帥她的中可使用的各種對(duì)象，討論了如何用J帥SciPt操作HTML文檔 中的各個(gè)元素，從而獲得更靈活、交互性更強(qiáng)的web頁，接著說明了多媒體的處理技術(shù)， 最后介紹了Javasc...
上傳時(shí)間： 2015-09-13
上傳用戶：wanqunsheng
資源簡(jiǎn)介：如何在（自然）系列期刊上發(fā)表您的硏究工作：（自然）系列期刊是由每周出版的多學(xué)科（自然）雜誌和10種每月出版的期刊組成。（自然）雜誌發(fā)表在某一學(xué)科 內(nèi)具有最高影響﹑其它領(lǐng)域的科學(xué)家也會(huì)心感興趣的硏究工作；10種學(xué)術(shù)期刊的名稱是根據(jù)其報(bào)導(dǎo)領(lǐng)域命名的...
上傳時(shí)間： 2013-12-24
上傳用戶：拔絲土豆
資源簡(jiǎn)介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序?qū)懽鞯姆椒ā＿@些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍后所討論的，這不是寫作Windows程序的唯一方法。然而，無論最...
上傳時(shí)間： 2014-11-29
上傳用戶：haohaoxuexi
資源簡(jiǎn)介：本書介紹了一些語言的開發(fā)工具及使用方法。圖文并茂，請(qǐng)多多支持
上傳時(shí)間： 2014-09-10
上傳用戶：mpquest
資源簡(jiǎn)介：本書介紹了Linux下圖形用戶接口（GUI）編程技術(shù)。全書共18章，分五個(gè)部分。第一部分介紹Linux GUI編程架構(gòu)以及編程基礎(chǔ)知識(shí)，第二部分介紹Linux 編程常用C語言函數(shù)庫glibc、構(gòu)件庫gtk+、Gnome，第三部分介紹Linux下的GUI生成器Glade，第四部分介紹Linux編程調(diào)...
上傳時(shí)間： 2014-01-19
上傳用戶：15736969615
資源簡(jiǎn)介：本書是一本介紹計(jì)算機(jī)繪圖和計(jì)算機(jī)圖形處理方法和技術(shù)的參考書 介紹使用v1肋alc肋行計(jì)算機(jī)繪圖和計(jì)算機(jī)圖形處理算法的程序設(shè)計(jì)。 計(jì)算機(jī)圖形繪制技術(shù)為主線，以圖形應(yīng)用程序設(shè)計(jì)實(shí)例為中心。書中大量的程 序?qū)嵗棺x者能很快掌握vt閉alc界．邢T在圖形程序...
上傳時(shí)間： 2013-12-29
上傳用戶：qb1993225
資源簡(jiǎn)介：本書是一本介紹計(jì)算機(jī)繪圖和計(jì)算機(jī)圖形處理方法和技術(shù)的參考書 介紹使用v1肋alc肋行計(jì)算機(jī)繪圖和計(jì)算機(jī)圖形處理算法的程序設(shè)計(jì)。 計(jì)算機(jī)圖形繪制技術(shù)為主線，以圖形應(yīng)用程序設(shè)計(jì)實(shí)例為中心。書中大量的程 序?qū)嵗棺x者能很快掌握vt閉alc界．邢T在圖形程序...
上傳時(shí)間： 2015-06-21
上傳用戶：yepeng139
資源簡(jiǎn)介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程式寫作的方法。這些程式用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍後所討論的，這不是寫作Windows程式的唯一方法。然而，無論最...
上傳時(shí)間： 2013-12-09
上傳用戶：冇尾飛鉈
資源簡(jiǎn)介：中文名為：windows設(shè)備驅(qū)動(dòng)程序技術(shù)內(nèi)幕 詳細(xì)介紹了設(shè)備驅(qū)動(dòng)的原理和實(shí)現(xiàn)方法，并列舉了大量的實(shí)例方便大家學(xué)習(xí)
上傳時(shí)間： 2015-07-02
上傳用戶：6546544
資源簡(jiǎn)介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序?qū)懽鞯姆椒ā＿@些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍后所討論的，這不是寫作Windows程序的唯一方法。然而，無論最...
上傳時(shí)間： 2014-07-16
上傳用戶：270189020
資源簡(jiǎn)介：常用的單擊片接口液晶模塊驅(qū)動(dòng)程序。里面包括了大量的各種液晶模塊和單擊片接口的應(yīng)用例子。對(duì)入門的GGJJ極具實(shí)用參考價(jià)值。
上傳時(shí)間： 2014-01-11
上傳用戶：xieguodong1234
資源簡(jiǎn)介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序?qū)懽鞯姆椒ā＿@些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。
上傳時(shí)間： 2015-10-08
上傳用戶：evil
資源簡(jiǎn)介：數(shù)值方法（MATLAB版）第三版 英文 本書介紹了數(shù)值方法的理論和實(shí)踐知識(shí)。以實(shí)際例題說明概念定理，含大量習(xí)題和編程題。
上傳時(shí)間： 2014-01-24
上傳用戶：onewq
資源簡(jiǎn)介：與C語言編程相關(guān)的全面,深入的探討.本書覆蓋了絕大多書C語言重要話題.
上傳時(shí)間： 2015-11-24
上傳用戶：498732662
資源簡(jiǎn)介：JSP2_0技術(shù)手冊(cè).pdf 全面介紹了主流的java-web開發(fā)技術(shù)-jSP2.0 重點(diǎn)介紹了java在展示層的兩項(xiàng)重要技術(shù)：java servlet 與javaserver pages
上傳時(shí)間： 2014-09-06
上傳用戶：qazxsw
資源簡(jiǎn)介：Unix環(huán)境高級(jí)編程：本書全面介紹了UNIX系統(tǒng)的程序設(shè)計(jì)界面—系統(tǒng)調(diào)用界面和標(biāo)準(zhǔn)C庫提供的許多函數(shù)。 本書的前15章著重于理論知識(shí)的闡述，主要內(nèi)容包括UNIX文件和目錄、進(jìn)程環(huán)境、進(jìn)程控制、進(jìn)程間通信以及各種I/O。在此基礎(chǔ)上，分別按章介紹了多個(gè)應(yīng)用實(shí)例，...
上傳時(shí)間： 2015-12-23
上傳用戶：cmc_68289287
資源簡(jiǎn)介：s3c2440芯片嵌入linux（2.6內(nèi)核）系統(tǒng)后的LED控制程序。通過它可以學(xué)習(xí)再linux下一般I/O口的操作方法
上傳時(shí)間： 2014-01-11
上傳用戶：erkuizhang
