2025下半年軟考高級系統分析師考試11月9日上午和下午舉行，希賽網為考生準備了《2025下半年軟考系統分析師考前幾頁紙》資料。因篇幅有限，本文只展示了部分內容，完整內容請考生在本文文首本文資料處或文末的資料下載欄目下載PDF文檔。

1、系統工程方法

2、線性規劃

（1）線性規劃的一些特點：

線性規劃的可行解區是由一組線性約束條件形成的，從幾何意義來說，就是由一些線性解面圍割形成的區域，不一定是封閉的多邊形或多面體。

如果存在兩個最優解，則連接這兩點的線段內所有的點都是最優解，而線段兩端延長線上可能會超出可行解區。

增加一個約束條件時，要么縮小可行解區（新的約束條件分割了原來的可行解區），要么可行解區不變（新的約束條件與原來的可行解區不相交）。

如果最優解在可行解區邊界某個非頂點處達到，則隨著等值域向某個方向移動，目標函數的值會增加或減少（與最優解矛盾）或沒有變化（在此段邊界上都達到最優解），從而仍會在可行解區的某個頂點處達到最優解。若最優解存在且唯一，則可以從可行解區頂點處比較目標函數值來求解。

（2）線性規劃的標準型（standard form of linear programming）是線性規劃模型的標準形式。其主要特征為：

目標函數為極大化類型；

所有的約束條件都是等式；

所有約束方程右端的常數都是非負的；

所有決策變量都是非負的。

3、死鎖

所謂死鎖，是指兩個以上的進程互相都要求對方已經占有的資源導致無法繼續運行下去的現象。

（1）死鎖的四大條件：互斥；保持和等待；不剝奪；環路等待。

（2）死鎖的預防：打破四大條件。

（3）死鎖的避免：有序資源分配法、銀行家算法。

（4）死鎖資源數計算問題：根據題干給出的進程和資源分配，判斷形成死鎖的最小資源數或其它參數。對于這種情況，分配資源時每個進程得到可以完成進程的資源數減一，此時是形成死鎖的最差情況，在此情況下多1個資源即可解決死鎖問題，即不可能形成死鎖。假設m個進程各自需要w個R資源，系統中共有n個R資源，此時不可能形成死鎖的條件是：m*(w-1)+1<=n。