摘要: 計算機(jī)邏輯是邏輯領(lǐng)域和計算機(jī)科學(xué)領(lǐng)域之間的重疊部分。 該主題基本上可以分為三個主要領(lǐng)域：理論基礎(chǔ)和分析；使用計算機(jī)技術(shù)來幫助邏輯學(xué)家；將邏輯概念用于計算機(jī)應(yīng)用等。理論基礎(chǔ)邏輯在計算機(jī)科學(xué)中起著[閱讀全文]

摘要: 靜態(tài)時序分析（STA）是一種計算同步數(shù)字電路預(yù)期時序的仿真方法，不需要對整個電路進(jìn)行仿真。傳統(tǒng)上，高性能集成電路的特點(diǎn)是以其運(yùn)行的時鐘頻率為標(biāo)準(zhǔn)。衡量一個電路在指定速度下運(yùn)行的能力，需要在設(shè)計過程中測量[閱讀全文]

摘要: 計算機(jī)仿真模型的驗證和確認(rèn)是在仿真模型的開發(fā)過程中進(jìn)行的，最終目的是產(chǎn)生一個準(zhǔn)確和可信的模型。仿真模型正被越來越多地用于解決問題和幫助決策。這些模型的開發(fā)者和使用者，使用從這些模型結(jié)果中獲得的信息的決策[閱讀全文]

摘要: 圖譜著色?是圖譜標(biāo)記的一個特例；它是對圖譜中的元素進(jìn)行傳統(tǒng)上稱為顏色的標(biāo)簽分配，并受到某些約束。在其最簡單的形式中，它是一種為圖的頂點(diǎn)著色的方法，使相鄰的兩個頂點(diǎn)不具有相同的顏色；這被稱為頂點(diǎn)著色。同樣[閱讀全文]

摘要: ?塑封機(jī)是將被封物品粘合在塑料膜內(nèi)的設(shè)備，又叫過膠機(jī)是由涂有熱熔膠的聚脂膜，通過過膠機(jī)的加工將被封物品粘合在塑料膜之內(nèi)，由于加工過程是在一定的壓力和高溫下進(jìn)行，而且采用的是高質(zhì)量聚脂膜和透視度很好的熱熔[閱讀全文]

摘要: 濾光片是用來選取所需輻射波段的光學(xué)器件，濾光片的一個共性，就是沒有任何濾光片能讓天體的成像變得更明亮，因為所有的濾光片都會吸收某些波長，從而使物體變得更暗。濾光片是塑料或玻璃片再加入特種染料做成的，紅色[閱讀全文]

摘要: 光譜儀是用于檢測空氣污染等的科學(xué)儀器，又稱分光儀，廣泛為人知的為直讀光譜儀。以光電倍增管等光探測器測量譜線不同波長位置強(qiáng)度的裝置。它由一個入射狹縫，一個色散系統(tǒng)，一個成像系統(tǒng)和一個或多個出射狹縫組成。以[閱讀全文]

摘要: 氯雷他定/偽麻黃堿（Loratadine/Pseudoephedrine）又稱氯雷偽麻片；復(fù)方氯雷他定；開瑞能；Clarinase，為氯雷他定和硫酸偽麻黃堿的復(fù)方制劑。 將4-(8-氯-5,6[閱讀全文]

摘要: 萬網(wǎng)成立于1996年，是中國領(lǐng)先的互聯(lián)網(wǎng)應(yīng)用服務(wù)提供商。萬網(wǎng)致力于為企業(yè)客戶提供完整的互聯(lián)網(wǎng)應(yīng)用服務(wù)，服務(wù)范圍涵蓋基礎(chǔ)的域名服務(wù)、主機(jī)服務(wù)、企業(yè)郵箱、網(wǎng)站建設(shè)、網(wǎng)絡(luò)營銷、語音通信等；以及高端的企業(yè)電子商[閱讀全文]

摘要: 字節(jié)跳動公益（以下簡稱“字節(jié)公益”）依托字節(jié)跳動的品牌優(yōu)勢，致力于通過激發(fā)員工參與、賦能公益組織和用戶、鏈接各利益相關(guān)方等多種方式，并以此構(gòu)建可持續(xù)的公益慈善生態(tài)圈，以期推動全社會公益氛圍的形成，進(jìn)而高[閱讀全文]

摘要: 火山小視頻是一款15s原創(chuàng)生活小視頻社區(qū)，由今日頭條孵化，通過小視頻幫助用戶迅速獲取內(nèi)容，展示自我，獲得粉絲，發(fā)現(xiàn)同好。2017年6月，騰訊應(yīng)用寶“星APP”5月榜單發(fā)布，火山小視頻APP登頂新銳應(yīng)用。[閱讀全文]

摘要: 抖音星動之夜是抖音主辦的綜合型娛樂活動，首屆抖音星動之夜于2021年1月19日19:00在抖音、今日頭條、西瓜視頻、抖音火山版、芒果TV、優(yōu)酷視頻等多平臺同步播出。作為擁有6億日活量的短視頻平臺，抖音首[閱讀全文]

摘要: 英朗是上汽通用汽車公司推出的精品中級車，售價區(qū)間10.99-14.39萬元。英朗XT和英朗GT是2010年上海通用汽車別克品牌基于“全球平臺，歐美技術(shù)”推出的最新高端中級車。別克英朗XT是別克推出的首款[閱讀全文]

摘要: 杜康酒是中國最古老的歷史名酒，又產(chǎn)在中國酒文化的搖籃——杜康村，吸引了古今中外無數(shù)名人對它謳歌贊頌，有力地推動了杜康酒的不斷發(fā)展。因杜康始造而得名，有“貢酒”、“仙酒”之譽(yù)。歷代墨客文人與它結(jié)下不解之緣[閱讀全文]

摘要: 電子標(biāo)簽是RFID技術(shù)的載體，又稱射頻標(biāo)簽、應(yīng)答器、數(shù)據(jù)載體；閱讀器又稱為讀出裝置、掃描器、讀頭、通信器、讀寫器（取決于電子標(biāo)簽是否可以無線改寫數(shù)據(jù)）。電子標(biāo)簽與閱讀器之間通過耦合元件實現(xiàn)射頻信號的空間[閱讀全文]

摘要: 液壓馬達(dá)亦稱為油馬達(dá)，是液壓系統(tǒng)的一種執(zhí)行元件，它將液壓泵提供的液體壓力能轉(zhuǎn)變?yōu)槠漭敵鲚S的機(jī)械能（轉(zhuǎn)矩和轉(zhuǎn)速）。液體是傳遞力和運(yùn)動的介質(zhì)。主要應(yīng)用于注塑機(jī)械、船舶、起揚(yáng)機(jī)、工程機(jī)械、建筑機(jī)械、煤礦機(jī)械、[閱讀全文]

摘要: ?交通違章查詢是指查詢機(jī)動車、非機(jī)動車駕駛?cè)撕托腥耍`反道路交通安全法及交通管理規(guī)定的行為。交通違章查詢是指通過短信、電話、網(wǎng)絡(luò)的方式，查詢機(jī)動車、非機(jī)動車駕駛?cè)撕托腥诉`反交通管理的行為。機(jī)動車違章查詢[閱讀全文]

摘要: 串口服務(wù)器是用在門禁、考勤等系統(tǒng)的服務(wù)器，提供串口轉(zhuǎn)網(wǎng)絡(luò)功能，能夠?qū)S-232/485/422串口轉(zhuǎn)換成TCP/IP協(xié)議網(wǎng)絡(luò)接口，實現(xiàn)RS-232/485/422串口與TCP/IP協(xié)議網(wǎng)絡(luò)接口的數(shù)據(jù)雙[閱讀全文]

摘要: 輿情監(jiān)測系統(tǒng)指通過對網(wǎng)絡(luò)各類信息匯集、分類、整合、篩選等技術(shù)處理，再形成對網(wǎng)絡(luò)熱點(diǎn)、動態(tài)、網(wǎng)民意見等實時統(tǒng)計報表的軟件工具。它利用互聯(lián)網(wǎng)信息采集技術(shù)和信息智能處理技術(shù)，通過對互聯(lián)網(wǎng)海量信息自動采集處理、[閱讀全文]

摘要: 焊接煙塵凈化器是凈化焊接時產(chǎn)生煙塵煙氣的設(shè)備，用于焊接、切割、打磨等工序中產(chǎn)生煙塵和粉塵的凈化以及對稀有金屬、貴重物料的回收等，適用于手把焊、電弧焊、二氧化碳保護(hù)焊、MAG焊接、碳弧氣刨焊、氣熔割、特殊[閱讀全文]