• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      基于時(shí)間序列分析的港口集裝箱吞吐量預(yù)測(cè)分析

      2016-10-10 03:29:17孔琳琳許文秀吳金卓
      森林工程 2016年5期
      關(guān)鍵詞:序列圖季節(jié)性吞吐量

      孔琳琳,劉 瀾,許文秀,吳金卓*

      (1.東北林業(yè)大學(xué) 工程技術(shù)學(xué)院 哈爾濱 150040;2.湖南工學(xué)院,湖南 衡陽(yáng) 421002)

      ?

      基于時(shí)間序列分析的港口集裝箱吞吐量預(yù)測(cè)分析

      孔琳琳1,劉瀾2,許文秀1,吳金卓1*

      (1.東北林業(yè)大學(xué) 工程技術(shù)學(xué)院 哈爾濱 150040;2.湖南工學(xué)院,湖南 衡陽(yáng) 421002)

      集裝箱運(yùn)輸是現(xiàn)今國(guó)際運(yùn)輸?shù)闹饕绞街?,長(zhǎng)期監(jiān)測(cè)港口集裝箱吞吐量并對(duì)未來(lái)趨勢(shì)進(jìn)行相關(guān)的預(yù)測(cè)研究,對(duì)于港口基礎(chǔ)設(shè)施建設(shè)、區(qū)域經(jīng)濟(jì)發(fā)展以及國(guó)家戰(zhàn)略發(fā)展方面都有著非常深遠(yuǎn)的意義。本文針對(duì)影響港口集裝箱吞吐量復(fù)雜性因素的非線性特點(diǎn),以中國(guó)某港口2001年1月至2014年12月共14 a的集裝箱吞吐量數(shù)據(jù)為例,利用統(tǒng)計(jì)分析軟件R對(duì)該港口集裝箱吞吐量數(shù)據(jù)進(jìn)行時(shí)間序列分析,提出了一個(gè)合理的ARIMA模型來(lái)描述集裝箱吞吐量的變化,并對(duì)模型進(jìn)行檢驗(yàn)優(yōu)化,應(yīng)用該模型預(yù)測(cè)十個(gè)月后的集裝箱吞吐量數(shù)據(jù)。結(jié)果表明,利用統(tǒng)計(jì)分析軟件R對(duì)港口集裝箱吞吐量數(shù)據(jù)進(jìn)行時(shí)間序列分析后得到的預(yù)測(cè)模型可以很好的描述港口集裝箱吞吐量變化情況,據(jù)此可以為港口在不同時(shí)期制定最優(yōu)措施提供參考。

      集裝箱吞吐量;時(shí)間序列分析;預(yù)測(cè);模型

      0 引 言

      港口作為一個(gè)重要的交通樞紐,是各種交通工具的轉(zhuǎn)換中心,大量貨物聚集在此,不僅能促進(jìn)當(dāng)?shù)亟?jīng)濟(jì)的發(fā)展,而且也能拉動(dòng)港口周邊地區(qū)的工業(yè)發(fā)展,在一個(gè)國(guó)家的經(jīng)濟(jì)發(fā)展中發(fā)揮著至關(guān)重要的作用[1-2]。港口吞吐量這一指標(biāo)就是反映一定時(shí)間內(nèi)(一般為1 a)港口生產(chǎn)經(jīng)營(yíng)活動(dòng)規(guī)模以及國(guó)家和地區(qū)經(jīng)濟(jì)發(fā)展?fàn)顩r的參考指標(biāo),對(duì)港口的建設(shè)和管理具有重大的影響。

      港口吞吐量分為衡量旅客流動(dòng)情況的旅客吞吐量和衡量貨物流動(dòng)情況的集裝箱吞吐量?jī)煞N。長(zhǎng)期監(jiān)測(cè)港口集裝箱吞吐量并對(duì)未來(lái)趨勢(shì)進(jìn)行相關(guān)的預(yù)測(cè)研究,對(duì)于港口基礎(chǔ)設(shè)施建設(shè)、區(qū)域經(jīng)濟(jì)發(fā)展以及國(guó)家戰(zhàn)略發(fā)展方面都有著非常深遠(yuǎn)的意義[3-4]。翟希東[5]采用灰色理論模型和改進(jìn)的神經(jīng)網(wǎng)絡(luò)模型結(jié)合的方法建立港口集裝箱吞吐量預(yù)測(cè)模型,并以大連港集裝箱吞吐量的實(shí)際發(fā)生數(shù)據(jù)為實(shí)驗(yàn)樣本,驗(yàn)證了提出的集裝箱吞吐量預(yù)測(cè)模型的有效性和實(shí)用性。黃維忠[6]為避免以往研究中吞吐量的預(yù)測(cè)值與實(shí)測(cè)值之間差距較大的情況,突破性地提出了一種動(dòng)態(tài)預(yù)測(cè)方法對(duì)吞吐量進(jìn)行預(yù)測(cè),并以上海港為實(shí)例驗(yàn)證了此方法的可行性。江艦等[7]以大連港為例對(duì)集裝箱吞吐量的影響因素以及其產(chǎn)生的經(jīng)濟(jì)影響進(jìn)行計(jì)量分析,并建立了港口城市GDP與進(jìn)出口商品總值對(duì)集裝箱吞吐量影響的二元線性回歸模型,從而很好地解釋了其中的關(guān)系,也對(duì)國(guó)內(nèi)其他港口城市起到了很好的借鑒意義。

      市場(chǎng)經(jīng)濟(jì)、自然條件、國(guó)家政策等因素都是影響集裝箱吞吐量的重要因素。由于這些因素具有極強(qiáng)的復(fù)雜性而不能用精確的語(yǔ)言來(lái)描述其作用機(jī)制,屬于非線性系統(tǒng)問題,因此這些因素最終都會(huì)反饋在其時(shí)間序列上[8-9]。由此可見,對(duì)港口集裝箱吞吐量建立時(shí)間序列進(jìn)行分析不僅有利于了解集裝箱吞吐量隨季節(jié)變化的趨勢(shì),而且對(duì)其建模和預(yù)測(cè)有一定的指導(dǎo)意義。

      本文采用統(tǒng)計(jì)分析軟件R對(duì)國(guó)內(nèi)某港口2001年1月~2014年12月的集裝箱吞吐量進(jìn)行時(shí)間序列分析,通過分析其季節(jié)性數(shù)據(jù),確定吞吐量與季節(jié)變化之間的關(guān)系。通過建立ARIMA模型預(yù)測(cè)該港口十個(gè)月后的集裝箱吞吐量數(shù)據(jù),結(jié)合預(yù)測(cè)結(jié)果分析未來(lái)一段時(shí)間內(nèi)港口吞吐量隨季節(jié)變化的規(guī)律,對(duì)港口在不同時(shí)期制定最優(yōu)措施提供參考。

      1 研究方法

      1.1時(shí)間序列分析

      時(shí)間序列是指將一組數(shù)據(jù)按照時(shí)間推移的順序進(jìn)行排列。這些長(zhǎng)時(shí)間的數(shù)據(jù)反映出來(lái)的整體向上或向下的趨勢(shì)、在一年內(nèi)隨季節(jié)變化的情況、一段時(shí)間內(nèi)呈現(xiàn)出的漲落相同的循環(huán)波動(dòng)和無(wú)規(guī)律的隨機(jī)波動(dòng)4種變化情況構(gòu)成了時(shí)間序列的4要素[10-12]。應(yīng)用數(shù)理統(tǒng)計(jì)方法可以對(duì)具有時(shí)序性和相關(guān)性的時(shí)間序列進(jìn)行分析,通過建模還可以預(yù)測(cè)事件未來(lái)的發(fā)展趨勢(shì)及走向[13-15]。

      本文利用R軟件中的時(shí)間序列分析對(duì)某港口集裝箱吞吐量進(jìn)行分析。R軟件是一個(gè)具有相關(guān)統(tǒng)計(jì)分析和作圖功能的綜合軟件,其編程語(yǔ)言簡(jiǎn)單實(shí)用,作圖功能強(qiáng)大,統(tǒng)計(jì)分析能力突出,可移植性強(qiáng),同時(shí)還具有強(qiáng)大的數(shù)據(jù)存儲(chǔ)和處理系統(tǒng)以及數(shù)組運(yùn)算工具。其完整而連貫的統(tǒng)計(jì)分析工具非常適合用來(lái)做時(shí)間序列圖來(lái)分析。根據(jù)R軟件作出的時(shí)間序列圖,分析數(shù)據(jù)的周期性變化,并對(duì)時(shí)間序列進(jìn)行分解。對(duì)數(shù)據(jù)進(jìn)行季節(jié)性修正,把季節(jié)性部分從原始時(shí)間序列中去除,可以得到僅包含趨勢(shì)部分和不規(guī)則部分的季節(jié)性修正時(shí)間序列圖。

      1.2時(shí)間序列建模與預(yù)測(cè)

      本文選用自回歸積分滑動(dòng)平均模型ARIMA(p,d,q)來(lái)建立港口集裝箱吞吐量的時(shí)間序列模型,通過時(shí)間序列的差分,得到一個(gè)合適的ARIMA的模型,以此來(lái)預(yù)測(cè)2015年前十個(gè)月的港口集裝箱吞吐量[16]。ARIMA(p,d,q)模型是為平穩(wěn)的時(shí)間序列定義的,對(duì)于非平穩(wěn)時(shí)間序列,需要進(jìn)行差分,變?yōu)椴罘制椒€(wěn)序列后才能應(yīng)用該模型。差分平穩(wěn)序列可以用ARIMA(p,d,q)模型進(jìn)行擬合。該模型的結(jié)構(gòu)表示為:

      (1)

      對(duì)d階齊次非平穩(wěn)序列{Xt}而言,{▽dXt}是一個(gè)平穩(wěn)序列,設(shè)其適合ARIMA(p,d,q)模型,即

      φ(B)▽dXt=θ(B)εt。

      (2)

      或者

      φ(B)(1-B)dXt=θ(B)εt。

      (3)

      其中

      φ(B)=1-φ1B-φ2B2-…-φpBp。

      (4)

      為消除季節(jié)性影響和長(zhǎng)期趨勢(shì)影響,對(duì)該序列作一階12步差分,檢驗(yàn)序列是否平穩(wěn)。如果時(shí)間序列平穩(wěn),就可以使用ARIMA(p,d,q)模型,其中d=1。

      2 實(shí)例分析

      2.1某港口集裝箱吞吐量的時(shí)間序列分析

      本文收集并整理了中國(guó)十大港口之一的某港口2001年1月至2014年12月集裝箱吐吞量的數(shù)據(jù),利用統(tǒng)計(jì)分析軟件R對(duì)數(shù)據(jù)進(jìn)行統(tǒng)計(jì)分析。首先,將數(shù)據(jù)讀入到R中,繪制時(shí)間序列圖,得到該港集裝箱吞吐量時(shí)間序列圖如圖1所示。

      由圖1可知,該港口集裝箱吞吐量時(shí)間序列總體呈現(xiàn)上升趨勢(shì),并且存在著一定的周期性變化。這個(gè)季節(jié)性時(shí)間序列由趨勢(shì)部分、季節(jié)性部分和不規(guī)則部分3部分組成。

      圖1 某港口集裝箱吞吐量時(shí)間序列圖Fig.1 Time sequence chart of the handling capacity in a port

      通過對(duì)時(shí)間序列的趨勢(shì)的、季節(jié)性和不規(guī)則部分進(jìn)行分析,得到了每年 1~12 月的季節(jié)性因素。季節(jié)性因素最大值在十月,最小值在二月,一、二、三、四、五、十二月集裝箱吞吐量較少,標(biāo)志著每年的峰值在十月,低谷在二月份。繪制出時(shí)間序列中估計(jì)的趨勢(shì)、季節(jié)性和不規(guī)則的部分,時(shí)間序列的分解結(jié)果如圖2所示。圖2共分為4個(gè)部分,由上至下分別為:原始的時(shí)間序列圖以及估計(jì)的趨勢(shì)圖、季節(jié)性圖和不規(guī)則圖。由圖2可知,估計(jì)出的趨勢(shì)部分從2001年開始逐年穩(wěn)步上升,在2009年前后有下降的趨勢(shì),但隨后又持續(xù)穩(wěn)步上升。圖2估計(jì)出的季節(jié)性部分圖像穩(wěn)定,說(shuō)明該港口集裝箱吞吐量存在一定的季節(jié)性規(guī)律,與前文分析相符。

      圖2 時(shí)間序列的分解Fig.2 Decomposition of time sequence

      對(duì)數(shù)據(jù)進(jìn)行季節(jié)性修正,把季節(jié)性部分從原始時(shí)間序列中去除,得到僅包含趨勢(shì)部分和不規(guī)則部分的季節(jié)性修正時(shí)間序列圖如圖3所示。由于剔除了季節(jié)性因素的影響,因此根據(jù)圖3可知:2001年~2006年,該港口集裝箱吞吐量呈現(xiàn)緩慢上升趨勢(shì),但吞吐量的增長(zhǎng)情況并不穩(wěn)定。2006年至2008年集裝箱吞吐量增長(zhǎng)速度呈直線上升,在2009年集裝箱吞吐量下降,隨后至2014年又呈現(xiàn)出緩慢上升的趨勢(shì),這主要是由于2008年全球金融危機(jī)全面爆發(fā),沿海港口吞吐量下降所致[17]。

      圖3 季節(jié)性修正時(shí)間序列圖Fig.3 Time sequence after seasonal adjustment

      2.2港口集裝箱吞吐量時(shí)間序列建模與預(yù)測(cè)

      為消除季節(jié)性和長(zhǎng)期趨勢(shì)的影響,對(duì)時(shí)間序列作一階12步差分,最終得到的時(shí)間序列如圖4所示。差分后序列基本平穩(wěn)。由于對(duì)原始時(shí)間序列數(shù)據(jù)做1階差分獲得了一個(gè)平穩(wěn)時(shí)間序列,所以可以對(duì)時(shí)間序列使用ARIMA(p,d,q)模型,其中:p為自回歸模型的階數(shù);d為差分階數(shù),由上述內(nèi)容可知,本文中d=1;q為滑動(dòng)平均模型的階數(shù)。

      圖4 差分后的時(shí)間序列圖Fig.4 Time sequence after differential treatment

      利用R軟件的程輯包‘forecast’中的arima函數(shù),自動(dòng)對(duì)非平穩(wěn)時(shí)間序列進(jìn)行適當(dāng)差分,分析求解出適合時(shí)間序列分析的模型。輸入auto.arima()進(jìn)行自動(dòng)求解,最終輸出結(jié)果說(shuō)明該模型適合采用ARIMA(2,1,1)模型,通過分析得出模型為:

      (1-1.1559B+0.4945B2)(1-B)Xt=(1+0.8978B)εt。

      (5)

      應(yīng)用該模型來(lái)預(yù)測(cè)未來(lái)十個(gè)月該港口集裝箱吞吐量的數(shù)據(jù),得到結(jié)果見表1。表1反映了2015年1月~10月該港口集裝箱吞吐量預(yù)測(cè)值,并顯示了置信度為80%和95%時(shí)的置信區(qū)間。根據(jù)預(yù)測(cè),2015年前十個(gè)月的吞吐量預(yù)計(jì)分別為:1月份44.087萬(wàn)箱,2月份45.301萬(wàn)箱,3月份53.267萬(wàn)箱,4月份61.875萬(wàn)箱,5月份67.885萬(wàn)箱,6月份70.575萬(wàn)箱,7月份70.713萬(wàn)箱,8月份69.542萬(wàn)箱,9月份68.120萬(wàn)箱,10月份67.056萬(wàn)箱。

      表1 2015年1月~10月預(yù)測(cè)值(萬(wàn)箱)以及置信區(qū)間

      預(yù)測(cè)值圖像如圖5所示,淺灰色陰影部分為80%預(yù)測(cè)區(qū)間,深灰色陰影部分為95%預(yù)測(cè)區(qū)間,陰影部分的線條表示預(yù)測(cè)值。

      圖5 港口集裝箱吞吐量預(yù)測(cè)值圖像Fig.5 Predicted handling capacity of the port

      對(duì)該港口吞吐量數(shù)據(jù)使用ARIMA(2,1,1)模型后所產(chǎn)生的預(yù)測(cè)誤差做自相關(guān)圖如圖6所示。由圖6可以看出,相關(guān)圖顯示出之后1~20階(lag1-20)中樣本自相關(guān)值都沒有超出置信邊界,而且Ljung-Box檢驗(yàn)p-value < 2.2e-16,所以得到的模型可以提供非常合適的預(yù)測(cè)。

      圖6 某港口集裝箱吞吐量預(yù)測(cè)誤差相關(guān)圖Fig.6 Correlation diagram of prediction error

      2015年1月~10月該港口集裝箱吞吐量分別為46.721、47.014、56.335、60.982、68.452、73.146、75.178、70.015、69.574、68.739萬(wàn)箱,與預(yù)測(cè)結(jié)果44.087、45.301、53.267、61.875、67.885、70.575、70.713、69.542、68.120、67.056萬(wàn)箱相差甚微,在5%左右浮動(dòng),說(shuō)明本模型對(duì)港口集裝箱吞吐量可以提供較準(zhǔn)確的預(yù)測(cè)。

      3 結(jié)束語(yǔ)

      本文分析了2001~2014年某港口集裝箱吞吐量數(shù)據(jù),通過時(shí)間序列分析,建立了集裝箱吞吐量的ARIMA預(yù)測(cè)模型,并且預(yù)測(cè)分析了2015年該港口前十個(gè)月集裝箱吞吐量,得到了以下結(jié)論:

      (1)該港口集裝箱吞吐量總體呈現(xiàn)上升趨勢(shì),2001~2003年這種趨勢(shì)不明顯,2003年以后隨著中國(guó)加入世貿(mào)組織,上升趨勢(shì)較為明顯。2009年前后該港口集裝箱吞吐量受金融危機(jī)的影響有下降趨勢(shì),一段時(shí)間后隨著經(jīng)濟(jì)的回暖逐漸恢復(fù)正常,至2014年又呈現(xiàn)出上升趨勢(shì)。

      (2)該港口集裝箱吞吐量呈現(xiàn)一定的季節(jié)性變化,季節(jié)性因素最大值在十月,最小值在二月,一、二、三、四、五、十二月集裝箱吞吐量較少,標(biāo)志著每年集裝箱吞吐量的峰值在十月,低谷在二月份。

      (3)利用R軟件得到預(yù)測(cè)該港口2001年至2014年集裝箱吞吐量的預(yù)測(cè)模型ARIMA(2,1,1)模型為(1-1.1559b+0.4945b2)(1-B)Xt=(1+0.8978B)εt,并對(duì)模型進(jìn)行檢驗(yàn),結(jié)果證明得到的模型可以很好的描述港口集裝箱吞吐量,從理論上證明了該港口集裝箱吞吐量的增長(zhǎng)趨勢(shì)。

      [1]葉峰,吳迎學(xué).基于實(shí)現(xiàn)我國(guó)港口物流聯(lián)盟的探索[J].森林工程,2009,25(5):89-91.

      [2]Huang A,Qiao H,Wang S.Forecasting container throughputs with domain knowledge[J].Procedia Computer Science,2014,31:648-655.

      [3]Huang A,Lai K K,Qiao H,et.al.An interval knowledge based forecasting paradigm for container throughput prediction[J].Procedia Computer Science,2015,55:1381-1389.

      [4]Chen S H,Chen J.Forecasting container throughputs at ports using genetic programming[J].Expert Systems with Applications,2010,37(3):2054-2058.

      [5]翟希東.港口集裝箱吞吐量預(yù)測(cè)模型研究[D].大連:大連理工大學(xué),2006.

      [6]黃維忠.集裝箱吞吐量的動(dòng)態(tài)預(yù)測(cè)研究[J].上海海運(yùn)學(xué)院學(xué)報(bào),2001,22(1):45-48.

      [7]江艦,王海燕,楊贊.集裝箱吞吐量及主要影響因素的計(jì)量經(jīng)濟(jì)分析[J].大連海事大學(xué)學(xué)報(bào),2007,33(1):83-86.

      [8]陳濤燾,高琴.港口集裝箱吞吐量影響因素研究[J].武漢理工大學(xué)學(xué)報(bào),2008,30(6):991-994.

      [9]劉志杰,季令,葉玉玲,等.基于徑向基神經(jīng)網(wǎng)絡(luò)的集裝箱吞吐量的組合預(yù)測(cè)[J].同濟(jì)大學(xué)學(xué)報(bào),2007,35(6):739-744.

      [10]侯成琪,徐緒松.計(jì)量經(jīng)濟(jì)學(xué)方法之時(shí)間序列分析[J].技術(shù)經(jīng)濟(jì),2010,29(8):51-57.

      [11]潘迪夫,劉輝,李燕飛.基于時(shí)間序列分析和卡爾曼濾波算法的風(fēng)電場(chǎng)風(fēng)速預(yù)測(cè)優(yōu)化模型[J].電網(wǎng)技術(shù),2008,32(7):82-86.

      [12]羅芳瓊,吳春梅.時(shí)間序列分析的理論與應(yīng)用綜述[J].柳州師專學(xué)報(bào),2009,24(3):113-117.

      [13]韓忠明,陳妮,樂嘉錦,等.面向熱點(diǎn)話題時(shí)間序列的有效聚類算法研究[J].計(jì)算機(jī)學(xué)報(bào),2012,35(11):2337-2347.

      [14]錢愛玲,瞿彬彬,盧炎生,等.多時(shí)間序列關(guān)聯(lián)規(guī)則分析的論壇輿情趨勢(shì)預(yù)測(cè)[J].南京航空航天大學(xué)學(xué)報(bào),2012,44(6):904-910.

      [15]楊娟麗,徐梅,王福林,等.基于BP神經(jīng)網(wǎng)絡(luò)的時(shí)間序列預(yù)測(cè)問題研究[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2013,43(4):158-164.

      [16]Aslanargun A,Mammadov M,Yazici B,et.al.Comparison of ARIMA,neural networks and hybrid models in time series:tourist arrival forecasting[J].Journal of Statistical Computation and Simulation,2006,77(1):29-53.

      [17]賈大山.金融危機(jī)對(duì)港口集裝箱發(fā)展的影響[A].全球經(jīng)濟(jì)形勢(shì)變化與我國(guó)集裝箱運(yùn)輸發(fā)展對(duì)策研討會(huì)論文集[C],北京,2009:39-42.

      Prediction of the Container Throughput in a PortBased on Time Sequence Analysis

      Kong Linlin1,Liu Lan2,Xu Wenxiu1,Wu Jinzhuo1*

      (1.College of Engineering and Technology,Northeast Forestry University,Harbin 150040;2.Hunan Institute of Technology,Hengyang 421002,Hunan Province)

      Container transportation is one of the main modes of international transportation.Long-term monitoring port container throughput and predicting future trends are of importance to the port infrastructure construction,regional economic development and national strategy development.In this paper,aiming at the nonlinear characteristics of the factors affecting the complexity of port container throughput,the container throughput data in a port in China between January 2001 and December 2014 were investigated and statistical analysis software R was used to conduct time series analysis on the data.A reasonable model was put forward to describe the change of container throughput data,which was tested and optimized.The container throughput data after ten months was forecasted by using the model.Results showed that the prediction model after time series analysis can well describe the change of the port container throughput,therefore can provide reference for the optimal measures in different periods.

      container throughput;time series analysis;forecast;model

      2016-03-31

      國(guó)家留學(xué)回國(guó)人員科技活動(dòng)資助項(xiàng)目(人社廳函[2012]258號(hào))

      孔琳琳,碩士研究生。研究方向:森林工程。

      吳金卓,博士,副教授。研究方向:森林工程,物流工程。E-mail:wujinzhuo1980@163.com

      孔琳琳,劉瀾,許文秀,等.基于時(shí)間序列分析的港口集裝箱吞吐量預(yù)測(cè)分析[J].森林工程,2016,32(5):106-110.

      F 552

      A

      1001-005X(2016)05-0106-05

      猜你喜歡
      序列圖季節(jié)性吞吐量
      基于 ROADS 的面向場(chǎng)景業(yè)務(wù)架構(gòu)建模方法
      粕類季節(jié)性規(guī)律:豆粕篇
      湖南飼料(2021年3期)2021-07-28 07:05:58
      基于SPSS序列法的商務(wù)談判實(shí)務(wù)課程混合教學(xué)模式實(shí)證研究
      物流科技(2021年10期)2021-05-12 08:41:06
      季節(jié)性需求放緩 鉀肥價(jià)格下行
      蔬菜價(jià)格呈季節(jié)性回落
      應(yīng)用ETDFA生成CBTC聯(lián)鎖軟件形式化模型的方法
      遠(yuǎn)離季節(jié)性過敏
      Coco薇(2017年12期)2018-01-03 21:34:42
      2016年10月長(zhǎng)三角地區(qū)主要港口吞吐量
      集裝箱化(2016年11期)2017-03-29 16:15:48
      2016年11月長(zhǎng)三角地區(qū)主要港口吞吐量
      集裝箱化(2016年12期)2017-03-20 08:32:27
      思維游戲
      喜劇世界(2016年24期)2017-01-04 05:06:56
      库尔勒市| 兰坪| 县级市| 淮阳县| 会宁县| 黑山县| 龙南县| 五莲县| 昌邑市| 余江县| 莱芜市| 海城市| 保亭| 昌平区| 昂仁县| 刚察县| 阜新市| 海城市| 沿河| 平度市| 原平市| 阿拉善左旗| 扬中市| 勐海县| 伊春市| 讷河市| 金寨县| 荔浦县| 普兰店市| 乌恰县| 开江县| 九寨沟县| 诸城市| 苏尼特右旗| 五河县| 方正县| 祥云县| 牟定县| 华池县| 甘孜县| 南乐县|