上海豐蕾信息科技申請基於大模型的計算樹邏輯規範表達式生成專利，解決相關技術中自然語言需求到CTL形式化規格說明的轉換效率和精準度較低的技術問題

金融界2025年8月23日消息，國家知識產權局信息顯示，上海豐蕾信息科技有限公司申請一項名爲“基於大模型的計算樹邏輯規範表達式生成方法和裝置”的專利，公開號CN120524921A，申請日期爲2025年04月。

專利摘要顯示，本申請公開了一種基於大模型的計算樹邏輯規範表達式生成方法和裝置。其中該方法包括：基於預設的大語言模型和提示詞模板獲取自然語言NL到計算樹邏輯CTL的映射數據集；所述映射數據集包括多個自然語言與計算樹邏輯的數據對；基於所述映射數據集對預設的文本轉換模型進行訓練，得到目標文本轉換模型；基於原子命題轉換規則將自然語言需求文本中的原子命題替換爲佔位符，得到所述自然語言需求文本對應的預處理文本；將所述預處理文本輸入所述目標文本轉換模型，獲取所述預處理文本對應的CTL規範表達式。

天眼查資料顯示，上海豐蕾信息科技有限公司，成立於2015年，位於上海市，是一家以從事科技推廣和應用服務業爲主的企業。企業註冊資本3096.0395萬人民幣。通過天眼查大數據分析，上海豐蕾信息科技有限公司共對外投資了5家企業，參與招投標項目26次，財產線索方面有商標信息11條，專利信息127條，此外企業還擁有行政許可4個。

本文源自：金融界

作者：情報員