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

1、系統(tǒng)工程方法

2、線性規(guī)劃

（1）線性規(guī)劃的一些特點：

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

如果存在兩個最優(yōu)解，則連接這兩點的線段內(nèi)所有的點都是最優(yōu)解，而線段兩端延長線上可能會超出可行解區(qū)。

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

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

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

目標函數(shù)為極大化類型；

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

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

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

3、死鎖

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

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

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

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

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