買專利賣專利找龍圖騰，真高效！ 查專利查商標(biāo)用IPTOP,全免費(fèi)！專利年費(fèi)監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)獲悉上海科技大學(xué)申請(qǐng)的專利伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法及伊辛機(jī)編程接口獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN117742678B 。

龍圖騰網(wǎng)通過國家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-08-22發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202311669059.5，技術(shù)領(lǐng)域涉及：G06F8/30；該發(fā)明授權(quán)伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法及伊辛機(jī)編程接口是由羅劍文;哈亞軍設(shè)計(jì)研發(fā)完成，并于2023-12-06向國家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法及伊辛機(jī)編程接口在說明書摘要公布了：本發(fā)明提出伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法及伊辛機(jī)編程接口，涉及一種面向約束優(yōu)化問題求解的伊辛感知計(jì)算機(jī)布爾代數(shù)量子電路綜合系統(tǒng)，同時(shí)也涉及相應(yīng)實(shí)施量子絕熱計(jì)算的量子伊辛機(jī)與其他通用伊辛機(jī)的編程接口，屬于約束優(yōu)化與量子絕熱計(jì)算領(lǐng)域。采用懲罰項(xiàng)描述的布爾約束原語表達(dá)系統(tǒng)作為基本表達(dá)對(duì)象，并通過伊辛感知的計(jì)算機(jī)代數(shù)系統(tǒng)進(jìn)行自動(dòng)的、高效的、可靠的重排與化簡，結(jié)合伊辛機(jī)特點(diǎn)縮減優(yōu)化問題實(shí)例規(guī)模、提高優(yōu)化問題實(shí)例在伊辛機(jī)上的求解效率。

本發(fā)明授權(quán)伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法及伊辛機(jī)編程接口在權(quán)利要求書中公布了：1.伊辛感知計(jì)算機(jī)布爾代數(shù)系統(tǒng)構(gòu)建方法，其特征在于，包括以下步驟： 步驟S1、在高級(jí)編程語言中構(gòu)建領(lǐng)域特定的約束優(yōu)化原語表達(dá)系統(tǒng)，提供面向電子設(shè)計(jì)自動(dòng)化、金融、能源、通信四個(gè)領(lǐng)域的含參抽象約束優(yōu)化原語； 步驟S2、在高級(jí)編程語言中構(gòu)建領(lǐng)域無關(guān)的約束優(yōu)化原語表達(dá)系統(tǒng)，提供變量管理、等式約束、互異約束、不等式約束、獨(dú)熱約束、選擇約束、極值約束、求和約束、線性約束含參抽象約束優(yōu)化原語； 步驟S3、在高級(jí)編程語言中，面向電子設(shè)計(jì)自動(dòng)化、金融、能源、通信四個(gè)領(lǐng)域，結(jié)合領(lǐng)域特定知識(shí)，構(gòu)建從領(lǐng)域特定的約束優(yōu)化原語表達(dá)系統(tǒng)表達(dá)的約束優(yōu)化復(fù)合體到領(lǐng)域無關(guān)的約束優(yōu)化原語表達(dá)系統(tǒng)表達(dá)的約束優(yōu)化復(fù)合體的領(lǐng)域知識(shí)分解，將S1中各領(lǐng)域特定含參抽象約束優(yōu)化原語展開為S2中各領(lǐng)域無關(guān)含參抽象約束優(yōu)化原語的序列； 步驟S4、在高級(jí)編程語言中構(gòu)建懲罰項(xiàng)量子電路描述的布爾約束原語表達(dá)系統(tǒng)，提供非門約束、與門約束、或門約束、單反衍生門約束、異或門約束以及同或門約束； 步驟S5、在高級(jí)編程語言中，構(gòu)建從領(lǐng)域無關(guān)的約束優(yōu)化原語表達(dá)系統(tǒng)表達(dá)的約束優(yōu)化復(fù)合體到懲罰項(xiàng)量子電路描述的布爾約束原語表達(dá)系統(tǒng)表達(dá)的約束優(yōu)化復(fù)合體的布爾展開，無結(jié)構(gòu)地將S2中各領(lǐng)域無關(guān)的約束優(yōu)化原語展開為S4中各懲罰項(xiàng)量子電路描述的布爾約束原語的無結(jié)構(gòu)序列； 步驟S6、在高級(jí)編程語言中，構(gòu)建基于伊辛感知與計(jì)算機(jī)布爾代數(shù)的量子電路綜合，提供常量傳播、常量折疊、非門融合、鏈形規(guī)約、樹形規(guī)約、計(jì)算強(qiáng)度約簡、稀疏格式導(dǎo)出、稠密格式導(dǎo)出功能。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人上海科技大學(xué)，其通訊地址為：201210 上海市浦東新區(qū)華夏中路393號(hào)；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。