邵明遠(yuǎn),楊菲
(卡斯柯信號(hào)有限公司北京分公司,北京 100161)
系統(tǒng)設(shè)計(jì)驗(yàn)證是城軌集成項(xiàng)目在實(shí)施過程中非常重要的一個(gè)環(huán)節(jié)。在系統(tǒng)設(shè)計(jì)基線完成之后,啟動(dòng)系統(tǒng)設(shè)計(jì)驗(yàn)證工作。需要驗(yàn)證的文檔包括系統(tǒng)配置規(guī)則、實(shí)時(shí)時(shí)間參數(shù)、列車運(yùn)行規(guī)則、系統(tǒng)平面圖、保護(hù)區(qū)段列表等。設(shè)計(jì)驗(yàn)證的目的是盡可能在設(shè)計(jì)早期發(fā)現(xiàn)設(shè)計(jì)問題,避免系統(tǒng)數(shù)據(jù)及后續(xù)項(xiàng)目實(shí)施階段的返工,從而降低項(xiàng)目實(shí)施成本[1]。
在所有需要驗(yàn)證的設(shè)計(jì)文檔中保護(hù)區(qū)段列表定義所有信號(hào)機(jī)的保護(hù)區(qū)段的屬性參數(shù),是系統(tǒng)數(shù)據(jù)的重要輸入,并且是驗(yàn)證工作量較大的文檔之一。目前,保護(hù)區(qū)段列表的驗(yàn)證以人工為主,驗(yàn)證人員需要根據(jù)項(xiàng)目平面圖、項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)、列車運(yùn)行規(guī)則等文檔對(duì)保護(hù)區(qū)段列表中定義的全線路信號(hào)機(jī)及每個(gè)信號(hào)機(jī)的保護(hù)區(qū)段屬性參數(shù)進(jìn)行逐一驗(yàn)證。由于項(xiàng)目平面圖一般為CAD 格式文檔,列車運(yùn)行規(guī)則為Word 格式文檔,保護(hù)區(qū)段列表及項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)為Excel 格式文檔,這樣在驗(yàn)證過程中,驗(yàn)證人員需要在不同類型的文檔中頻繁切換,是人工驗(yàn)證效率較低的主要原因,同時(shí)由于保護(hù)區(qū)段列表中參數(shù)屬性數(shù)量龐大,容易造成驗(yàn)證人員進(jìn)行大量數(shù)據(jù)驗(yàn)證時(shí)出現(xiàn)視覺疲勞,從而增加錯(cuò)驗(yàn)、漏驗(yàn)等的風(fēng)險(xiǎn)。因此亟需一種新的驗(yàn)證方法解決目前人工驗(yàn)證的問題[2]。
本文提出一種新型工具替代人工驗(yàn)證的方法,有效解決了人工驗(yàn)證效率低且存在質(zhì)量隱患的問題。
保護(hù)區(qū)段用于可接近信號(hào)機(jī),當(dāng)信號(hào)機(jī)為紅燈時(shí),可以使列車停車位置靠近信號(hào)機(jī)。
在信號(hào)系統(tǒng)中,對(duì)于停車位置與限制點(diǎn)之間的距離有明確的要求,如果不設(shè)置保護(hù)區(qū)段,限制點(diǎn)設(shè)計(jì)在信號(hào)機(jī)位置時(shí),會(huì)導(dǎo)致列車車頭不能靠近信號(hào)機(jī),降低了停車準(zhǔn)確性。因此保護(hù)區(qū)段的設(shè)置,可有效提高運(yùn)行效率。
保護(hù)區(qū)段中需要定義的屬性包含保護(hù)區(qū)段的類型、方向、起點(diǎn)位置及里程,第二限制點(diǎn)位置及里程,終點(diǎn)位置與第二限制點(diǎn)的距離等。這些參數(shù)也都是設(shè)計(jì)驗(yàn)證活動(dòng)需要驗(yàn)證的內(nèi)容。需要驗(yàn)證的這些參數(shù),其中類型、方向參考列車運(yùn)行規(guī)則文檔,起點(diǎn)名稱及公里標(biāo)、第二限制點(diǎn)名稱及公里標(biāo)、第二限制點(diǎn)與保護(hù)區(qū)段終點(diǎn)的距離參考項(xiàng)目平面圖中定義的設(shè)備位置人工計(jì)算,保護(hù)區(qū)段長(zhǎng)度計(jì)算公式中涉及的參數(shù)及終點(diǎn)與第二限制點(diǎn)間的距離的最小值定義參考項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)。
基于保護(hù)區(qū)段的參數(shù)屬性特點(diǎn),保護(hù)區(qū)段參數(shù)主要來源與項(xiàng)目其他設(shè)計(jì)文檔格式固定?;谳斎胛臋n的這一特點(diǎn),本文闡述一種新型驗(yàn)證方法,通過程序語句將平面圖中需要設(shè)備提取,并保存為表格形式,同時(shí)將列車運(yùn)行規(guī)則中信號(hào)機(jī)定義章節(jié)保存為表格格式,我們可以通過程序語句實(shí)現(xiàn)對(duì)屬性參數(shù)的工具驗(yàn)證,大大提高了驗(yàn)證效率及驗(yàn)證的準(zhǔn)確性。
保護(hù)區(qū)段屬性參數(shù)根據(jù)其各自的輸入源,其中信號(hào)機(jī)名稱、保護(hù)區(qū)段類型以及信號(hào)機(jī)方向參考項(xiàng)目列車運(yùn)行規(guī)則,保護(hù)區(qū)段的起點(diǎn)位置名稱及公里標(biāo)、第二限制點(diǎn)名稱及公里標(biāo)參考項(xiàng)目平面圖,保護(hù)區(qū)段長(zhǎng)度計(jì)算參數(shù)及系統(tǒng)要求的保護(hù)區(qū)段終點(diǎn)與第二限制點(diǎn)之間距離的最小值參考項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)。
確定保護(hù)區(qū)段的參數(shù)的各個(gè)屬性驗(yàn)證依據(jù)后,首先將列車運(yùn)行規(guī)則中的信號(hào)機(jī)列表保存為表格格式。其次可以編寫程序?qū)⑵矫鎴D所需設(shè)備的名稱及里程提取并轉(zhuǎn)化為表格格式文檔[3]。為優(yōu)化程序運(yùn)行,提升運(yùn)行效率,通過兩步優(yōu)化所提取的文檔。第一,提取過程中,由于CAD 的平面圖中每個(gè)設(shè)備有各自的坐標(biāo)以及個(gè)別設(shè)備存在坐標(biāo)轉(zhuǎn)換的情形(即存在2 個(gè)坐標(biāo)),因此轉(zhuǎn)換出來的表格格式文檔中的數(shù)據(jù)較多,增大了程序的運(yùn)算量。僅保留所需的設(shè)備及其公里標(biāo),通過程序刪除非相關(guān)的設(shè)備及導(dǎo)出過程中產(chǎn)生的非必要空行。第二,由于各個(gè)設(shè)備在平面圖中有各自的坐標(biāo)系,即左線/右線,在圖中標(biāo)識(shí)為ZDK/YDK,以及土建的公里標(biāo)標(biāo)識(shí)方式會(huì)有“+”等,這些標(biāo)識(shí)都不是程序運(yùn)行所需元素,而且會(huì)影響程序運(yùn)行,因此需通過程序去掉里程標(biāo)中非數(shù)值元素,這樣就得到如表1 所示的運(yùn)行結(jié)果。
表1 設(shè)備名稱及里程提取效果
通過已導(dǎo)出的設(shè)備里程,得出列車運(yùn)行規(guī)則中信號(hào)機(jī)列表,如表2 所示。項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)中定義的相關(guān)參數(shù),通過程序?qū)崿F(xiàn)對(duì)于保護(hù)區(qū)段各個(gè)屬性的自動(dòng)驗(yàn)證,具體設(shè)計(jì)思路:首先根據(jù)列車運(yùn)行規(guī)則中定義的信號(hào)機(jī)列表,對(duì)信號(hào)機(jī)完整性進(jìn)行判斷;其次,根據(jù)列車運(yùn)行規(guī)則中的信號(hào)機(jī)列表中描述的信號(hào)機(jī)保護(hù)區(qū)段的類型、方向進(jìn)行參數(shù)一致性驗(yàn)證;再次,根據(jù)已導(dǎo)出的設(shè)備名稱及里程標(biāo),對(duì)保護(hù)區(qū)段列表中的起點(diǎn)名稱及里程標(biāo)、第二限制點(diǎn)名稱及里程標(biāo)進(jìn)行驗(yàn)證;最后,根據(jù)項(xiàng)目實(shí)時(shí)時(shí)間參數(shù)中相關(guān)參數(shù),對(duì)保護(hù)區(qū)段的終點(diǎn)與第二限制點(diǎn)的距離是否滿足系統(tǒng)要求的最小值進(jìn)行驗(yàn)證,如圖1 所示。
圖1 程序設(shè)計(jì)思路
表2 信號(hào)機(jī)列表
通過運(yùn)行程序可以實(shí)現(xiàn)插入列,在每個(gè)信號(hào)機(jī)相關(guān)屬性列自動(dòng)填充驗(yàn)證結(jié)論,驗(yàn)證通過項(xiàng)目標(biāo)識(shí)“OK”,項(xiàng)目不適用標(biāo)識(shí)“NA”,驗(yàn)證不通過項(xiàng)目標(biāo)識(shí)“NOK”并可以實(shí)現(xiàn)標(biāo)紅處理,方便驗(yàn)證人員盡快鎖定存在問題屬性,并得到最后文檔格式,如表3 所示。
表3 運(yùn)行效果圖
目前應(yīng)用程序可以實(shí)現(xiàn)對(duì)保護(hù)區(qū)段的參數(shù)進(jìn)行驗(yàn)證,并在保證驗(yàn)證結(jié)果準(zhǔn)確性的前提下,實(shí)現(xiàn)了驗(yàn)證效率的明顯提升。通過多個(gè)項(xiàng)目進(jìn)行實(shí)踐總結(jié),與人工驗(yàn)證進(jìn)行對(duì)比,可以發(fā)現(xiàn)工具驗(yàn)證可以大幅度提升驗(yàn)證效率,大大降低了項(xiàng)目成本。對(duì)項(xiàng)目平均人工驗(yàn)證時(shí)間及與應(yīng)用工具驗(yàn)證所需時(shí)間進(jìn)行統(tǒng)計(jì)分析,對(duì)比效率如圖2 所示。
圖2 人工驗(yàn)證與工具驗(yàn)證用時(shí)對(duì)比圖
本文以保護(hù)區(qū)段列表的驗(yàn)證為研究對(duì)象,針對(duì)人工驗(yàn)證效率低下及容易出錯(cuò)的問題進(jìn)行研究,提出了一種適用的自動(dòng)化驗(yàn)證方法和實(shí)施工具。
通過識(shí)別保護(hù)區(qū)段列表所需驗(yàn)證的屬性,提取輸入文檔中的相關(guān)信息并進(jìn)行轉(zhuǎn)化,再結(jié)合項(xiàng)目實(shí)施過程中的設(shè)計(jì)驗(yàn)證原則實(shí)現(xiàn)了對(duì)各個(gè)屬性的自動(dòng)驗(yàn)證。通過在項(xiàng)目中的實(shí)際應(yīng)用驗(yàn)證,本方法實(shí)現(xiàn)了驗(yàn)證效率的明顯提升,對(duì)于后續(xù)整體設(shè)計(jì)驗(yàn)證工作的優(yōu)化具有重要指導(dǎo)意義。