Linux環境下Qt4圖形界麵與MySQL編程 pdf epub mobi txt 電子書 下載2025

想要找書就要到 小美書屋

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

經過近20年的發展與壯大，Linux操作係統作為源代碼開放的自由軟件，越來越受到IT界的認可，在信息技術領域發揮著重要作用。圖形界麵是Linux走嚮成熟的重要支撐技術，備受眾多開發者的重視。在每個工程項目中，幾乎都離不開數據庫技術。因此，穩定的操作係統、友好的圖形界麵和完善的數據庫技術構成瞭一個完整的工程項目。

麵對Linux操作係統圖形界麵與數據庫編程，很多初學者不知道如何下手。本書正是在這種背景下編寫的，緊緊圍著本書的主綫“圖形界麵編程控件與數據庫編程基礎→簡單易學的實例→實際工程項目開發與場景分析”，以當前最新的Qt4.7為依據，采用“深入分析控件+實例解析”的方式，針對Linux操作係統下的Qt4.7與MySQL編程技術，並配閤經典的實際項目，進行瞭全麵細緻的講解。

本書主要內容：

Linux圖形界麵編程基礎。介紹瞭Qt4.7的全部控件，並針對每個控件設計瞭一個簡單易學的實例，加深讀者對Qt4.7控件的認識和理解。

基於Linux操作係統的MySQL數據庫設計基礎。介紹瞭MySQL基本操作，並針對每個操作設計瞭一個簡單易學的實例，加深讀者對MySQL操作的認識和理解。

基於Qt4.7與MySQL的經典實際項目案例開發。本書中設計瞭列車時刻錶查詢係統、酒店客房管理係統、房屋租賃係統、書店管理係統、學生上機考試係統、校園點菜係統、餐飲信息服務係統、視頻音頻播放器、桌麵常用軟件小助手、俄羅斯方塊遊戲和局域網聊天係統。這些案例給讀者提供瞭實際項目開發參考。

本書特點：

· 以最新的Qt4.7版本為依據，設計典型實例，並對開發場景進行詳細講解。

· 以Qt4+MySQL為基礎，精心策劃和組織Qt4+MySQL相關知識。

·以“Qt4+MySQL編程基礎→簡單實例開發→實際工程項目開發與場景分析”入門到精通的方式對Qt4+MySQL知識進行係統化學習。

· 立足於基礎知識，實例經典，深入工程實踐。

· 讀者能夠從零開始、快速入門，為Qt4與MySQL應用與開發打下堅實的基礎。

邱 鐵

博士，擁有超過10年的Linux使用和開發經驗。從高中時代起就對嵌入式電子及控製技術産生瞭濃厚的興趣，並且具有多項發明創造。大學畢業後開始涉足精彩的開源世界，特彆是在uC-OS和Linux開放源碼係統方麵，做瞭大量的工作。他創立瞭飛翔電子工作室，專門進行嵌入式與開放源代碼開發。2009年參加中國嵌入式係統課件大賽並獲得一等奬。著作有《ARM嵌入式係統結構與編程》、《Linux應用與開發典型實例精講》、《Linux內核API完全參考手冊》。

周 玉

碩士，飛翔電子工作室主要成員，主要從事ARM、Linux方麵的工作，曾參加全國大學生嵌入式設計大賽，參與完成的“基於S3C6410的全智能物聯網自組織與智能車導航設計”獲得大賽特等奬，熟悉Linux驅動、內核編程及應用開發，參與編寫《Linux內核API完全參考手冊》。

張民壘

碩士，飛翔電子工作室成員，熟悉Linux應用程序開發，特彆是在基於Linux環境下的用戶圖形界麵與數據庫方麵擁有獨到的見解。

齣版者的話
中文版序
譯者序
英文版序
前言
第1章　引言1
1.1　形式化方法2
1.2　開發與學習形式化方法3
1.3　使用形式化方法5
1.4　應用形式化方法6
1.5　本書概要7
第2章　預備知識8
2.1　集閤錶示法8
2.2　字符串和語言9
2.3　圖10
2.4　計算復雜度和可計算性12
2.5　擴展閱讀16
第3章　邏輯和定理證明17
3.1　一階邏輯17
3.2　項17
3.2.1　賦值和解釋18
3.2.2　多個論域上的結構19
3.3　一階公式19
3.4　命題邏輯23
3.5　證明一階邏輯公式24
3.5.1　正嚮推理25
3.5.2　反嚮推理26
3.6　證明係統的屬性26
3.6.1　正確性27
3.6.2　完備性27
3.6.3　可判定性27
3.6.4　結構完備性28
3.7　證明命題邏輯屬性28
3.8　一個實用的證明係統29
3.9　證明示例31
3.10　機器輔助證明37
3.11　機械化定理證明器39
3.12　擴展閱讀39
第4章　軟件係統建模40
4.1　順序係統、並發係統及反應式係統41
4.2　狀態42
4.3　狀態空間43
4.4　轉換係統44
4.5　轉換的粒度47
4.6　為程序建模的例子48
4.6.1　整數除法48
4.6.2　計算組閤數49
4.6.3　Eratosthenes篩法50
4.6.4　互斥52
4.7　非確定性轉換53
4.8　將命題變量賦給狀態54
4.9　閤並狀態空間55
4.10　綫性視角56
4.11　分支視角57
4.12　公平性58
4.13　偏序視角61
4.13.1　一個銀行係統的例子61
4.13.2　綫性化和全局狀態63
4.13.3　一個簡單的例子64
4.13.4　偏序模型的應用65
4.14　形式化建模65
4.15　一個項目的建模67
4.16　擴展閱讀68
第5章　形式化規約69
5.1　規約機製的屬性69
5.2　綫性時序邏輯70
5.3　公理化LTL74
5.4　LTL規約示例74
5.4.1　交通燈74
5.4.2　順序程序的屬性75
5.4.3　互斥76
5.4.4　公平性條件76
5.5　無限字上的自動機77
5.6　使用Büchi自動機作為規約79
5.7　確定性Büchi自動機80
5.8　其他規約機製81
5.9　復雜的規約83
5.10　規約的完整性83
5.11　擴展閱讀84
第6章　自動驗證85
6.1　狀態空間搜索86
6.2　狀態錶示方法87
6.3　自動機結構體係88
6.4　閤並Büchi自動機89
6.4.1　廣義Büchi自動機90
6.4.2　將廣義Büchi自動機轉換為簡單Büchi自動機91
6.5　Büchi自動機求補92
6.6　檢驗空集93
6.7　模型檢驗範例94
6.8　將LTL轉換為自動機95
6.9　模型檢驗的復雜度100
6.10　錶示公平性102
6.11　檢驗LTL規約102
6.12　安全屬性103
6.13　狀態空間爆炸問題104
6.14　模型檢驗的優點105
6.15　模型檢驗的缺點105
6.16　選擇自動驗證工具105
6.17　模型檢驗項目105
6.18　模型檢驗工具106
6.19　擴展閱讀106
第7章　演繹式軟件驗證107
7.1　流程圖程序的驗證107
7.2　含數組變量的驗證111
7.2.1　含數組變量賦值的問題112
7.2.2　修改證明係統112
7.3　完全正確性114
7.4　公理式程序驗證117
7.4.1　賦值公理117
7.4.2　空語句公理117
7.4.3　左強化規則117
7.4.4　右弱化規則118
7.4.5　順序組閤規則118
7.4.6　if-then-else規則118
7.4.7　while規則118
7.4.8　begin-end規則119
7.4.9　示例：整數除法119
7.5　並發程序的驗證121
7.6　演繹驗證的優點124
7.7　演繹驗證的缺點125
7.8　證明係統的正確性和完備性126
7.9　組閤性127
7.10　演繹驗證工具128
7.11　擴展閱讀128
第8章　進程代數與等價關係129
8.1　進程代數130
8.2　通信係統的演算131
8.2.1　動作前綴131
8.2.2　選擇132
8.2.3　並發組閤132
8.2.4　限製符133
8.2.5　重標記133
8.2.6　等式定義133
8.2.7　agent 0135
8.2.8　傳值agent135
8.3　示例：Dekker算法135
8.4　建模問題137
8.5　agent之間的等價性138
8.5.1　跡等價139
8.5.2　失敗等價139
8.5.3　模擬等價140
8.5.4　互模擬和弱互模擬等價142
8.6　等價關係的層級142
8.7　用進程代數研究並發143
8.8　計算互模擬等價145
8.9　LOTOS147
8.10　進程代數工具148
8.11　擴展閱讀148
第9章　軟件測試150
9.1　審查和走查151
9.2　控製流覆蓋準則152
9.2.1　語句覆蓋153
9.2.2　邊覆蓋153
9.2.3　條件覆蓋153
9.2.4　邊/條件覆蓋154
9.2.5　條件組閤覆蓋154
9.2.6　路徑覆蓋154
9.2.7　不同覆蓋準則的比較155
9.2.8　循環覆蓋155
9.3　數據流覆蓋準則155
9.4　傳播路徑條件157
9.4.1　示例：GCD程序159
9.4.2　含有輸入語句的路徑160
9.5　等價類劃分160
9.6　待測代碼預處理160
9.7　檢查測試套件161
9.8　組閤性162
9.9　黑盒測試163
9.10　概率測試164
9.11　測試的優點165
9.12　測試的缺點166
9.13　測試工具166
9.14　擴展閱讀166
第10章　組閤形式化方法167
10.1　抽象167
10.2　組閤測試與模型檢驗171
10.2.1　直接檢驗171
10.2.2　黑盒係統172
10.2.3　組閤鎖自動機172
10.2.4　黑盒死鎖檢測172
10.2.5　一緻性測試173
10.2.6　檢驗重置的可靠性175
10.2.7　黑盒檢驗176
10.3　淨室方法177
10.3.1　驗證177
10.3.2　證明審查177
10.3.3　測試177
10.4　擴展閱讀178
第11章　可視化179
11.1　在形式化方法中運用可視化179
11.2　消息序列圖180
11.3　可視化流程圖和狀態機182
11.4　層次狀態圖184
11.4.1　層次化狀態184
11.4.2　統一的齣口和入口185
11.4.3　並發185
11.4.4　輸入和輸齣185
11.5　程序文本的可視化186
11.6　Petri網186
11.7　可視化工具188
11.8　擴展閱讀188
結束語189
參考文獻191
· · · · · · (收起)