自動機
- 基于自動機的用戶名合法性檢測方法
提出了有限狀態自動機的概念[8]，并在后續的研究中針對字符串匹配問題提出了有限狀態自動機算法—Aho - Corasick(AC)算法[9].該算法與上述傳統算法相比，只需掃描一遍字符串即可，且其時間復雜度與模式串的規模無關，因此該算法受到學者們的關注.目前利用該方法雖然可以檢測用戶名字符串中包含的類別，但無法檢測用戶名長度，因此其應用性受到一定限制.為此，本文提出了一種新有限狀態自動機，并通過分析驗證了該自動機的有效性.1 有限狀態自動機傳統的有限狀態自
延邊大學學報（自然科學版） 2022年2期2022-09-13
- 二維元胞自動機模型的精確解
）0 引言元胞自動機（Cellular Automata，以下簡稱CA）是為模擬包括自組織結構在內的復雜現象提供的一個強有力的方法，也稱為細胞自動機.據文獻［1］，J.Von Neuman n為早期CA的發展作出了很大的貢獻，他的這個思想來源于Staislaw Ulam.其目標是設計一個具有通用圖靈機那樣自我繁殖的人工系統可計算的模型.Staislaw Ulam給出建議后，J.Von Neuman n采用二維元胞空間即CA結構，使用具有29個狀態的二維元胞
伊犁師范大學學報(自然科學版) 2022年1期2022-07-06
- 馮諾依曼型元胞自動機和自指語句
明1 引言元胞自動機（Cellular Automata,CA）是一類時間和空間離散的數學系統，其特征是局部相互作用和內在的并行演化形式。元胞自動機這一概念起源于馮諾依曼（von Neumann）在“自動機的一般邏輯理論”（The General and Logical Theory of Automata）中所提出的二維自復制自動機系統。（參見[12]）元胞自動機結構、規則簡單，但能產生復雜的行為模式，因此作為一類復雜系統的最簡單數學表示，被廣泛應用于交
邏輯學研究 2022年1期2022-03-31
- 幾類帶空轉移的n元偽加權自動機的關系*
19)1 引言自動機理論是計算機科學理論的基礎。1961年,Schützenberger[1]提出了加權有窮自動機的概念。加權有窮自動機是經典的非確定型有窮自動機的狀態轉移函數、初始狀態和接受狀態都附加上權重而形成的一種有窮自動機,這些權值形成的代數結構一般為半環,得到了廣泛研究[2 - 6]。1967年,Wee[7]提出了模糊有窮自動機的概念,開啟了模糊自動機理論研究的歷程。此后,又有學者相繼提出了取值于完備正交模格的自動機[8，9]、取值于完備剩余格的
計算機工程與科學 2022年2期2022-03-22
- 確定型有限自動機生成最短正則表達式的啟發式算法研究
式與確定型有限自動機同屬于正則語言模型，具有相同的表達能力，可以等價地相互轉換。雖然自動機容易轉化為高效的計算機內部程序，但狀態間復雜的變遷關系難于理解，無法在工程實踐中直接用于語法規則的設計和交流。根據自動機生成易于閱讀的正則表達式有助于正則語言的理解和應用，也可以更廣泛地應用自動機學習的研究成果，是形式語言領域研究的一個經典問題。將確定型有限自動機轉換為正則表達式的經典方法主要有3種：狀態消減法、Brzozowski代數法和傳遞閉包法[1]。這3種方法
微型電腦應用 2021年11期2021-12-09
- 識別幺半群直積的最少狀態DFA
能夠被確定有窮自動機（簡稱DFA）識別的語言稱為正規語言。文[1]定義正規語言中的乘法運算為字符串的毗連。識別正規語言的DFA一般不唯一。文[2]定義：在識別一個語言的所有DFA中，有一個初始狀態，且終結狀態最少的DFA稱為識別這個語言的最少狀態DFA。若存在正規語言到半群S的同態滿射，本文中也稱能夠識別這個正規語言的DFA可以識別半群S。文[3]證明了當每個幺半群只有一個R類時，識別這些幺半群強半格的最少狀態DFA的終結狀態的個數等于幺半群的個數。文[4
科學技術創新 2021年17期2021-11-30
- 基于自動機理論的密碼匹配方法
提出了有限狀態自動機的概念[6].隨后，學者們利用有限狀態自動機對字符串匹配的問題進行了研究.例如：文獻[7]給出了一種高效的有限狀態自動機的存儲表示方法，并基于這種存儲表示方法建立了一種效率高于KMP算法的模式匹配算法；文獻[8]提出了一種基于自動機的多模式匹配算法(AC算法)，該算法在匹配失敗時能夠高效跳轉，因此其匹配效率較好.但目前相關研究中所提出的自動機狀態數目都是固定不變的，即僅能匹配特定的輸入字符串，因此具有很大的局限性.為此，本文提出了一種新
延邊大學學報（自然科學版） 2021年2期2021-07-29
- 物聯網系統時間自動機建模的研究與應用
分的考慮。時間自動機可以直觀地刻畫實時系統與時間有關的行為[8]，是物聯網實時系統進行設計和建模的重要方法?；跁r間自動機的理論研究，也產生了許多時間自動機建模和模型檢測工具[9]。本文探討了基于時間自動機進行物聯網系統建模的理論、方法、工具和建模實踐。以物聯網溫度傳感器感知物理溫度環境為例，說明了基于時間自動機理論使用UPPAAL建模工具進行物聯網系統建模和模型檢測的方法，并進行了溫度感知的建模實踐。1 相關工作在時間自動機的理論研究方面，文獻[10-1
計算機應用與軟件 2021年6期2021-06-21
- FDFA及其在發動機故障診斷中的應用
引言單位模糊自動機在模糊自動機半群中的某一時刻會對應多種不同的狀態，每一種狀態都對應著不同的可信度，這樣模糊自動機半群就能與現實世界和客觀事物比較貼合，能夠比較真實地反映現實世界。但是半群自動機的推導等價并不容易實行，即便是對復雜程度較低的有限半群自動機也有一定的困難。在神經網絡技術和模糊技術發展的背景下，模糊自動機得以快速發展并取得了廣泛的應用[1-3]。在現代戰爭方面的應用尤為突出，面對狡猾的敵人如何識別真相是一個難題；又如列車前方障礙物的識別、汽車
廣西大學學報（自然科學版） 2020年5期2021-01-20
- Mediator的概率擴展*
基本結構，使用自動機作為最基本的模型單位，對模型進行形式化描述。自動機可以被連接構成系統，從而用于描述更加復雜的系統行為。系統也可以被視為更復雜系統中的組件進行組合，從而形成一種層次化的模塊化結構。與PRISM[3]、UPPAAL[4]等形式化建模工具相比，Mediator不需要使用者有豐富的形式化領域的專業知識，更加方便被學習使用。目前對Mediator也有一些驗證和代碼生成的工作，例如由Mediator代碼自動生成一些程序語言的代碼[2,5]，將Med
計算機工程與科學 2020年8期2020-09-03
- 基于Büchi自動機化簡的JavaMOP監控器構造方法
基于Büchi自動機化簡的監控器構造方法,降低JavaMOP運行時驗證的時間和內存開銷。1 相關知識1.1 線性時態邏輯線性時態邏輯(linear temporal logic，簡稱LTL)是一種與時間有關的模態時序邏輯。引入LTL公式來描述系統行為屬性，通過使用原子命題、析取操作符(∨)、next算子(X)、until算子(U)和否定操作符號()定義LTL公式的集合。定義2(LTL語義) 令u=u0u1…∈Σω是一個無限狀態序列，且Σ=2P，u滿足LTL
桂林電子科技大學學報 2019年5期2019-12-27
- 格值交替樹自動機?
將交替的概念與自動機相結合,提出了交替自動機的概念[6],隨后,這一類型的自動機在形式化證明中被作為一種有用的模型普遍使用[7?14].Zhou[15]在原有交替ω-有窮自動機接受條件的基礎上定義了6種新形式的接受條件,并研究了交替ω-有窮自動機在這些條件下接受語言的能力.Vardi在研究線性時序邏輯[14]時,給出了用自動機理論方法來研究模型檢測的新思路,即,把模型檢測的可滿足性問題轉化為判斷自動機語言是否為空的問題來討論.Vardi運用Muller等人
軟件學報 2019年12期2019-10-26
- 有關時間自動機重置的若干問題的計算復雜性*
1 引 言有限自動機的重置(或同步)問題[1],最早由?erny在1964年提出,重置的概念從此逐漸受到關注和不間斷的研究,形成了許多成果,吸引了來自計算機、數學、控制和生物領域的研究人員,這些成果已應用在離散事件系統控制、軟件測試、生物信息計算[2-4]和機器人[5]等領域.重置有限自動機的關鍵是構造重置字(或序列):有限自動機通過運行重置字w,將從任意一個未知的或無法觀測到的狀態到達某個特定狀態qw.這僅依賴于w自身,而與w開始運行時有限自動機所處的狀
軟件學報 2019年7期2019-08-13
- 元胞自動機在地理學中的應用綜述
要：由于元胞自動機在模擬空間復雜系統的時空演變方面具有巨大的優勢，因此，經常被用于復雜系統的建模與模擬。元胞自動機與地理學結合有較強的優勢，通過分析元胞自動機在地理學各領域的應用現狀，提出了現階段元胞自動機存在的不足之處。關鍵詞：元胞自動機；地理學；研究綜述中圖分類號：P208 文獻標識碼：A 文章編號：1003-5168（2018）07-0024-02Application of Cellular Automata in GeographyGUO Ke
河南科技 2018年7期2018-09-10
- 有限自動機可識別語言的基數
5901 引言自動機是計算理論中最簡單的數學模型[1]。它不僅是計算機科學理論的基礎，而且與神經網絡和模型論等領域密切相關[2-3]。有限自動機在軟件工程、句法分析、形式語言和程序語言等多個領域得到了有效的應用[4-6]。由于自動機具有固定的內在狀態、記憶能力和識別判斷能力或決策能力，因此它適宜于作為一切信息系統的數學模型[7-9]。特別的，在形式語言方面，自動機提供了一種處理語言的可靠工具[10-11]。自動機可識別語言[12-14]是形式語言與自動機理
計算機工程與應用 2018年15期2018-08-01
- 基于有窮論域下區間時序邏輯的模型檢測研究?
性的基礎上利用自動機技術給出了一個模型檢測工具的設計及實現。2 概念2.1 模型檢測在計算機科學中，模型檢測指的是給定一個系統模型，徹底地、自動地檢查該模型是否符合某個給定的要求。一般的，在軟件或者硬件系統中，給定的要求一般包含像無死鎖的這樣的安全需求和一些可能導致系統崩潰的關鍵狀態。模型檢測是一種自動化地驗證有窮狀態系統的屬性正確性的技術。為了利用算法解決模型檢測的問題，系統模型和要求說明都必須用精確的數學語言來表達。為達到這樣的目的，模型檢測被表述為一
計算機與數字工程 2018年7期2018-07-31
- 基于二維連續元胞自動機的交通流仿真分析
國內外應用元胞自動機研究交通流的文獻非常豐富，但大部分都是基于傳統的元胞自動機[1]進行研究。傳統元胞自動機模型中，道路按照一定長度d沿車道中心線方向(x方向，以下簡稱為縱向)被劃分為多個離散的單元(元胞)，每個元胞中儲藏著包括有無車輛等信息的數值，這些數值按照設定的規則進行更迭變化。以道路片段為元胞的描述如下圖所示。在此的基礎上，?znur Yeldan提出了一種連續型元胞自動機[2]，在模型中舍棄了傳統元胞自動機將道路片段作為元胞的思路，而代之以道路中
福建質量管理 2018年9期2018-05-17
- 廣義標準自動機及其商自動機
提出一種抽象的自動機—圖靈機,用來定義可計算函數類,自此開創了自動機理論的抽象研究[1]。二十世紀五六十年代,由于計算機、通信和人工智能的興起,自動機理論得到了迅速發展。自動機不僅成為計算機科學的理論基礎,而且在信息科學、生命科學、管理學、控制學等眾多學科領域有著廣泛應用[2-8]。設自動機A=(Q,Σ,δ), 任取q∈Q, 令〈q〉表示集合{δ(q,u) |u∈Σ*}。 稱自動機A(q)=(〈q〉,Σ,δ〈q〉×Σ)為由q生成的子自動機[5], 其中δ〈
西北大學學報（自然科學版） 2018年2期2018-04-18
- 基于隨機無窮自動機的多功能雷達輻射源識別方法
)基于隨機無窮自動機的多功能雷達輻射源識別方法曹 帥*，王布宏，李龍軍，劉帥琦(空軍工程大學 信息與導航學院，西安 710077)(*通信作者電子郵箱465782523@qq.com)針對基于隨機上下文無關文法(SCFG)建模的多功能雷達(MFR)輻射源識別問題，提出了一種基于隨機無窮自動機(SISA)的MFR輻射源識別方法。在文法建模的基礎上，對“水星”MFR控制模塊文法產生式和系統特征文法產生式進行重新構造生成SCFG，利用SCFG構造隨機無窮自動機作
計算機應用 2017年2期2017-04-20
- 全射彈壽命過程中的大口徑機槍自動機磨損和性能衰減趨勢研究
中的大口徑機槍自動機磨損和性能衰減趨勢研究齊玉輝，徐誠（南京理工大學機械工程學院，江蘇南京210094）大口徑機槍在全射彈壽命過程中的自動機關鍵部位磨損和性能衰減情況對機構功能和動作可靠性將產生影響，從而影響武器的使用性能和作戰效能。以某型大口徑機槍作為試驗對象，測量全射彈壽命過程中自動機關鍵部位磨損情況和自動機性能衰減情況，統計自動機故障。研究結果與分析表明：全射彈壽命過程中的槍機閉鎖支撐面磨損量和開閉鎖曲線磨損量不大，槍機框導軌磨損量較大；隨著射彈量的
兵工學報 2016年8期2016-10-15
- 帶空移動的加權有限自動機量化等價及其轉換
移動的加權有限自動機量化等價及其轉換汪 國 武(安徽工程大學計算機與信息學院安徽 蕪湖 241000) (安徽工程大學計算機應用技術重點實驗室安徽 蕪湖 241000)在經典的有限自動機理論中，帶空移動的有限自動機與不帶空移動的有限自動機是等價的。取值于實數的加權有限自動機是自動機的一種推廣模型，它給經典自動機的每個轉換賦一個取值于實數的權值，這些權值表示執行轉換的代價。為了研究帶空移動的加權有限自動機與不帶空移動的加權有限自動機是否具有等價性這一問題，提
計算機應用與軟件 2016年8期2016-09-08
- 加權Besicovitch-Eggleston集的Hausdorff維數
重排性質的元胞自動機作用下的加權Besicovitch-Eggleston型集。通過構造一個概率測度及應用Billingsley定理，得到此類集合的Hausdorff維數dimHEF,P。關鍵詞: 符號空間； 加權Besicovitch-Eggleston集； 元胞自動機； Hausdorff維數MR subject classification: 28A78并在1934年證明了它的Hausdorff維數(i=0,1,…,c-1)},Eggleston證明
陜西師范大學學報（自然科學版） 2016年3期2016-06-20
- 正規文法與有窮自動機的等價性研究
正規文法與有窮自動機的等價性研究李忠武 保山學院 云南保山 678000【文章摘要】正規表達式首先由Keene在20世紀50年代開始研究。McCullough和Pitts提出了一種描述神經活動的有窮自動機模型，從此以后，正規表達式和有窮自動機在計算機科學中得到了廣泛應用。通常，對于正規文法G 和有限自動機M ，M 所定義的語言記作L（G），M 所能識別的語言記作L（M），如果有L（G）=L（M），則稱G 和M是等價的?！娟P鍵詞】正規式；正規文法；構造方法；
電子制作 2016年12期2016-06-18
- 基于ADAMS的某自動機加速機構動力學仿真
ADAMS的某自動機加速機構動力學仿真劉坤杰，周克棟，赫雷(南京理工大學 機械工程學院，南京210094)摘要：提出了一種自動機加速機構，用于自動武器在研發過程中的非射擊系統聯調?；诙鄤傮w動力學理論，運用SolidWorks和ADAMS軟件聯合建立了虛擬樣機模型。采用ADAMS軟件作為仿真平臺，針對該加速機構的工作原理與結構特點建立仿真策略并進行了仿真計算與分析，確定了主要的結構參數和電機轉速，并獲得了自動機的模擬加速曲線，實現了預期的設計目標，驗證了該
兵器裝備工程學報 2016年4期2016-05-28
- 頻率匹配準則的某型機槍自動機結構參數優化
準則的某型機槍自動機結構參數優化張軍挪，王瑞林，化斌斌，康小勇（軍械工程學院，石家莊050003）摘要：首先分析了影響某型重機槍射擊精度的影響因素，并以武器頻率匹配準則為依據，以建立的機槍動力學虛擬樣機模型為平臺，通過靈敏度分析，找出導氣孔橫截面積、活塞的有效橫截面積、槍機框質量、槍機質量和槍機框緩沖簧剛度等參數是影響武器射擊頻率的主要因素；利用序列二次規劃優化方法對自動機結構參數進行優化，優化仿真結果表明，武器的射向一致性得到明顯提高，這對于武器結構方案
火力與指揮控制 2016年3期2016-04-26
- 應用S.L.Peng窄帶分解與廣義分形的自動機故障診斷
解與廣義分形的自動機故障診斷田園1，潘宏俠1，2，陳玉青1，潘龍1（1.中北大學機械與動力工程學院，山西太原030051；2.中北大學系統辨識與診斷技術研究所，山西太原030051）摘要：針對某型高射機槍自動機振動信號低信噪比、干擾多的特點，提出利用S.L.Peng的局部窄帶分解理論對信號進行分解和重構，并用支持向量機對故障模式進行識別。通過對自動機故障機理分析，找到易發生故障的位置，并設置3種故障后進行振動信號采集。將信號通過基于局部窄帶信號的分解和重構
中國測試 2016年2期2016-03-30
- 有窮自動機的Linux多點觸摸屏中間件設計
0081)有窮自動機的Linux多點觸摸屏中間件設計趙建峰,陳朔鷹,羅一涵(北京理工大學計算機學院,北京100081)多點觸摸屏的應用程序開發是當前的研究熱點。Linux multi-touch(MT)協議是Linux輸入子系統的一個標準協議,定義了多點觸摸設備驅動程序的數據傳輸規范,有著廣泛的使用范圍。識別和處理多點觸摸屏驅動程序的數據是多點觸摸屏應用最基本的功能。本文采用有窮自動機的思想,設計了一個可以識別符合Linux multi-touch協議規范
單片機與嵌入式系統應用 2016年11期2016-03-20
- 確定權重有限自動機的同余及極小自動機
）確定權重有限自動機的同余及極小自動機田徑1，3，徐慧2（1.西安外國語大學經濟金融學院，陜西西安710128；2.空軍工程大學理學院，陜西西安710051；3.西安理工大學理學院，陜西西安710048）主要研究對象是強雙幺半群上的確定權重有限自動機A.首先給出了A上的同態定理和同構定理；接著，構造了識別φ的一個極小自動機Aφ；最后，證明極小自動機在同構意義下是唯一的.確定權重自動機；同余；極小自動機1 引言自動機理論是計算機科學的基礎，自動機上的同余和極
純粹數學與應用數學 2015年5期2015-10-18
- HybridFA：一種基于統計的AC自動機空間優化技術
1～3]?；?span class="hl">自動機的串匹配算法是多模式串匹配采用的主要研究方法之一，它以自動機作為數據結構，在搜索過程中通過搜索文本中自動機所能識別的語言來實現匹配，該類方法性能相對穩定，因而在實際系統中被廣泛使用。但該類方法空間開銷較大，匹配速度較慢。Aho-Corasick (AC) 自動機[4]是最經典、實際應用最廣的自動機之一，開源病毒檢測系統 ClamAV和開源入侵檢測系統Snort均使用AC自動機作為其基本的數據結構?；贏C自動機的串匹配算法稱為AC算法，
通信學報 2015年7期2015-01-06
- 有限自動機在家用防火防盜報警器中的應用
0)本文從有限自動機的理論出發，詳細介紹了自動機的理論知識，包括確定的有限自動機和不確定的有限自動機[1-4].把有限自動機的五元組理論應用于聲光報警器的設計.[5]所設計的報警器是簡單的聲光報警器，包含三個傳感器：煙幕傳感器、煙幕傳感器、聲音采集模塊，這三個傳感器主要用于探測火災或小偷進入，對一般家庭的防范還是起到很好的作用.處理器用的是單片機AT89C51.1 有限自動機理論1.1 有限自動機的基本原理自動機通過接受一定的輸入，執行一定的動作后，產生一
哈爾濱商業大學學報（自然科學版） 2014年6期2014-09-14
- 加權有窮自動機的代數性質*
13)加權有窮自動機的代數性質*張麗霞(安慶師范學院數學與計算科學學院,安徽 安慶 246013)在加權有窮自動機理論基礎上，利用強同態的概念，證明兩個加權有窮自動機在計算能力上是等價的，并在加權有窮自動機的狀態集上建立一種等價關系，得到加權有窮自動機的商自動機，證明加權有窮自動機與其商自動機在計算能力上也是等價的。并通過引入加權有窮自動機的可交換性、分離性、(強)連通性及層的概念，討論在(強)同態的條件下，兩個加權有限狀態機之間的可交換性、分離性、(強)
計算機工程與科學 2014年11期2014-09-13
- 一種模型檢測精確加速的判斷方法
00)基于時間自動機的模型檢測是一種經典的自動驗證技術，它具備成熟的理論基礎并廣泛應用于安全認證協議、控制系統等領域。在實時系統中，由于控制程序和外界環境經常使用不同的時間度量，當以時間自動機為基礎，運用符號模型檢測技術進行可達性分析與驗證時[1]，驗證速度會因為狀態空間的片段化問題明顯下降[2]，導致模型檢測時間和空間增加，甚至無法完成檢測。加速技術主要用來解決由于時間度量不同造成的片段問題。文獻[3]結果表明加速技術應用在合并擴展中可以提高分析的精確性
中原工學院學報 2014年4期2014-04-01
- 馮·諾伊曼自繁殖自動機思想及其方法論意義
·諾伊曼自繁殖自動機思想及其方法論意義潘 沁(桂林電子科技大學公共事務學院,廣西桂林 541004)20世紀40年代,馮·諾伊曼開始研究自動機理論。他認為在自動機的初級階段,必須研究邏輯與構造兩個方面的重要問題,這可以用邏輯普遍性、可構造性、構造的普遍性、自繁殖、進化五個問題來表達。他對這五個問題進行了探討并設計了五種自繁殖自動機模型,即動力模型、元胞模型、興奮-閾值-疲勞模型、連續模型和概率模型。由于他的早逝,他的設計并沒有完成,但他的思想對后世的影響深
長沙理工大學學報（社會科學版） 2014年4期2014-03-26
- 格值直覺模糊有限自動機的直積與覆蓋
2]引入了模糊自動機理論.J. N. Mordeson[3]等對模糊自動機的代數性質做了詳細的研究.隨著模糊集理論的發展，1983年K. T. Atanassov[4]提出了直覺模糊集，它是一種高層次的模糊集，比一般的模糊集合多了一個非隸屬度，這就使得它在處理不確定信息時比傳統的模糊集有更強的靈活性和準確性,K. T. Atanassov等[5]又在1984年提出了格值直覺模糊集，格值直覺模糊集理論是直覺模糊集理論的推廣.Y. B. Jun[6]于2005
四川師范大學學報（自然科學版） 2014年1期2014-03-19
- 外能源轉管自動機機電耦合動力學鍵合圖建模及應用
是目前提高火炮自動機射速的主要途徑之一，已普遍應用于各種口徑的自動炮研制中。在以往外能源轉管自動機的研制中，往往將機械部分及電機和其控制部分分開設計，其結果是機械部分的動力學計算未考慮電機調速系統對火炮自動機射速穩定性的影響，常常電機功率預估不足或過高；而電機調速控制系統的仿真計算未考慮火炮射擊對電機輸出功率影響。因此,建立外能源轉管自動機機電一體化多能域耦合的動力學理論模型用以指導工程實踐具有重要的現實意義。鍵合圖理論可以將多種物理參量統一地歸納成四種狀
火炮發射與控制學報 2013年1期2013-11-21
- XML文檔過濾引擎有限自動機的構造
，其中基于有限自動機的過濾系統比較突出，同時也得到了廣泛的應用，包括首次將有限自動機應用于XML文檔過濾的XFilter[5]系統和后續的 YFilter[6]系統、QFilter[7]系統等。在基于有限自動機的XML過濾系統中，核心組件是過濾引擎，而過濾引擎的核心是過濾有限自動機。過濾有限自動機的效率將直接決定過濾系統的效率。本文將介紹一種高效構造過濾有限自動機的方法，并給出了對過濾有限自動機進行動態在線更新的方法。1 有限自動機和XM L過濾系統在介紹
河北軟件職業技術學院學報 2013年3期2013-10-10
- 細胞自動機在建筑設計中的應用
0092)細胞自動機是一個離散型動力系統，目前被廣泛應用于不同領域的研究和探索，例如通訊傳輸、交通管理、建筑設計、人工智能、非線性科學、復雜性科學等。本文探討了細胞自動機基本原理、特點和在建筑上應用的可能性，并借助幾個實際的案例探討細胞自動機理論在建筑上的應用，另對這兩個設計方法的結合運用作了一個詳細的分析。細胞自動機是一種時間和空間都離散的動力系統模型。它可以視為由若干個單元組成的動態的不斷改變自我狀態的矩陣，其中每一個單元具有有限個狀態。在離散的程序中
山西建筑 2013年15期2013-08-15
- 火炮自動機故障診斷研究綜述
的核心部件高速自動機，由半自動化、簡單化向全自動化、復雜化轉變。根據以往經驗，如果自動機發生故障，就會引起火炮的整體癱瘓，從而導致巨大的人員傷亡和經濟損失。機械設備工作狀態所需的維護費用和停機損失在成本中就占有很大的比重，一旦設備發生故障引起的損失就更加重了成本，所以機械設備故障診斷的重要性就凸顯了。因此，為保證機械設備在工作中或者不拆卸的情況下能準確掌握其工作狀態，憑借和采用日益先進的信號處理、動態測試和傳感器技術，對機械設備異常部位和發生原因進行分析，
機械管理開發 2013年1期2013-04-16
- 一類雙向模糊有窮自動機
類雙向模糊有窮自動機鄭兆岳1，2（1.安徽大學 數學科學學院，安徽 合肥 230039；2.安徽工貿職業技術學院，安徽 淮南 232007）給出經典雙向有窮自動機的即時描述，接受（識別）的語言及雙向有窮自動機和有窮自動機是等價的，證明它接受的語言是正則語言。由此，把它推廣到模糊上去，相應地給出了雙向模糊有窮自動機的定義，即時描述及其接受的語言，進一步證明非確定性雙向模糊有窮自動機與確定雙向模糊有窮自動機接受的語言是等價的。雙向模糊有窮自動機；即時描述；正則
淮南師范學院學報 2012年3期2012-12-28
- 零邊界條件下二維元胞自動機矩陣可逆性分析
)0 引言元胞自動機是定義在一個由具有離散、有限狀態的元胞組成的元胞空間上，并按照一定局部規則，在離散的時間維上演化的動力學系統。元胞自動機理論自提出以來得到了長足的發展，開始只是對元胞自動機進行了探索性的研究［1］，逐步將建立在矩陣代數中的一維元胞自動機擴展到二維元胞自動機［2］，而后對9鄰域結構的二維元胞自動機進行了研究［3］，并且對二維元胞自動機的等效轉移矩陣特性進行了初步的分析［4］。本文在其研究基礎上對矩陣的可逆性研究進行一些探索，在一定程度上增
杭州電子科技大學學報(自然科學版) 2012年4期2012-11-26
- 某高炮自動機檢測技術研究
050003)自動機是高炮的核心部件，它的質量狀態直接影響著部隊的戰斗力。長期以來，由于高炮自動機本身的復雜性，對高炮自動機開展檢測技術研究的難度很大。針對自動機開展的測試研究中，光電檢測系統能夠實現非接觸、高精度測試[1-2]，缺點是測試參量有限，無法對自動機內部構件實施測試；基于虛擬儀器的自動機運動規律的測試[3-4]沒有實現對自動機運動狀態的全面考察，不過與虛擬儀器相比，實物測試儀器造價昂貴，儀器間一般無法相互利用；自動機模擬試驗臺研究主要側重對自動
火炮發射與控制學報 2012年3期2012-11-22
- 水陸狀態下自動機參數分析及設計
6]分別對陸上自動機的測試技術及虛擬測試技術進行了相關研究，利用激光傳感器測得需要的位移和速度參量，而對于兩棲武器自動機的測試則鮮有報道。兩棲武器的總體構想是基于陸上和水下可同時使用，對其綜合性能的研究是非常重要的，而對自動機運動性能的分析研究又是其中關鍵的一個環節，本文旨在通過自動機運動參數的研究，對比陸上和水下不同介質條件下自動機工作特性，為兩棲自動機的研究提供參考。1 自動機運動規律分析自動機的各工作機構如閉鎖機構、供彈機構和擊發機構等都是用來傳遞活
火炮發射與控制學報 2012年3期2012-11-22
- 雙管聯動自動機技術的現狀與展望
38型雙管聯動自動機的特點分析1.1 工作原理一般的雙管火炮，兩門自動機相互分離，供彈機構、浮動機構等各自獨立，共用搖架。而雙管聯動自動機采取雙管聯裝、兩套閂體彼此聯動和交替射擊[1]的方式工作。在一個射擊工作循環內，一個滑板進行后坐運動，而另一個滑板作復進運動，膛內的火藥氣體分別導入活塞氣室，驅動滑板前后運動。兩套閉鎖、輸彈、拋殼機構靠聯動機構保證彼此協調動作，在一個滑板動作循環中射出兩發炮彈。因此,雙管聯動自動機射速都很高，常常用以配裝高射速火炮。1.
火炮發射與控制學報 2012年1期2012-11-22
- 自動機兩棲工作環境下的運動參數測試分析*
重大意義.以前自動機參數的研究多針對于陸上,如文獻[2-7]就針對陸上自動機的測試技術及虛擬測試技術進行了相關研究,對于水下自動機參數的研究也是近10年才展開,但是對于具有兩棲要求的自動機則研究非常少,本文就是針對兩棲工作環境下自動機的運動參數進行研究,并得出相應結論,為兩棲武器的研究提供參考.1 自動機運動規律測試系統設計自動機運動諸元的測定,在自動武器的試驗研究中是非常重要的.分析測得的運動曲線,可以判斷自動機的運動是否平穩,能量的分配是否恰當,由各構
測試技術學報 2012年5期2012-02-10
- 一種時間自動機時鐘離散化算法
52)一種時間自動機時鐘離散化算法朱維軍，周清雷(鄭州大學 信息工程學院 河南 鄭州 450052)稠密時間自動機被廣泛應用于實時系統自動驗證.然而其在補操作下不封閉，因而導致多種線性實時性質不可驗證.離散時間自動機雖不存在此問題，但該模型表達能力偏弱.因此，提出了一種時間自動機時鐘離散化算法，結合時鐘物理約束因素，證明了新方法可有效解決上述問題.時間自動機； 模型檢測； 物理時鐘； 離散化0 引言模型檢測的形式化理論、計算模型與驗證算法是近年來計算機科學
鄭州大學學報（理學版） 2011年3期2011-12-02
- 擴散過程的元胞自動機模擬
方式之一，元胞自動機則是近年來新興的仿真模擬方法.但是，將兩者結合，即用元胞自動機研究擴散過程的文獻卻相對較少.有關此類的報道，多是和反應過程相關聯且研究的側重點放在后者[1]，很少見到用元胞自動機專門研究擴散過程的報道.另外，在有關的報道中，元胞自動機模型的參數往往過多且相互之間的關系復雜，分析時需要綜合多門學科的理論，這限制了它的實際應用.作為一種新興的研究手段，元胞自動機的意圖是以極其簡單的規則解釋或模擬復雜的現象，而有關的報道多數違背了這一意圖，無
河南工程學院學報(自然科學版) 2011年1期2011-11-24
- 細胞自動機技術在結構工程領域的應用
龍江 谷爽細胞自動機技術在結構工程領域的應用黑龍江 谷爽細胞自動機技術在國內國外的結構工程領域被廣泛應用，并且取得了較多的研究成果。本文對此進行了論述。細胞自動機技術；結構工程；應用現狀1 國內細胞自動機技術在結構工程領域的應用狀況近年來，細胞自動機技術在國內結構工程領域被廣泛應用。1999年，王真理、李幼銘采用區域分解的辦法對格子氣自動機地震波傳播模擬的并行化算法進行了研究，提出了兩種區域分解算法，并在SGI Power Challenge并行計算機上進
職業技術 2011年7期2011-08-15
- 元胞自動機研究進展
孫德山?元胞自動機研究進展孫德山（遼寧師范大學 數學學院，遼寧 大連 116029）元胞自動機是一個具有簡單運算規則的動態模型，但卻能展現出復雜的行為. 元胞自動機引起了許多研究者的關注，相關研究工作已經廣泛展開. 論文綜述了元胞自動機的研究進展及在不同領域的一些應用.元胞自動機；元胞空間；復雜系統1951年，Von Neumann給出了元胞自動機（Cellular Automata，CA）模型，又稱為細胞自動機. 元胞自動機在時間和空間上是一個離散的動力
五邑大學學報（自然科學版） 2011年4期2011-07-16
- 多模式匹配自動機的構造與極小化
）多模式匹配自動機的構造與極小化張 麗（ 貴州大學 計算機科學與信息學院，貴州 貴陽 550025 ）通過給定的單模式構造出相應的模式匹配自動機，集成單模式匹配自動機而得到多模式非確定型有窮自動機（NFA）。將非確定型自動機轉化為確定型自動機，在狀態集上引入等價關系，對該確定型有窮自動機進行極小化，得到與原自動機功能等價的極小化自動機，從而使之能確定其中任意一個模式的所有匹配位置。有窮自動機； 多模式匹配； 等價關系； 極小化1.引言在文本編輯程序中，經
銅仁學院學報 2011年3期2011-01-09
- 某型藥筒底火穿孔故障分析
;在對比了類似自動機的閉鎖機構和擊針直徑后,經過火帽剪應力計算,找到了底火穿孔的原因。在不改變現有底火火帽厚度的前提下,對閂體、擊針等進行了改進設計,經試驗驗證使底火穿孔問題得以解決。該文解決底火穿孔的思路、方法對解決類似問題有啟迪作用,對自動機擊發機構具有一定借鑒作用。機械設計;藥筒;底火穿孔;擊針;擊針孔;火帽某型自動機進行了全裝藥常溫彈、低溫彈和高溫彈等多種試驗科目的檢驗,累計射彈數千發,都未發現底火穿孔現象,而該自動機在進行強裝藥彈射擊試驗時,發現
火炮發射與控制學報 2010年4期2010-01-20
- 模糊自動機的強連通性及群自動機
0068)模糊自動機的強連通性及群自動機柏明強,莫智文(四川師范大學數學與軟件科學學院,四川成都 610068)為了更好地研究模糊自動機的結構和性質,采用代數的方法,在傳統的模糊有限狀態自動機的基礎上,通過定義狀態集合為代數群的自動機,討論了這一類自動機的連通性和正則性,這豐富了模糊自動機理論.模糊自動機;群;強連通1 前言自動機理論是經典語言理論的一個重要內容,雖然其理論較為完善,但是研究成果仍然不斷涌現[12].自1965年Zadeh[3]提出了模糊集
純粹數學與應用數學 2009年3期2009-07-05