從對上層應(yīng)用的約束角度來看，作為一種通用程序設(shè)計語言的編譯優(yōu)化模型，Poly本身對應(yīng)用是敏感的，只能處理滿足一定約束條件的、規(guī)則的應(yīng)用。
2023-07-17 14:23:46
396 
坐標(biāo)變換是一種線性變換，如無約束，變換就不是唯一的。在電機(jī)的系統(tǒng)分析中，所應(yīng)用的坐標(biāo)變換可有兩種約束
2023-07-11 15:01:03356 
LLC輸入阻抗、增益、最大最小頻率及最大Q值的公式見基于Mathcad的LLC公式推導(dǎo)與化簡（一）。
2023-06-23 10:47:00628 
為了實現(xiàn)驗證目標(biāo)，測試用例開發(fā)者需要控制測試激勵的生成以覆蓋特定的場景。測試用例開發(fā)者可以用下面這些方法控制測試激勵的創(chuàng)建： 添加約束條件來控制單個數(shù)據(jù)項。 使用UVM sequences來控制多個
2023-06-17 14:06:32190 
在 MATLAB 中，可以使用 fmincon 函數(shù)來求解線性規(guī)劃問題，其中包括內(nèi)點法。fmincon 函數(shù)的使用方法非常靈活，可以通過修改參數(shù)來指定不同的算法、約束條件等。
2023-06-15 09:35:00269 
非線性規(guī)劃是一類在約束條件下優(yōu)化非線性目標(biāo)函數(shù)的問題。以下是幾個常見的非線性規(guī)劃算法。
2023-06-15 09:33:58262 
示例中采用的是“硬約束”，因為定義在類中的約束與隨機(jī)時指定的內(nèi)嵌約束“矛盾”，所以導(dǎo)致約束解析器解析隨機(jī)失敗，即“硬約束”要求所有相關(guān)的約束條件不能互相矛盾，否則將會隨機(jī)失敗。
2023-03-15 16:56:581129 本文通過具體題目來總結(jié)邏輯函數(shù)的化簡方法。
2022-12-30 14:07:554085 時序約束主要包括周期約束（FFS到FFS，即觸發(fā)器到觸發(fā)器）和偏移約束（IPAD到FFS、FFS到OPAD）以及靜態(tài)路徑約束（IPAD到OPAD）等3種。通過附加約束條件可以使綜合布線工具調(diào)整映射和布局布線過程，使設(shè)計達(dá)到時序要求。
2022-12-05 09:39:32519 的控制。今天和大家分享另一個亮點新功能：欠約束幾何體。 SOLIDWORKS?Simulation初學(xué)者非常常見的問題之一是軟件提示模型不穩(wěn)定或約束不恰當(dāng)，導(dǎo)致分析失敗。此時如果有工具可以幫助我們檢查約束條件是否合適，是十分實用的。欠約束幾何體就是這樣一個工具，可以實現(xiàn)約束條件檢查。 “欠約
2022-10-14 15:33:44445 上期我們知道了傳遞函數(shù)的重要性，而傳遞函數(shù)只有線性系統(tǒng)才有，開關(guān)電源并不是一個線性電路，所以我們需要將其線性化。當(dāng)然，這個線性化肯定是有約束條件的，即在一定條件下才成立。
2022-03-30 16:18:281564 
如何解決高速信號的手工布線和自動布線之間的矛盾現(xiàn)在較強(qiáng)的布線軟件的自動布線器大部分都有設(shè)定約束條件來控制繞線方式及過孔數(shù)目。各家 EDA公司的繞線引擎能力和約束條件的設(shè)定項目有時相差甚遠(yuǎn)。 例如
2009-03-20 14:07:39
傳統(tǒng)的機(jī)器人軟件編程是在預(yù)定義的架構(gòu)和約束條件下，在給定機(jī)器人的 CPU 中進(jìn)行功能編程。
2021-11-11 15:33:223207 
約束條件可以使綜合布線工具調(diào)整映射和布局布線過程，使設(shè)計達(dá)到時序要求。例如用OFFSET_IN_BEFORE約束可以告訴綜合布線工具輸入信號在時鐘之前什么時候準(zhǔn)備好，綜合布線工具就可以根據(jù)這個約束調(diào)整與IPAD相連的Logic Circuitry的綜合實現(xiàn)過程，使結(jié)果滿足FFS的建立時間要求。 附加時序
2021-10-11 10:23:094568 
約束條件可以使綜合布線工具調(diào)整映射和布局布線過程，使設(shè)計達(dá)到時序要求。例如用OFFSET_IN_BEFORE約束可以告訴綜合布線工具輸入信號在時鐘之前什么時候準(zhǔn)備好，綜合布線工具就可以根據(jù)這個約束調(diào)整與IPAD相連的Logic Circuitry的綜合實現(xiàn)過程，使結(jié)果滿足FFS的建立時間要求。 附加時序
2021-09-30 15:17:464032 針對一致性修復(fù)方法僅利用視頻的顏色和運動特征來優(yōu)化目標(biāo)函數(shù)，導(dǎo)致無法準(zhǔn)確預(yù)測未知區(qū)域像素值的冋題，將視頻的結(jié)構(gòu)信息引入到目標(biāo)函數(shù)中，提出結(jié)構(gòu)約束的視頻修復(fù)方法。首先計算破損視頻的時空金字塔，在從
2021-06-21 16:39:14
10 填充函數(shù)法是求解無約束全局優(yōu)化問題的重要方法，其核心工作在于構(gòu)建具有良妤性質(zhì)、形式簡單而且容易求解極小值的填充函數(shù)?；谔畛?b style="color: red">函數(shù)的定義，針對無約束的全局優(yōu)化問題的目標(biāo)函數(shù)滿足條件的基礎(chǔ)上，構(gòu)建了一個
2021-06-16 11:11:589 PCB設(shè)計－設(shè)置布線約束條件說明。
2021-04-13 09:54:2415 ? ? 固定支撐是在結(jié)構(gòu)有限元中，大家最常用的一種約束條件了。如圖1所示給出了設(shè)置固定支撐操作的方法。 圖1 設(shè)置固定支撐操作方法 固定支撐約束，可以應(yīng)用在點，線和面特征上。固定支撐表示被約束為位置
2021-03-03 10:17:4710980 綜合就是針對給定的電路實現(xiàn)功能和實現(xiàn)此電路的約束條件，如速度、功耗、成本及電路類型等，通過計算機(jī)進(jìn)行優(yōu)化處理，獲得一個能滿足上述要求的電路設(shè)計方案。被綜合的文件是HDL文件（或相應(yīng)文件等），綜合
2021-01-20 16:27:008 舉個形象的比喻：就好比我要讓代工廠（類比quartus ii）給我加工一批零件，要求長寬高為10x10x10cm，誤差不超過1mm（類比時序約束條件）。代工廠按要求（即約束條件）開始進(jìn)行生產(chǎn)加工
2021-01-13 16:02:008 PCB設(shè)計取決于一套規(guī)則和約束條件，這些規(guī)則和約束條件決定了電路板的布局方式。這些規(guī)則涵蓋了各個方面，從組件之間的緊密程度到特定網(wǎng)絡(luò)的布線厚度。但是，成功的唯一方法是為每個作業(yè)專門設(shè)計規(guī)則。以前可行
2021-01-13 13:32:173462 PCB布線對PCB的電磁兼容性影響很大，為了使PCB上的電路正常工作，應(yīng)根據(jù)本文所述的約束條件來優(yōu)化布線以及元器件/接頭和某些IC所用去耦電路的布局
2020-05-05 16:07:002261 用代數(shù)法化簡邏輯函數(shù)，需要依賴經(jīng)驗和技巧，有些復(fù)雜函數(shù)還不容易求得最簡形式?？ㄖZ圖化簡法是一種更加系統(tǒng)并有統(tǒng)一規(guī)則可循的邏輯函數(shù)化簡法。
2020-03-06 13:58:27130709 
參數(shù)約束編輯器有助于多維約束條件下的PCB布局布線
2019-09-11 17:41:10617 
MATLAB/Simulink 有一個 MBC（Model Based Calibration，基于模型的標(biāo)定）工具箱，可以快速、方便地根據(jù)優(yōu)化目標(biāo)和約束條件，標(biāo)定 MTPA 和弱磁控制表格。例如
2019-09-11 11:47:327005 
針對不同約束條件下步進(jìn)電機(jī)加減速的控制問題，首先分析了 S 曲線算法原理，尋找 S 曲線算法與其它常見的步進(jìn)電機(jī)運動控制算法之間的聯(lián)系。然后在分析 S 曲線傳統(tǒng)的七段模型后，提出了基于 S 曲線
2019-03-13 08:00:0035 回溯法的求解目標(biāo)是找出解空間樹中滿足約束條件的所有解，而分支限界法的求解目標(biāo)則是找出滿足約束條件的一個解，或是在滿足約束條件的解中找出在某種意義下的最優(yōu)解。 （2）搜索方式的不同：回溯法以深度優(yōu)先的方式搜索解空間樹，而分支限界法則以廣度優(yōu)先或以最小耗費優(yōu)先的方式搜索解空間樹。
2018-06-12 19:40:006670 
針對虛擬網(wǎng)絡(luò)可靠映射問題，引入虛擬網(wǎng)絡(luò)可生存約束條件，確保在底層網(wǎng)絡(luò)單節(jié)點失效情況下，被映射虛擬網(wǎng)絡(luò)剩余部分仍保持連通，最大程度確保虛擬網(wǎng)絡(luò)的完整性和服務(wù)的連續(xù)性。以最小化底層網(wǎng)絡(luò)映射開銷為目標(biāo)函數(shù)
2018-03-13 16:03:301 對風(fēng)電機(jī)組進(jìn)行預(yù)防性檢修，能夠有效提高機(jī)組的可靠性。首先以風(fēng)電機(jī)組單個部件的可靠度作為約束條件，以單部件單位時問檢修成本最小作為目標(biāo)函數(shù)，求得單部件的最佳檢修周期和檢修次數(shù)。在此基礎(chǔ)上，對符合
2018-03-13 14:47:550 本文開始介紹了卡諾圖概念與卡諾圖結(jié)構(gòu)特點，其次詳細(xì)介紹了卡諾圖的性質(zhì)，最后用例題說明了卡諾圖化簡邏輯函數(shù)的方法。
2018-03-07 16:36:38317482 
本文開始介紹了什么是卡諾圖與卡諾圖結(jié)構(gòu)特點，其次介紹了卡諾圖的性質(zhì)與畫卡諾圖方法及步驟，最后介紹了卡諾圖化簡的約束條件。
2018-03-01 10:37:3152540 
建立了考慮暫態(tài)穩(wěn)定約束和風(fēng)速不確定性的風(fēng)機(jī)極限穿透功率計算模型。采用修正能量函數(shù)法計算暫態(tài)穩(wěn)定指標(biāo)，建立暫態(tài)穩(wěn)定約束條件。針對風(fēng)電出力的不確定性，采用風(fēng)速預(yù)測誤差的模糊性表征風(fēng)電出力的模糊性，并
2018-02-10 10:49:290 ．因此，首要的任務(wù)就是開發(fā)新型數(shù)據(jù)清洗技術(shù)來提升數(shù)據(jù)質(zhì)量，以支持后續(xù)的數(shù)據(jù)管理與分析，現(xiàn)有工作主要研究基于函數(shù)依賴的數(shù)據(jù)修復(fù)技術(shù)，即以函數(shù)依賴來描述數(shù)據(jù)一致性約束，通過變更數(shù)據(jù)庫中部分元組的屬性值（而非增
2018-01-12 16:21:580 針對基本灰狼優(yōu)化（ GWO）算法存在求解精度低、收斂速度慢、局部搜索能力差的問題，提出一種改進(jìn)灰狼優(yōu)化（IGWO）算法用于求解約束優(yōu)化問題。該算法采用非固定多段映射罰函數(shù)法處理約束條件，將原約束優(yōu)化
2018-01-04 15:59:480 以及圖像顯著性檢測等方法生成密度函數(shù)圖像，并根據(jù)原始圖像的顏色信息和得到的密度函數(shù)圖像分兩次來指導(dǎo)初始化點集生成通過構(gòu)建最終的Power圖來逼近目標(biāo)圖像．利用Power圖對目標(biāo)圖像進(jìn)行區(qū)域分割，定義了度量逼近誤差的帶容積約束的優(yōu)化能量函數(shù)
2018-01-03 13:53:521 適應(yīng)值評價時進(jìn)行種群間的通信交流。通過混合4種約束處理技術(shù)，使得算法對于所有測試函數(shù)都能成功地尋找到最優(yōu)解，而且運算時間是串行算法的1/4。實驗結(jié)果表明：與相應(yīng)的串行算法及采用單一約束處理技術(shù)的算法比較，所提算法
2018-01-02 16:40:160 的關(guān)系才能使得算法更高效，首先介紹了約束優(yōu)化問題的定義：然后，系統(tǒng)地分析了目前存在的約束優(yōu)化方法：同時，基于約束處理機(jī)制，將這些方法分為罰函數(shù)法、可行性法則、隨機(jī)排序法、}約束處理法、多目標(biāo)優(yōu)化法、混合法等
2017-12-28 11:45:490 在網(wǎng)絡(luò)視頻和實時通信應(yīng)用中需要研究帶長度約束的K端網(wǎng)絡(luò)可靠性分析問題，即任意兩端點之間在給定時間延遲D約束內(nèi)的K端網(wǎng)絡(luò)可靠性。對帶長度約束的K端網(wǎng)絡(luò)可靠性問題進(jìn)行了研究，主要是在傳統(tǒng)不帶路徑約束的雙
2017-12-06 14:03:030 一 前置知識 拉格朗日乘子法是一種尋找多元函數(shù)在一組約束下的極值方法，通過引入拉格朗日乘子，可將有m個變量和n個約束條件的最優(yōu)化問題轉(zhuǎn)化為具有m+n個變量的無約束優(yōu)化問題。在介紹拉格朗日乘子法之前
2017-12-06 11:25:520 節(jié)點的個數(shù)分成若干個子模塊；其次，判斷待測行為在模型中的位置，建立待測行為測試集；最后，對每一個并行模塊中符合化簡條件的非待測行為設(shè)定執(zhí)行優(yōu)先級。通過對化簡前后狀態(tài)空間分析報告的對比，狀態(tài)空間中節(jié)點的縮減率至少達(dá)到4
2017-12-03 10:14:260 針對快速低秩編碼算法存在特征重建誤差較大，以及特征間局部約束條件丟失的問題，提出一種強(qiáng)化局部約束的快速低秩編碼算法。首先，使用聚類算法對圖像中特征進(jìn)行聚類，得到局部相似特征集合及其對應(yīng)的聚類中心
2017-11-24 16:39:300 電網(wǎng)不平衡時采用改進(jìn)無差拍控制的并網(wǎng)變流器不同約束條件的實現(xiàn)_姜衛(wèi)東，更新的小伙伴們可以瞧一瞧。
2016-09-12 16:13:303 卡諾圖化簡邏輯函數(shù)_邏輯代數(shù)基礎(chǔ)課件內(nèi)容.ppt。
2015-10-29 16:51:393 交換式以太網(wǎng)網(wǎng)絡(luò)的拓?fù)浣Y(jié)構(gòu)設(shè)計是一個帶約束的優(yōu)化問題，需要同時考慮多種約束條件。本文中定義了兩個主要的準(zhǔn)則：交換機(jī)負(fù)載均衡和流量最短路徑。根據(jù)設(shè)計目標(biāo)而衡量每條準(zhǔn)
2012-10-17 11:16:4226 對數(shù)字電路設(shè)計中的重要環(huán)節(jié)--邏輯函數(shù)式的處理進(jìn)行了解析。分邏輯函數(shù)式的化簡、檢查、變換3個方面作了詳細(xì)探討，且對每個方面給出了相應(yīng)的見解，即對邏輯函數(shù)式的化簡方面提
2012-09-12 16:44:4640 在Allegro SI的參數(shù)設(shè)置環(huán)境中你可以針對不同pcb設(shè)計要求規(guī)定不同的約束條件。這些不同的約束條件可以通過參數(shù)分配表分配給電路板上不同的特定區(qū)域
2012-06-26 15:26:282668 
針對目前導(dǎo)航系統(tǒng)中重要的多約束條件下路徑規(guī)劃功能，結(jié)合A*算法和蟻群算法提出一種新的不確定算法，該算法首先將多約束條件進(jìn)行融合使其適合蟻群轉(zhuǎn)移，并在基本蟻群算法基礎(chǔ)
2012-06-07 08:56:5343 本文首先推導(dǎo)出過采樣濾波器組精確重構(gòu)的條件，由于此時所需的約束條件數(shù)比臨界采樣時少，因而可以設(shè)計出頻域衰減特性更好的濾渡器組 然后提出了精碲重梅約束條件下原壅低通濾
2012-03-19 15:39:4512 時序約束的概念 時序約束主要包括周期約束(FFS到FFS，即觸發(fā)器到觸發(fā)器)和偏移約束(IPAD到FFS、FFS到OPAD)以及靜態(tài)路徑約束(STA, IPAD到OPAD)等3種。通過附加約束條件可以使綜合布線工具調(diào)整映射和布局布線過程，使設(shè)計達(dá)到時序要求。例如用OFFSET_IN_BEFORE
2011-03-16 18:10:38151 布爾代數(shù)和邏輯化簡基礎(chǔ)
2010-05-26 17:02:4332 邏輯代數(shù)和函數(shù)化簡
2.1 基本邏輯運算和復(fù)合邏輯運算2.2 邏輯函數(shù)及其描述2.3 邏輯代數(shù)的運算法則2.4 邏輯函數(shù)表達(dá)式的形式及其變換2.5 邏輯函數(shù)的
2010-05-26 16:54:1151 邏輯代數(shù)的化簡算法
觀察函數(shù)
1.該函數(shù)有四個邏輯變量，可表示成
Y=f(A、B、C、D)
2
2010-05-25 18:10:457682 
采用表格法化簡邏輯函數(shù)技術(shù)
1、概述
在設(shè)計邏輯電路圖時，由真值表直接得到的函數(shù)往往比較復(fù)雜。代數(shù)法和卡諾圖法等方法對于變
2010-05-25 17:51:171883 該文首先給出了基于LDPC 碼公鑰加密系統(tǒng)中授權(quán)用戶獲取明文的置信傳播迭代譯碼算法，并得出了在明文信息等概的情況下授權(quán)用戶要成功獲取明文，私鑰所需滿足的必要條件。然后
2010-03-06 10:42:498 邏輯函數(shù)的公式化簡法
一、最簡標(biāo)準(zhǔn)邏輯函數(shù)式中，包含的或運算的項最少；每一項中包含與運算的因子最少，二、常用的
2010-02-28 19:03:148401 
基于相空間重構(gòu)理論，該文提出了一種改進(jìn)的混沌時序降噪方法。首先利用遞歸圖對實際觀測的時間序列進(jìn)行混沌特性分析，然后將非線性約束條件引入局部投影方法之中，并在局
2009-11-24 14:43:3913 研究了小信號條件下，電子束在非均勻的三腔諧振腔π模駐波場中的渡越時間效應(yīng)，求得了束波功率轉(zhuǎn)換效率的函數(shù)表達(dá)式，通過采用“罰函數(shù)法”求解有約束條件的最優(yōu)化問題，得
2009-10-27 10:02:2215 本文提出了一種求解非線性約束優(yōu)化的全局最優(yōu)的新方法—它是基于利用非線性互補(bǔ)函數(shù)和不斷增加新的約束來重復(fù)解庫恩-塔克條件的非線性方程組的新方法。因為庫恩-塔克條
2009-08-11 10:53:1716 針對約束系統(tǒng)中非線性謂詞函數(shù)、指針、數(shù)組等復(fù)雜運算的求解問題，運用約束滿足搜索算法，通過減少約束方程組中參數(shù)變量的個數(shù)，逐步縮小參數(shù)變量的取值范圍，提出基于符
2009-04-15 10:05:4829 邏輯函數(shù)的卡諾圖化簡法
由前面的學(xué)習(xí)得知，利用代數(shù)法可以使邏輯函數(shù)變成較簡單的形式。但要求熟練掌握邏輯代數(shù)的基本定律，而且需要一些技巧，特別是經(jīng)化
2009-04-07 10:11:3033523 
第五講 邏輯函數(shù)的卡諾圖化簡法
2.5 邏輯函數(shù)的卡諾圖化簡法2. 5. 1 最小項與卡諾圖一、最小項的定義和性質(zhì)1．最小項的定
2009-03-30 16:03:475545 
第四講 邏輯函數(shù)的公式化簡法
2 . 4 . 1 化簡的意義與標(biāo)準(zhǔn)一、化簡邏輯函數(shù)的意義二、邏輯函數(shù)式的幾種常見形式和變換三、邏
2009-03-30 16:03:024833 
【摘要】提出了在組播應(yīng)用中滿足多個約束條件的一種組播路由算法。該算法以最短路徑算法為基礎(chǔ)，通過調(diào)整當(dāng)前形成的路由樹中節(jié)點的排列順序，依次為目的節(jié)點選擇到路由
2009-03-15 13:46:3814 在分析與恢復(fù)技術(shù)有關(guān)的GMPLS技術(shù)特性基礎(chǔ)上，提出了一種基于約束的GMPLS恢復(fù)算法(CGR)，并對相關(guān)的約束條件的設(shè)置做了具體的規(guī)定和說明，以網(wǎng)狀網(wǎng)為例，詳細(xì)介紹了所提出算
2008-11-18 09:55:589 邏輯函數(shù)的卡諾圖化簡法
2008-01-21 14:06:4748
電子發(fā)燒友App
工商網(wǎng)監(jiān)
評論