摘要: 計(jì)算機(jī)邏輯是邏輯領(lǐng)域和計(jì)算機(jī)科學(xué)領(lǐng)域之間的重疊部分。 該主題基本上可以分為三個(gè)主要領(lǐng)域：理論基礎(chǔ)和分析；使用計(jì)算機(jī)技術(shù)來(lái)幫助邏輯學(xué)家；將邏輯概念用于計(jì)算機(jī)應(yīng)用等。理論基礎(chǔ)邏輯在計(jì)算機(jī)科學(xué)中起著[閱讀全文]
摘要: 靜態(tài)時(shí)序分析（STA）是一種計(jì)算同步數(shù)字電路預(yù)期時(shí)序的仿真方法，不需要對(duì)整個(gè)電路進(jìn)行仿真。傳統(tǒng)上，高性能集成電路的特點(diǎn)是以其運(yùn)行的時(shí)鐘頻率為標(biāo)準(zhǔn)。衡量一個(gè)電路在指定速度下運(yùn)行的能力，需要在設(shè)計(jì)過(guò)程中測(cè)量[閱讀全文]
摘要: 計(jì)算機(jī)仿真模型的驗(yàn)證和確認(rèn)是在仿真模型的開(kāi)發(fā)過(guò)程中進(jìn)行的，最終目的是產(chǎn)生一個(gè)準(zhǔn)確和可信的模型。仿真模型正被越來(lái)越多地用于解決問(wèn)題和幫助決策。這些模型的開(kāi)發(fā)者和使用者，使用從這些模型結(jié)果中獲得的信息的決策[閱讀全文]
摘要: 圖譜著色?是圖譜標(biāo)記的一個(gè)特例；它是對(duì)圖譜中的元素進(jìn)行傳統(tǒng)上稱為顏色的標(biāo)簽分配，并受到某些約束。在其最簡(jiǎn)單的形式中，它是一種為圖的頂點(diǎn)著色的方法，使相鄰的兩個(gè)頂點(diǎn)不具有相同的顏色；這被稱為頂點(diǎn)著色。同樣[閱讀全文]
摘要: ?塑封機(jī)是將被封物品粘合在塑料膜內(nèi)的設(shè)備，又叫過(guò)膠機(jī)是由涂有熱熔膠的聚脂膜，通過(guò)過(guò)膠機(jī)的加工將被封物品粘合在塑料膜之內(nèi)，由于加工過(guò)程是在一定的壓力和高溫下進(jìn)行，而且采用的是高質(zhì)量聚脂膜和透視度很好的熱熔[閱讀全文]
摘要: 濾光片是用來(lái)選取所需輻射波段的光學(xué)器件，濾光片的一個(gè)共性，就是沒(méi)有任何濾光片能讓天體的成像變得更明亮，因?yàn)樗械臑V光片都會(huì)吸收某些波長(zhǎng)，從而使物體變得更暗。濾光片是塑料或玻璃片再加入特種染料做成的，紅色[閱讀全文]
摘要: 光譜儀是用于檢測(cè)空氣污染等的科學(xué)儀器，又稱分光儀，廣泛為人知的為直讀光譜儀。以光電倍增管等光探測(cè)器測(cè)量譜線不同波長(zhǎng)位置強(qiáng)度的裝置。它由一個(gè)入射狹縫，一個(gè)色散系統(tǒng)，一個(gè)成像系統(tǒng)和一個(gè)或多個(gè)出射狹縫組成。以[閱讀全文]
摘要: 氯雷他定/偽麻黃堿（Loratadine/Pseudoephedrine）又稱氯雷偽麻片；復(fù)方氯雷他定；開(kāi)瑞能；Clarinase，為氯雷他定和硫酸偽麻黃堿的復(fù)方制劑。 將4-(8-氯-5,6[閱讀全文]
摘要: 萬(wàn)網(wǎng)成立于1996年，是中國(guó)領(lǐng)先的互聯(lián)網(wǎng)應(yīng)用服務(wù)提供商。萬(wàn)網(wǎng)致力于為企業(yè)客戶提供完整的互聯(lián)網(wǎng)應(yīng)用服務(wù)，服務(wù)范圍涵蓋基礎(chǔ)的域名服務(wù)、主機(jī)服務(wù)、企業(yè)郵箱、網(wǎng)站建設(shè)、網(wǎng)絡(luò)營(yíng)銷、語(yǔ)音通信等；以及高端的企業(yè)電子商[閱讀全文]
摘要: 字節(jié)跳動(dòng)公益（以下簡(jiǎn)稱“字節(jié)公益”）依托字節(jié)跳動(dòng)的品牌優(yōu)勢(shì)，致力于通過(guò)激發(fā)員工參與、賦能公益組織和用戶、鏈接各利益相關(guān)方等多種方式，并以此構(gòu)建可持續(xù)的公益慈善生態(tài)圈，以期推動(dòng)全社會(huì)公益氛圍的形成，進(jìn)而高[閱讀全文]
摘要: 火山小視頻是一款15s原創(chuàng)生活小視頻社區(qū)，由今日頭條孵化，通過(guò)小視頻幫助用戶迅速獲取內(nèi)容，展示自我，獲得粉絲，發(fā)現(xiàn)同好。2017年6月，騰訊應(yīng)用寶“星APP”5月榜單發(fā)布，火山小視頻APP登頂新銳應(yīng)用。[閱讀全文]
摘要: 抖音星動(dòng)之夜是抖音主辦的綜合型娛樂(lè)活動(dòng)，首屆抖音星動(dòng)之夜于2021年1月19日19:00在抖音、今日頭條、西瓜視頻、抖音火山版、芒果TV、優(yōu)酷視頻等多平臺(tái)同步播出。作為擁有6億日活量的短視頻平臺(tái)，抖音首[閱讀全文]
摘要: 英朗是上汽通用汽車公司推出的精品中級(jí)車，售價(jià)區(qū)間10.99-14.39萬(wàn)元。英朗XT和英朗GT是2010年上海通用汽車別克品牌基于“全球平臺(tái)，歐美技術(shù)”推出的最新高端中級(jí)車。別克英朗XT是別克推出的首款[閱讀全文]
摘要: 杜康酒是中國(guó)最古老的歷史名酒，又產(chǎn)在中國(guó)酒文化的搖籃——杜康村，吸引了古今中外無(wú)數(shù)名人對(duì)它謳歌贊頌，有力地推動(dòng)了杜康酒的不斷發(fā)展。因杜康始造而得名，有“貢酒”、“仙酒”之譽(yù)。歷代墨客文人與它結(jié)下不解之緣[閱讀全文]
摘要: 電子標(biāo)簽是RFID技術(shù)的載體，又稱射頻標(biāo)簽、應(yīng)答器、數(shù)據(jù)載體；閱讀器又稱為讀出裝置、掃描器、讀頭、通信器、讀寫(xiě)器（取決于電子標(biāo)簽是否可以無(wú)線改寫(xiě)數(shù)據(jù)）。電子標(biāo)簽與閱讀器之間通過(guò)耦合元件實(shí)現(xiàn)射頻信號(hào)的空間[閱讀全文]
摘要: 液壓馬達(dá)亦稱為油馬達(dá)，是液壓系統(tǒng)的一種執(zhí)行元件，它將液壓泵提供的液體壓力能轉(zhuǎn)變?yōu)槠漭敵鲚S的機(jī)械能（轉(zhuǎn)矩和轉(zhuǎn)速）。液體是傳遞力和運(yùn)動(dòng)的介質(zhì)。主要應(yīng)用于注塑機(jī)械、船舶、起揚(yáng)機(jī)、工程機(jī)械、建筑機(jī)械、煤礦機(jī)械、[閱讀全文]
摘要: ?交通違章查詢是指查詢機(jī)動(dòng)車、非機(jī)動(dòng)車駕駛?cè)撕托腥耍`反道路交通安全法及交通管理規(guī)定的行為。交通違章查詢是指通過(guò)短信、電話、網(wǎng)絡(luò)的方式，查詢機(jī)動(dòng)車、非機(jī)動(dòng)車駕駛?cè)撕托腥诉`反交通管理的行為。機(jī)動(dòng)車違章查詢[閱讀全文]
摘要: 串口服務(wù)器是用在門禁、考勤等系統(tǒng)的服務(wù)器，提供串口轉(zhuǎn)網(wǎng)絡(luò)功能，能夠?qū)S-232/485/422串口轉(zhuǎn)換成TCP/IP協(xié)議網(wǎng)絡(luò)接口，實(shí)現(xiàn)RS-232/485/422串口與TCP/IP協(xié)議網(wǎng)絡(luò)接口的數(shù)據(jù)雙[閱讀全文]
摘要: 輿情監(jiān)測(cè)系統(tǒng)指通過(guò)對(duì)網(wǎng)絡(luò)各類信息匯集、分類、整合、篩選等技術(shù)處理，再形成對(duì)網(wǎng)絡(luò)熱點(diǎn)、動(dòng)態(tài)、網(wǎng)民意見(jiàn)等實(shí)時(shí)統(tǒng)計(jì)報(bào)表的軟件工具。它利用互聯(lián)網(wǎng)信息采集技術(shù)和信息智能處理技術(shù)，通過(guò)對(duì)互聯(lián)網(wǎng)海量信息自動(dòng)采集處理、[閱讀全文]
摘要: 焊接煙塵凈化器是凈化焊接時(shí)產(chǎn)生煙塵煙氣的設(shè)備，用于焊接、切割、打磨等工序中產(chǎn)生煙塵和粉塵的凈化以及對(duì)稀有金屬、貴重物料的回收等，適用于手把焊、電弧焊、二氧化碳保護(hù)焊、MAG焊接、碳弧氣刨焊、氣熔割、特殊[閱讀全文]