專利名稱：借助計算機知識庫系統(tǒng)推理的纖維紡絲機的時間最優(yōu)化操作的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種新的、改進的作業(yè)管理計算機化方法，特別是涉及合成纖維紡絲機擋車工作業(yè)管理的計算機化方法。
在合成纖維紡絲機正常運轉(zhuǎn)時，由聚合罐將聚合物送出，并通過噴絲板擠壓形成一組長絲，這組長絲被送到卷繞器，并繞到筒子上形成長絲卷包裝。通常，各種操作，例如拉伸、回縮和熱處理時，長絲是被置于噴絲板和卷繞器之間來完成的。一般情況下，需把長絲組分離成單獨的“單根絲”，由各單根絲形成一方卷的長絲卷包。
各種操作由擋車工在紡絲機上來完成，其中一個很重要的操作是“落絲”，它包括將卷包從卷繞器取下，并將前端長絲再繞到一個新的筒子上。
落絲是根據(jù)各種可能發(fā)生的事件而執(zhí)行的一種作業(yè)，例如當(dāng)卷包繞滿，或當(dāng)需進行維修時(例如從噴絲板表面刮擦殘渣、或更換諸如噴絲頭組件等設(shè)備時)進行有計劃的落絲，而當(dāng)絲條斷絲時發(fā)生非計劃落絲。
要求擋車工做的這些事情在正常的、有計劃的工作方式下是不會經(jīng)常發(fā)生的。通常，會發(fā)生二件或三件事件連續(xù)地、或同時、或在紡絲機的兩側(cè)迅速地出現(xiàn)，這不僅會引起擋車工(或擋車工小組)的混亂和驚慌，而且有時會造成機器的無效運轉(zhuǎn)，以及人力和物力的浪費。另一個后果是會產(chǎn)生不合格尺寸的長絲包，是不能實際應(yīng)用的。
為克服上述缺點，有人提出過許多系統(tǒng)。一種系統(tǒng)是擋車工在重新理緒一個位置之后，就按壓按鈕，使計算機發(fā)出信號，以起動某一指示在預(yù)定時間和某一特定位置上發(fā)出需要落絲的燈光信號?？墒牵S多時候擋車工并沒見到燈光，尤其是他位于機器的另一側(cè)時。用電子傳感器來確定在一指定的卷繞器位置處(以后簡稱“位置”)有沒有落絲的系統(tǒng)是眾所周知的。將傳感器的信號輸入計算機以產(chǎn)生有關(guān)各個位置的信息，也就是關(guān)于該位置是否正在卷繞纖維，以及關(guān)于每個位置的專門時間安排。為了使擋車工能迅速地觀察到，在某些系統(tǒng)中，所需的信息是顯示在由計算機驅(qū)動的顯示器上。上述系統(tǒng)有幾個缺陷，在每個位置上用一個單一的傳感器并不能對各個位置的各種可能狀態(tài)之間的差別提供充分可靠的信息，即，分辨不出是(a)正在卷繞纖維(稱“運轉(zhuǎn)狀態(tài)”)，(b)正在落絲而不卷繞纖維(稱“落絲狀態(tài)”)，(c)由于絲條斷裂而不卷纖維(稱“停車狀態(tài)”)。更為復(fù)雜的情況是諸如當(dāng)傳感器本身有故障(一種普通的情況)而給出錯誤的指示信息。
本發(fā)明提出了一種多位紡絲機的合成纖維紡絲機擋車工的作業(yè)管理方法，它克服了已有技術(shù)的缺陷，它是將一組單絲作為一長絲束提拉，然后分離成單獨的絲條卷繞到長絲卷包上。該方法包括用電子學(xué)方法自動檢測在分離前和后的位置上長絲束和絲條的存在與否，經(jīng)電信號儲存后再處理這些信息，然后由顯示器的指示指出如下的信息。
(1)傳感信息的有效性;
(2)各位置的運轉(zhuǎn)情況;
(3)各位置的運轉(zhuǎn)情況中等級的變化;
(4)紡絲機擋車工的工作情況;
(5)紡絲機擋車工工作情況的等級變化;
(6)作業(yè)完成的時限。
該程序由一個實時信號驅(qū)動的專門系統(tǒng)來執(zhí)行，該系統(tǒng)包括事件數(shù)據(jù)庫-規(guī)則數(shù)據(jù)庫，以及一個智能化機器，它自動思考、推論，并如人們的頭腦如何在一規(guī)定的時間間隔之內(nèi)響應(yīng)不同時的感覺信息輸入的變化，或時序信號考慮相應(yīng)的動作方式來執(zhí)行一定的規(guī)則。
本發(fā)明采用一組傳感器來感知長絲束分離前后的位置上前進絲條的存在與否，以及一個中心處理機(數(shù)字計算機一在這里稱為“主計算機”)，中心處理機連著傳感器，并在一專門系統(tǒng)的程序控制下工作。該系統(tǒng)作思考，判斷并顯示出信息，以幫助紡絲機擋車工(以下稱“SMO”)的工作。
本發(fā)明的系統(tǒng)運轉(zhuǎn)時，系統(tǒng)的調(diào)準，數(shù)據(jù)的傳輸和信息的處理按如下模式進行(a)將紡絲機的相對位置和標準操作條件儲存在專門系統(tǒng)知識數(shù)據(jù)庫的事件數(shù)據(jù)庫部分;
(b)用一傳感器，按每一位置作為時間函數(shù)方式來監(jiān)測至少三個測位的前進著的長絲束和絲條是否存在(1)先監(jiān)測前進著的長絲分離處，接著監(jiān)測單個的左邊和右邊卷絲器;
(2)從絲條到左卷絲器;以及(3)從絲條到右卷絲器。
(c)將由傳感器來的信號傳送到一個輸入/輸出(I/O)子系統(tǒng)，該子系統(tǒng)將信號轉(zhuǎn)換成可由數(shù)字計算機讀出的數(shù)字信號;
(d)將所說傳感器的輸入(存在或不存在信號)儲存在專門系統(tǒng)知識數(shù)據(jù)庫的事件數(shù)據(jù)庫部分;
(e)對專門系統(tǒng)知識數(shù)據(jù)庫的規(guī)則數(shù)據(jù)庫部分中的規(guī)則進行辨認，該系統(tǒng)在它們的地址中存有經(jīng)變態(tài)的專門事件;
(f)用一順向連接的推斷機來計算所說的各條規(guī)則;
(g)對各個位置的狀態(tài)進行推斷;
(h)對某些傳感器的故障情況作出推斷，并給出傳感器的最可能存在的狀態(tài);
(i)執(zhí)行由邏輯上是正確的規(guī)則結(jié)論部分所規(guī)定的動作;
(j)為專門系統(tǒng)提供一套機構(gòu)以識別相對于實時日歷鐘的定時事件，并在規(guī)定的時間間隔內(nèi)對這樣的事件產(chǎn)生響應(yīng);
(k)提供多個定時功能以確定什么時候一個位置應(yīng)該落絲，更換刮片或噴絲頭組件，并包括這些工作完成之前的剩余時間等;和(l)在計算機驅(qū)動的顯示器上，以適當(dāng)?shù)男问?電文或圖解)為SMO顯示前述的信息。
該實時專門系統(tǒng)包括一個專門系統(tǒng)的設(shè)計和運行的環(huán)境，或外罩，一種說明目標方向知識的事件數(shù)據(jù)庫系統(tǒng);一個以蘊含(IF-THEN)規(guī)律形式存在的推斷知識的規(guī)則庫系統(tǒng)，過程方面的“方法”和“推斷”，即，系統(tǒng)的定時器功能，I/O子系統(tǒng)功能。
附圖簡要說明

圖1表示合成纖維紡絲機的一個單一位置與本發(fā)明計算機系統(tǒng)的一部分相接的示意圖。
圖2是一組合成纖維紡絲機的位置與本發(fā)明計算機系統(tǒng)連接的示意圖。
圖3是圖1和圖2的I/O子系統(tǒng)框圖，該子系統(tǒng)將電傳感器信號轉(zhuǎn)換成主計算機的計算機可讀的數(shù)字信息。
圖4是I/O子系統(tǒng)掃描過程的邏輯流程圖。
圖5是包括處理機。I/O接口和用戶接口的主計算機框圖。
圖6是包括智力與專門知識和算法組件的知識庫系統(tǒng)的框圖。
圖7是目標代表系統(tǒng)的圖解。
圖8A是傳感器狀態(tài)變換的示圖。
圖8B是左卷繞器(LWU)和右卷繞器(RWU)狀態(tài)的示圖。
圖9A是一個位置的位置狀態(tài)圖。
圖9B是SMO狀態(tài)的說明圖。
圖10是位置規(guī)則分級體系圖。
圖11是紡絲機運轉(zhuǎn)標準分類和紡絲機狀態(tài)標準分類圖。
圖12是位置-紡絲擋車工狀態(tài)的示圖。
圖13是附加于實時處理用的專門外罩環(huán)境的實時鐘和計時器供電設(shè)施的流程圖。
圖14是運轉(zhuǎn)狀態(tài)中一個位置的典型的CRT顯示。
圖15是總的事件處理算法的邏輯框圖。
圖16是在落絲狀態(tài)下一個位置的典型CRT顯示。
圖17是在絲條斷裂事故之后在落下狀態(tài)下一個位置顯示器的典型屏幕顯示。
圖18是在一個LWV傳感器故障事件之后，在起動狀態(tài)時位置顯示器的典型屏幕顯示。
專門系統(tǒng)是一套在計算機系統(tǒng)上工作的軟件程序，它包含有關(guān)實時出現(xiàn)的問題，情況或周圍環(huán)境的信息和認識，并按照一種給定的狀態(tài)或認識的變更作出推斷，例如在Addison-Wesley，Reading，MA，1986，P44-360、P437-440，CharniakE.和McDermottD.的“人工智能導(dǎo)論”和Addison-Wesley，ReadingMA，1983，P59-81、P89-169中Hayes-RothF.WatermanD.A，LenatD.B.等著的“建筑專門系統(tǒng)”中所討論的，在這里參考這兩篇文章是合適的。
專門系統(tǒng)通常包含知識庫和一個用來處理知識庫中數(shù)據(jù)的推斷機構(gòu)。知識庫包含問題空間的描述或模擬，并包括所有代表環(huán)境狀態(tài)的事件或數(shù)值，以及一套用來操縱這些事件以導(dǎo)出一種新的狀態(tài)的邏輯算符。
知識庫的事件庫部分中的事件可以表示成一客體定位示例中的目標(參照Cox，Brad J，“目標定位程序編制”，展開近似法”，P29-91，Addison-Wesly，Reading，MA，1986)，這里的目標具有一定的特征和數(shù)值，在這里參照這樣的示例是合適的。在一種模式的描述中采用了目標類別和繼承，這里類別是一個目標的總描述，而一種目標的特有情況繼承其本源類別的全部屬性。紡絲機(SM)卷繞位置和擋車工是一般分類的例子，而SM11，位置1和一個名為“DICK”的擋車工是承襲他們的本源分類所有特征的各種分類情況的例子，這些承襲者在他們的類程體系中保持單值狀態(tài)。圖7表示這樣的體系。
美國專利U.S4，675，829公開了一個包含一個或多個類程體系的構(gòu)架基礎(chǔ)系統(tǒng)中確定分類單元系統(tǒng)的細節(jié)。該類程體系可以有一個或多個符號或四則數(shù)值。在此作為參考。
邏輯算符包含在能夠由各種規(guī)則表示的規(guī)則基礎(chǔ)中，每條規(guī)則包括一個假定(IF部分)和一個結(jié)論(THEN部分)。如果發(fā)現(xiàn)所有假定的事件是真的，則該規(guī)則的結(jié)論就被肯定寫進知識庫中。專門系統(tǒng)中的推斷機構(gòu)是一個用來控制知識庫中規(guī)則執(zhí)行，并用來承上繼后的程序。
例如，表示在上述參考的U.S4，675，829的體系中，各條規(guī)則成IF假定，THEN結(jié)論形式寫成如英文語句而能夠使推斷機在向前和向后聯(lián)系的模式中運轉(zhuǎn)。在本發(fā)明中，沒有人為干預(yù)就可使事件轉(zhuǎn)化到知識庫中，并在一個規(guī)定的時間間隔之間就能取得結(jié)論，記錄。而且，將時間作為一種事件和時間數(shù)值作為一種知識庫中的事件的概念包含在紡絲工作模式中。本發(fā)明采用一種實時，連機專門系統(tǒng)，該系統(tǒng)對傳感器輸入信號和時間指令序列的變化產(chǎn)生響應(yīng)，而時間指令序列被模擬成知識庫中事件隨時間變化的。這要求由數(shù)據(jù)驅(qū)動的，向前連續(xù)推斷機來處理各種規(guī)則，從真實事件所推斷的新的事實獲得結(jié)論。時間和傳感器的工作過程在專門系統(tǒng)中由軟件表示成“Methods”和“Demons”。方法(Methods)是指當(dāng)通過信息指示被執(zhí)行的動作時，所產(chǎn)生的軟件的功能。論證“Demons”是指當(dāng)客體軌跡的值更改或被提到時的軟件功能。在本系統(tǒng)中，論證重點放在傳感器的輸入軌跡和成程序的事件上，以使專門系統(tǒng)推斷機無論何時有一個變化的值。
現(xiàn)參照圖1，聚合物從聚合罐(未示出)沿箭頭方向通過合適的管子1輸送到一個包含有多孔噴絲板3的紡絲組件2，并從噴絲板的孔擠出，形成一組長絲4，向下傳送成長絲4a，繞過拔拉滾輪5向前到滾輪6，在這里長絲束被分離成左絲條7和右絲條7′。如圖所示，每一前進著的絲條再由滾輪導(dǎo)軌8和8′傳動繞到筒子架上，以形成長絲卷繞包9和9′。硬件與長絲條7和7′端頭的卷繞器結(jié)合起來分別統(tǒng)稱為左卷繞單元(LWU)和右卷繞單元(RWU)。當(dāng)然，長絲從噴絲板3到卷繞包9和9′傳送期間可能存在許多中間過程，例如加熱、冷卻、拉伸、交織、液體整理劑涂復(fù)等。
電子傳感裝置(BRK)10用來檢測長絲束4a′的存在與否，與LWU結(jié)合的傳感裝置11和與RWU結(jié)合的傳感裝置12分別檢測長絲條7和7′的存在與否，三個傳感裝置處于三個位置，并將信號輸入到I/O子系統(tǒng)12中。
圖2中，一組紡絲位置(為簡便，僅表示出各個卷繞機的一部分)的傳感裝置將信號輸入到I/O子系統(tǒng)，I/O子系統(tǒng)將信號輸入到與CRT15(僅示出一臺)對接的主計算機14。
傳感器檢測前進著的長絲束和絲條的存在與否。用一個紅外發(fā)射二極管和一個兩極檢測管來產(chǎn)生電信號是合適的。當(dāng)前進著的絲條截斷紅外線束時，電信號隨時間變化。檢測到電信號變化，并產(chǎn)生指示，說明絲條存在。因此，紅外光束如果總被阻斷，或如果紅外光束不間斷，檢測器就指出長絲不存在。一種優(yōu)質(zhì)的傳感器是由英國DentSensors有限公司生產(chǎn)的MU-T29-WUVigilo傳感器。
I/O子系統(tǒng)12是一種智能系統(tǒng)，它具有不受主機控制的掃描功能。如圖3所示，由LWU，RWU和BRK傳感器的輸入信號被饋送到包括有I/O線路板16，17和18的I/O子系統(tǒng)。為簡便，僅表示出三個線路板，而每一線路板只示出六個輸入信號。I/O線路板最好選用OPTO-22公司的產(chǎn)品PB-16A(該公司地址是15461SpringDaleStreetHuntingdonBeach，CA)。由板16，17和18來的信號輸進局部控制器19，該控制器最好是一種微處理機，(例如，也可以從OPTO公司得到的LC-2型機)。從局部控制器19來的信號輸入到主計算機14。運轉(zhuǎn)中(如圖4所示)，各個板16，17，18能對與其輸入信號相關(guān)的傳感器狀態(tài)的變化產(chǎn)生響應(yīng)。例如，當(dāng)LWU的傳感器改變狀態(tài)時，板上的電子計算設(shè)備就檢測到這種變化。局部控制器19連續(xù)對I/O各點進行掃描，并與前面的點比較其所呈現(xiàn)的狀態(tài)。當(dāng)檢測到一個變化時，新的狀態(tài)是什么和由一附帶的時間打印器打出發(fā)生狀態(tài)變化的時間。然后用一標準的I/O連接器，如RS232(一種公知的硬件標準件，它限定兩個計算機系統(tǒng)之間的串行異步通信的電信號和物理連接)，局部控制器將信息接入到主計算機。從傳感器來的信息實際上是數(shù)字。即，取自兩種可能的電平之一的信號來指出絲條的存在與否。接收數(shù)據(jù)的板用光學(xué)隔離器將I/O從傳感器本身隔離出來。一種推薦的光學(xué)隔離器件是OPTO-22公司所制造的IDC5。板上有一處理與局部控制器全部通信的插件。這種通信插件也可從OPTO-22公司得到的OPTO-22-PB-16MD。
局部控制器能夠?qū)⒃S多傳感器狀態(tài)變化以及變化發(fā)生的時間儲存在存儲器中。因此，如果主計算機14有一段時間失錄時，也不會漏掉事故的記錄。當(dāng)主計算機恢復(fù)連機時，局部控制器所儲存的數(shù)據(jù)就被傳送給主計算機。于是主計算機能再度構(gòu)成在它被禁止期間所發(fā)生的事件，能夠?qū)⑼瑯拥氖录?，例如早已在紡絲機上發(fā)生過的落絲記錄下來。
按照圖4的邏輯圖，信息從傳感器通過I/O電路板傳送，通過局部控制器19，然后到達主計算機14。在該過程中，I/O掃描;所有的輸入傳感器確定哪一個傳感器的數(shù)值有變化，而報告給主計算機的僅僅是那些有變化的傳感器的數(shù)值(傳感器事故)。
如圖5所示，主計算機14包括一個中心處理裝置20，隨機存取儲存器21(例如8Mbytes)，硬盤存儲器22(例如368Mbytes的)，帶一管理機的CRT控制臺24的繪圖儀接口23，輸入裝置(未示出)，以及一個用于連接到I/O前端裝置26和SMO的CRT終端27的I/O子系統(tǒng)25。
最好使計算機系統(tǒng)盡可能完善以通過普通的LISP語言(參見Steele，Guy2，“普通LISP語言”，DigitalPress，Burlington，MA1984)，在此僅作參考。
主計算機14由符號處理用的標準硬件及其定做的操作系統(tǒng)軟件組成，他們一起為本發(fā)明的要求對I/O接口和知識庫程序的實時，多處理容量要求的專門系統(tǒng)的研制和完成提供了條件。由Cambridge，MA的Symbolics公司出品的Cambolics3650LISP計算機作為本發(fā)明的實時專門系統(tǒng)的計算機系統(tǒng)是合適的(參見Bromley，Hank“LISP實踐知識，LISP型機編程指南”，P43-54，119-136，KluwexAcademic出版社，BostonMA1986)。
該專門系統(tǒng)研制并完成的外圍設(shè)備包括一個模擬紡織合成長絲過程的有關(guān)目的所要求的各種要素的外殼(軟件包)，一個規(guī)則編輯系統(tǒng)和順向鏈接的推斷機。為將定時指令序列和傳感器激勵的事件有計劃地存取系統(tǒng)和I/O的功能，模擬器和文字與圖象顯示接口。用外殼作為實時專門系統(tǒng)的基礎(chǔ)。
如圖6所示，知識庫28軟件包括三個主要部分事件庫29，規(guī)則庫30和方法與有效值代碼列。
這個軟件的特點是它明顯地將事件庫的目標表示與規(guī)則庫中的規(guī)則和方法代碼31中的軟件分開來。箭頭表示知識庫的各部分與系統(tǒng)的其它部分的相互作用。方法和有效值代碼31是以LISP功能的形式，并如圖所示和傳感器I/O接口12操作板和計時控制功能和主計算機，以及單個CRT的27，27′之間相互對接。事件庫29包括在紡織機的運轉(zhuǎn)過程中每個實體組織的目標分級的情況;例如，機器的相對位置，標準與操作情況等。事件庫29和規(guī)則庫30如圖所示，它們通過正向連接推斷機相互作用。
圖7表示目標和目標之間的關(guān)系作為事件庫29的一部分的紡絲機的相對位置。代表的是一個紡織廠中具有兩臺紡織機的紡絲場所SM.11和SM.12等。每臺SM有四個卷繞位置，SM.11POS.1等，那是SM.POSITIONS類程的情況，一種普通的紡絲機卷繞位置的情況。每個位置的實例反映了SM.POSI-TIONS的全部槽和缺口的數(shù)值。在SM.POSITIONS類程中限定的槽的實例列于表1。每個位置實例有數(shù)個槽來指明輸入值的有無(ON，OFF)，有效的傳送狀態(tài)(OFF，ON.TO.OFF，ON，OFF.TO.ON)，工作狀態(tài)推斷(SPINNING-正在紡絲，BREAK-斷絲)，以及BRK，LWU和RWU傳感器的狀態(tài)(BAD-壞，GOOD-好)。每個傳感器也有一組槽以確定一個使用于有效穩(wěn)定的傳感器的計時器的狀態(tài)(ON，OFF)。圖8A表示模擬傳感器變換的傳感器狀態(tài)變換圖例如，假定SM.11.POS.1的BRK傳感器輸入信號由OFF變?yōu)镺N，一個有效的數(shù)值就加到起作用的槽上，槽就檢測到按照圖8A的變換，并起動BRK、SENSOR、TIMER的有效計時器。在暫時停機時，如果傳感器已保留在ON，則在BRK傳感器的槽中被關(guān)斷為穩(wěn)定的ON狀態(tài)，這就用作“傳感器事件”機構(gòu)。
其它定時器槽的裝置也被確定用來指出當(dāng)停止，起動，運轉(zhuǎn)或停機，定時間隔和狀態(tài)變化定時器的狀態(tài)。各定時器還有一個方法儲存槽，以便呈現(xiàn)一種停機狀態(tài)的特殊動作。每一位置有一落絲計時器以計算直到下一落絲周期的時間間隔，在左和右卷繞器上有一起動計時器以記錄從落筒或落絲狀態(tài)到噴絲頭組件更換周期的定時器。定時器也為了檢測相關(guān)的傳感器失效的時間。例如，如果LWU或RWU傳感器兩者之一在1.5個落絲周期時間內(nèi)沒有改變狀態(tài)，而位置是處在運轉(zhuǎn)狀態(tài)，則推斷該傳感器是壞的，因為從尺寸上考慮，卷繞一個有1.5落絲周期的絲包是沒有足夠空間的。
其它重要的槽是那些可能為斷開，起動，落筒、落絲或運轉(zhuǎn)之一的位置的狀態(tài)。如圖9A所示，用一種狀態(tài)圖來模擬位置的運轉(zhuǎn)狀態(tài)。落絲型的槽反映了與所描述定時器有關(guān)的各種正常位置操作。
有一類紡絲機，它的情況包含紡絲機的具體數(shù)據(jù)，例如被加工的產(chǎn)品和與生產(chǎn)相關(guān)的參數(shù)，如落絲周期，剝離周期和紡絲頭組件更換周期的時間間隔。在限定每個機器的位置數(shù)目的紡織機械目標類程中也有槽。各種所制造的產(chǎn)品的實例，也有一類紡織機其產(chǎn)品情況由以紡織機所專門用的槽和S.M.POS情況而定，這些情況作為一種產(chǎn)品的數(shù)據(jù)庫。
紡織機擋車工，即SMO′S，在事件庫中被表示為S.M.擋車工(OPERATORS)類程的成員。如圖7所示，把六種實例定義為TOM，MARY等，表示SMO′S的存儲槽示于表2，并包括SM和位置賦值狀態(tài)和模擬數(shù)據(jù)。一個狀態(tài)(STATE)存儲槽，決定SMO的活動，而由圖9B中狀態(tài)圖所定義。操作人員SMO是在一旁待用，他是處在空閑IDLE狀態(tài)等待受與任務(wù)，而當(dāng)一個Position(位置)要求服務(wù)時，就將一個SMO放到WORKING(工作)狀態(tài)。SMO的狀態(tài)也與一個賦于具體的SM狀態(tài)的SM.TEAMS(S、M組)的類程相結(jié)合。例如，在圖7中小組1被賦與S.M.11，而TOM，DICK和HARRY是第一小組成員，服務(wù)于S.M.11。
知識庫的規(guī)則庫部分是如圖10和11所示的一個類程體系中編組的有關(guān)“如果一則”(IF-THEN)規(guī)則的集合。一種方法或活動值起動特殊規(guī)則類程，例如位置規(guī)則上的順向鏈接。如果事件庫中的事件和一給定狀態(tài)或數(shù)值相稱時，則每一規(guī)則有假定的調(diào)試。當(dāng)所有在假定計算中的子程序達到一種邏輯上真實的條件時，在結(jié)論中的事件就會被斷定進入事件庫或執(zhí)行其它作用，它可能在鏈接過程期間產(chǎn)生將被考慮(調(diào)試)的規(guī)則類程中的其它規(guī)則。
規(guī)則庫中的規(guī)則因多種目的而被應(yīng)用，并有各種功能。規(guī)則控制著位置，SM的和SMO的位置操作狀態(tài)，使傳感器的輸入生效，檢測失效傳感器，安排SMO進入工作位置，并控制SMO和傳感器模擬功能(例如為了訓(xùn)練和試驗?zāi)康?。位置，規(guī)則(POSITION，RULES)類程包括控制SM位置實例的行動和他們與SMO狀態(tài)相互作用的規(guī)則的子類程。圖10中的位置、傳感器、IO規(guī)則確定了穩(wěn)定的傳感器狀態(tài)和圖8A中的轉(zhuǎn)移過程。位置，傳感器、狀態(tài)規(guī)則(POSITION，SENSOR，STATE，RULES)的LISP形式，表示在表4中，控制著推斷的紡絲的位置條件。例如，在一個位置上的左和右卷繞器的狀態(tài)圖示于圖8B中，并與傳感器的傳送狀態(tài)有關(guān)。位置，傳感器、證實、規(guī)則、那些以O(shè)N和OFF狀態(tài)來檢測傳感器是否失效的規(guī)則在表5中說明。同時，找尋失效傳感器、更換它以在規(guī)定時間內(nèi)獲得預(yù)期狀態(tài)或呈現(xiàn)出與前不一致的情況。一旦檢測到一個失效的傳感器，就采用其它規(guī)則以警告SMO，或從其它可以得到的信息來推斷出正確的運轉(zhuǎn)情況。圖11中的位置、狀態(tài)、規(guī)則控制著如圖9A所定義的一個位置的運轉(zhuǎn)狀態(tài)。用表6中的規(guī)則以及傳感器狀態(tài)和順向鏈接過程中的時間條件來推斷運轉(zhuǎn)狀態(tài)，表6由位置、規(guī)則體系中的其它規(guī)則類程作出推斷而產(chǎn)生的。位置、WRT、SMO、規(guī)則的規(guī)則類程控制著S.M位置和SM.擋車工實例之間的相互作用，如圖12的狀態(tài)圖所示。由這些規(guī)則所得的推斷用于SMO′S的安排。
SMO，規(guī)則的規(guī)則類程包含如圖9B(SMO、狀態(tài)規(guī)則)所限定的控制SMO′S操作狀態(tài)的規(guī)則組，SMO′S的安排隨位置操作狀態(tài)變化(SMO、安排規(guī)則)和SMO′S的模擬特征(SMO模擬規(guī)則)而定。SMO、狀態(tài)、規(guī)則確定了SMO′S的狀態(tài)，即，不管一個SMO對于一種指派是否無用(IDLE)或有用，正工作在一個位置上，離開崗位(OFF，SITE)或在斷絲處(ON.BREAK)或是無作用。SMO.安排。規(guī)則確定了要求服務(wù)的位置，找到第二個有用的SMO′S，并指派該SMO′S到達所要求服務(wù)處。
當(dāng)由于傳感器或定時器事故而引起推斷機順向鏈接時，這些規(guī)則受到調(diào)試。當(dāng)傳感器改變狀態(tài)或定時器超時，事件觸發(fā)器就引起作用在規(guī)則組上的順向鏈接。本發(fā)明系統(tǒng)的一個特出的優(yōu)點是對存在于系統(tǒng)中所有的目標只有一套規(guī)則，并通過用電流來觸發(fā)事件，采用模式匹配使規(guī)則與SM，位置或SMO實例結(jié)合起來。類程等級上所限定的位置和電流，SMO槽被使用在規(guī)則的假定部分。例如，當(dāng)SM.11.POS.1的斷絲，傳感器輸入由OFF變?yōu)镺N時，就觸發(fā)了一個事件，在這里電流位置槽就被調(diào)到SM.11.POS.1，并產(chǎn)生順向鏈接。當(dāng)在表3中的斷絲、傳感器、斷到通，規(guī)則被“起動工作”時，可變的位置就一定是SM.11，POS.1，并被用于該規(guī)則的其它假設(shè)和結(jié)論中。
方法和活動值代碼，是以LISP形式出現(xiàn)的知識庫的一部分，它與主計算機和專門系統(tǒng)外殼對接。其中，包括一套LISP函數(shù)和一分離的類屬一時鐘知識庫，形成一個與函數(shù)有關(guān)的同步計算器的實時時鐘，以便將定時事件的概念加到系統(tǒng)中。類屬一時鐘知識庫具有限定實時時鐘和控制機構(gòu)以限定時鐘信號的清晰度以及時間掃描(提供一定的實時速率或比模擬的實時容量更快的掃描)的物體，并示于圖17中時鐘模式控制窗中的用戶接口。一組LISP函數(shù)，可用數(shù)值和方法也是為時鐘的運轉(zhuǎn)所限定。
實時鐘使用了主計算機系統(tǒng)時鐘和實施周期實時鐘循環(huán)處理的多道處理裝置。為了管理在大量SM位置目標上的一組定時器，要求有一定時器隊列管理裝置，并包括一套功能和在一稱為定時器除列表(TQL)的電動隊列上進行定時器的增加，削減和存取。TQL的結(jié)構(gòu)在圖16中說明。這里，三個定時器的輸入口已經(jīng)加進了一個將來超時值作為TQL調(diào)試終端。規(guī)定一套定時器狀態(tài)、變化，示數(shù)和定時器超時方法，以對TQL的變化起作用而觸發(fā)專門系統(tǒng)中的事件。實時鐘與定時器工作流程圖示于圖13，包括三部分1)為保持日期和時間的實時鐘循環(huán)過程40;
2)以檢測“隊列定時器超時”的定時器隊列調(diào)試過程41;和3)定時器超時供電過程或用有源值觸發(fā)定時器事件42。
這些作用如下1)實時鐘循環(huán)40開動每個“時間一增值”，或“N”秒。增值是類屬一時鐘知識庫中的一個值。計算機暫停這個過程“N”秒時間。而后，2)引用“時鐘頻率信號調(diào)節(jié)法”將現(xiàn)時的時間和日期調(diào)到真實時間或比模擬的實時模型更快。
3)通過控制或開動調(diào)試定時器隊列過程41，對所有有時間輸出的定時器入口檢驗TQL，然后使實時鐘循環(huán)回到一種空轉(zhuǎn)狀態(tài)，直到下一時間間隔通過為止。在定時器隊列調(diào)試時，會找到計時停止的隊列輸入口。
4)將該輸入口從TQL移開，將現(xiàn)在時間記錄在定時器入口目標超時值槽中，并將由定時器入口來的下一個狀態(tài)寫進定時器狀態(tài)槽。
5)將產(chǎn)生一個供給超時狀態(tài)42的有源值。然后有源值傳送一超時信息到執(zhí)行定時器專門功能的定時器入口“方式”處，在專門系統(tǒng)中每個定時器是單值的。然后該“方法”6)通過改變事件庫中的數(shù)值或傳送信息到其它方法而產(chǎn)生一個定時器事件觸發(fā)。當(dāng)所有TQL入口都被調(diào)試之后，該系統(tǒng)等待下一實時時鐘間隔以重復(fù)此過程。
定時器工作的一個例子是當(dāng)一定時器狀態(tài)槽，例如SM.11.POS.1的“落絲。定時器“槽變成“起動”時，引起一附加的有源值運行，使一定時器入口加到包括有它的以秒計的通用日期一時間形式的未來超時值的TQL上，該組件稱SM.11.POS.1”，該槽稱“落絲·計時器”，在圖7中表示一種用于超時的時間或“落絲。定時器方法”的槽，以及被調(diào)至超時或“超時”的下一個狀態(tài)。當(dāng)對該TQL入口調(diào)試并發(fā)現(xiàn)將超時時，該定時器的工作程序?qū)⒃凇奥浣z·定時器”超時槽中記錄下時間，并將“落絲·計時器”槽改變成“超時”。接著，這將引起“定時器。狀態(tài)。變化。AV”有源值運行并作用到新的“超時”狀態(tài)值。向“落絲。定時器?！胺椒ā彼鸵恍畔ⅲ埂奥浣z。定時器”完成專門動作。在這情況下，通過斷定一事實庫中的新事實觸發(fā)規(guī)則庫上的順向鏈接而“落絲。定時器”就將產(chǎn)生一個“事件”。
定義其它組的功能、方法和有源值以完成專門的I/O程序，對接和內(nèi)務(wù)處理。例如，如圖14所示，關(guān)于CRT顯示器的一個紡絲機位置選擇，說明了出現(xiàn)在CRT上的圖解的位置顯示，它和用戶通過依靠由紡絲機位置號碼選定的位置中的槽進行靈敏的圖解圖像的仔細搜尋而互起作用。當(dāng)儲存槽變化并將圖解圖像再連接到新的位置單元時有源值功能將更新該顯示。
其它功能以分離程序的形式存在，以執(zhí)行將I/O通向I/O前端子系統(tǒng)并將具體的傳感器輸出錄制到事件庫的位置單元輸入槽去。這種作用充當(dāng)一個傳感器狀態(tài)變化事件觸發(fā)器。
本發(fā)明中處理事件的一般規(guī)則系統(tǒng)在圖15中說明。事件觸發(fā)機構(gòu)工作如下1)由傳感器輸入或在任何位置(或SMO)實例上的定時器超時的改變之任一方觸發(fā)事件，而后2)事件庫中的一個事件發(fā)生變化。對于傳感器，一個I/O函數(shù)改變了傳感器的輸入槽的數(shù)值。對于定時器，則定時器的狀態(tài)槽變成一“超時”值。數(shù)值的變化將引起。
3)產(chǎn)生一有源值。對于傳感器，有源值是具體對每個被操縱的傳感器而定的。對于定時器，產(chǎn)生一普通的“定時器、狀態(tài)、變化、有源、數(shù)值、編目”功能，接著，送一信息到定時器的超時方法，形成4)將一事件存進事件庫以在一專門的規(guī)則類程上產(chǎn)生順向鏈接。順向鏈接開始，而5)通過與事件庫中現(xiàn)行事件和存取事件匹配的試驗候選規(guī)則，運用這些規(guī)則的結(jié)論(改變事件庫中事件或執(zhí)行其它運算)使順向鏈接繼續(xù)，和b)繼續(xù)直至沒有新的規(guī)則可被試驗或順向鏈接明顯地停止。
新的事件被斷定，取消或改變，而方法或有源數(shù)值可能在規(guī)則的結(jié)論中產(chǎn)生以完成計算和其它內(nèi)部整理功能。當(dāng)推斷過程完成后，經(jīng)過修正的事件庫就代表了系統(tǒng)中所有對象的實際工作狀態(tài)，包括SM′S，位置和SMO′S的狀態(tài)。
實例本實例說明了涉及本發(fā)明的專門系統(tǒng)三個發(fā)生在如上所述的合成纖維生產(chǎn)中的事件。第一個事件是正常的落絲程序;第二個事件是絲條斷裂。后者說明系統(tǒng)對反常的紡絲情況檢測和反應(yīng)的能力。第三個事件是兩個傳感器有效性的指令程序，在此用規(guī)則來檢測失效的輸入。在本例中，假定SM.11.POS.1處于運轉(zhuǎn)狀態(tài)，則所有傳感器處于導(dǎo)通狀態(tài)，如圖16所示。在實際的紡絲環(huán)境中，傳感器的狀態(tài)可能按不同次序或同時變化。為了便于說明，傳感器變化假定是順序的。
正常落絲程序稱“計劃落絲”，是指要求SMO在予先選定的時間間隔過程中于一個指定位置的絲落下的一個事件;例如，當(dāng)絲包滿時。在本發(fā)明的實踐中，一個落絲計時器超時以安排一個有用的SMO到該位置去工作(即落絲)。在一個程序中，專門系統(tǒng)對數(shù)個事件起作用。當(dāng)運行狀態(tài)時，圖17中的位置顯示器指示時間余量直到“落絲.定時器”超時，指示需要服務(wù)，及相對絲包尺寸和其它位置服務(wù)情況。TQL的“落絲.計時器”達到其超時值，而使SM.11.POS.1的“落絲.計時器”存儲槽變到“超時”，發(fā)出-計時器事件的警告。引起了“計時器-狀態(tài)-變化-有源-值”對“落絲.計時器.方法”發(fā)送-信息?！奥浣z.計時器.方法”斷定SM.11.POS.1需要做的事件是落絲-服務(wù)，并啟動了規(guī)則庫上的順向鏈接程序。檢查“位置.WRT.規(guī)則”，并將SM.11.POS.1的POS狀態(tài)改變成“等待”。然后，接上“SMO、計劃.規(guī)則”，之后下一個可使用的SMO，TOM，被指派到落絲SM.11.POS.11處，順向鏈接完成。SMO受警告，并在一段時間間隔之后認可該指派，順向連接發(fā)生，“位置.WRT.SMO.規(guī)則”受檢查，而“SMO.狀態(tài)”變?yōu)椤肮ぷ鳌薄Ｒ鸶郊拥絺鞲衅鬏斎雰Υ娌鄣挠性粗?，并認可該事件，則“LWU.傳感器處于開到關(guān)(ON.TO.OFF)，而引起規(guī)則庫上的順向鏈接。檢查表3中的“位置.傳感器.IO.規(guī)則”，接著是“LWU.傳感器ON.TO.OFF”規(guī)則起動工作。這為有效的延時和順向鏈接起動了“LWU.傳感器，計時器”。在超時后，立刻引起順向鏈接，而“LWU.傳感器。ON”的規(guī)則被起動工作，順向鏈接繼續(xù)，而“LWU.落絲.完成”規(guī)則被起動工作，這就起動了“LWU.起動·計算機”。順向鏈接完成，系統(tǒng)等待下一事件。經(jīng)一段時間之后，SMO起動右卷繞機，這引起“RWU.傳感器.輸入”從ON變成OFF。當(dāng)用“LWU.傳感器。輸入”時，“RWU.傳感器.輸入”按照相同的有效程序使用“RWU.傳感器。ON.TO.OFF”和“RWU.傳感器.OFF”規(guī)則，和使用“RWU.傳感器.計時器”。當(dāng)“RWU.傳感器.計時器”超時，并引起順向鏈接時，“RWU.傳感器.OFF”規(guī)則被起動，并使“RWU.傳感器”轉(zhuǎn)變成OFF狀態(tài)，“RWU.OUT.IN”(RWU起動)規(guī)則將“RWU.傳感器.狀態(tài)”變成“起動”，而順向鏈接完成。以非同步方式，“LWU.起動。計時器”超時，引起順向鏈接，起動“LWU，卷繞”規(guī)則，而“LWU.傳感器.狀態(tài)”變?yōu)榫砝@。SMO在右卷繞器上接通“RWU.傳感器.輸入。ON”進行生頭操作。完成了有效的程序后，當(dāng)“RWU.傳感器”變?yōu)椤癘N”時，“RWU，落絲。完成”規(guī)則就被起動，則SM.11.POS.1的“RWU，傳感器，起動“變成”落絲.完成”，而“RWU.起動.計時器”被起動。當(dāng)“RWU.起動.計時器”超時時，引起順向鏈接，而“RWU.卷繞”規(guī)則被起動工作，使SM.11.POS.1的“RWU.傳感器.狀態(tài)”變成“卷繞”。如使“POS狀態(tài)，運轉(zhuǎn)”規(guī)則起動工作，由于“LWU.傳感器，狀態(tài)”和““RWU.傳感器.狀態(tài)”都處于卷繞，因此“SM.11.POS.1”的狀態(tài)變成“運轉(zhuǎn)”?！奥浣z、計時器”和“超紡。計時器”從下一循環(huán)起動，而SM.11.POS.1的“需要”是變?yōu)椤盁o需工作”。檢查“位置。WRT.SMO.規(guī)則”而“SM.11.POS.1的SMO狀態(tài)”變成“已做了”，這反映SMO任務(wù)的完成。然后，SMO從SM.11.POS.1被消去指派，使“SMO.狀態(tài)”變成“待工”。事件庫現(xiàn)在反映著該位置的運轉(zhuǎn)狀態(tài)和SMO的“待工”狀態(tài)。
第二事件是指要求“非計劃落絲”的絲條斷裂。通常，這種斷裂將引起長絲的浪費。在本發(fā)明實踐中，由專門系統(tǒng)檢查出斷絲，并通知SMO及時處理，以減少浪費。假定SM.11.POS.1開始處在如圖17所示的“運轉(zhuǎn)”狀態(tài)中。絲條斷絲發(fā)生使“斷絲.傳感器.輸入”從“ON”變成“OFF”。在經(jīng)過準許的延時和上述的檢查程序之后，SM.11.POS.1的“斷絲、傳感器”通過““斷絲.傳感器.OFF”規(guī)則，對“斷絲、傳感器、斷絲”排隊規(guī)則，由“ON.TO.OFF”變?yōu)椤癘FF”。使“斷絲.傳感器.狀態(tài)”從“紡絲”變?yōu)椤皵嘟z”，使“POS.狀態(tài)，落筒”規(guī)則被起動。這將依次將SM.11.POS.1的狀態(tài)由“運轉(zhuǎn)”變?yōu)椤奥渫病保靶枰钡膬Υ娌邸案隆?。順向鏈接繼續(xù)，而“POS.狀態(tài)。變化”和“POS.狀態(tài)，OUT.OFF運轉(zhuǎn)”規(guī)則被起動?！拔恢谩RT.SMO。規(guī)則”被檢查，而“SM.11.POS.1”的SMO狀態(tài)由“空閑”變?yōu)榈却?。檢查“SMO.安排.規(guī)則”，而下一個SMO(DICK)被指派到SM.11.POS.1處工作，完成鏈接過程。當(dāng)“LWU.傳感器。輸入”從ON變?yōu)镺FF時，則下一個事件發(fā)生。上述對LWU傳感器所描述的過程被重復(fù)，而“LWU.傳感器，狀態(tài)變成“切入”。“RWU.傳感器.輸入”則變成“OFF”狀態(tài)。同樣地，“RWU.傳感器.狀態(tài)”變成“切入”。SMO認可該指派一段時間之后，SM.11.POS.1的SMO狀態(tài)變?yōu)椤肮ぷ鳌薄Ｒ妶D17，它反映在“落筒”狀態(tài)時SM.11.POS.1的狀態(tài)。經(jīng)一段時間之后，SMO開始到達進行生頭位置，而“斷絲，傳感器，輸入”從“OFF”變?yōu)椤癘N”。在可允許的一段延遲之后，“斷絲·傳感器”通過“斷絲、傳感器、紡絲”規(guī)則由“斷絲”.變成”紡絲狀態(tài)。然后SMO的如上所述對卷繞器生頭操作，而位置恢復(fù)到“運轉(zhuǎn)”狀態(tài)。
第三例事件是指傳感器或I/O信號失效檢測。再一次假設(shè)SM·11·POS·1開始處在如圖14所示的“運轉(zhuǎn)”狀態(tài)。現(xiàn)在假定，當(dāng)“斷絲.傳感器.輸入”由“ON”變?yōu)椤癘FF”時，位置變成“落筒”狀態(tài)，則SMO被指派到生頭操作位置，但斷絲傳感器失效，而轉(zhuǎn)變?yōu)椤癘N”狀態(tài)。此時，SMO為左和右卷繞器生頭之后，“斷絲，傳感器，狀態(tài)”將處于“斷絲”，“LWU.傳感器.狀態(tài)”和“RWU.傳感器。狀態(tài)”將都是“落絲.完成”。當(dāng)“RWU.起動.計時器”超時時，順向鏈接被起動，而“斷絲.傳感器.條件”被從“Good”變?yōu)椤癇ad”。這引起了“Bad.傳感器.報警”起動，以警告SMO。就斷絲傳感器而言，已經(jīng)展開了啟發(fā)式的研究，足以使LWU和RWU傳感器的可能結(jié)合用來推斷位置的狀態(tài)。如由表4中的“斷絲，傳感器.紡絲”和“斷絲.傳感器.斷絲”所說明的那樣。
作為傳感器有效性的一個最后說明，假定SM·11·POS·1是處在如圖14中的“運轉(zhuǎn)”狀態(tài)，而LWU傳感器或I/O信息已經(jīng)失效，而留在“ON”狀態(tài)。在這時，“落絲.計時器”將超時，而一個SMO將被指派到該位置工作。當(dāng)SMO開動左卷繞器時，不能改變狀態(tài)。當(dāng)予先落絲期間位置仍然維持運轉(zhuǎn)狀態(tài)時，“超紡·計時器”被起動，它將在“落絲·計時器”超時之后超時，切入不能發(fā)生或者應(yīng)該被檢查。當(dāng)“超紡·計時器”超時，引起順向鏈接，而“LWU·傳感器，Bad·ON”規(guī)則起動工作，將“LWU，傳感器·條件”由“Good”變?yōu)椤癇ad”。“Bad，傳感器、報警”規(guī)則被起動，警告SMO進行維修?！癇ad·傳感器·狀態(tài)·變化”規(guī)則被起動，使SM·11·POS·1的狀態(tài)如圖18所示，從“運轉(zhuǎn)”變成“起動”。一段時間之后，所指派的SMO將該位置斷開，則“狀態(tài)”變成“落筒”。SMO檢修，并調(diào)試該傳感器，并如前述那樣，在該位置進行生頭操作。該啟發(fā)性研究提出了當(dāng)檢測失效時，應(yīng)使LWU傳感器維持適當(dāng)?shù)倪\轉(zhuǎn)，并立即給予注意。
表1SM位置類程儲存槽一覽表(在技術(shù)指示文件一事件庫一知識庫中SM·位置單元)(注解“紡絲機卷繞位置”)(成員槽)〔斷絲、傳感器(量值(無)))(量值類程((OFF，OFF.TO.ONON.TO.
OFFON之一)))(斷絲、傳感器、條件(量值(好)))(量值類程((好、壞之一)))(斷絲、傳感器、輸入(量值(OFF)))(量值類程((OFF，ON之一)))(AV單元＃(單元技術(shù)文件-斷絲-傳感器-狀態(tài)-變化-AV技術(shù)文件-方法))。
(斷絲、傳感器、狀態(tài)(量值(無)))(量值類程((紡絲斷裂之一)))(斷絲、傳感器、計時器(量值停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(AV單元＃(〔單元技術(shù)文件-斷絲-傳感器-計時器-狀態(tài)-變化-AV技術(shù)文件-方法〕)(斷絲、傳感器、計時器、間隔(量值(10)斷絲、傳感器、計時器、方法)(量值(斷絲-傳感器-計時器-狀態(tài)-變化-方法))(斷絲、傳感器、計時器、超時(量值(0)))
(落絲定時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(＃〔單元TODS-落絲-定時器-狀態(tài)-變化-AV-TODS-方法〕)))(落絲.定時器.間隔(量值(600)))(落絲.定時器.方法(量值(落絲-定時器-狀態(tài)-變化-方法)))(落絲.定時器.超時(量值(0)))(落絲.類型(量值(常規(guī)))(量值類程((換包、常規(guī)、拭接之一))))(效率(量值(1.0)))(結(jié)束.時間(量值(0.0)))(結(jié)束.計時器(量值(停止))(量值類程((停止運轉(zhuǎn)起動超時之一)))(輔助單元(?！矄卧猅ODS-結(jié)束-計時器-狀態(tài)-變化-AVTODS-方法〕)))(結(jié)束.計時器.間隔(量值(10)))(結(jié)束.計時器.方法(量值(結(jié)束-計時器-狀態(tài)-變化-方法)))(結(jié)束.計時器.超時(量值無))(最后.包裝(量值無))(最后.狀態(tài)(量值(OFF)))(量值量程((OFF起動落絲落筒運轉(zhuǎn)之一))))(最后.拭接(量值無))(LOG.REC.號碼(量值(0)))
(LWU.傳感器(量值(OFF))(量值類程((OFFOFF.TO.ONON.TO.
OFFON之一))))(LWU.傳感器.狀態(tài)(量值(好))(量值量程((好壞之一))))(LWU.傳感器.輸入(量值無)(量值量程((OFFON之一))))(輔助單元(＃〔單元TODS-LWU-傳感器-AVTODS-方法〕)))(LWU.傳感器.狀態(tài)(量值無)(量值類程((切入.落絲.完成卷撓之一))))(LWU.傳感器.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧猅ODS-LWU-傳感器-定時器-狀態(tài)-變化-AVTODS-方法〕)))(LWU.傳感器.定時器.間隔〔量值(10)))(LWU.傳感器.定時器.方法(量值(LWU-傳感器-定時器-狀態(tài)-變化-方法)))(LWU.傳感器.定時器.超時(量值(0)))(LWU.起動.定時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧猅ODS-走動-計時器-狀態(tài)-變化-AVTODS-方法〕)))(LWU.起動.計時器.間隔(量值(0)))
(LWU.起動.計時器.方法(量值(LWU-起動-計時器-狀態(tài)-變化-方法)))(LWU.起動.計時器.超時(量值(0)))(需求(量值(NO-服務(wù)))(量值類程((ON-服務(wù)落絲-服務(wù)維護之一)))(超紡.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧猅ODS-超紡-計時器-狀態(tài)-變化-AVTODS-方法〕)))(超紡.計時器.間隔(量值(0)))(超紡.計時器.方法(量值(超紡-計時器-狀態(tài)-方法)))(超紡.計時器.超時(量值(0)))(包裝.時間.等待(量值(0)))(包裝.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧猅ODS-包裝-定時器-狀態(tài)-改變-AVTODS-方法〕)))(包裝.計時器。間隔(量值(0)))(包裝.計時器，方法(量值(包裝-計時器-狀態(tài)-改變-方法)))(包裝.計時器.超時(量值(0)))(絲包.尺寸(量值(0)))(位置.名稱(量值無)(量值類程((＃〔單元SM.位置文件-事件-庫〕之項)))(位置.號碼(量值(0)))
(RWU傳感器(量值(OFF)))(量值類程((OFFOFF.TO.ONON.TO.OFFON之一))))(RWU.傳感器.條件(量值(好))(量值類程((好壞之一)))(RWU.傳感器.輸入(量值無)(量值類程((OFFON之一)))(輔助單元(?！矄卧募?RWU-傳感器-AV 文件-方法〕)))(RWU.傳感器.狀態(tài)(量值無)(量值類程((切入落絲完成卷繞之一))))(RWU.傳感器.計時器(量值無)(量值量程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(＃〔單元文件-RWU-傳感器-計時器-狀態(tài)變化-AV文件-方法〕)))(RWU.傳感器.計時器.間隔(量值(10)))(RWU.傳感器.計時器.方法(量值(RWU-傳感器-計時器-狀態(tài)-變化-方法)))(RWU.傳感器.計時器.超時(量值(0)))(RWU.起動.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧募?起動-計時器-狀態(tài)-變化-AL文件-方法〕)))(RWU.起動.計時器.間隔(量值(0)))
(RWU.起動.計時器.方法(量值(RWU-起動-計時器-狀態(tài)-變化-方法)))(RWU.起動.計時器.超時(量值(0)))(SIM.斷絲.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(?！矄卧募?SIM-斷絲-計時器-狀態(tài)-變化-AV文件-方法〕)))(SIM.斷絲.計時器.間隔(量值(0)))(SIM.斷絲。計時器.方法(量值(SIM-斷絲-計時器-狀態(tài)-變化-方法)))(SIM.斷絲.計時器.超時(量值(0)))(SM(量值(0)))(SM.名稱(量值無)(量值類程(?！矄卧徑z.機器文件-事件-庫〕之項))))(SMO.狀態(tài)(量值(閑散))(量值類程((閑散-完工維修待工工作之一))))(起動.時間(量值(0.0)))(狀態(tài)(量值無)(量值類程((OFF起動落絲落筒運轉(zhuǎn)之一))))(停止.時間(量值(0.0)))(時間.剩余(量值(0)))(拭接.時間.剩余(量值(0)))(拭接.計時器(量值(停止))(量值類程((停止起動運轉(zhuǎn)超時之一)))
(輔助單元(?！矄卧募?拭接-計時器-狀態(tài)-變化-AV文件-方法〕)))(拭接.計時器.間隔(量值(0)))(拭接.計時器.方法(量值(拭接-計時器-狀態(tài)-變化-方法)))(拭接.計時器.超時(量值(0)))(主儲存槽(現(xiàn)在.位置(量值(＃〔單元SM·11.POS.1 文件-事件-庫〕))(量值類程((?！矄卧猄M.位置文件-事件-庫〕之項項))))(現(xiàn)在.SM(量值(?！矄卧猄M.11 文件-事件-庫〕))(量值類程((?！矄卧徑z機器文件-事件-庫〕之項))))(顯示.位置(量值(1))(輔助單元(＃〔單元文件-獲得-新-位置-AV 文件-方法〕)))(顯示、SM(量值(11))(輔助單元(?！矄卧募?獲得-新-SM-AV 文件-方法〕)))))
表2SM.擋車工類程儲存槽一覽表((在文件-事件庫-知識庫中的SM、擋車工單元)(注釋“誰是由小組指派的紡絲機擋車工成員”)(成員儲存槽(認可、計時器(量值(無)))(量值類程((停止、起動、運轉(zhuǎn)、超時之一)))(輔助單元＃〔單元文件-認可-計時器-狀態(tài)-變化-AV 文件-方法〕))))(認可、計時器、間隔(量值(無)))(認可、計時器、方法(量值(認可-計時器-狀態(tài)-變化-方法))(認可、計時器、超時(量值(無))(任務(wù)指派(量值(無)))(量值類程(認可、維修、落絲、空閑、準備好之一))(效率(量值(1.0)))(空閑、時間(量值(0.0)))(最后.狀態(tài)(量值無)(量值類程((空閑離開.崗位在斷絲處工作之一))))(在斷絲處.時間(量值(0.0)))(位置(量值無)(量值類程(((〔單元SM.位置文件-事件-庫〕的項))))(模擬.時間(量值(0.0)))(模擬器.狀態(tài)(量值無)
(量值類程((SIM.ACKG認可)SIM。BRK.SUSIM.落絲.已做SIM.空閑SIM.LWU.切入SIM.LWU.落絲.完成STM.LWU.SUSIM.換噴絲頭SIM.RWU.切入SIM.RWU.落絲.完成SIM.RWU.SUSIM.擦刮之一))))SM(量值無)(量值類程((?！矄卧徑z。機文件-事件-庫〕的項))))(SMO.SIM.計時器(量值無)(量值類程((停止起動運轉(zhuǎn)超時之一)))(輔助單元(＃〔單元文件-SMO-SIM-計時器-狀態(tài)-變化-AV文件-方法〕)))(SMO.SIM.計時器.間隔(量值(0)))(SMO.SIM.計時器.方法(量值(文件-SMO-SIM-定時器-方法)))(SMO.SIM.計時器.超時(量值無))(狀態(tài)(量值(空閑))(量值類程((空閑離開崗位在斷絲處正在工作之一)))(小組(量值無)(量值類程((?！矄卧猄MO.小組文件-事件-庫〕之項)))(時間(量值無))(計時器.超時(量值無))
(工作.時間(量值(0.0)))(主存儲槽(現(xiàn)時.SMO(量值無)(量值類程((?！矄卧猄M.擋車工文件-事件-庫〕的項))))))
表3位置.傳感器.10.規(guī)則的規(guī)則組一覽表格式((斷絲.傳感器.關(guān)閉(IF(SM.位置的現(xiàn)時.位置是？位置)(計時器.超時的？位置是斷絲.傳感器.計時器)(斷絲.傳感器.輸入的？位置是關(guān)閉)THEN(改變、到(斷絲.傳感器的？位置是關(guān)閉))))(斷絲.傳感器.關(guān)閉.到.接通(IF(SM.位置的現(xiàn)時位置是？位置)(斷絲.傳感器？位置是關(guān)閉.到.接通)THEN(變.到(斷絲.傳感器.計時器的？位置是啟動))))(斷絲.傳感器.接通(IF(SM.位置的現(xiàn)時位置是？位置)(定時器超時的？位置是斷絲.傳感器.計時器)(斷絲.傳感器.輸入的？？位置是接通)THEN(變.到(斷絲.傳感器的？位置是接通))))(斷絲.傳感器.通到斷(IF)(SM.位置的現(xiàn)時位置是？位置)(斷絲.傳感器的？位置是通.到.斷)THEN(變.到(斷絲.傳感器.計時器的？位置是啟動))))(LWU.傳感器.斷(IF(SM.位置的現(xiàn)時位置是？位置)(計時器.超時的？位置是LWU傳感器.計時器)
(LWU.傳感器.輸入的？位置是開)THEN(變.到(LWU.傳感器的？位置是斷))))(LWU.傳感器.斷.到.通(IF(SM.位置的現(xiàn)時位置是？位置)(LWU.傳感器的？位置是斷.到.通)THEN(變.到(LWU.傳感器。計時器的？位置是起動))))(LWU.傳感器.通(IF(SM.位置的現(xiàn)時位置是？位置)(計時器.超時的？位置是LWU.傳感器.計時器)(LWU.傳感器.輸入的？位置是通)THEN(變.到(LWU.傳感器.計時器的？位置是停止))(變.到(LWU.傳感器的？位置是通))))(LWU.傳感器.通.到.斷(IF(SM.位置的現(xiàn)時位置是？位置)(LWU.傳感器的？位置是通.到.斷)THEN(變.到(LWU.傳感器.計時器的？位置是啟動)))(RWU.傳感器.斷(IF(SM.位置的現(xiàn)時位置是？位置)(計時器.超時的？位置是RWU.傳感器。計時器)(RWU.傳感器.輸入的？位置是斷)THEN(變.到(RWU.傳感器的？位置是斷))))
(RWU.傳感器.斷.到.通(IF(SM.位置的現(xiàn)時位置是？位置)(RWU.傳感器的？位置是斷.到.通)THEN(變.到(RWU.傳感器.計時器的？位置是啟動))))(RWU.傳感器.通(IF(SM.位置的現(xiàn)時.位置是？位置)(計時器.超時的？位置是RWU.傳感器、計時器)(RWU.傳感器.輸入的？位置是通)THEN(變.到(RWU傳感器的？位置是通))))(RWU.傳感器.通.到.斷(IF(SM.位置的現(xiàn)時位置是？位置)(RWU.傳感器的？位置是通.到.斷)THEN(變.到(RWU.傳感器.計時器的？位置是啟動)))))
表4位置.傳感器.狀態(tài).規(guī)則的規(guī)則組一覽表格式((斷絲.傳感器.斷絲(IF(SM.位置的現(xiàn)時位置是？位置)(OR(AND(斷絲.傳感器.條件的？位置是好的)(斷絲.傳感器的？位置是斷))(AND(斷絲.傳感器.條件的？位置是壞的)(LWU.傳感器的？位置是斷)(RWU.傳感器的？位置是斷)))(CANT.FIND(斷絲.傳感器.狀態(tài)的？位置是斷絲)))THEN(變.到(斷絲.傳感器.狀態(tài)的？位置是斷絲))))(斷絲.傳感器.紡絲(IF(SM.位置現(xiàn)時位置是？位置)(ORCANDC斷絲.傳感器.條件的？位置是好的)(斷絲.傳感器的？位置是通))(AND(斷絲.傳感器.條件的？位置是壞的)(LWU.傳感器的？位置是通)(RWU.傳感器的？位置是通)))(CANT.FIND(斷絲.傳感器.狀態(tài)的？位置是在紡絲))THEN(變.到(斷絲、傳感器、狀態(tài)的？位置是在紡絲))))(LWU.切入(IF(SM.位置的現(xiàn)時位置是？位置)(LWU.傳感器、條件的？位置是良好的)(LWU.傳感器的？位置是斷開)(CANT.FIND(LWU.傳感器、狀態(tài)的？位置是切入))
THEN(變.到(LWU.傳感器、計時器的？位置是停止))(變.到(LWU.傳感器、狀態(tài)的？位置是切入))))(LWU.斷絲.完成(IF(SM.位置的現(xiàn)時位置是？位置)(LWU.傳感器.條件的？位置是良好)(LWU.傳感器的？位置是通)(LWU.傳感器.狀態(tài)的？位置是切入)(系統(tǒng)-現(xiàn)時-時間-值的時鐘值是？時間)THEN(變.到(起動、時間的？位置是？時間))(變.到(停止、時間的？位置是？時間))(變.到(LWU.起動.計時器的？位置是起動))(變.到(LWU.傳感器、狀態(tài)的？位置是落絲.完成))))(LWU.卷繞(IF(SM.位置的現(xiàn)時位置是？位置)(計時器超時的？位置是LWU.起動、計時器)(LWU.傳感器、狀態(tài)的？位置是落絲.完成)THEN變.到(LWU.傳感器.狀態(tài)的？位置是卷繞中))))(RWU.切入(IF(SM.位置的現(xiàn)時位置是？位置)(RWU.傳感器、條件的？位置是良好的)(RWU.傳感器的？位置是斷開)(CANT.FIND(RWU、傳感器、狀態(tài)的？位置是切入))THEN
(變。到(RWU.起動、計時器的？位置是停止))(變.到(RWU.傳感器、狀態(tài)的？位置是切入))))(RWU.落絲.完成(IF(SM.位置的現(xiàn)時位置是？位置)(RWU.傳感器、條件的？位置是良好)(RWU.傳感器的？位置是通)(RWU.傳感器.狀態(tài)的？位置是切入)THEN(變.到(RWU.起動、定時器的？位置是啟動))(變.到(RWU.傳感器.狀態(tài)的？狀態(tài)是落絲.完成))))(RWU.卷繞著(IF(SM.位置的現(xiàn)時位置是？位置)(計時器.超時的？位置是RWU.啟動、計時器)(RWU.傳感器、狀態(tài)的？位置是落絲、完成)THEN(變.到(RWU.傳感器、狀態(tài)的？位置是正卷繞中)))))
表5位置、傳感器、認定、規(guī)則的規(guī)則組列表格式((壞的.傳感器、警告(IF(S.M位置的現(xiàn)時位置是？位置)(CANT.FIND(需要的？位置是要維修))(OR(RWU.傳感器.條件的？位置是壞的)(LWU.傳感器.條件的？位置是壞的)(斷絲.傳感器.條件的？位置是壞的))THEN(列表(單元信息文件.方法′壞的-傳感器-警告′？位置))))(斷絲.傳感器.壞的.斷開(IF(SM.位置的現(xiàn)時位置是？位置)(計時器，超時的？位置是RWU.起動.計時器)(LWU、傳感器的？位置是通)(RWU、傳感器的？位置是通)(斷絲、傳感器的？位置是斷)THEN(變.到(斷絲.傳感器.條件的？位置是壞的))))斷絲、傳感器、壞的、通(IF(SM.位置的現(xiàn)位置是？位置)(計時器、超時的？位置是傳感器.變換.計時器)(斷絲、傳感器的？位置是通的)THEN(變.到(斷絲.傳感器.條件的？位置是壞的))))(LWU.傳感器.壞的.斷開(IF(SM、位置的現(xiàn)位置是？位置)
(計時器.超時的？位置是LWU.起動、計時器)(LWU.傳感器的？位置是斷開)THEN(變.到(LWU.傳感器.條件的？位置是壞的))))(LWU、傳感器、壞的、通(IF(SM.位置的現(xiàn)位置是？位置)(計時器、超時的？位置是超紡、計時器)(LWU.傳感器的？位置是通的)THEN(變.到(LWU.傳感器.條件的？位置是壞的))))(RWU.傳感器、壞的、斷開(IF(SM.位置的現(xiàn)位置是？位置)(計時器超時的？位置是RWU.啟動、計時器)(RWU.傳感器的？位置是斷開的)THEN(變.到(RWU.傳感器.條件的？位置是壞的))))(RWU.傳感器.壞的.通(IF(SM.位置的現(xiàn)位置是？位置)(計時器、超時的？位置是超紡、計時器)(RWU.傳感器的？位置是通的)THEN(變、到(RWU、傳感器.條件的？位置是壞的)))))
表6位置、狀態(tài)、規(guī)則的規(guī)則組列表格式((壞的.傳感器.狀態(tài).變化(IF(SM.位置的現(xiàn)位置是？位置)(OR(LWU.傳感器.條件的？位置是壞的)(RWU.傳感器.條件的？位置是壞的))(CANT.FIND(OR(狀態(tài)的？位置是啟動)(狀態(tài)的？位置是斷開)))THEN(變.到(狀態(tài)的？位置是啟動))(變.到(需要的？位置是維修))))(POS.錯的.運轉(zhuǎn).狀態(tài)(IF(SM.位置的現(xiàn)位置是？位置)(時鐘-值的系統(tǒng)現(xiàn)時-時間-值是？時間)(CANT.FIND(狀態(tài)的？位置是運轉(zhuǎn)))(最終的.狀態(tài)的？位置是運轉(zhuǎn))THEN(變.到(停止、時間的？位置是？時間))(列表(單元信息文件.方法′寫出-新的-運行-記錄？位置)))(POS.狀態(tài)、變化(IF(SM.位置的現(xiàn)時位置是？位置)(？位置是在類程SM.位置)(狀態(tài)的？位置是？的下一個-狀態(tài))(CANT.FIND(最終、狀態(tài)的？位置是？的下一個-狀態(tài)))(時間-值的系統(tǒng)-現(xiàn)-時-值是？時間)THEN
(變.到(結(jié)束、時間的？位置是？時間))(變.到(最終，狀態(tài)的？位置是？的下-狀態(tài)))(列表(單元信息文件.方法計算-位置-有效？位置))))POS、狀態(tài)、落絲(IF(SM.位置的現(xiàn)位置是？位置)(LWU.傳感器、狀態(tài)的？位置是切入)(斷絲、傳感器、狀態(tài)的？位置是正紡絲)(狀態(tài)的？位置是運轉(zhuǎn))(最終.狀態(tài)的？位置是運轉(zhuǎn))THEN(變.到(超紡、計時器的？位置是停止))(變.到(狀態(tài)的？位置是落絲))))(POS.狀態(tài).落筒(IF(SM.位置的現(xiàn)時位置是？位置)(斷絲.傳感器.狀態(tài)的？位置是斷絲)(OR(狀態(tài)的？位置是運轉(zhuǎn))(狀態(tài)的？位置是落絲)(狀態(tài)的？位置是啟動)THEN(變.到(落絲、計時器的？位置是停止))(變.到(超紡、計時器的？位置是停止))(變.到(狀態(tài)的？位置是落筒))(變.到(需要的？位置是維修))(列表(單元信息′文件.方法′更新-刮片-時間？位置))))(POS.狀態(tài)、運轉(zhuǎn)(IF(SM.位置的現(xiàn)位置是？位置)(LWU.傳感器.狀態(tài)的？位置是紡絲中)
(RWU、傳感器、狀態(tài)的？位置是紡絲中)(CANT.FIND(狀態(tài)的？狀態(tài)是運轉(zhuǎn))(時鐘-值的系統(tǒng)-現(xiàn)-時間-值是？時間)THEN(更.到(落絲.計時器的？位置是啟動))(變.到(超紡、計時器的？位置是起動))(變.到(結(jié)束、計時器的？位置是起動))(變、到(起動、時間的？位置是？時間))(變。到(狀態(tài)的？位置是運轉(zhuǎn)))(變、到(需要的？位置是不必服務(wù)))(列表(單元信息′文件、方法′更新-運行-DMS一起動？位置))))(POS.狀態(tài).啟動(IF(SM.位置的現(xiàn)位置是？位置)(狀態(tài)的？位置是斷開)(斷絲、傳感器、狀態(tài)的？位置是紡絲中)THEN(變.到(噴絲頭.計時器的？位置是啟動))(變.到(刮片、計時器的？位置是啟動))(變。到(狀態(tài)的？位置是啟動)))))
表7、計時器列隊表計時器入口作為一系列有如下因素的表第一因素＝在通用形式中以秒表示的未來超時值第二因素＝單元的實例取決于計時器第三因素＝計時器的名稱(和計時器的狀態(tài)槽)第四因素＝以秒計時時的時鐘值第五因素＝送信息到處于超時計時器的方法第六因素＝計時器的下一個狀態(tài)值(停止、起動、或超時)在本例中，對一個紡織機位置動作有三個計時器(計時器-列隊-列表((2787253367SM·11·POS1落絲、計時器落絲、計時器、超時落絲、計時器、方法超時)(2787254567SM·11·POS·1超紡、計時器超紡、計時器、超時超紡、計時器、方法超時)(2787249417SM·11·POS·1
結(jié)束、計時器結(jié)束、計時器、超時結(jié)束、計時器、方法超時)))
權(quán)利要求
1.一種監(jiān)視多位置紡絲機運轉(zhuǎn)的方法，其特征是單絲從各個位置上的噴絲頭擠出，并沿一路徑形成長絲束，前進，然后在某一位置分離成一組絲條，被傳送到一組卷繞器卷繞成絲包，在所述絲包制備過程中借助數(shù)字計算機，以予先確定的時間來安排各種事件，所述的方法包括(a)用一包括各個位置操作情況，各個絲包開始卷繞到結(jié)束時間，予先確定對長絲卷繞過結(jié)中是單值的事件時間，所述機器的位置排列，以及一個體系的規(guī)則庫的知識庫來裝備所述的計算機；(b)通過監(jiān)測前進著的長絲束和所述絲條的存在或消失，作為時間的函數(shù)來自動檢測各個位置的工作情況；(c)將在步驟(b)檢測到的各個位置的工作情況和該位置的各個絲包從開始到結(jié)束的時間提供給計算機；(d)在計算機中對各個位置工作狀態(tài)和所述位置的各個絲包的從開始到結(jié)束時間與予先確定的事件的時間和所述的體系規(guī)則庫進行比較；(e)當(dāng)所述的計算機指出執(zhí)行所述事件的時間已到時，在所述的紡絲機上完成所述的事件。
2.按權(quán)利要求1的方法，其特征是所述的每個位置的狀態(tài)，由一組傳感器自動檢測，而每個傳感器的有效狀態(tài)被不斷地提供給計算機。
3.一套用于監(jiān)控多位紡絲機工作的系統(tǒng)，其特征是單絲從各個位置上的噴絲頭擠出，并沿一路徑成長絲前進，然后在某一位置分離成一組絲條被傳送到一組卷繞器，并卷繞成絲包，在所述絲包制備過程中借助數(shù)字計算機，以予先確定的時間來安排各種事件，所述的系統(tǒng)包括(a)為提供帶有知識數(shù)據(jù)庫的所述計算機的裝置，該數(shù)據(jù)庫包括各個位置操作情況，每個絲包從開始卷繞到結(jié)束時間，予先確定的對長絲卷繞過程中是單值的事件時間，所述機器的位置排列，以及一個體系的規(guī)則庫;(b)通過監(jiān)測前進著的長絲束和所述絲條的存在或消失，作為時間的函數(shù)來自動檢測出各個位置工作狀態(tài)的裝置;(c)為將在步驟(b)中檢測到的各個位置的工作情況和該位置的各個絲包從開始到結(jié)束的時間提供給計算機的裝置;(d)為在計算機中對各個位置工作狀態(tài)和所述位置的各個絲包的自開始到結(jié)束時間與予先確定的事件時間和所述的體系規(guī)則庫進行比較的裝置;(e)為了指示執(zhí)行所述事件的時間已到的裝置。
4.按權(quán)利要求3的系統(tǒng)，其特征是包括有為證實自動檢測每個位置工作狀態(tài)的各個裝置狀態(tài)的裝置。
全文摘要
一監(jiān)測多位紡織機運轉(zhuǎn)的方法，單絲從各位置噴絲頭擠出沿一路徑成長絲束前進，在某一位置分成一組絲條由卷繞器卷成包，絲包制備時由計算機以預(yù)定時間安排各事件，該法的程序知含識數(shù)據(jù)庫，它含各位置工作狀態(tài)，絲包始終時間，長絲卷繞時預(yù)定事件的單值時間，機器的位置安排和一系統(tǒng)規(guī)則庫。各位置工作狀態(tài)把行進長絲束和絲條的存亡作為時間函數(shù)來自動監(jiān)測，同時把信息提供計算機比較各位置工作狀態(tài)和各絲包始終時間，指示執(zhí)行所述事件的時間已完。
文檔編號D01D7/00GK1041659SQ8910802
公開日1990年4月25日 申請日期1989年9月8日 優(yōu)先權(quán)日1988年9月8日
發(fā)明者斯科特·L·戴維遜, 邁克爾·維瑟夫·皮奧沃索, 約翰·J·特納, 馬克·D·韋策爾 申請人:納幕爾杜邦公司