詞語(yǔ)解釋
保守?cái)U(kuò)展是指在通信中,在發(fā)送信息時(shí),在原有信息的基礎(chǔ)上增加一些額外的信息,以提高傳輸效率。它的應(yīng)用可以提高通信的效率,提高數(shù)據(jù)傳輸速度,減少網(wǎng)絡(luò)流量,減少網(wǎng)絡(luò)延遲,改善網(wǎng)絡(luò)質(zhì)量,提高網(wǎng)絡(luò)安全性,減少網(wǎng)絡(luò)擁塞等。 保守?cái)U(kuò)展的應(yīng)用,主要是在數(shù)據(jù)傳輸過(guò)程中,對(duì)發(fā)送的數(shù)據(jù)進(jìn)行增強(qiáng),以提高傳輸效率。在發(fā)送的數(shù)據(jù)中,可以增加一些額外的信息,以提高傳輸?shù)男。比如在發(fā)送數(shù)據(jù)包時(shí),可以增加一些額外的數(shù)據(jù),以提高傳輸效率。另外,還可以在發(fā)送的數(shù)據(jù)中增加一些額外的控制信息,以提高傳輸效率。 此外,保守?cái)U(kuò)展還可以用于改善網(wǎng)絡(luò)質(zhì)量。例如,在發(fā)送數(shù)據(jù)時(shí),可以增加一些額外的信息,以提高網(wǎng)絡(luò)的可靠性。另外,也可以在發(fā)送的數(shù)據(jù)中增加一些額外的控制信息,以提高網(wǎng)絡(luò)的安全性。 最后,保守?cái)U(kuò)展還可以用于減少網(wǎng)絡(luò)擁塞。例如,可以在發(fā)送的數(shù)據(jù)中增加一些額外的信息,以提高網(wǎng)絡(luò)的可靠性,減少網(wǎng)絡(luò)擁塞。 總之,保守?cái)U(kuò)展在通信中有著重要的作用,它可以提高傳輸效率,改善網(wǎng)絡(luò)質(zhì)量,提高網(wǎng)絡(luò)安全性,減少網(wǎng)絡(luò)擁塞等,從而改善網(wǎng)絡(luò)的性能。 保守?cái)U(kuò)展是邏輯中的一個(gè)概念。一個(gè)知識(shí)庫(kù)K''是是K的擴(kuò)展,如果K是K''的一個(gè)子集;K''是是K的保守?cái)U(kuò)展,如果對(duì)所有只用K中的名字構(gòu)造的命題α, K'' 當(dāng)且僅當(dāng) K。換句話說(shuō),保守?cái)U(kuò)展不會(huì)改變?cè)械闹R(shí)庫(kù)的結(jié)構(gòu)。保守?cái)U(kuò)展在許多領(lǐng)域都有應(yīng)用,如模塊化本體和敏感知識(shí)的保護(hù)。 在邏輯和推導(dǎo)機(jī)制中,I和J分別是一個(gè)解釋(Interpretation),如果J是I的保守?cái)U(kuò)展,必須滿足以下條件: 1) 解釋I作用在語(yǔ)言集合L中,解釋J必須作用在語(yǔ)言集合L''中,并且L''包含L 2) 解釋I的域(Domain)等于解釋J的域 3) 對(duì)于任何在語(yǔ)言集合L中的元素e,I(e) = J(e) 那么我們說(shuō)J是I的保守?cái)U(kuò)展。
保守?cái)U(kuò)展是邏輯中的一個(gè)概念。一個(gè)知識(shí)庫(kù)K''是是K的擴(kuò)展,如果K是K''的一個(gè)子集;K''是是K的保守?cái)U(kuò)展,如果對(duì)所有只用K中的名字構(gòu)造的命題α, K'' 當(dāng)且僅當(dāng) K。換句話說(shuō),保守?cái)U(kuò)展不會(huì)改變?cè)械闹R(shí)庫(kù)的結(jié)構(gòu)。保守?cái)U(kuò)展在許多領(lǐng)域都有應(yīng)用,如模塊化本體和敏感知識(shí)的保護(hù)。 在邏輯和推導(dǎo)機(jī)制中,I和J分別是一個(gè)解釋(Interpretation),如果J是I的保守?cái)U(kuò)展,必須滿足以下條件: 1) 解釋I作用在語(yǔ)言集合L中,解釋J必須作用在語(yǔ)言集合L''中,并且L''包含L 2) 解釋I的域(Domain)等于解釋J的域 3) 對(duì)于任何在語(yǔ)言集合L中的元素e,I(e) = J(e) 那么我們說(shuō)J是I的保守?cái)U(kuò)展。
抱歉,此頁(yè)面的內(nèi)容受版權(quán)保護(hù),復(fù)制需扣除次數(shù),次數(shù)不足時(shí)需付費(fèi)購(gòu)買。
如需下載請(qǐng)點(diǎn)擊:點(diǎn)擊此處下載
掃碼付費(fèi)即可復(fù)制
MS-AIS | MS-RDI | 寬頻帶天線 | 市場(chǎng)環(huán)境 | mediaFLO | SN | ME | jci | NZ-DSF | 運(yùn)營(yíng)商重組 | 光時(shí)分復(fù)用 | 以太交換模塊 |
移動(dòng)通信網(wǎng) | 通信人才網(wǎng) | 更新日志 | 團(tuán)隊(duì)博客 | 免責(zé)聲明 | 關(guān)于詞典 | 幫助