基礎金屬	銅電解銅銅精礦銅管銅棒廢銅銅排銅合金精銅桿再生銅桿銅板帶鋁鋁土礦氧化鋁電解鋁鋁輔料鋁棒鋁合金錠廢鋁鋁桿鋁型材鋁板卷鉛鉛精礦鉛錠鉛蓄電池再生精鉛還原鉛廢鉛蓄電池鉛合金鋅鋅精礦電解鋅鋅合金氧化鋅鋅粉錫錫精礦錫錠錫材
稀貴金屬	稀土稀土礦稀土氧化物稀土金屬釹鐵硼小金屬銻鉍銦鍺鎵硒鉭鋯貴金屬白銀
新能源	鋰鋰礦鋰化合物正極材料電芯金屬鋰鎳鎳礦鎳鐵精煉鎳鎳鹽三元前驅體材料高冰鎳 MHP 鈷電解鈷鈷粉氯化鈷四氧化三鈷硫酸鈷鈷中間品氧化鈷碳酸鈷三元前驅體三元材料鈷酸鋰三元正極材料錳錳礦電解錳電池級硫酸錳鋰電正極三元前驅體磷酸鐵四氧化三鈷鋰電負極石油焦煅燒焦針狀焦瀝青焦包覆瀝青炭黑增炭劑光伏材料多晶硅硅片電池片光伏組件光伏玻璃工業(yè)硅隔膜隔膜電解液電解液

基礎金屬

銅電解銅銅精礦銅管銅棒廢銅銅排銅合金精銅桿再生銅桿銅板帶鋁鋁土礦氧化鋁電解鋁鋁輔料鋁棒鋁合金錠廢鋁鋁桿鋁型材鋁板卷鉛鉛精礦鉛錠鉛蓄電池再生精鉛還原鉛廢鉛蓄電池鉛合金鋅鋅精礦電解鋅鋅合金氧化鋅鋅粉錫錫精礦錫錠錫材

稀貴金屬

稀土稀土礦稀土氧化物稀土金屬釹鐵硼 小金屬銻鉍銦鍺鎵硒鉭鋯 貴金屬白銀

新能源

鋰鋰礦鋰化合物正極材料電芯金屬鋰鎳鎳礦鎳鐵精煉鎳鎳鹽三元前驅體材料高冰鎳 MHP 鈷電解鈷鈷粉氯化鈷四氧化三鈷硫酸鈷鈷中間品氧化鈷碳酸鈷三元前驅體三元材料鈷酸鋰三元正極材料錳錳礦電解錳電池級硫酸錳 鋰電正極三元前驅體磷酸鐵四氧化三鈷 鋰電負極石油焦煅燒焦針狀焦瀝青焦包覆瀝青炭黑增炭劑 光伏材料多晶硅硅片電池片光伏組件光伏玻璃工業(yè)硅隔膜隔膜 電解液電解液

華東	上海上海保稅區(qū)江蘇南京無錫徐州常州蘇州南通連云港淮安鹽城揚州鎮(zhèn)江泰州宿遷南京港宜興浙江杭州寧波溫州紹興湖州嘉興金華衢州臺州麗水舟山安徽合肥蕪湖蚌埠淮南馬鞍山淮北銅陵安慶黃山阜陽宿州滁州六安宣城池州亳州福建福州廈門漳州泉州三明莆田南平龍巖寧德江西南昌九江上饒撫州宜春吉安贛州景德鎮(zhèn)萍鄉(xiāng)新余鷹潭山東濟南青島淄博棗莊東營煙臺濰坊濟寧泰安威海日照濱州德州聊城臨沂菏澤萊州港龍口港黃島前灣港董家口港日照港青島港威海港煙臺港鄒平萊蕪
華北	北京天津天津港河北石家莊唐山秦皇島邯鄲邢臺保定張家口承德滄州廊坊衡水京唐港曹妃甸港黃驊港曹妃甸寧晉山西太原大同朔州忻州陽泉呂梁晉中長治晉城臨汾運城內蒙古呼和浩特包頭烏海赤峰通遼鄂爾多斯呼倫貝爾巴彥淖爾烏蘭察布興安盟錫林郭勒盟阿拉善盟
華南	廣東廣州韶關深圳珠海汕頭佛山江門湛江茂名肇慶惠州梅州汕尾河源陽江清遠東莞中山潮州揭陽云浮廣東保稅區(qū)黃埔港廣西南寧柳州桂林梧州北海崇左來賓賀州玉林百色河池欽州防城港貴港北海港欽州港來賓海南 ?？?/a>三亞三沙
華中	河南鄭州開封洛陽平頂山安陽鶴壁新鄉(xiāng)焦作濮陽許昌漯河三門峽商丘周口駐馬店南陽信陽濟源鞏義湖北武漢黃石十堰宜昌襄陽鄂州荊門孝感荊州黃岡咸寧隨州恩施州仙桃潛江天門湖南長沙株洲湘潭衡陽邵陽岳陽常德張家界益陽婁底郴州永州懷化湘西州
東北	遼寧沈陽大連鞍山撫順本溪丹東錦州營口阜新遼陽盤錦鐵嶺朝陽葫蘆島鲅魚圈盤錦港錦州港吉林長春四平遼源通化白山松原白城延邊州黑龍江哈爾濱齊齊哈爾雞西鶴崗雙鴨山大慶伊春佳木斯七臺河牡丹江黑河綏化大興安嶺地區(qū)
西南	重慶貴州貴陽遵義六盤水安順畢節(jié)銅仁黔東南州黔南州黔西南州四川成都自貢攀枝花瀘州德陽綿陽廣元遂寧內江樂山南充眉山宜賓廣安達州雅安巴中資陽阿壩州甘孜州涼山州西藏拉薩日喀則昌都林芝山南那曲阿里地區(qū)云南昆明曲靖玉溪昭通保山麗江普洱臨滄德宏州怒江州迪慶州大理州楚雄彝族州紅河彝族州文山苗族州西雙版納州
西北	甘肅蘭州嘉峪關金昌白銀天水武威張掖平?jīng)?/a>酒泉慶陽定西隴南臨夏州甘南州陜西西安寶雞咸陽銅川渭南延安榆林漢中安康商洛青海西寧海東海北州黃南州海南州果洛州玉樹州海西州寧夏銀川石嘴山吳忠固原中衛(wèi)新疆烏魯木齊克拉瑪依吐魯番哈密阿克蘇地區(qū)喀什和田昌吉州博爾塔州巴音州克孜州伊犁州塔城阿勒泰自治區(qū)

華東

上海上海保稅區(qū)江蘇南京無錫徐州常州蘇州南通連云港淮安鹽城揚州鎮(zhèn)江泰州宿遷南京港宜興浙江杭州寧波溫州紹興湖州嘉興金華衢州臺州麗水舟山安徽合肥蕪湖蚌埠淮南馬鞍山淮北銅陵安慶黃山阜陽宿州滁州六安宣城池州亳州福建福州廈門漳州泉州三明莆田南平龍巖寧德江西南昌九江上饒撫州宜春吉安贛州景德鎮(zhèn)萍鄉(xiāng)新余鷹潭山東濟南青島淄博棗莊東營煙臺濰坊濟寧泰安威海日照濱州德州聊城臨沂菏澤萊州港龍口港黃島前灣港董家口港日照港青島港威海港煙臺港鄒平萊蕪

華北

北京天津天津港河北石家莊唐山秦皇島邯鄲邢臺保定張家口承德滄州廊坊衡水京唐港曹妃甸港黃驊港曹妃甸寧晉山西太原大同朔州忻州陽泉呂梁晉中長治晉城臨汾運城 內蒙古呼和浩特包頭烏海赤峰通遼鄂爾多斯呼倫貝爾巴彥淖爾烏蘭察布興安盟錫林郭勒盟阿拉善盟

華南

廣東廣州韶關深圳珠海汕頭佛山江門湛江茂名肇慶惠州梅州汕尾河源陽江清遠東莞中山潮州揭陽云浮廣東保稅區(qū)黃埔港廣西南寧柳州桂林梧州北海崇左來賓賀州玉林百色河池欽州防城港貴港北海港欽州港來賓海南 ?？?/a>三亞三沙

華中

河南鄭州開封洛陽平頂山安陽鶴壁新鄉(xiāng)焦作濮陽許昌漯河三門峽商丘周口駐馬店南陽信陽濟源鞏義湖北武漢黃石十堰宜昌襄陽鄂州荊門孝感荊州黃岡咸寧隨州恩施州仙桃潛江天門湖南長沙株洲湘潭衡陽邵陽岳陽常德張家界益陽婁底郴州永州懷化湘西州

東北

遼寧沈陽大連鞍山撫順本溪丹東錦州營口阜新遼陽盤錦鐵嶺朝陽葫蘆島鲅魚圈盤錦港錦州港吉林長春四平遼源通化白山松原白城延邊州 黑龍江哈爾濱齊齊哈爾雞西鶴崗雙鴨山大慶伊春佳木斯七臺河牡丹江黑河綏化大興安嶺地區(qū)

西南

重慶貴州貴陽遵義六盤水安順畢節(jié)銅仁黔東南州黔南州黔西南州四川成都自貢攀枝花瀘州德陽綿陽廣元遂寧內江樂山南充眉山宜賓廣安達州雅安巴中資陽阿壩州甘孜州涼山州西藏拉薩日喀則昌都林芝山南那曲阿里地區(qū)云南昆明曲靖玉溪昭通保山麗江普洱臨滄德宏州怒江州迪慶州大理州楚雄彝族州紅河彝族州文山苗族州西雙版納州

西北

甘肅蘭州嘉峪關金昌白銀天水武威張掖平?jīng)?/a>酒泉慶陽定西隴南臨夏州甘南州陜西西安寶雞咸陽銅川渭南延安榆林漢中安康商洛青海西寧海東海北州黃南州海南州果洛州玉樹州海西州寧夏銀川石嘴山吳忠固原中衛(wèi)新疆烏魯木齊克拉瑪依吐魯番哈密阿克蘇地區(qū)喀什和田昌吉州博爾塔州巴音州克孜州伊犁州塔城阿勒泰自治區(qū)

基于依賴關系的EFSM模型事件失效修復方法

855 編輯：管理員來源：中冶有色技術網(wǎng)

2023-03-19 08:59:36

本發(fā)明公開了一種基于依賴關系的EFSM模型事件失效修復方法，屬于通訊協(xié)議、嵌入式系統(tǒng)等領域。當模型的外部環(huán)境發(fā)生變化的時候，表現(xiàn)在模型階段為模型遷移上的事件發(fā)生失效，進而導致模型部分路徑不能執(zhí)行，最終導致模型中部分功能的失效。本方法涉及的模型修復方法分為依賴分析階段和遷移路徑修復階段兩個核心操作。原有的修復方法使用可達性的分析方法，對失效事件之后的相關信息進行了完全的刪除，導致模型大量的遷移和狀態(tài)的失效，從而造成模型大部分功能的喪失。本方法通過模型的依賴性分析，把受影響的遷移分為可修復遷移和不可修復遷移，并通過本方法提出的遷移路徑修復規(guī)則進行修復，本方法保證了修復后模型的可執(zhí)行路徑與原模型語義一致。

聲明：

“基于依賴關系的EFSM模型事件失效修復方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究，如用于商業(yè)用途，請聯(lián)系該技術所有人。

我是此專利(論文)的發(fā)明人(作者)