樹結(jié)構(gòu)圖制作輔助裝置以及樹結(jié)構(gòu)圖制作輔助程序的制作方法
【專利摘要】FT圖制作輔助裝置，包括：輸入部，從在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)即第一數(shù)據(jù)獲取格線的連接關(guān)系以及字符串，并從獲取到的所述格線的連接關(guān)系以及字符串求出在所述FT圖中包含的事件以及事件之間的連接關(guān)系，并基于此來生成以標(biāo)記語言描述所述FT圖的樹結(jié)構(gòu)的第二數(shù)據(jù)；以及編輯部，對(duì)所述第二數(shù)據(jù)進(jìn)行編輯，生成以標(biāo)記語言描述編輯后的FT圖的樹結(jié)構(gòu)的第三數(shù)據(jù)。
【專利說明】樹結(jié)構(gòu)圖制作輔助裝置以及樹結(jié)構(gòu)圖制作輔助程序
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及對(duì)裝置、系統(tǒng)等發(fā)生不好情況的原因進(jìn)行分析，提高其可靠性的技術(shù)。【背景技術(shù)】
[0002]故障樹分析(Fault Tree Analysis, FTA)是如下方法:將故障事件以成為其原因的下位事件的邏輯“或”(OR)或者邏輯“與”(AND)進(jìn)行展開并設(shè)為樹結(jié)構(gòu)(以下，稱為“FT圖”)，從下位事件中提取重大的原因，為防止故障發(fā)生而試圖重新設(shè)計(jì)的方法。由于在FT圖的制作中，要求該領(lǐng)域的廣泛的知識(shí)、較高的專業(yè)性，所以要求輔助FT圖的制作的技術(shù)(JP2009-289020A)。
[0003]圖19是FT圖的例。該例是分析了“傳輸帶車的傳動(dòng)的損耗大”的故障事件的例。由于該故障事件是在“滑動(dòng)量大”的情況下或者“摩擦力大”的情況下發(fā)生。所以“滑動(dòng)量大”以及“摩擦力大”成為故障事件的下位事件，它們的關(guān)系成為邏輯“或”。
[0004]并且，由于“摩擦力大”的事件是在“阻力大”的情況下或者“摩擦系數(shù)大”的情況下發(fā)生，所以“摩擦力大”以及“摩擦系數(shù)大”成為“摩擦力大”的下位事件，它們的關(guān)系成為邏輯“或”。并且，“阻力大”的事件是在“傳輸帶張力大”的情況下發(fā)生，所以“傳輸帶張力大”成為“阻力大”的下位事件。
[0005]在這些事件中，在下位不具有事件的“滑動(dòng)量大”、“傳輸帶張力大”以及“摩擦系數(shù)大”等事件被稱為基本事件，為了防止故障事件的發(fā)生，探討關(guān)于這些基本事件的對(duì)策即可。
[0006]另外，在該例中，上位事件和下位事件僅由格線連接，并沒有描述同列的下位事件為邏輯“或”以及邏輯“與”中的哪一個(gè)。這是因?yàn)槿缦略?由于同列的下位事件大多數(shù)為邏輯“或”，所以在邏輯“或”的情況下將上位事件和下位事件之間以及同列的下位事件之間僅以格線連接，在邏輯“與”的情況下在連接上位事件和下位事件的格線的邊上描述表示是邏輯“與”的“AND”。

【發(fā)明內(nèi)容】

[0007]使用以微軟公司的Excel (注冊(cè)商標(biāo))為首的、表計(jì)算軟件的格線功能而制作FT圖的情況較多。這是因?yàn)槿缦略?表計(jì)算軟件的普及率高，且因普及率高，某一技術(shù)者制作的FT圖適合其他的技術(shù)者利用。
[0008]但是，使用表計(jì)算軟件的FT圖的制作并非是高效的，尤其在想要修改一旦制作出的FT圖的情況下(事件的追力口、刪除等)，存在花費(fèi)工夫的問題。
[0009]本發(fā)明的目的在于，使得能夠容易進(jìn)行FT圖的編輯。
[0010]根據(jù)本發(fā)明的一個(gè)方式，提供一種FT圖制作輔助裝置，包括:輸入部，從在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)即第一數(shù)據(jù)獲取格線的連接關(guān)系以及字符串，并從獲取到的所述格線的連接關(guān)系以及字符串求出在所述FT圖中包含的事件以及事件之間的連接關(guān)系，并基于此來生成以標(biāo)記語言描述所述FT圖的樹結(jié)構(gòu)的第二數(shù)據(jù)；以及編輯部，對(duì)所述第二數(shù)據(jù)進(jìn)行編輯，生成以標(biāo)記語言描述編輯后的FT圖的樹結(jié)構(gòu)的第三數(shù)據(jù)。
[0011]根據(jù)本發(fā)明的其他方式，提供一種程序，使計(jì)算機(jī)實(shí)現(xiàn)如下功能:輸入功能，從在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)即第一數(shù)據(jù)獲取格線的連接關(guān)系以及字符串，并從獲取到的所述格線的連接關(guān)系以及字符串求出在所述FT圖中包含的事件以及事件之間的連接關(guān)系，并基于此來生成以標(biāo)記語言描述所述FT圖的樹結(jié)構(gòu)的第二數(shù)據(jù)；以及編輯功能，對(duì)所述第二數(shù)據(jù)進(jìn)行編輯，生成以標(biāo)記語言描述編輯后的FT圖的樹結(jié)構(gòu)的第三數(shù)據(jù)。
[0012]根據(jù)這些方式，使得能夠容易進(jìn)行FT圖的編輯。
[0013]關(guān)于本發(fā)明的實(shí)施方式以及本發(fā)明的優(yōu)點(diǎn)，參照附圖以下進(jìn)行詳細(xì)說明。
【專利附圖】

【附圖說明】
[0014]圖1是FT圖制作輔助裝置的整體結(jié)構(gòu)圖。
[0015]圖2是用于說明FT圖制作輔助裝置的功能的圖。
[0016]圖3是表示了輸入部的處理內(nèi)容的流程圖。
[0017]圖4是表示了通過輸入部從表計(jì)算軟件中制作的FT圖的數(shù)據(jù)探索事件的情況的圖。
[0018]圖5是表示了通過輸入處理而生成的XML數(shù)據(jù)的圖。
[0019]圖6是在顯示部中顯示的樹結(jié)構(gòu)的例。
[0020]圖7是表示了在頂上事件中追加下位事件時(shí)的情況的圖。
[0021]圖8是表示了在刪除下位事件時(shí)的情況的圖。
[0022]圖9是表示了在移動(dòng)下位事件時(shí)的情況的圖。
[0023]圖10是表示了在復(fù)制下位事件時(shí)的情況的圖。
[0024]圖11是表示了事件分析部的處理內(nèi)容的流程圖。
[0025]圖12是表示了事件分析部的分析的情況的圖。
[0026]圖13是表示了故障值用語的用語詞典的例的圖。
[0027]圖14是表示了物理量用語的用語詞典的例的圖。
[0028]圖15是表示了匹配性驗(yàn)證部的處理內(nèi)容的流程圖。
[0029]圖16是表示了匹配性驗(yàn)證前后的顯示部的顯示以及XML數(shù)據(jù)的圖。
[0030]圖17是表示了輸出部的處理內(nèi)容的流程圖。
[0031]圖18是表示了通過輸出部，XML數(shù)據(jù)轉(zhuǎn)換為表計(jì)算軟件的數(shù)據(jù)格式的情況的圖。
[0032]圖19是表示了 FT圖的一例的圖。
【具體實(shí)施方式】
[0033]<整體結(jié)構(gòu)>
[0034]圖1表示FT圖制作輔助裝置100的整體結(jié)構(gòu)。本裝置100具有輸入輸出部1、處理部2、存儲(chǔ)部3、顯示部4以及操作部5，且如圖2所示，具有以下的功能。
[0035]?輸入通過表計(jì)算軟件(例如 ，微軟公司的Excel (注冊(cè)商標(biāo)))制作的FT圖的數(shù)據(jù)，轉(zhuǎn)換為以標(biāo)記語言描述的數(shù)據(jù)的輸入功能[0036].將以標(biāo)記語言描述的FT圖在顯示部4上進(jìn)行編輯的編輯功能
[0037].對(duì)以標(biāo)記語言描述的FT圖的事件的具體的內(nèi)容進(jìn)行分析的事件分析功能
[0038].對(duì)以編輯前或者編輯后的標(biāo)記語言描述的FT圖的匹配性(下位事件的展開是否準(zhǔn)確)進(jìn)行驗(yàn)證的匹配性驗(yàn)證功能
[0039].將以編輯后的標(biāo)記語言描述的FT圖的數(shù)據(jù)轉(zhuǎn)換為表計(jì)算軟件的數(shù)據(jù)格式，并進(jìn)行輸出的輸出功能
[0040]“通過表計(jì)算軟件制作的FT圖的數(shù)據(jù)”是指，在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)。如圖19所示，將在由格線包圍的單元內(nèi)記載的字符串看做事件，將各事件之間以格線連接而表現(xiàn)FT圖的樹結(jié)構(gòu)。
[0041]“通過標(biāo)記語言描述的FT圖的數(shù)據(jù)”在本實(shí)施方式中為XML(Extensible MarkupLanguage，可擴(kuò)展標(biāo)記語言)數(shù)據(jù)，將FT圖的各事件的內(nèi)容以及樹結(jié)構(gòu)利用標(biāo)簽(tag)描述。另外，在以下的說明中，將“通過標(biāo)記語言描述的FT圖的數(shù)據(jù)”作為XML數(shù)據(jù)進(jìn)行說明。
[0042]在XML數(shù)據(jù)中，各事件的要素由開始標(biāo)簽〈FaultTreeNode〉和結(jié)束標(biāo)簽〈/FaultTreeNode)構(gòu)成。在開始標(biāo)簽〈FaultTreeNode〉中，包含有對(duì)應(yīng)的事件的各種屬性(表示事件的內(nèi)容的label屬性、表示事件處理的物理量的單位的unit屬性、表示事件的故障值狀態(tài)的qstate屬性、表示下位事件的關(guān)系為邏輯“或”還是邏輯“與”的logic屬性、表示物理量的匹配性驗(yàn)證結(jié)果的verification屬性)。
[0043]下位事件和上位事件的上下關(guān)系通過在上位事件的開始標(biāo)簽〈FaultTreeNode〉和結(jié)束標(biāo)簽〈/FaultTreeNode〉之間配置下位事件的要素而表現(xiàn)。此外，同列的事件通過并列配置這些要素而表現(xiàn)。
[0044]另外，結(jié)束標(biāo)簽〈/FaultTreeNode〉在僅由開始標(biāo)簽〈FaultTreeNode〉明確事件之間的關(guān)系的情況下可適當(dāng)?shù)厥÷浴?br> [0045]若說明構(gòu)成本裝置100的各部位，則輸入輸出部I為有線或者無線的網(wǎng)絡(luò)接口、讀卡器、USB連接器、Bluetooth (注冊(cè)商標(biāo))等。輸入輸出部I用于與外部的服務(wù)器、個(gè)人計(jì)算機(jī)等交換數(shù)據(jù)。主要交換的數(shù)據(jù)是用于對(duì)本裝置100輸入的通過表計(jì)算軟件制作的FT圖的數(shù)據(jù)、以及在本裝置100中編輯或者制作且用于從本裝置100輸出的表計(jì)算軟件的數(shù)據(jù)格式的FT圖的數(shù)據(jù)。
[0046]處理部2由微處理器、RAM、ROM等構(gòu)成。微處理器通過將在ROM或者后述的存儲(chǔ)部3中存儲(chǔ)的程序讀入RAM中執(zhí)行，作為實(shí)現(xiàn)上述各功能的輸入部21、編輯部22、事件分析部23、匹配性驗(yàn)證部24以及輸出部25起作用。關(guān)于各部的具體的處理內(nèi)容，在后面敘述。
[0047]存儲(chǔ)部3是硬盤、閃速存儲(chǔ)器等的存儲(chǔ)裝置。存儲(chǔ)部3存儲(chǔ)在處理部2的處理中需要的數(shù)據(jù)以及程序。
[0048]顯示部4是液晶顯示器等的顯示裝置。顯示部4顯示FT圖的樹結(jié)構(gòu)、FT圖的匹配性驗(yàn)證結(jié)果、編輯或者制作中的XML數(shù)據(jù)等。
[0049]操作部5是鍵盤、鼠標(biāo)、觸摸面板等的輸入裝置。操作部5接受來自用戶的各種操作。
[0050]接著，說明處理部2的各部的處理內(nèi)容。
[0051]〈輸入部21 >
[0052]輸入部21具有將通過表計(jì)算軟件制作的FT圖的數(shù)據(jù)經(jīng)由輸入輸出部I讀入并將該數(shù)據(jù)轉(zhuǎn)換為XML數(shù)據(jù)的功能。
[0053]圖3是表示了輸入部21的處理內(nèi)容(程序的內(nèi)容)的流程圖。參照?qǐng)D3，說明輸入部21的處理內(nèi)容。
[0054]首先，輸入部21在SI中，從通過表計(jì)算軟件制作的FT圖中，探索頂上事件。頂上事件是指在其上位再?zèng)]有其他事件的事件。具體而言，輸入部21從工作表的左上依次探索由格線包圍的單元。另外，也有使用多個(gè)單元而記載事件的情況，但在這里為了簡(jiǎn)化說明，限定于在一個(gè)單元中記載的情況進(jìn)行說明。
[0055]在S2中，輸入部21判斷是否發(fā)現(xiàn)了頂上事件。在判斷為發(fā)現(xiàn)了頂上事件的情況下，處理進(jìn)入S3，否則處理結(jié)束。
[0056]在S3中，輸入部21將發(fā)現(xiàn)的頂上事件的單元設(shè)定為分析對(duì)象單元。此外，輸入部21準(zhǔn)備包含了表示是FT圖的數(shù)據(jù)的開始標(biāo)簽〈FaultTreeDocument〉以及結(jié)束標(biāo)簽〈/FaultTreeDocument)的XML數(shù)據(jù),在該XML數(shù)據(jù)中追加頂上事件。具體而言，將由開始標(biāo)簽〈FaultTreeNode〉以及結(jié)束標(biāo)簽〈/FaultTreeNode〉構(gòu)成的頂上事件的要素追加到開始標(biāo)簽〈FaultTreeDocument〉和結(jié)束標(biāo)簽〈/FaultTreeDocument〉之間。
[0057]在S4中，輸入部21從分析對(duì)象單元獲取字符串，作為與分析對(duì)象單元對(duì)應(yīng)的事件的label屬性而設(shè)定所獲取的字符串。此外，輸入部21探索分析對(duì)象單元的右側(cè)的區(qū)域，若有“AND”的字符串則判斷為與分析對(duì)象單元對(duì)應(yīng)的事件的下位事件為邏輯“與”，若沒有則判斷為邏輯“或”。然后，輸入部21作為與分析對(duì)象單元對(duì)應(yīng)的事件的logic屬性，若為邏輯“或”則設(shè)定“0R”，若為邏輯“與”則設(shè)定“AND”。
[0058]在S5中，輸入部21探索分析對(duì)象單元的下位事件。具體而言，追尋從分析對(duì)象單元向右側(cè)延伸的格線，探索位于其前方的由格線包圍的單元。
[0059]在S6中，輸入部21判斷是否發(fā)現(xiàn)了下位事件。在判斷為發(fā)現(xiàn)了下位事件的情況下處理進(jìn)入S7，否則處理進(jìn)入S8。
[0060]在S7中，輸入部21將發(fā)現(xiàn)的下位事件的單元設(shè)定為分析對(duì)象單元，并在XML數(shù)據(jù)中追加下位事件。在XML數(shù)據(jù)中，下位事件的要素配置在上位事件的開始標(biāo)簽〈FaultTreeNode〉與結(jié)束標(biāo)簽〈/FaultTreeNode〉之間，并由此表現(xiàn)是下位事件的情況。然后，處理返回到S4，在該下位事件中設(shè)定label屬性，進(jìn)而進(jìn)行下位的事件的探索。
[0061]輸入部21直到不能發(fā)現(xiàn)下位事件為止重復(fù)S4?S7的處理。
[0062]在S8中，輸入部21探索與分析對(duì)象單元同列的事件(以下，稱為同列事件)。具體而言，追尋從分析對(duì)象單元向左側(cè)延伸的格線向下側(cè)分支的格線，探索位于其前方的由格線包圍的單元。
[0063]在S9中，輸入部21判斷是否發(fā)現(xiàn)了同列事件。在判斷為發(fā)現(xiàn)了同列事件的情況下處理進(jìn)入S10，否則處理進(jìn)入SI I。
[0064]在SlO中，輸入部21將發(fā)現(xiàn)的同列事件的單元設(shè)定為分析對(duì)象單元，在XML數(shù)據(jù)中追加同列事件。同列事件的要素與其他的同列事件的要素并列配置，并由此表現(xiàn)是同列事件的情況。然后，處理返回到S4，在該同列事件中設(shè)定label屬性，再次進(jìn)行下位事件以及同列事件的探索。
[0065]輸入部21直到不能發(fā)現(xiàn)同列事件為止重復(fù)S4?SlO的處理。
[0066]在Sll中，輸入部21將就在之前發(fā)現(xiàn)的同列事件的上位事件設(shè)定為分析對(duì)象單元。然后，在S12中，輸入部21判斷與該分析對(duì)象單元對(duì)應(yīng)的事件是否為頂上事件，若是頂上事件則結(jié)束處理，否則返回到S8而再次進(jìn)行同列事件的探索。
[0067]通過以上的處理，通過表計(jì)算軟件而制作的FT圖的數(shù)據(jù)轉(zhuǎn)換為XML數(shù)據(jù)。
[0068]圖4表示通過輸入部從表計(jì)算軟件中制作的FT圖的數(shù)據(jù)探索事件的情況。
[0069]根據(jù)上述處理，首先，發(fā)現(xiàn)被記載為“傳輸帶車的傳動(dòng)的損耗大”的單元(圖中
(1))，在XML數(shù)據(jù)中追加頂上事件“傳輸帶車的傳動(dòng)的損耗大”。
[0070]接著，發(fā)現(xiàn)在其右側(cè)配置的記載為“滑動(dòng)量大”的單元(圖中(2))，在XML數(shù)據(jù)中追加下位事件“滑動(dòng)量大”。
[0071]由于在記載為“滑動(dòng)量大”的單元的右側(cè)再不存在其他事件的單元，所以接著檢索與其同列的單元，發(fā)現(xiàn)記載為“摩擦力大”的單元(圖中(3))。然后，在XML數(shù)據(jù)中追加同列事件“摩擦力大”。
[0072]同樣地，發(fā)現(xiàn)記載為“阻力大”、“傳輸帶張力大”以及“摩擦系數(shù)大”的單元(圖中
(4)、(5))，在XML數(shù)據(jù)中追加下位事件“阻力大”、下位事件“傳輸帶張力大”以及同列事件
“摩擦系數(shù)大”。
[0073]圖5表示通過輸入處理而生成的XML數(shù)據(jù)。FT圖的樹結(jié)構(gòu)通過標(biāo)簽<FaultTreeNodeX/FaultTreeNode>的包含關(guān)系而表現(xiàn)，且各事件具有l(wèi)abel屬性、logic屬性、verification屬性。但是，由于還沒有進(jìn)行物理量的匹配性驗(yàn)證，所以在verification屬性中有假設(shè)的值。
[0074]此外，在顯示部4中，以如圖6所示的格式顯示樹結(jié)構(gòu)。顯示的樹結(jié)構(gòu)與由格線以及字符串表現(xiàn)的FT圖的樹結(jié)構(gòu)相同，但為了容易觀察樹結(jié)構(gòu)，若點(diǎn)擊在具有下位事件的事件的左側(cè)顯示的文件夾的插圖，則可折合或者展開下位事件。
[0075]<編輯部 22 >
[0076]編輯部22具有如下功能:一邊觀看在顯示部4中顯示的FT圖的樹結(jié)構(gòu)，一邊在顯示部4上進(jìn)行樹結(jié)構(gòu)的修改。若通過用戶對(duì)操作部5進(jìn)行操作而在顯示部4上變更FT圖的樹結(jié)構(gòu)，則編輯部22將其變更內(nèi)容反映到XML數(shù)據(jù)。
[0077]以下，說明代表性的編輯功能。
[0078]-下位事件的追加-
[0079]圖7表示在頂上事件中追加下位事件的情況。圖中左側(cè)是顯示部4的顯示內(nèi)容，圖中右側(cè)是與其對(duì)應(yīng)的XML數(shù)據(jù)。此外，圖中上側(cè)表示編輯前的狀態(tài)，圖中下側(cè)表示編輯后的狀態(tài)(圖8?圖10也相同)。
[0080]若用戶在顯示部4上選擇頂上事件，則編輯部22在顯示部4中顯示編輯菜單(未圖示)。在編輯菜單中包含“追加”，若用戶選擇該“追加”，則輸入事件的屬性的窗口打開。然后，若用戶輸入label屬性等的屬性，則編輯部22在顯示部4中在頂上事件的下位顯示<事件>。
[0081]若在顯示部4上進(jìn)行這樣的編輯操作，則編輯部22將該內(nèi)容實(shí)時(shí)反映到XML數(shù)據(jù)中，如圖中右側(cè)所示，< 事件 > 的要素追加到XML數(shù)據(jù)。由于 < 事件 > 是頂上事件的下位事件，所以<事件>的要素配置在頂上事件的開始標(biāo)簽〈FaultTreeNode〉的下方。另外，在該例中，省略了頂上事件的結(jié)束標(biāo)簽〈/FaultTreeNode〉。
[0082]-下位事件的刪除-[0083]圖8表示刪除下位事件時(shí)的情況。
[0084]若用戶在顯示部4上選擇<事件>，則編輯部22在顯示部4中顯示編輯菜單(未圖示)。在編輯菜單中包含“刪除”，若用戶選擇該“刪除”，則編輯部22在顯示部4中刪除<事件>。
[0085]若在顯示部4上進(jìn)行這樣的編輯操作，編輯部22將該內(nèi)容實(shí)時(shí)地反映到XML數(shù)據(jù)中，如圖中右側(cè)所示，從XML數(shù)據(jù)刪除<事件>的要素。
[0086]-事件的移動(dòng)-
[0087]圖9表示移動(dòng)下位事件時(shí)的情況。
[0088]在該例中，在頂上事件的下位同列配置有“事件A”、“事件B”以及“事件C”。若用戶選擇其中的一個(gè)“事件A”，并拖動(dòng)到“事件B”的上方并放置，則編輯部22在顯示部4中將“事件A”移動(dòng)到“事件B”的下位。
[0089]若在顯示部4上進(jìn)行這樣的編輯操作，則編輯部22將該內(nèi)容實(shí)時(shí)地反映到XML數(shù)據(jù)中，如圖中右側(cè)所示，在XML數(shù)據(jù)中“事件A ”的要素移動(dòng)到“事件B ”的開始標(biāo)簽〈FaultTreeNode〉與結(jié)束標(biāo)簽〈/FaultTreeNode〉之間。
[0090]-事件的復(fù)制-
[0091]圖10表示復(fù)制下位事件時(shí)的情況。
[0092]在該例中，在頂上事件的下位同列配置“事件B”以及“事件C”，在“事件B”的下位配置“事件A”。若用戶在顯示部4上選擇“事件B”，則編輯部22在顯示部4中顯示編輯菜單(未圖示)。在編輯菜單中包含“復(fù)制”和“粘貼”，若用戶選擇“復(fù)制”，并接著選擇“事件C”并選擇“粘貼”，則編輯部22在顯示部4中將“事件B”以及“事件A”移動(dòng)到“事件C”的下位。
[0093]若在顯示部4上進(jìn)行這樣的編輯操作，則編輯部22將該內(nèi)容實(shí)時(shí)地反映到XML數(shù)據(jù)中，如圖中右側(cè)所示，在XML數(shù)據(jù)中在“事件C”的〈FaultTreeNode〉與結(jié)束標(biāo)簽〈/FaultTreeNode)之間追加“事件B”以及“事件A”的要素。
[0094]在這里說明的編輯功能為編輯部22具有的功能的一部分，但關(guān)于其他的功能也同樣地，若在顯示部4上FT圖的樹結(jié)構(gòu)發(fā)生變更，則該變更內(nèi)容實(shí)時(shí)地反映到XML數(shù)據(jù)中。
[0095]因此，不需要每次在編輯XML數(shù)據(jù)時(shí)，用戶意識(shí)XML標(biāo)簽或描述方法，在顯示部4上對(duì)在顯示部4中顯示的樹結(jié)構(gòu)進(jìn)行編輯，就能夠容易改寫XML數(shù)據(jù)。
[0096]另外，在這里，說明了對(duì)通過輸入處理而獲得的XML數(shù)據(jù)進(jìn)行編輯的情況，但也可以不輸入，而是在編輯部22中新制作XML數(shù)據(jù)。
[0097]<事件分析部23 >
[0098]事件分析部23具有如下功能:從各事件的label屬性，分析物理量的單位以及故障值狀態(tài)，并在各事件中追加unit屬性、qstate屬性。
[0099]圖11是表示了事件分析部23的處理內(nèi)容(程序的內(nèi)容)的流程圖。參照?qǐng)D11，說明事件分析部23的處理內(nèi)容。
[0100]首先，事件分析部23在S21中，從XML數(shù)據(jù)提取全部事件，并將它們的label屬性追加到事件列表。事件列表是本分析的操作用的文本數(shù)據(jù)。
[0101]在S22中，事件分析部23判斷事件列表是否為空。在事件列表為空的情況下處理結(jié)束，在事件列表中包含事件的情況下處理進(jìn)入S23。[0102]在S23中，事件分析部23將列表開頭的事件設(shè)為作為分析對(duì)象的事件的對(duì)象事件，并將其內(nèi)容設(shè)定為對(duì)象字符串。
[0103]在S24中，如圖12所示，事件分析部23從對(duì)象字符串的后側(cè)起檢索故障值用語。檢索使用圖13所示的用語詞典，通過與用語詞典的匹配而進(jìn)行。故障值用語是表示在事件中包含的物理量成為什么樣的狀態(tài)時(shí)成為故障的原因的用語，例如，若是“電壓高”的事件，則“高”成為故障值用語，若是“長(zhǎng)度短”的事件，則“短”成為故障值用語。
[0104]在S25中，事件分析部23判斷是否發(fā)現(xiàn)了故障值用語。在發(fā)現(xiàn)了故障值用語的情況下處理進(jìn)入S26，否則處理進(jìn)入S28。
[0105]在S26中，參照?qǐng)D13所示的用語詞典，讀入與發(fā)現(xiàn)的故障值用語對(duì)應(yīng)的故障值狀態(tài)的屬性，并將其設(shè)定為分析對(duì)象的事件的qstate屬性。例如，若是“高”則qstate屬性為“ +，，、若是“短”則qstate屬性為
[0106]在S27中，事件分析部23從對(duì)象字符串刪除故障值用語。
[0107]在S28中，如圖12所示，事件分析部23從對(duì)象字符串的后側(cè)起進(jìn)一步檢索物理量用語。檢索使用圖14所示的用語詞典，通過與用語詞典的匹配而進(jìn)行物理量用語的檢索。例如，若是“電壓高”的事件，則物理量用語為“電壓”，若是“長(zhǎng)度短”的事件，則物理量用語為“長(zhǎng)度”。
[0108]在S29中，事件分析部23判斷是否發(fā)現(xiàn)了物理量用語。在發(fā)現(xiàn)了物理量用語的情況下處理進(jìn)入S30，否則處理進(jìn)入S31。
[0109]在S30中，事件分析部23參照?qǐng)D14所示的用語詞典，讀入所發(fā)現(xiàn)的物理量用語的單位，并將其設(shè)定為分析對(duì)象的事件的unit屬性。例如，若是“電壓”則物理量用語的屬性為“V”，若是“長(zhǎng)度”則物理量用語的屬性為“m”。
[0110]在S31中，刪除位 于列表的開頭的事件，返回到S22。
[0111]直到在S22中判斷事件列表為空為止重復(fù)S22~S30的處理，最終對(duì)列表內(nèi)的全部事件設(shè)定unit屬性以及qstate屬性。
[0112]<匹配性驗(yàn)證部24 >
[0113]匹配性驗(yàn)證部24具有如下功能:在編輯前或者編輯后的XML數(shù)據(jù)中，基于上位事件和下位事件的物理量的關(guān)系，驗(yàn)證下位事件的展開是否適當(dāng)?shù)剡M(jìn)行，并基于驗(yàn)證結(jié)果來設(shè)定各事件的verification屬性。
[0114]圖15是表示了匹配性驗(yàn)證部24的處理內(nèi)容(程序的內(nèi)容)的流程圖。參照?qǐng)D15說明匹配性驗(yàn)證部24的處理內(nèi)容。
[0115]首先，匹配性驗(yàn)證部24在S41中判斷驗(yàn)證對(duì)象的事件是否為基本事件?；臼录侵覆痪哂斜茸约合挛坏氖录南挛皇录?。由于驗(yàn)證對(duì)象的事件為基本事件的情況下驗(yàn)證匹配性沒有意義，所以處理進(jìn)入S42,驗(yàn)證對(duì)象的事件的verification屬性設(shè)定為表示“未驗(yàn)證”的O。在驗(yàn)證對(duì)象的事件不是基本事件的情況下，處理進(jìn)入S43。
[0116]在S43中，匹配性驗(yàn)證部24判斷以下的其中一個(gè)是否成立。
[0117]?驗(yàn)證對(duì)象的事件不包含物理量。
[0118].驗(yàn)證對(duì)象的事件的下位事件都不包含物理量。
[0119]在其中一個(gè)成立的情況下，由于不能進(jìn)行匹配性的驗(yàn)證，所以處理進(jìn)入S44，驗(yàn)證對(duì)象的事件的verification屬性設(shè)定為表示“不能判定”的_1。在都不成立的情況下，處理進(jìn)入S45。
[0120]在S45中，關(guān)于驗(yàn)證對(duì)象的事件的物理量和其下位事件的物理量，判斷以下的其中一個(gè)是否成立。
[0121].驗(yàn)證對(duì)象的事件的物理量的單位能夠以下位事件的物理量的單位的加減算法表現(xiàn)。即，驗(yàn)證對(duì)象的事件的物理量與下位事件的物理量為相同的單位。
[0122].驗(yàn)證對(duì)象的事件的物理量的單位能夠以下位事件的物理量的單位的乘除或者冪乘算法表現(xiàn)。即，驗(yàn)證對(duì)象的事件的物理量的單位可使用下位事件的物理量的單位表現(xiàn)。
[0123]若其中一個(gè)成立，則存在取得匹配性(下位事件的展開適當(dāng)?shù)剡M(jìn)行)的可能性，為了進(jìn)行進(jìn)一步的驗(yàn)證，處理進(jìn)入S47。否則未取得匹配性(下位事件的展開沒有適當(dāng)?shù)剡M(jìn)行)，所以進(jìn)入S46，驗(yàn)證對(duì)象事件的verification屬性設(shè)定為表示“不匹配”的3。
[0124]在S47中，判斷在下位事件中是否包含物理量不明確的事件。在下位事件中包含物理量不明確的事件的情況下，即使在S45中進(jìn)行肯定的判斷，也存在未取得匹配性的可能性，所以處理進(jìn)入S48,驗(yàn)證對(duì)象的事件的verification屬性設(shè)定為表示有“不匹配的可能性”的2。否則取得匹配性(下位事件的展開適當(dāng)?shù)剡M(jìn)行)，所以處理進(jìn)入S49，驗(yàn)證對(duì)象的事件的verification屬性設(shè)定為表示“匹配”的4。
[0125]這個(gè)處理對(duì)在XML數(shù)據(jù)中包含的全部事件進(jìn)行,對(duì)全部事件設(shè)定verification屬性。
[0126]圖16表示匹配性驗(yàn)證前后的顯示部4的顯示以及XML數(shù)據(jù)。
[0127]通過進(jìn)行匹配性驗(yàn)證,各事件的verification屬性的值被設(shè)定,在顯示部4中顯示的樹結(jié)構(gòu)中，例如，若是“匹配”，則表示驗(yàn)證結(jié)果的插圖的圈，若是“不匹配”則表示驗(yàn)證結(jié)果的插圖的叉號(hào)，若是“未驗(yàn)證”則表示驗(yàn)證結(jié)果的插圖的連字號(hào)顯示在各事件的右側(cè)。
[0128]由此，用戶能夠容易得知下位事件的展開沒有適當(dāng)?shù)剡M(jìn)行的可能性以及展開沒有適當(dāng)?shù)剡M(jìn)行的地點(diǎn)，在修改FT圖時(shí)能夠進(jìn)行參考。
[0129]<輸出部 25>
[0130]輸出部25具有如下功能:將在編輯部22中編輯之后的XML數(shù)據(jù)變換為表計(jì)算軟件的數(shù)據(jù)格式。
[0131]圖17是表示了輸出部25的處理內(nèi)容(程序的內(nèi)容)的流程圖。參照?qǐng)D17，說明輸出部25的處理內(nèi)容。
[0132]首先，輸出部25在S51中，判斷在XML數(shù)據(jù)中是否包含頂上事件。在不包含頂上事件的情況下處理結(jié)束，在包含頂上事件的情況下處理進(jìn)入S52。
[0133]在S52中，輸出部25準(zhǔn)備表計(jì)算軟件的空的工作表，將該工作表的左上的規(guī)定的單元設(shè)定為編輯對(duì)象單元。此外，將XML數(shù)據(jù)的頂上事件設(shè)定為對(duì)象事件。
[0134]在S53中，輸出部25在編輯對(duì)象單元中寫入對(duì)象事件的label屬性的內(nèi)容，且以格線包圍該單元。
[0135]在S54中，輸出部25判斷在對(duì)象事件中是否存在下位事件。在存在下位事件的情況下處理進(jìn)入S55，否則處理進(jìn)入S56。
[0136]在S55中，輸出部25將編輯對(duì)象單元變更為規(guī)定單元量位于右側(cè)的單元，并畫出延伸至該單元的格線。此外，在對(duì)象事件與該下位事件的關(guān)系為邏輯“與”的情況下，在位于格線的上側(cè)的空白單元中寫入“AND”的字符。然后，將對(duì)象事件變更為該下位事件。[0137]然后，處理返回到S53，輸出部25在編輯對(duì)象單元中寫入對(duì)象事件的label屬性的內(nèi)容,且以格線包圍該單元。
[0138]直到再存在下位的事件的期間重復(fù)S53?S55，若判斷為再不存在下位的事件，則處理進(jìn)入S56。
[0139]在S56中，輸出部25判斷在對(duì)象事件中是否存在同列事件。在存在同列事件的情況下處理進(jìn)入S57，否則處理進(jìn)入S58。
[0140]在S57中，輸出部25將編輯對(duì)象單元變更為規(guī)定單元量位于下側(cè)的單元，并畫出延伸至該單元的格線。然后，將對(duì)象事件變更為該同列事件。
[0141]然后,處理返回到S53，輸出部25在編輯對(duì)象單元中寫入對(duì)象事件的label屬性的內(nèi)容,且以格線包圍該單元。
[0142]直到再存在同列的事件的期間重復(fù)S53?S57，若判斷為再不存在同列的事件，則處理進(jìn)入S58。
[0143]在S58中，輸出部25將編輯對(duì)象單元移動(dòng)到與上位事件對(duì)應(yīng)的單元，且將對(duì)象事件變更為與該單元對(duì)應(yīng)的上位事件。
[0144]在S59中，輸出部25判斷對(duì)象事件是否為頂上事件。在不是頂上事件的情況下處理返回到S56，進(jìn)一步判斷是否有對(duì)象事件的同列事件，若判斷為是頂上事件，則處理結(jié)束。
[0145]通過以上的處理，XML數(shù)據(jù)變換為表計(jì)算軟件的數(shù)據(jù)格式。
[0146]圖18表示通過輸出部25，XML數(shù)據(jù)變換為表計(jì)算軟件的數(shù)據(jù)格式的情況。
[0147]根據(jù)上述處理，首先，在表計(jì)算軟件的工作表的左上的規(guī)定的單元中寫入作為頂上事件的label屬性的內(nèi)容的“傳輸帶車的傳動(dòng)的損耗大”，以格線包圍該單元(圖中(I))。
[0148]接著，從頂上事件的單元至向右偏離3個(gè)單元的單元為止畫出格線，在該單元中寫入作為下位事件的label屬性的“滑動(dòng)量大”，以格線包圍該單元(圖中(2))。
[0149]接著，直到寫入“滑動(dòng)量大”的單元的向下偏離2個(gè)單元的單元為止畫出格線，在該單元中寫入作為同列事件的label屬性的內(nèi)容的“摩擦力大”，以格線包圍該單元(圖中
(3))。
[0150]同樣地，制作寫入了“阻力大”、“傳輸帶張力大”以及“摩擦系數(shù)大”的單元、連接它們之間的格線(圖中(4)、(5))。
[0151]通過如上而在表計(jì)算軟件的工作表上制作FT圖。制作出的數(shù)據(jù)可經(jīng)由輸入輸出部轉(zhuǎn)交給裝置外的服務(wù)器、個(gè)人計(jì)算機(jī)。
[0152]以上，說明了本發(fā)明的實(shí)施方式，但上述實(shí)施方式只不過是表示了本發(fā)明的應(yīng)用例的一個(gè)，并非將本發(fā)明的技術(shù)范圍限定于上述實(shí)施方式的具體結(jié)構(gòu)的意旨。
[0153]本申請(qǐng)主張基于在2011年9月27日向日本特許廳申請(qǐng)的特愿2011-211325號(hào)的優(yōu)先權(quán)，該申請(qǐng)的全部?jī)?nèi)容通過參照而引入本說明書中。
【權(quán)利要求】
1.一種FT圖制作輔助裝置，包括: 輸入部，從在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)即第一數(shù)據(jù)獲取格線的連接關(guān)系以及字符串，并從獲取到的所述格線的連接關(guān)系以及字符串求出在所述FT圖中包含的事件以及事件之間的連接關(guān)系，并基于此來生成以標(biāo)記語言描述所述FT圖的樹結(jié)構(gòu)的第二數(shù)據(jù)；以及 編輯部，對(duì)所述第二數(shù)據(jù)進(jìn)行編輯，生成以標(biāo)記語言描述編輯后的FT圖的樹結(jié)構(gòu)的第三數(shù)據(jù)。
2.如權(quán)利要求1所述的FT圖制作輔助裝置，還包括: 輸出部，基于所述第三數(shù)據(jù)，在所述表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)所述FT圖的樹結(jié)構(gòu)，并由此生成第四數(shù)據(jù)。
3.如權(quán)利要求1或2所述的FT圖制作輔助裝置，還包括: 匹配性驗(yàn)證部，從所述第二或者第三數(shù)據(jù)獲取各事件的物理量，并基于上位事件的物理量和下位事件的物理量的關(guān)系來驗(yàn)證所述第二或者第三數(shù)據(jù)的匹配性。
4.如權(quán)利要求1至3的任一項(xiàng)所述的FT圖制作輔助裝置， 還包括顯示部， 所述編輯部基于所述第二數(shù)據(jù)，將所述FT圖顯示在所述顯示部中，若在所述顯示部上指示所述FT圖的修改，則將該修改的內(nèi)容反映到所述第二數(shù)據(jù)，并由此生成所述第三數(shù)據(jù)。
5.—種程序，使計(jì)算機(jī)實(shí)現(xiàn)如下功能: 輸入功能，從在表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)了樹結(jié)構(gòu)的FT圖的數(shù)據(jù)即第一數(shù)據(jù)獲取格線的連接關(guān)系以及字符串，并從獲取到的所述格線的連接關(guān)系以及字符串求出在所述FT圖中包含的事件以及事件之間的連接關(guān)系，并基于此來生成以標(biāo)記語言描述所述FT圖的樹結(jié)構(gòu)的第二數(shù)據(jù)；以及 編輯功能，對(duì)所述第二數(shù)據(jù)進(jìn)行編輯，生成以標(biāo)記語言描述FT圖的樹結(jié)構(gòu)的第三數(shù)據(jù)。
6.如權(quán)利要求5所述的程序，用于使計(jì)算機(jī)還實(shí)現(xiàn)如下功能: 輸出功能，基于所述第三數(shù)據(jù)，在所述表計(jì)算軟件的工作表上由格線和字符串表現(xiàn)所述FT圖的樹結(jié)構(gòu)，并由此生成第四數(shù)據(jù)。
7.如權(quán)利要求5或6所述的程序，用于使計(jì)算機(jī)還實(shí)現(xiàn)如下功能: 匹配性驗(yàn)證功能，從所述第二或者第三數(shù)據(jù)獲取各事件的物理量，并基于上位事件的物理量和下位事件的物理量的關(guān)系來驗(yàn)證所述第二或者第三數(shù)據(jù)的匹配性。
8.如權(quán)利要求5至7的任一項(xiàng)所述的程序， 所述編輯功能是如下功能: 基于所述第二數(shù)據(jù)，將所述FT圖顯示在所述計(jì)算機(jī)的顯示部中，若在所述顯示部上指示所述FT圖的修改，則將該修改的內(nèi)容反映到所述第二數(shù)據(jù)，并由此生成所述第三數(shù)據(jù)。
【文檔編號(hào)】G06F17/21GK103765470SQ201280040559
【公開日】2014年4月30日 申請(qǐng)日期:2012年9月6日 優(yōu)先權(quán)日:2011年9月27日
【發(fā)明者】山本克成, 平岡洋二, 古川慈之 申請(qǐng)人:加特可株式會(huì)社