摘要：
作業 5：非上下文敏感指針分析 題目鏈接：https://tai-e.pascal-lab.net/pa5.html 評測鏈接：https://oj.pascal-lab.net/problem 作業出品：南京大學《軟件分析》課程，譚添、李樾 代碼講解 addReachable 這個函數的作用是遇到 閱讀全文
posted @ 2024-01-25 10:22
gonghr
閱讀(1571)
評論(0)
推薦(1)
摘要：
作業 4：類層次結構分析與過程間常量傳播 實現類層次結構分析（CHA） dispatch ：根據方法調用者的類和方法簽名尋找目標方法。 比較顯然，是個遞歸算法。 遞歸的終止條件有兩個，一個是如果一直找不到相應方法，不斷遞歸到父類，最后遞歸到 Object 在向上遞歸就是 null ，Object 沒 閱讀全文
posted @ 2024-01-24 10:47
gonghr
閱讀(1171)
評論(0)
推薦(0)
摘要：
作業 3：死代碼檢測 題目鏈接：https://tai-e.pascal-lab.net/pa3.html 評測鏈接：https://oj.pascal-lab.net/problem 作業出品：南京大學《軟件分析》課程，譚添、李樾 知識點講解 直接看題目鏈接中的講解即可，非常詳細。 代碼講解 整體 閱讀全文
posted @ 2024-01-23 10:00
gonghr
閱讀(1378)
評論(0)
推薦(2)
摘要：
作業 2：常量傳播和 Worklist 求解器 題目鏈接：https://tai-e.pascal-lab.net/pa2.html 評測鏈接：https://oj.pascal-lab.net/problem 作業出品：南京大學《軟件分析》課程，譚添、李樾 項目結構講解 實驗進行之前，要對項目中類 閱讀全文
posted @ 2024-01-22 11:01
gonghr
閱讀(1890)
評論(1)
推薦(0)
摘要：
作業 1：活躍變量分析和迭代求解器 題目鏈接：https://tai-e.pascal-lab.net/pa1.html 評測鏈接：https://oj.pascal-lab.net/problem 作業出品：南京大學《軟件分析》課程，譚添、李樾 實現活躍變量分析 newInitialFact ：負 閱讀全文
posted @ 2024-01-21 16:14
gonghr
閱讀(898)
評論(0)
推薦(0)
摘要：
Machine Teaching 1 Introduction :one: 什么是 Machine Teaching？ searching the optimal (usually minimal) teaching set given a target model and a specific l 閱讀全文
posted @ 2023-01-15 19:10
gonghr
閱讀(729)
評論(0)
推薦(1)
摘要：
設計模式通關指南 作業一 小王為某管理信息系統的用戶管理模塊設計了如圖所示接口。 1)請你從面向對象設計原則的角度詳細分析小王的設計存在什么問題？ 2)請你采用面向對象方法幫小王重新設計，使得新設計能夠符合面向對象設計原則。簡要說明你的設計思想，畫出UML類圖。 該設計違背了接口隔離原則和單一職責原 閱讀全文
posted @ 2022-11-20 18:16
gonghr
閱讀(2842)
評論(0)
推薦(2)
摘要：
計算機網絡通關指南 第 1 章 計算機網絡和因特網 概念速覽 計算機網絡：一些具有獨立功能的計算機通過通信介質相互連接起來，以實現資源共享的計算機的集合。 互連網：一些相互連接的計算機網絡的集合（網絡的網絡）。 互聯網：互連網的同義詞。 internet 與 Internet internet：普通 閱讀全文
posted @ 2022-11-13 11:32
gonghr
閱讀(8890)
評論(1)
推薦(6)
摘要：
第十六周 2 的 n 次冪 高精度乘法 #include<bits/stdc++.h> using namespace std; vector<int> mul(vector<int> &A) { vector<int> C; int t = 0; for (int i = 0; i < A.siz 閱讀全文
posted @ 2022-09-05 21:10
gonghr
閱讀(1359)
評論(0)
推薦(1)
摘要：
名詞解釋 Mutual exclusion（互斥）：互斥也叫間接制約關系。當一個進程進入臨界區使用臨界資源時，另一個進程必須等待，當占用臨界資源的進程退出臨界區后，另一進程才運行去訪問此臨界資源，阻止對共享資源同時訪問。 Process（進程）：進程是進程實體的運行過程，是程序的一次執行過程，是具有 閱讀全文
posted @ 2022-08-15 14:32
gonghr
閱讀(8715)
評論(1)
推薦(7)
摘要：
# 緒論與算法基礎 **算法的基本內容（算法設計的基本步驟）** - **算法設計** - 算法表示 - 算法確認 - **算法分析** - 程序測試 **算法的重要特性**： - 確定性：每一種運算必須要有確切的定義，無二義性； - 能行性：運算都是基本運算，原則上能在有限時間內完成； - 輸入： 閱讀全文
posted @ 2022-07-17 17:31
gonghr
閱讀(5350)
評論(0)
推薦(4)
摘要：
數據庫概述（Introduction） 什么是數據庫管理系統 Database Management System (DBMS) 數據 + 管理系統 數據庫存在的價值 Data redundancy and inconsistency（冗余與不一致性） Difficulty in accessing 閱讀全文
posted @ 2022-07-14 14:36
gonghr
閱讀(9449)
評論(0)
推薦(8)
摘要：
簡介 雙端隊列是一種特殊的隊列，它的兩端都可以進出元素，故而得名雙端隊列。 ArrayDeque是一種以循環數組方式實現的雙端隊列，它是非線程安全的。 它既可以作為隊列也可以作為棧。 繼承體系 ArrayDeque實現了 Deque接口，Deque接口繼承自 Queue接口，它是對 Queue的一種 閱讀全文
posted @ 2022-06-18 11:45
gonghr
閱讀(475)
評論(1)
推薦(0)
摘要：
紅黑樹 定義 動機： 二叉查找樹查找、插入、刪除最壞情況時間復雜度可能退化為 O(n)。 AVL 樹很好的限制了數的高度為 O(logn)，插入、刪除、查找的最壞時間復雜度均為 O(logn)；但刪除操作最多需要做 O(logn) 次旋轉。 紅黑樹是具有如下特點的二叉查找樹： 每個結點是紅色或黑色的 閱讀全文
posted @ 2022-04-01 23:21
gonghr
閱讀(712)
評論(1)
推薦(6)
摘要：
平衡二叉樹 定義 動機：二叉查找樹的操作實踐復雜度由樹高度決定，所以希望控制樹高，左右子樹盡可能平衡。 平衡二叉樹（AVL樹）：稱一棵二叉查找樹為高度平衡樹，當且僅當或由單一外結點組成，或由兩個子樹形 Ta 和 Tb 組成，并且滿足： |h(Ta) - h(Tb)| ? 1，其中 h(T) 表示樹 閱讀全文
posted @ 2022-03-29 18:32
gonghr
閱讀(1789)
評論(0)
推薦(4)
摘要：
二叉查找樹 定義 二叉查找樹（亦稱二叉搜索樹、二叉排序樹）是一棵二叉樹，且各結點關鍵詞互異，其中根序列按其關鍵詞遞增排列。 等價描述：二叉查找樹中任一結點 P，其左子樹中結點的關鍵詞都小于 P 的關鍵詞，右子樹中結點的關鍵詞都大于 P 的關鍵詞，且結點 P 的左右子樹也都是二叉查找樹 節點結構 1? 閱讀全文
posted @ 2022-03-27 21:42
gonghr
閱讀(429)
評論(0)
推薦(0)
摘要：
Trie 樹的模板 Trie 樹的簡介 Trie樹，又稱字典樹，單詞查找樹或者前綴樹，是一種用于快速檢索的多叉樹結構，如英文字母的字典樹是一個26叉樹，數字的字典樹是一個10叉樹。他的核心思想是空間換時間，空間消耗大但是插入和查詢有著很優秀的時間復雜度。 Trie 樹的定義 Trie樹的鍵不是直接保 閱讀全文
posted @ 2022-03-17 17:33
gonghr
閱讀(1006)
評論(0)
推薦(0)
摘要：
共 4 個 Chapter 參考資料： UML軟件建模技術-基于IBM RSA工具（清華大學出版社） UML2.0基礎與RSA建模實例教程（人民郵電） 面向對象葵花寶典（李運華）（電子工業出版社） 火球——UML大戰需求分析（第二版）（張傳波 ） 吉林大學統一建模語言及工具 ppt Why we m 閱讀全文
posted @ 2022-03-17 11:44
gonghr
閱讀(2966)
評論(0)
推薦(2)
摘要：
引言 組合數學研究的主要問題： 存在性問題 計數和分類問題 構造性問題 優化問題 幻方問題 幻方的定義 幻方：一個 n 階幻方是由整數 1，2，3…，n^2 按下述方式 組成的 n×n 方陣：該方陣每行上的整數的和、每列上的整數的和以及兩條對角線中每條對角線上的整數的和都等于同一個數 幻和 S：每一 閱讀全文
posted @ 2022-03-08 17:43
gonghr
閱讀(2157)
評論(0)
推薦(0)
摘要：
121. 買賣股票的最佳時機 LeetCode 121. 買賣股票的最佳時機 給定一個數組 prices ，它的第 i 個元素 prices[i] 表示一支給定股票第 i 天的價格。 你只能選擇 某一天 買入這只股票，并選擇在 未來的某一個不同的日子 賣出該股票。設計一個算法來計算你所能獲取的最大利 閱讀全文
posted @ 2022-02-15 14:30
gonghr
閱讀(500)
評論(1)
推薦(1)
摘要：
餓漢式 餓漢式：類加載就會導致該單實例對象被創建 // 問題1：為什么加 final // 問題2：如果實現了序列化接口, 還要做什么來防止反序列化破壞單例 public final class Singleton_hungry implements Serializable { // 問題3：為什 閱讀全文
posted @ 2022-01-27 12:26
gonghr
閱讀(665)
評論(0)
推薦(3)
摘要：
快速冪 引入 快速冪是用來解決求冪運算的高效方式。 例如我們要求 x 的 90 次方，一般的方法可以通過一個循環，每次乘一個 x，循環 90 次之后就可以得到答案，時間復雜度為 O(n)，效率較低。而通過快速冪，我們可以在 O(log(n)) 的時間復雜度內完成該運算。 具體方法 我們可以通過二進制 閱讀全文
posted @ 2022-01-18 17:53
gonghr
閱讀(446)
評論(0)
推薦(1)
摘要：
問題描述 給定一個數據流，數據流長度 N 很大，且 N 直到處理完所有數據之前都不可知，請問如何在只遍歷一遍數據（O(N)）的情況下，能夠隨機選取出 m 個不重復的數據。 比較直接的想法是利用隨機數算法，求 random(N) 得到隨機數，但是題目表明數據流極大，這種大數據量是無法一次都讀到內存的， 閱讀全文
posted @ 2022-01-17 16:52
gonghr
閱讀(1624)
評論(0)
推薦(0)
摘要：
整理了一下超星上的題目以及教材《計算機組成原理 第3版》——唐朔飛 的課后題。 第 1 章 計算機系統概論 超星題目 說明計算機系統的層次結構。 說明馮諾依曼體系結構的特點。 計算機硬件系統由運算器、存儲器、控制器、輸入設備和輸出設備5大部件組成。 指令和數據以同等地位存儲在存儲器中，并可按地址尋訪 閱讀全文
posted @ 2021-12-18 10:09
gonghr
閱讀(18981)
評論(5)
推薦(11)
摘要：
什么是 JVM ? 定義 Java Virtual Machine - java 程序的運行環境（java 二進制字節碼的運行環境） 好處 一次編寫，到處運行 自動內存管理，垃圾回收功能 數組下標越界檢查 多態 jvm jre jdk 常見的 JVM 整體結構 內存結構 程序計數器 定義 Progr 閱讀全文
posted @ 2021-11-18 20:48
gonghr
閱讀(482)
評論(0)
推薦(2)
摘要：
教材基于《計算機組成原理 第3版》 ——唐朔飛 無符號數和有符號數 無符號數 無符號數：整個機器字長的全部二進制位均為數值位，沒有符號位，相當于數的絕對值。 寄存器的位數用來反映無符號數的范圍。 有符號數 原碼 🌅 原碼的定義： 整數 小數 🌰 舉例： 反碼 🌅 反碼的定義： 整數 小數 補碼 閱讀全文
posted @ 2021-11-09 18:46
gonghr
閱讀(1260)
評論(0)
推薦(0)
摘要：
代數系統 定義6.1.1：設 S 是一個非空集合，稱 S×S 到 S 的一個映射 f 為 S 的一個二元代數運算，即,對于 S 中任意兩個元素 a ， b ，通過 f ，唯一確定 S 中一個元素 c ： f（a，b）= c ，常記為 a * b = c 。 由于一般情況下， (a，b) ， (b，a 閱讀全文
posted @ 2021-11-01 10:04
gonghr
閱讀(13038)
評論(3)
推薦(5)
摘要：
格 是格(L，≤)的子格。 格的定義 偏序格 定義：給出一個偏序集（L,≤）,如果對于任意a,b∈L，L的子集{a, b}在L中都有一個最大下界(記為inf{a, b})和一個最小上界(記為sup{a, b}) 則稱（L，≤）為一個格。 🔔 全序集是一個格，不是所有偏序集都是格. 是格： 不是格： 閱讀全文
posted @ 2021-10-31 18:50
gonghr
閱讀(7705)
評論(0)
推薦(2)
摘要：
MySQL存儲引擎 MySQL體系結構 體系結構的概念 任何一套系統當中，每個部件都能起到一定的作用！ MySQL的體系結構 體系結構詳解 客戶端連接 支持接口：支持的客戶端連接，例如C、Java、PHP等語言來連接MySQL數據庫 第一層：網絡連接層 連接池：管理、緩沖用戶的連接，線程處理等需要緩 閱讀全文
posted @ 2021-10-21 20:18
gonghr
閱讀(721)
評論(2)
推薦(4)
摘要：
MySQL存儲過程和函數 存儲過程和函數的概念 存儲過程和函數是 事先經過編譯并存儲在數據庫中的一段 SQL 語句的集合 存儲過程和函數的好處 存儲過程和函數可以重復使用，減輕開發人員的工作量。類似于java中方法可以多次調用 減少網絡流量，存儲過程和函數位于服務器上，調用的時候只需要傳遞名稱和參數 閱讀全文
posted @ 2021-10-17 08:30
gonghr
閱讀(734)
評論(0)
推薦(1)
浙公網安備 33010602011771號