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