狀態(tài)圖
- 欺騙攻擊環(huán)境下網(wǎng)絡(luò)信息安全漏洞深度挖掘方法
]提出基于協(xié)議狀態(tài)圖遍歷的RTSP協(xié)議漏洞挖掘方法，利用協(xié)議狀態(tài)間的約束關(guān)系和狀態(tài)轉(zhuǎn)移的關(guān)聯(lián)關(guān)系構(gòu)造協(xié)議狀態(tài)圖，并基于協(xié)議狀態(tài)圖進(jìn)行深度遍歷的方法，該方法減少了測(cè)試用例的生成，并提高了生成的有效性。但是該方法的網(wǎng)絡(luò)信息安全漏洞挖掘效率較低，挖掘效果不佳。為此本文提出一種欺騙攻擊環(huán)境下網(wǎng)絡(luò)信息安全漏洞深度挖掘方法，該方法能夠很好的對(duì)欺騙攻擊環(huán)境下所產(chǎn)生的網(wǎng)絡(luò)信息漏洞進(jìn)行挖掘，且挖掘效率較高，效果良好。2 欺騙攻擊環(huán)境分析2.1 信息分布形式系統(tǒng)數(shù)據(jù)信息的網(wǎng)絡(luò)
自動(dòng)化技術(shù)與應(yīng)用 2022年7期2022-08-17
- 水電站IEC103通信軟件的設(shè)計(jì)與實(shí)現(xiàn)
通過(guò)過(guò)程圖或者狀態(tài)圖表示。圖1A、1B為交互的狀態(tài)圖，圖1C為動(dòng)作序列示意圖。本文主要討論主站端的有限狀態(tài)機(jī)的實(shí)現(xiàn)方式，文中只給出通信過(guò)程的發(fā)送端狀態(tài)圖，其他圖可以類(lèi)似思路實(shí)現(xiàn)。圖1 交互過(guò)程狀態(tài)圖及序列圖103規(guī)約工作在單點(diǎn)對(duì)多點(diǎn)的主從Polling（輪詢(xún)）方式。正常工作時(shí)，主站依次輪詢(xún)從站的2級(jí)用戶(hù)數(shù)據(jù)，如果從站產(chǎn)生1級(jí)數(shù)據(jù)，通過(guò)上送的2級(jí)數(shù)據(jù)報(bào)文控制域中的ACD標(biāo)志位[2]，請(qǐng)求主站查詢(xún)1級(jí)數(shù)據(jù)。主站在接收到從站查詢(xún)請(qǐng)求后可以馬上發(fā)出再次1級(jí)數(shù)據(jù)召喚
水電站機(jī)電技術(shù) 2022年1期2022-02-10
- 航線(xiàn)網(wǎng)絡(luò)優(yōu)化方法研究
，調(diào)配，尋優(yōu)，狀態(tài)圖1.引言隨著民航業(yè)的不斷發(fā)展，航空器數(shù)量增加但可用空域卻無(wú)法進(jìn)一步開(kāi)拓，于是在數(shù)年前就提出了“自由飛”這個(gè)概念。但是為了保證安全運(yùn)行，所有上天的航空器都必須接受管制員的“管制”。目前為止為了實(shí)現(xiàn)這個(gè)目標(biāo)，可以從優(yōu)化航線(xiàn)網(wǎng)絡(luò)、加強(qiáng)導(dǎo)航技術(shù)與導(dǎo)航系統(tǒng)和數(shù)據(jù)傳輸系統(tǒng)等方式，下面就航線(xiàn)優(yōu)化方面進(jìn)行敘述，主要對(duì)基于GA尋優(yōu)算法和航線(xiàn)調(diào)度優(yōu)化管理進(jìn)行研究。首先從一條航線(xiàn)的誕生開(kāi)始分析，因?yàn)楹娇諝v史悠久，發(fā)展過(guò)程較長(zhǎng)，所以目前為止已經(jīng)產(chǎn)生的航線(xiàn)大都是
科學(xué)與生活 2021年23期2021-12-06
- 對(duì)具有多種組合狀態(tài)的組裝關(guān)系確定的組件產(chǎn)品視圖提交的探討
為內(nèi)膽，組合狀態(tài)圖是將組件1 中的蓋體去掉后與組件2 組合的狀態(tài)。結(jié)合各視圖及簡(jiǎn)要說(shuō)明可知，該專(zhuān)利涉及的電熱水壺為由多個(gè)構(gòu)件相結(jié)合構(gòu)成的一件產(chǎn)品，該產(chǎn)品具有燒水、熬煮等功能，屬于一種多功能的產(chǎn)品，其多種功能通過(guò)各構(gòu)件以不同的組合狀態(tài)來(lái)實(shí)現(xiàn)。該專(zhuān)利中涉及兩種組合狀態(tài)，其中組件1 本身為實(shí)現(xiàn)一種功能的組合狀態(tài)即組合狀態(tài)1，使用狀態(tài)圖是組件1 中的兩個(gè)把手打開(kāi)一種狀態(tài)圖，組合狀態(tài)圖則是將組件1 中蓋體去掉后與組件2 組合形成實(shí)現(xiàn)另一種功能的組合狀態(tài)即組合狀態(tài)2
專(zhuān)利代理 2021年2期2021-07-05
- 關(guān)于鐵碳合金狀態(tài)圖講解的幾點(diǎn)建議
藝學(xué)》鐵碳合金狀態(tài)圖的講解在整個(gè)金屬材料熱處理工藝上非常重要，只要較好掌握了鐵碳合金狀態(tài)圖，能詳細(xì)分析各組織成分才能更好的指導(dǎo)生產(chǎn)實(shí)踐，教師在講解這一章節(jié)知識(shí)的時(shí)候一定要結(jié)合實(shí)踐，引導(dǎo)學(xué)生思考鐵碳成分多少對(duì)鋼鐵材料性能的影響，本文將結(jié)合多年教學(xué)實(shí)際談一談個(gè)人在教授過(guò)程的一些建議。關(guān)鍵詞：金屬工藝學(xué)鐵碳合金狀態(tài)圖講解建議。在生產(chǎn)實(shí)踐中，我們會(huì)經(jīng)常遇到選材和材料熱處理等方面的問(wèn)題，如果選材不當(dāng)或熱處理工藝等不合理，不僅會(huì)影響使用，嚴(yán)重的甚至還會(huì)造成經(jīng)濟(jì)損失或生
裝備維修技術(shù) 2020年17期2020-12-28
- 加油站策略下的海上運(yùn)輸補(bǔ)給規(guī)劃仿真研究
出庫(kù)陣位”兩個(gè)狀態(tài)圖?！按_定補(bǔ)給順序”狀態(tài)圖，負(fù)責(zé)確定接收艦的補(bǔ)給順序，并分配接收艦的補(bǔ)給陣位，左弦或是右弦?！爱?dāng)前出庫(kù)陣位”狀態(tài)圖，通過(guò)判斷左右弦甲板的物資數(shù)量，物資數(shù)量少的進(jìn)行出庫(kù)這一判斷規(guī)則，確定當(dāng)前出庫(kù)的物資是左弦補(bǔ)給物資或右弦補(bǔ)給物資。圖2 “控制臺(tái)”智能體狀態(tài)圖2.2 “補(bǔ)給左弦”、“補(bǔ)給右弦”智能體“補(bǔ)給左弦”、“補(bǔ)給右弦”智能體在功能上完全一致，為了便于仿真，將兩者分別設(shè)立為單一智能體，下文統(tǒng)稱(chēng)為“補(bǔ)給”智能體，主要完成物資出庫(kù)、物資運(yùn)輸活
火力與指揮控制 2020年11期2020-12-26
- 基于FluidSIM 的剪板機(jī)氣動(dòng)回路仿真分析
建立X-D 狀態(tài)圖剪板機(jī)工作的動(dòng)作為送料—擋料—壓料—剪切，每個(gè)動(dòng)作分別由對(duì)應(yīng)的氣缸 A、B、C、D伸縮運(yùn)動(dòng)來(lái)完成，順序?yàn)椋簹飧譇 伸出—?dú)飧譈伸出—?dú)飧?C 伸出—?dú)飧?D 伸出—?dú)飧?D 退回—?dú)飧證 退回—?dú)飧譈 退回—?dú)飧譇 退回，數(shù)字“1”表示氣缸活塞桿伸出，數(shù)字“0”表示氣缸活塞桿縮回。用程序式表示則為：q→A1→B1→C1→D1→D0→C0→B0→A0其中q 代表手動(dòng)啟動(dòng)信號(hào)，上述程序可以簡(jiǎn)化為：A1B1C1D1D0C0B0A0程序式中共有
- 基于狀態(tài)轉(zhuǎn)移圖的箭載軟件時(shí)序控制測(cè)試用例生成方法
文應(yīng)用環(huán)境，對(duì)狀態(tài)圖內(nèi)容進(jìn)行了一些擴(kuò)展和自定義：在狀態(tài)轉(zhuǎn)移圖中融入一些必要的測(cè)試信息；借鑒活動(dòng)圖的表達(dá)特點(diǎn)，使狀態(tài)圖能夠表達(dá)具有原子性和瞬時(shí)性的軟件功能；借鑒正則語(yǔ)言形式化特點(diǎn)，為狀態(tài)圖設(shè)置嚴(yán)格的語(yǔ)法約束，使狀態(tài)圖的語(yǔ)義滿(mǎn)足全面性和一致性要求，以避免在測(cè)試需求分析過(guò)程引入錯(cuò)誤。2.1 圖元屬性定義狀態(tài)轉(zhuǎn)移圖的圖元主要包括狀態(tài)起點(diǎn)、狀態(tài)節(jié)點(diǎn)、狀態(tài)終點(diǎn)和狀態(tài)轉(zhuǎn)移連線(xiàn)，如圖1所示[6-7]。狀態(tài)起點(diǎn)為軟件運(yùn)行至該狀態(tài)圖上的初始狀態(tài)節(jié)點(diǎn)；狀態(tài)節(jié)點(diǎn)宏觀上用于表示軟件
計(jì)算機(jī)測(cè)量與控制 2020年8期2020-09-02
- 基于UML狀態(tài)圖測(cè)試用例生成的策略研究?
UML圖形中的狀態(tài)圖用以研究如何基于UML實(shí)現(xiàn)測(cè)試用例的自動(dòng)生成。狀態(tài)圖主要是由狀態(tài)和變遷組成的圖，包括事件、狀態(tài)、變遷三個(gè)部分。UML狀態(tài)圖是UML中對(duì)系統(tǒng)的動(dòng)態(tài)行為進(jìn)行建模的表示方法，它包括對(duì)反應(yīng)型對(duì)象的行為建模。UML狀態(tài)圖能夠直觀地給出了特定對(duì)象可能進(jìn)入的所有狀態(tài)和觸發(fā)狀態(tài)轉(zhuǎn)移的條件，以及對(duì)象的動(dòng)作行為，通常表現(xiàn)為狀態(tài)所經(jīng)歷的狀態(tài)序列，也包含引起狀態(tài)轉(zhuǎn)移的事件，以及狀態(tài)轉(zhuǎn)移伴隨的動(dòng)作，它可以對(duì)一個(gè)對(duì)象的生命周期建模［1］。UML狀態(tài)圖其實(shí)就是代表一
計(jì)算機(jī)與數(shù)字工程 2020年2期2020-05-15
- 上庫(kù)外突面板堆石壩的地震動(dòng)力響應(yīng)有限元分析探究
加速度反應(yīng)分布狀態(tài)圖，加速度值最大為9.522 m/s2，放大常數(shù)2.47，加速度最大部位發(fā)生在壩體左岸軸線(xiàn)轉(zhuǎn)折部位的壩頂及壩體右岸段壩身頂部；圖2(b)是壩體整體順河方向動(dòng)力加速度反應(yīng)分布狀態(tài)圖，加速度值最大為9.713 m/s2，放大常數(shù)2.52，加速度最大部位發(fā)生在壩體中間段臨近左岸的壩頂處；圖2(c)是壩體整體垂向動(dòng)力加速度反應(yīng)分布狀態(tài)圖，加速度值最大為6.141 m/s2，放大常數(shù)2.38，加速度最大部位發(fā)生在壩體右岸壩段的壩頂。在地震發(fā)生時(shí)，上
水利科技與經(jīng)濟(jì) 2019年12期2020-01-16
- 混凝土埋石重力壩深層抗滑有限元模擬研究
水位計(jì)算結(jié)果云狀態(tài)圖見(jiàn)圖3-圖8。圖3 取自X方向的移位云狀態(tài)圖圖4 取自Y方向的移位云狀態(tài)圖圖5 總移位云狀態(tài)圖圖6 取自X方向的應(yīng)力云狀態(tài)圖圖7 取自Y方向的應(yīng)力云狀態(tài)圖圖8 基于Mises 的應(yīng)力云狀態(tài)圖1) 正常蓄水位工況移位分析：從圖3可以看出，壩身上游側(cè)的X向最大移位為1.5 mm，這緣于上游側(cè)靜水壓和上游水體重量大量施加于壩面，在X方向上的分量較大，導(dǎo)致其X向的形變也較大。從圖4可以看出，下向的最大移位出現(xiàn)在下游側(cè)壩身，最大移位0.89 mm
水利科技與經(jīng)濟(jì) 2019年9期2019-10-22
- 基于狀態(tài)圖測(cè)試的遷移路徑生成方法*
A），把UML狀態(tài)圖中的遷移關(guān)系、變量等作為啟發(fā)式信息，搜索生成可執(zhí)行的遷移路徑。對(duì)算法的編碼方式以及適應(yīng)度函數(shù)進(jìn)行設(shè)計(jì)，引入自適應(yīng)算子以及模擬退火機(jī)制，實(shí)驗(yàn)結(jié)果驗(yàn)證了本文方法在生成遷移路徑覆蓋率和生成效率方面的有效性。2 研究背景2.1 相關(guān)概念為了解決裝箱問(wèn)題（bin packing problem，BPP），F(xiàn)alkenauer提出了分組遺傳算法（grouping genetic algorithm，GGA）[3]。BPP是一個(gè)非確定性多項(xiàng)式難分組問(wèn)
計(jì)算機(jī)與生活 2019年6期2019-06-19
- 多自主機(jī)器人協(xié)作及群體行為分析
究問(wèn)題：（1）狀態(tài)圖是如何用于有效地描述大量機(jī)器人的？（2）我們可以在多大程度上對(duì)解決方案進(jìn)行擴(kuò)展，以在考慮分布式中止和避免死鎖的情況下，保證群體機(jī)器人能夠進(jìn)行適當(dāng)?shù)膮f(xié)作。（3）我們可以在多大程度上對(duì)解決方案進(jìn)行擴(kuò)展，以在考慮任務(wù)目標(biāo)（如區(qū)域覆蓋范圍、每個(gè)受保護(hù)地點(diǎn)的檢測(cè)頻率等）的情況下，保證群體機(jī)器人能夠進(jìn)行適當(dāng)?shù)膮f(xié)作。（4）我們可以在多大程度上對(duì)解決方案進(jìn)行擴(kuò)展，以在我們充分響應(yīng)個(gè)體機(jī)器人的故障/碰撞和環(huán)境變化時(shí)，保證群體機(jī)器人能夠進(jìn)行適當(dāng)?shù)膮f(xié)作。（5
機(jī)器人產(chǎn)業(yè) 2019年1期2019-06-11
- 基于狀態(tài)圖的裝載機(jī)自動(dòng)變速控制
1擋.3 基于狀態(tài)圖的控制策略描述根據(jù)對(duì)裝載機(jī)不同工況下工作情況的分析,使用傳統(tǒng)的流程圖方法編寫(xiě)軟件并不可取.因?yàn)樵谘b載機(jī)運(yùn)行過(guò)程中,駕駛員根據(jù)作業(yè)工況的變化隨時(shí)可能改變車(chē)輛的變速策略,改變策略后車(chē)輛將如何反應(yīng)、進(jìn)入什么狀態(tài)以及進(jìn)入各狀態(tài)后該如何動(dòng)作,此類(lèi)問(wèn)題用流程圖并不能表示清楚[3].因此,需要采用基于狀態(tài)圖的編程方法編寫(xiě)軟件.3.1 基于狀態(tài)圖的編程方法狀態(tài)機(jī)(或稱(chēng)有限狀態(tài)機(jī),Finite State Machine)是用來(lái)描述對(duì)象在其生命周期內(nèi)經(jīng)歷
中國(guó)工程機(jī)械學(xué)報(bào) 2019年1期2019-04-02
- 地鐵接觸網(wǎng)電弧閃光的視頻檢測(cè)方法
幀圖像計(jì)算單幀狀態(tài)圖。提取每幀圖像的灰度信息，對(duì)其進(jìn)行相應(yīng)計(jì)算得到單幀狀態(tài)圖，反映的是每幀圖像各點(diǎn)的灰度信息。（4）針對(duì)每幀圖像計(jì)算四幀狀態(tài)圖。四幀狀態(tài)圖由當(dāng)前幀圖像以及前三幀圖像的單幀狀態(tài)圖計(jì)算得到，反映的是每幀圖像中各點(diǎn)的變化情況。（5）根據(jù)四幀狀態(tài)圖判斷閃光是否發(fā)生。若發(fā)生，則發(fā)送警報(bào)信號(hào)，并將發(fā)生電弧閃光的時(shí)間、地點(diǎn)通過(guò)有線(xiàn)或無(wú)線(xiàn)網(wǎng)絡(luò)傳遞給后方控制臺(tái)。同時(shí)，將捕捉到的電弧閃光的圖像以及視頻證據(jù)進(jìn)行保存，以供后續(xù)查看。在測(cè)試時(shí)，使用閃光燈模擬真正的電
海峽科技與產(chǎn)業(yè) 2018年6期2018-12-18
- 基于向位妨礙的約束狀態(tài)圖模型及其拆卸序列
向位妨礙約束狀態(tài)圖模型1.1 三維向位妨礙區(qū)間定義1 在拆卸空間中，任一零部件i的拆卸方向?yàn)閺牧悴考中心發(fā)射的無(wú)數(shù)條射線(xiàn)Sni，如果存在零部件j對(duì)零部件i的拆卸移動(dòng)方向產(chǎn)生阻礙，則稱(chēng)這種阻礙為零部件j對(duì)零部件i的向位妨礙，射線(xiàn)Sni形成的封閉曲線(xiàn)S1為可拆卸空間與不可拆卸空間的分界線(xiàn)，具體見(jiàn)圖1。圖1 三維向位妨礙示意圖Fig.1 3D phase hinder diagram定義2 假設(shè)任一零部件j對(duì)零件i的向位妨礙射線(xiàn)形成一個(gè)三維錐體空間，其頂角用
中國(guó)機(jī)械工程 2018年21期2018-11-13
- 一種基于場(chǎng)景的裝備軟件測(cè)試用例設(shè)計(jì)方法研究
出軟件使用場(chǎng)景狀態(tài)圖。4 基于場(chǎng)景的覆蓋準(zhǔn)則對(duì)于狀態(tài)空間＜ S0，S，T ＞，設(shè)Si∈S且Ti∈T，對(duì)于所有的0 ≤ i≤（n-1），如果 Si→TiSi+1，則序列（S0，T0），（S1，T1），（S2，T2），…，（Sn-1，Tn-1），（Sn）稱(chēng) 為 路徑。設(shè)P是路徑的集合。場(chǎng)景覆蓋準(zhǔn)則一般有2種：狀態(tài)覆蓋、路徑覆蓋。狀態(tài)覆蓋State Coverage（SC）：當(dāng)測(cè)試集生成的測(cè)試路徑P，對(duì)于其中的狀態(tài)Si，如果滿(mǎn)足∑Si=S，則測(cè)試集滿(mǎn)足狀態(tài)覆蓋。
艦船電子工程 2018年10期2018-10-23
- 基于WF StateMachine的UML狀態(tài)圖動(dòng)態(tài)構(gòu)建與測(cè)試
ine和UML狀態(tài)圖的基礎(chǔ)上，研究從UML狀態(tài)圖到WF State Machine業(yè)務(wù)流程映射關(guān)系，選取UML中典型狀態(tài)圖，依據(jù)一定的命名轉(zhuǎn)換規(guī)則，實(shí)現(xiàn)了從UML狀態(tài)圖分析設(shè)計(jì)到WF狀態(tài)機(jī)業(yè)務(wù)過(guò)程可視化的構(gòu)建，完成了動(dòng)態(tài)測(cè)試。關(guān)鍵詞：WF；State Machine；UML；狀態(tài)圖中圖分類(lèi)號(hào)：TP311.51 文獻(xiàn)標(biāo)識(shí)碼：A1 引言（Introduction）Windows Workflow Foundation（WF）是微軟推出的一個(gè)可擴(kuò)展框架，提供了工
軟件工程 2018年6期2018-09-26
- FSM與State模式在某試驗(yàn)臺(tái)測(cè)控系統(tǒng)中的應(yīng)用研究
中，其上鎖試驗(yàn)狀態(tài)圖如圖2所示。圖2 上鎖試驗(yàn)狀態(tài)圖根據(jù)系統(tǒng)要求，試驗(yàn)的開(kāi)始狀態(tài)為零位，最終狀態(tài)回到零位或處于出錯(cuò)狀態(tài)。試驗(yàn)被設(shè)置為自動(dòng)進(jìn)行，因而對(duì)外的接口表現(xiàn)均為Auto事件。在狀態(tài)的切換中，會(huì)根據(jù)前一個(gè)狀態(tài)與目標(biāo)狀態(tài)而執(zhí)行相應(yīng)動(dòng)作；在某些狀態(tài)遷移間，還涉及條件的判斷，通常條件不滿(mǎn)足直接進(jìn)入出錯(cuò)狀態(tài)。根據(jù)試驗(yàn)的狀態(tài)圖，可創(chuàng)建其狀態(tài)模式的UML表示，如圖3所示。圖3 上鎖實(shí)驗(yàn)State模式類(lèi)圖其中，ExperimentContext繼承IAction接口，
機(jī)械制造與自動(dòng)化 2018年4期2018-08-21
- 基于UML模型的測(cè)試用例自動(dòng)生成綜述
究了基于UML狀態(tài)圖的測(cè)試用例生成方法，該研究的主要貢獻(xiàn)在于其定義了四種基于狀態(tài)圖的測(cè)試覆蓋準(zhǔn)則，并開(kāi)發(fā)了第一個(gè)測(cè)試用例自動(dòng)生成工具UMLTest。Kansomkea[5]等在文獻(xiàn)中給出了一種基于建模工具Rational Rose的測(cè)試用例生成方法，該方法支持從UML狀態(tài)圖的規(guī)格說(shuō)明中提取測(cè)試信息。Supaporn[6]等研究了如何將狀態(tài)圖轉(zhuǎn)化為T(mén)FG的測(cè)試流圖，從而依據(jù)測(cè)試序列生成測(cè)試場(chǎng)景的方法，但該方法沒(méi)有提供測(cè)試數(shù)據(jù)的生成與組合方式。Hyungcho
現(xiàn)代計(jì)算機(jī) 2018年7期2018-04-24
- 狀態(tài)圖及狀態(tài)表在軟件建模中的適用場(chǎng)景分析
行狀態(tài)建模時(shí)，狀態(tài)圖和狀態(tài)表是兩種常見(jiàn)手段[3-7]。如何選用這兩種手段將關(guān)乎到設(shè)計(jì)思想的清晰表達(dá)以及模型的代碼轉(zhuǎn)化，目前在這方面鮮有分析。本文通過(guò)一個(gè)電梯模擬系統(tǒng)的驗(yàn)證，對(duì)這兩種手段進(jìn)行分析，探討在不同場(chǎng)景下，狀態(tài)圖和狀態(tài)表哪個(gè)更利于設(shè)計(jì)。形式化的有限狀態(tài)機(jī)在模型上可定義為四元組：M ={S，S0，X，Transition}。S是一個(gè)對(duì)象的有限狀態(tài)集合；S0∈S，是初始狀態(tài)；X是對(duì)象的有限事件的集合；Transition：S*X→S是狀態(tài)轉(zhuǎn)移函數(shù)。2.1
信息記錄材料 2018年4期2018-03-01
- 10BASE-T以太網(wǎng)物理介質(zhì)連接單元的設(shè)計(jì)仿真
發(fā)送、接收功能狀態(tài)圖如圖1所示。圖1 全雙工發(fā)送、接收功能狀態(tài)圖2.3 回環(huán)功能（在半雙模式下工作）在半雙工模式下，當(dāng)MAU向TD電路發(fā)送曼徹斯特編碼數(shù)據(jù)時(shí)，提供將曼徹斯特編碼數(shù)據(jù)從DO傳送到DI電路的能力。當(dāng)MAU向TD電路發(fā)送數(shù)據(jù)，且沒(méi)有收到RD電路上的RD_input信息時(shí)，MAU應(yīng)當(dāng)將DO電路上接收到的信號(hào)發(fā)送給DI電路以便向回環(huán)提供發(fā)送信號(hào)。在TD電路分組發(fā)送開(kāi)始時(shí)，，從DO電路到DI電路響應(yīng)時(shí)間不超過(guò)5 BT數(shù)據(jù)時(shí)間。此外，它是允許數(shù)據(jù)幀的第一
- MBSE在蒸發(fā)循環(huán)制冷系統(tǒng)設(shè)計(jì)中的應(yīng)用
用于模型執(zhí)行的狀態(tài)圖，描述系統(tǒng)的運(yùn)行狀態(tài)。以下僅以制冷用例進(jìn)行描述，圖1描述了制冷系統(tǒng)為了完成制冷功能所要執(zhí)行的一系列活動(dòng)與操作。圖1 制冷用例主活動(dòng)圖2.2 建立時(shí)序圖根據(jù)制冷系統(tǒng)制冷用例的活動(dòng)圖，建立制冷系統(tǒng)制冷用例時(shí)序圖，下面僅以制冷系統(tǒng)制冷用例設(shè)置風(fēng)速時(shí)序圖為例進(jìn)行說(shuō)明。圖2為制冷用例設(shè)置風(fēng)速時(shí)序圖（部分），該時(shí)序圖將制冷系統(tǒng)與外部操作者（Pilot）的交互關(guān)系表示成一個(gè)二維圖?？v向是時(shí)間軸，時(shí)間沿豎線(xiàn)向下延伸，橫向代表操作者（Pilot）在設(shè)置風(fēng)
河南科技 2017年7期2017-06-15
- 時(shí)序電路分析中狀態(tài)表與狀態(tài)圖輸出的合理描述
分析中狀態(tài)表與狀態(tài)圖輸出的合理描述王文虎(湖南文理學(xué)院電氣與信息工程學(xué)院, 湖南常德, 415000)在現(xiàn)有各版本的數(shù)字電子技術(shù)教材中, 在時(shí)序電路分析中狀態(tài)表與狀態(tài)圖的輸出狀態(tài)均存在著概念描述不清晰的現(xiàn)象。為了有助于時(shí)序電路的分析與理解, 本文完善了狀態(tài)表的描述方法, 修改了狀態(tài)圖的繪制原則。補(bǔ)充與完善后的狀態(tài)表與狀態(tài)圖在其輸出的概念描述上更加直觀與清晰。狀態(tài)表; 狀態(tài)圖; 現(xiàn)態(tài); 次態(tài); 輸出數(shù)字電子技術(shù)中的時(shí)序電路在結(jié)構(gòu)上必然含有由觸發(fā)器所組成的存儲(chǔ)
- 關(guān)于機(jī)械壓縮式新概念制冷操作技巧
制冷“循環(huán)工質(zhì)狀態(tài)圖”更正聯(lián)合國(guó)編制的《制冷操作技巧培訓(xùn)手冊(cè)》(簡(jiǎn)稱(chēng)《培訓(xùn)手冊(cè)》)里的“制冷基本概念”和“循環(huán)程序圖”；以“機(jī)械壓縮式制冷基本概念”指導(dǎo)并開(kāi)拓創(chuàng)新的壓縮機(jī)在機(jī)械壓縮式制冷機(jī)上的“匹配技巧”制成“匹配圖”作為“機(jī)械壓縮式制冷操作技巧”，代替《培訓(xùn)手冊(cè)》里的保證制冷循環(huán)安全運(yùn)行的自動(dòng)控制器件，以期為落實(shí)聯(lián)合國(guó)“臭氧行動(dòng)計(jì)劃”提供技術(shù)參考。機(jī)械壓縮式制冷；基本概念；操作技巧；匹配；技術(shù)性能；技術(shù)故障單級(jí)機(jī)械壓縮式制冷機(jī)(設(shè)備)即冷風(fēng)機(jī)、去濕機(jī)、空
環(huán)境與可持續(xù)發(fā)展 2016年6期2016-12-12
- 基于UML建模的軟件測(cè)試系統(tǒng)設(shè)計(jì)
案，通過(guò)UML狀態(tài)圖對(duì)軟件模型進(jìn)行構(gòu)建，同時(shí)利用EFSM模型生成路徑轉(zhuǎn)換序列，借助Petri網(wǎng)的可覆蓋性、可達(dá)性，將UML狀態(tài)圖轉(zhuǎn)換為Petri網(wǎng)，再通過(guò)Petri網(wǎng)對(duì)上述轉(zhuǎn)換的路徑進(jìn)行分析，從而消除了傳統(tǒng)測(cè)試用例生成時(shí)存在的缺點(diǎn)，最后通過(guò)實(shí)驗(yàn)驗(yàn)證了該算法的嚴(yán)謹(jǐn)性和有效性。UML建模；軟件測(cè)試；EFSM模型；Petri網(wǎng)；用例生成隨著現(xiàn)代軟件開(kāi)發(fā)中UML建模工具的廣泛應(yīng)用，如何對(duì)基于UML建模的開(kāi)發(fā)模型進(jìn)行測(cè)試，成為提高軟件開(kāi)發(fā)質(zhì)量的關(guān)鍵。而當(dāng)前針對(duì)軟件測(cè)
電子設(shè)計(jì)工程 2016年21期2016-11-21
- 基于攻防狀態(tài)圖模型的網(wǎng)絡(luò)風(fēng)險(xiǎn)評(píng)估方法
6)?基于攻防狀態(tài)圖模型的網(wǎng)絡(luò)風(fēng)險(xiǎn)評(píng)估方法周未1張宏1李博涵2(1南京理工大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院, 南京 210094)(2南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院, 南京 211106)采用自底向上的分析方法,提出了一種層次化的網(wǎng)絡(luò)安全風(fēng)險(xiǎn)評(píng)估框架.該框架將網(wǎng)絡(luò)安全風(fēng)險(xiǎn)分為脆弱點(diǎn)安全風(fēng)險(xiǎn)和攻擊安全風(fēng)險(xiǎn)2部分,按照網(wǎng)絡(luò)的層次結(jié)構(gòu)逐層評(píng)估計(jì)算機(jī)網(wǎng)絡(luò)的安全風(fēng)險(xiǎn).在此基礎(chǔ)上,進(jìn)一步引入攻防圖脆弱點(diǎn)置信度概念來(lái)衡量脆弱點(diǎn)存在攻防狀態(tài)圖中的可信程度.綜合考慮多種脆弱點(diǎn)
- 基于Fluid SIM的裝載機(jī)液壓系統(tǒng)建模與仿真
下降時(shí)液壓系統(tǒng)狀態(tài)圖3) 鏟斗懸浮時(shí)液壓系統(tǒng)仿真過(guò)程鏟斗懸浮時(shí)液壓系統(tǒng)仿真過(guò)程如圖6所示。圖6 鏟斗懸浮時(shí)液壓系統(tǒng)狀態(tài)圖4) 鏟斗上翻時(shí)液壓系統(tǒng)仿真過(guò)程鏟斗上翻時(shí)液壓系統(tǒng)仿真過(guò)程如圖7所示。圖7 鏟斗上翻時(shí)液壓系統(tǒng)狀態(tài)圖5) 鏟斗下翻時(shí)液壓系統(tǒng)仿真過(guò)程鏟斗下翻時(shí)液壓系統(tǒng)仿真過(guò)程如圖8所示。圖8 鏟斗下翻時(shí)液壓系統(tǒng)狀態(tài)圖6) 鏟斗舉升和上翻復(fù)合運(yùn)動(dòng)時(shí)液壓系統(tǒng)仿真過(guò)程鏟斗舉升和上翻復(fù)合運(yùn)動(dòng)時(shí)液壓系統(tǒng)仿真過(guò)程如圖9所示。圖9 鏟斗舉升和上翻復(fù)合運(yùn)動(dòng)液壓系統(tǒng)狀態(tài)圖
- 元模型層次的UML動(dòng)態(tài)子圖到Coq形式規(guī)范的轉(zhuǎn)換
要包括序列圖和狀態(tài)圖等，它們?cè)诿枋鱿到y(tǒng)的行為方面應(yīng)用廣泛，但是半形式化的語(yǔ)義使它們不能直接進(jìn)行形式化驗(yàn)證。Coq是目前主流的交互式定理證明器，用形式化的Coq規(guī)范來(lái)描述UML動(dòng)態(tài)子圖模型，可以在此基礎(chǔ)上進(jìn)行對(duì)模型的屬性進(jìn)行驗(yàn)證等工作?；诂F(xiàn)有工作，提出將UML動(dòng)態(tài)子圖模型轉(zhuǎn)換為Coq形式規(guī)范的框架，在元模型層次給出狀態(tài)圖和序列圖的轉(zhuǎn)換規(guī)則，介紹算法和原型工具實(shí)現(xiàn)。這種元模型層次的轉(zhuǎn)換方法，保證了轉(zhuǎn)換前后的語(yǔ)法正確性，為進(jìn)一步分析驗(yàn)證提供了基礎(chǔ)。UML動(dòng)態(tài)子
計(jì)算機(jī)應(yīng)用與軟件 2016年8期2016-09-08
- 高強(qiáng)高韌汽車(chē)傳動(dòng)軸管雙道次W彎曲組合成型工藝的研究與設(shè)計(jì)
成型裝置及鋼帶狀態(tài)圖圖3 第2道次的具有“W”孔型的成型裝置及鋼帶狀態(tài)圖如圖4、圖5、圖6和圖7所示，經(jīng)過(guò)4道次水平輥大變形成型裝置，即第3～6道次，對(duì)鋼帶進(jìn)行中部彎曲，彎曲角由30°增大到82°，彎曲半徑由471減小到172.3，使鋼帶逐步形成U型。圖4 第3道次的水平輥大變形成型裝置及鋼帶狀態(tài)圖圖5 第4道次的水平輥大變形成型裝置及鋼帶狀態(tài)圖圖6 第5道次的水平輥大變形成型裝置及鋼帶狀態(tài)圖圖7 第6道次的水平輥大變形成型裝置及鋼帶狀態(tài)圖如圖8、圖9和1
現(xiàn)代制造技術(shù)與裝備 2016年7期2016-03-02
- 基于UML狀態(tài)圖的列控中心軟件測(cè)試路徑生成方法
6）基于UML狀態(tài)圖的列控中心軟件測(cè)試路徑生成方法王秀玄（西南交通大學(xué) 信息科學(xué)與技術(shù)學(xué)院， 成都 611756）針對(duì)列控中心測(cè)試，介紹了基于UML狀態(tài)圖的列控中心測(cè)試路徑生成方法。根據(jù)列控中心需求規(guī)范建立UML狀態(tài)圖模型；采用改進(jìn)的深度優(yōu)先搜索算法（DFS）自動(dòng)搜索有向圖得到從初始節(jié)點(diǎn)到終止節(jié)點(diǎn)的所有路徑集合，利用貪心算法構(gòu)造超串合并測(cè)試需求；利用路徑集合擴(kuò)展測(cè)試需求集合，最終實(shí)現(xiàn)測(cè)試路徑自動(dòng)生成；以列控中心改變區(qū)間運(yùn)行方向功能為例，給出測(cè)試路徑生成方法
鐵路計(jì)算機(jī)應(yīng)用 2016年8期2016-02-16
- 基于VisualC#語(yǔ)言的柴油機(jī)臂距差數(shù)據(jù)處理系統(tǒng)
差值和曲軸軸線(xiàn)狀態(tài)圖，如圖5 所示。圖5 曲軸臂距差值和軸線(xiàn)狀態(tài)圖Fig.5 The diagram of crankshaft deflection and axis state從圖5 可知，柴油機(jī)在熱態(tài)時(shí)曲軸軸線(xiàn)狀態(tài)如下:第Ⅳ和Ⅶ道主軸承位置最高，第Ⅱ道主軸承位置偏低;第1 缸、2 缸、5 缸和6 缸臂距差為“+”值，曲柄兩端的主軸承較低，曲軸軸線(xiàn)呈踏腰形;3缸和4 缸臂距差為“-”值，曲柄兩端的主軸承較高，曲軸軸線(xiàn)呈拱腰形;在第1 缸(0.095)的
艦船科學(xué)技術(shù) 2015年6期2015-12-19
- CdSe單晶生長(zhǎng)技術(shù)研究
分物質(zhì)p-T 狀態(tài)圖，圖中分為氣相、液相和固相三個(gè)相區(qū)，陰影區(qū)稱(chēng)為亞穩(wěn)區(qū)［3］。當(dāng)熱力學(xué)條件處于亞穩(wěn)區(qū)才能有新相形成，并不斷使相界面向舊相推移，隨之完成成核與晶體長(zhǎng)大的過(guò)程。圖1 單組分物質(zhì)p-T狀態(tài)圖以氣相法晶體生長(zhǎng)為例進(jìn)行說(shuō)明。圖2（a）中A點(diǎn)處于亞穩(wěn)區(qū)內(nèi)，在晶體生長(zhǎng)動(dòng)力學(xué)中也稱(chēng)為非均勻成核區(qū)，即只有在生長(zhǎng)環(huán)境中有成核點(diǎn)時(shí)，才會(huì)實(shí)現(xiàn)晶體生長(zhǎng)，此時(shí)如果在生長(zhǎng)環(huán)境中引入籽晶，就可以實(shí)現(xiàn)單晶生長(zhǎng)。因此，使生長(zhǎng)狀態(tài)處于亞穩(wěn)態(tài)是氣相法生長(zhǎng)單晶的必要條件。處于氣-
河南科技 2015年8期2015-08-09
- UML狀態(tài)圖在軟件工程設(shè)計(jì)中的應(yīng)用研究
類(lèi)圖、對(duì)象圖、狀態(tài)圖、活動(dòng)圖、順序圖、協(xié)作圖、構(gòu)件圖、部署圖以及數(shù)據(jù)包圖等等都是屬于UML中的設(shè)計(jì)方法圖[1-5]。1 狀態(tài)圖狀態(tài)圖是系統(tǒng)分析的一種重要工具，它通過(guò)建立類(lèi)對(duì)象的生存周期模型來(lái)描述對(duì)象隨時(shí)間變化的動(dòng)態(tài)行為。系統(tǒng)分析員在對(duì)系統(tǒng)建模時(shí)，最先考慮的不是基于活動(dòng)之間的控制流，而是基于狀態(tài)之間的控制流，因?yàn)橄到y(tǒng)中對(duì)象的狀態(tài)變化最容易發(fā)現(xiàn)和理解。它常用到的圖符如表1所示：表1 UML狀態(tài)圖圖符狀態(tài)圖和活動(dòng)圖都是用來(lái)描述對(duì)象的動(dòng)態(tài)行為。狀態(tài)圖側(cè)重于從行為的
微型電腦應(yīng)用 2015年11期2015-07-25
- 基于UML狀態(tài)圖的軟件系統(tǒng)測(cè)試用例生成方法
論了基于UML狀態(tài)圖生成測(cè)試用例的設(shè)計(jì)思路；然后給出了符合各種覆蓋要求的測(cè)試用例生成方法；最后，利用Eclipse實(shí)現(xiàn)了整個(gè)系統(tǒng)。實(shí)驗(yàn)表明該系統(tǒng)能夠根據(jù)用戶(hù)要求生成不同類(lèi)型的測(cè)試用例，從而降低了復(fù)雜軟件系統(tǒng)測(cè)試用例的生成難度，并且從根本上提高了測(cè)試用例生成的有效性。關(guān)鍵詞：統(tǒng)一建模語(yǔ)言；狀態(tài)圖；測(cè)試用例。中圖分類(lèi)號(hào)：TP311 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1009-3044（2015）12-0076-03隨著軟件技術(shù)的迅猛發(fā)展，軟件已經(jīng)成為社會(huì)各個(gè)行業(yè)中不可
電腦知識(shí)與技術(shù) 2015年12期2015-07-18
- 基于IAR visualSTATE的過(guò)欠壓保護(hù)器設(shè)計(jì)
行。圖3 總體狀態(tài)圖按鍵按下時(shí)，進(jìn)入層次狀態(tài)機(jī)整定態(tài)，內(nèi)部狀態(tài)見(jiàn)圖4。內(nèi)部有四個(gè)整定子狀態(tài):UnderSET、Under-ResumeSET、OverResumeSET和OverSET。欠壓整定部分分析:進(jìn)入欠壓整定態(tài)，就立即定時(shí)Act_Timer-Start(272)，其中272=28+24。當(dāng)32 ms的軟定時(shí)器8超時(shí)，產(chǎn)生E_PulseTime1事件，同時(shí)會(huì)產(chǎn)生動(dòng)作A_RelayControl(3)讓繼電器線(xiàn)圈失電;當(dāng)1 min軟定時(shí)器4超時(shí)，產(chǎn)生事
電氣電子教學(xué)學(xué)報(bào) 2015年2期2015-07-04
- 基于STM32和CPLD的TFT－LCD顯示控制器設(shè)計(jì)
2：清屏操作。狀態(tài)圖如圖3所示。其中，WAddCnt為寫(xiě)屏操作完成標(biāo)志。圖3 清屏操作狀態(tài)圖Fig.3 State chart of screen clearing operation（2）單點(diǎn)寫(xiě)設(shè)定狀態(tài)S1：等待數(shù)據(jù)穩(wěn)定；S2：寫(xiě)單點(diǎn)操作，S3：寄存器清零操作。狀態(tài)圖如圖4所示。圖4 單點(diǎn)寫(xiě)操作狀態(tài)圖Fig.4 State chart of single point writing operation（3）多點(diǎn)寫(xiě)設(shè)定狀態(tài)S1：等待數(shù)據(jù)穩(wěn)定；S2：寫(xiě)起始點(diǎn)
液晶與顯示 2015年3期2015-05-10
- 基于狀態(tài)圖的航天器測(cè)試用例設(shè)計(jì)
、馬爾科夫鏈、狀態(tài)圖等，并就各類(lèi)模型的適用系統(tǒng)類(lèi)型進(jìn)行了分析。由于航天器測(cè)試的原理是依靠遙測(cè)、遙控，對(duì)系統(tǒng)施加激勵(lì)信號(hào)，獲得其響應(yīng)信號(hào)，通過(guò)對(duì)激勵(lì)信號(hào)和響應(yīng)信號(hào)進(jìn)行分析得出測(cè)試結(jié)論［2］，故本文采取適用于描述復(fù)雜反應(yīng)系統(tǒng)的狀態(tài)圖模型。文獻(xiàn)［3-4］介紹了狀態(tài)圖理論以及Stateflow 平臺(tái)下的狀態(tài)圖建模、仿真方法。對(duì)基于狀態(tài)圖測(cè)試的用例生成問(wèn)題，劉攀［5］等人在原有的覆蓋準(zhǔn)則基礎(chǔ)上提出了最小測(cè)試成本遷移覆蓋算法，實(shí)現(xiàn)了無(wú)冗余測(cè)試序列的自動(dòng)生成。然而，該算
航天器工程 2014年6期2014-12-28
- 幾種常見(jiàn)BCD碼在同步時(shí)序邏輯電路中的對(duì)比分析
輯功能建立原始狀態(tài)圖和原始狀態(tài)表。2）狀態(tài)化簡(jiǎn)。在保證滿(mǎn)足邏輯功能要求的前提下，將等價(jià)狀態(tài)（如果兩個(gè)狀態(tài)作為現(xiàn)態(tài)，其任何相同輸入所產(chǎn)生的輸出及建立的次態(tài)均完全相同，則這兩個(gè)狀態(tài)稱(chēng)為等價(jià)狀態(tài)）合并為一個(gè)狀態(tài)。3）狀態(tài)分配，即對(duì)每個(gè)狀態(tài)指定一個(gè)特定的二進(jìn)制代碼，稱(chēng)為狀態(tài)分配或狀態(tài)編碼[2-3]。狀態(tài)分配的任務(wù)就是在保證電路穩(wěn)定工作的前提下尋求一種可靠性較好，電路結(jié)構(gòu)最簡(jiǎn)單，且能自啟動(dòng)的最佳狀態(tài)分配方案。不同的狀態(tài)分配方案會(huì)導(dǎo)致不同的邏輯電路結(jié)構(gòu)，結(jié)構(gòu)簡(jiǎn)單的邏輯
電子設(shè)計(jì)工程 2014年3期2014-09-23
- 淺析基于UML的系統(tǒng)分析方法
隨之建立類(lèi)圖。狀態(tài)圖用來(lái)描述一個(gè)指定對(duì)象的狀態(tài)、事件和事件之間的活動(dòng)。它用來(lái)描述系統(tǒng)的動(dòng)態(tài)行為，大多數(shù)面向?qū)ο蠹夹g(shù)都用狀態(tài)圖表示單個(gè)對(duì)象在其生命周期中的行為。一個(gè)狀態(tài)圖包括一系列的狀態(tài)以及狀態(tài)之間的轉(zhuǎn)移。將已有的狀態(tài)圖特殊化，便形成了活動(dòng)圖?；顒?dòng)圖在系統(tǒng)分析和設(shè)計(jì)的過(guò)程中使用比較頻繁,它既可用來(lái)描述類(lèi)的動(dòng)態(tài)行為,也可以描述事件內(nèi)部的工作過(guò)程。雖然活動(dòng)圖是由狀態(tài)圖演變而來(lái)，但是它們分別表示了不同的意義。我們利用UML，舉了簡(jiǎn)單的實(shí)例，對(duì)用于分析的圖形工具做了
天津職業(yè)院校聯(lián)合學(xué)報(bào) 2014年2期2014-09-20
- SysML 狀態(tài)圖合理性驗(yàn)證研究與實(shí)現(xiàn)
。SysML 狀態(tài)圖用于建立類(lèi)對(duì)象在其生命期內(nèi)的行為模型，尤其是當(dāng)對(duì)象具有依賴(lài)于狀態(tài)的行為。SysML 和UML 一樣，為保持描述的清晰易懂，在給出自身語(yǔ)義說(shuō)明的同時(shí)，采用半形式化的描述方法，使用自然語(yǔ)言表示約束和語(yǔ)義，力求實(shí)現(xiàn)形式化與易于理解之間的平衡。因此，SysML 本身缺乏分析和驗(yàn)證的手段，針對(duì)這一問(wèn)題，本文對(duì)SysML 狀態(tài)圖進(jìn)行拓展，使用SCXML(State Chart XML)［2］作為SysML 狀態(tài)圖的形式化描述語(yǔ)言并引用動(dòng)作規(guī)約語(yǔ)言［
電子科技 2014年5期2014-03-13
- 從另一視角分析自動(dòng)往返行車(chē)控制電路的工作狀態(tài)
路為例講解得到狀態(tài)圖的方法，電路見(jiàn)圖1。1 繼電器電路邏輯分析在繼電器控制電路中各控制元件具有以下特性：按鈕開(kāi)關(guān)(無(wú)自鎖)：開(kāi)關(guān)狀態(tài)只由按下、松開(kāi)的動(dòng)作決定，與作用前開(kāi)關(guān)狀態(tài)無(wú)關(guān)，無(wú)記憶功能。按鈕開(kāi)關(guān)(帶自鎖)：每按一次，觸點(diǎn)通斷交替一次；按下按鈕后是通還是斷跟上一次狀態(tài)有關(guān)，它是一個(gè)T觸發(fā)器。接觸器、中間繼電器等繼電器：通電總是吸合，斷電總是釋放，與作用前狀態(tài)無(wú)關(guān)。它無(wú)記憶功能，但通過(guò)它實(shí)現(xiàn)自鎖、互鎖時(shí)，其輔助觸點(diǎn)對(duì)繼電器(輸出)又有控制作用，即出現(xiàn)了反
- 安全協(xié)議可視化建模和驗(yàn)證方法的分析與設(shè)計(jì)①
3)安全協(xié)議的狀態(tài)圖狀態(tài)圖體現(xiàn)了一個(gè)狀態(tài)機(jī)，它由狀態(tài)、事件、轉(zhuǎn)換和活動(dòng)組成.因?yàn)?span id="syggg00" class="hl">狀態(tài)圖能夠完整地描述一個(gè)主體的動(dòng)態(tài)行為，所以對(duì)UML模型進(jìn)行檢測(cè)的主要對(duì)象是狀態(tài)圖.1)發(fā)起者狀態(tài)圖.2)響應(yīng)者狀態(tài)圖3)入侵者狀態(tài)圖4 UML模型的PROMELA語(yǔ)義轉(zhuǎn)換安全協(xié)議UML模型在使用SPIN進(jìn)行分析驗(yàn)證之前，需要對(duì)UML子集中的圖在語(yǔ)義上進(jìn)行形式化處理，下面將定義安全協(xié)議UML子集中的圖在語(yǔ)義上向PROMELA語(yǔ)義轉(zhuǎn)換的規(guī)則.4.1 類(lèi)圖的PROMELA語(yǔ)義規(guī)則
- 基于Z規(guī)格的UML模型形式化轉(zhuǎn)換及驗(yàn)證
集合和函數(shù)，將狀態(tài)圖所具有的性質(zhì)及操作轉(zhuǎn)化為相應(yīng)狀態(tài)和操作模式。當(dāng)UML模型轉(zhuǎn)化為Z規(guī)格說(shuō)明結(jié)束時(shí)，通過(guò)Z規(guī)格說(shuō)明定理證明器Z／EVES驗(yàn)證轉(zhuǎn)化后得到的相應(yīng)系統(tǒng)模型是否符合系統(tǒng)所需要滿(mǎn)足的性質(zhì)。1 UMLUML是一種定義簡(jiǎn)明、表達(dá)直接、功能也較為全面且適用性強(qiáng)的建模語(yǔ)言，目前已經(jīng)成為軟件建模常規(guī)標(biāo)準(zhǔn)。視圖類(lèi)型多樣是其最大的特點(diǎn)，使得UML可以從多方面為目標(biāo)系統(tǒng)進(jìn)行描述。1.1 用例圖用例圖是UML中用來(lái)描述描述外部執(zhí)行者所理解的系統(tǒng)功能，顯示系統(tǒng)中的用例與
計(jì)算機(jī)工程與設(shè)計(jì) 2013年6期2013-09-08
- 松軟破碎煤層綜采放頂煤回采巷道布置優(yōu)化
方向的圍巖破壞狀態(tài)圖見(jiàn)圖4。圖4 距掘進(jìn)工作面0.5 m時(shí)圍巖破壞狀態(tài)圖由圖4可以看出，巷道圍巖的破壞面積與方式，頂板最大破壞深度為1 m，底板為1.2 m，兩腰也為1.2 m。沿巷道掘進(jìn)方向圍巖的破壞狀態(tài)圖見(jiàn)圖5。圖5 沿巷道掘進(jìn)方向圍巖破壞狀態(tài)圖從圖5可以看出，掘進(jìn)工作面前方的煤體在掘進(jìn)過(guò)程中也發(fā)生了破壞，破壞范圍基本與兩腰相似。3.2 沿底掘進(jìn)沿底掘進(jìn)時(shí)垂向與水平應(yīng)力分布狀態(tài)圖分別見(jiàn)圖6，圖 7。圖6 距掘進(jìn)工作面0.5 m時(shí)的垂向應(yīng)力分布圖圖7 距
山西焦煤科技 2013年5期2013-07-30
- 面向活動(dòng)對(duì)象的可重構(gòu)數(shù)控系統(tǒng)軟件設(shè)計(jì)
arts，也稱(chēng)狀態(tài)圖）來(lái)表示并規(guī)劃活動(dòng)對(duì)象的行為。圖2所示是一個(gè)簡(jiǎn)單的狀態(tài)圖，圖中包含A、B、C、D 4個(gè)狀態(tài)，處于某一狀態(tài)意味著系統(tǒng)只響應(yīng)所有允許輸入的一個(gè)子集（如處于D狀態(tài)只響應(yīng)a輸入和c輸入），只產(chǎn)生可能響應(yīng)的一個(gè)子集（轉(zhuǎn)移到A狀態(tài)或轉(zhuǎn)移到B狀態(tài)），并且改變狀態(tài)也只是可能狀態(tài)的一個(gè)子集（對(duì)于輸入事件除了可以發(fā)生狀態(tài)改變還可以有其他的輸出）。C狀態(tài)是一個(gè)父狀態(tài)，包含A和B兩個(gè)子狀態(tài)，子狀態(tài)可以繼承父狀態(tài)的響應(yīng)（如在A狀態(tài)遇到d輸入會(huì)轉(zhuǎn)移到D狀態(tài)）。St
中國(guó)機(jī)械工程 2013年6期2013-07-25
- 電話(huà)網(wǎng)非法呼叫篩查模型研究及應(yīng)用
下文和呼叫遷移狀態(tài)圖的概念，并基于UML定義了呼叫上下文和呼叫遷移狀態(tài)圖。呼叫信息上下文和呼叫遷移狀態(tài)圖是非法呼叫篩查模型總體結(jié)構(gòu)中各種模型庫(kù)內(nèi)容以及篩查比對(duì)的基礎(chǔ)。圖2 非法呼叫篩查模型總體結(jié)構(gòu)4.1 呼叫信息上下文4.1.1 呼叫信息上下文的作用呼叫信息上下文是一個(gè)或者一類(lèi)完整呼叫過(guò)程中各類(lèi)信息的形式化描述。呼叫信息上下文規(guī)定了非法呼叫模型研究中所需要的各種信息，描述了路由信息、業(yè)務(wù)信息、行為信息等。呼叫信息上下文將改變傳統(tǒng)的基于信令消息描述呼叫的方式
電信科學(xué) 2013年2期2013-02-28
- 基于事件集的反應(yīng)系統(tǒng)模型的驗(yàn)證
況下使用UML狀態(tài)圖驗(yàn)證已建模的反應(yīng)系統(tǒng)。反應(yīng)系統(tǒng)在這里認(rèn)為是面向狀態(tài)并對(duì)外部或內(nèi)部行動(dòng)做出反應(yīng)，反應(yīng)有可能產(chǎn)生狀態(tài)或行為的變化，一個(gè)反應(yīng)系統(tǒng)（事件驅(qū)動(dòng)）的行為由一系列的狀態(tài)、事件和行為集所規(guī)范。1 提出的驗(yàn)證技術(shù)1.1 假設(shè)假定正在考慮中的系統(tǒng)有多個(gè)合作的對(duì)象，這些對(duì)象通過(guò)事件相互聯(lián)系。每個(gè)對(duì)象的動(dòng)態(tài)行為都用UML狀態(tài)圖建模。這些對(duì)象在接收一個(gè)正確的外部或內(nèi)部產(chǎn)生事件及相應(yīng)的保護(hù)條件變?yōu)檎鎸?shí)狀態(tài)發(fā)生改變。要驗(yàn)證的屬性用時(shí)態(tài)邏輯表示并由符號(hào)φ代表。驗(yàn)證過(guò)程
網(wǎng)絡(luò)安全與數(shù)據(jù)管理 2012年8期2012-11-24
- 基于可編程計(jì)數(shù)器74LS161的循環(huán)碼計(jì)數(shù)器設(shè)計(jì)
4LS161的狀態(tài)圖Fig.1 The state diagram of 4-bit binary up counter 74LS1612 基本原理及設(shè)計(jì)方法設(shè)4位循環(huán)碼計(jì)數(shù)器的狀態(tài)輸出量為、、、，狀態(tài)圖如圖2所示。圖2 4位循環(huán)碼計(jì)數(shù)器的狀態(tài)圖Fig.2 The state diagram of 4-bit cyclic code counter基于可編程計(jì)數(shù)器74LS161進(jìn)行循環(huán)碼計(jì)數(shù)器設(shè)計(jì)，用邏輯修改[4-5]的方法修改已有計(jì)數(shù)器的計(jì)數(shù)規(guī)律為循環(huán)碼
電子設(shè)計(jì)工程 2012年3期2012-07-13
- 基于圖論的電網(wǎng)并行輸電斷面快速搜索算法
分區(qū)，建立系統(tǒng)狀態(tài)圖；3) 在系統(tǒng)潮流狀態(tài)圖上，尋找與被操作線(xiàn)路（過(guò)載支路）有相同電源區(qū)或負(fù)荷區(qū)的輸電斷面。4.3.2 簡(jiǎn)化初始網(wǎng)絡(luò)1) 消去權(quán)為零的節(jié)點(diǎn)。如圖4-2所示，由于=0，因此與的功率始終相同，區(qū)分還是已不再重要，可以消去象這樣的節(jié)點(diǎn)。2) 合并懸掛節(jié)點(diǎn)。如圖4-3所示，的功率大小只取決于，不存在因其它線(xiàn)路開(kāi)斷而出現(xiàn)急劇增加的問(wèn)題。因此，與可以合并成1個(gè)權(quán)值為+的新節(jié)點(diǎn)。4.3.3 建立系統(tǒng)狀態(tài)圖由于實(shí)際電力系統(tǒng)地域分布廣泛，網(wǎng)絡(luò)結(jié)構(gòu)復(fù)雜龐大，僅
城市建設(shè)理論研究 2012年6期2012-04-10
- 利用UML的面向?qū)ο蠓治鼋?/a>
序圖、協(xié)作圖、狀態(tài)圖等進(jìn)行描述。構(gòu)件視圖主要顯示代碼組件的組織結(jié)構(gòu)，由構(gòu)件圖構(gòu)成。并發(fā)視圖顯示系統(tǒng)的并發(fā)性，可以采用狀態(tài)圖、順序圖、協(xié)作圖、活動(dòng)圖等進(jìn)行描述。部署視圖用來(lái)顯示系統(tǒng)的物理部署。2 需求分析建模制作一個(gè)軟件需要經(jīng)歷計(jì)劃、分析、設(shè)計(jì)、實(shí)現(xiàn)、測(cè)試、維護(hù)等幾個(gè)階段。而準(zhǔn)確收集用戶(hù)的需求，并進(jìn)行合理的分析、整理，建立完整的需求分析模型是開(kāi)發(fā)一個(gè)項(xiàng)目成敗的關(guān)鍵。倘若錯(cuò)誤地理解了用戶(hù)的需求，并按此需求進(jìn)行項(xiàng)目開(kāi)發(fā)，必將造成客戶(hù)需求與實(shí)際項(xiàng)目不符，這是開(kāi)發(fā)者
- 基于UML的電梯控制系統(tǒng)的分析與設(shè)計(jì)
作圖、活動(dòng)圖和狀態(tài)圖。主要以狀態(tài)圖、順序圖來(lái)記錄。3 UML在電梯控制系統(tǒng)中的應(yīng)用3.1 電梯控制系統(tǒng)的靜態(tài)分析設(shè)計(jì)3.1.1 用例模型根據(jù)乘客和電梯管理員兩種角色來(lái)確定系統(tǒng)的用例，經(jīng)過(guò)分析，得到如下的用例：按樓層的上行按鈕、按樓層的下行按鈕、按電梯內(nèi)某摟層的按鈕、按關(guān)門(mén)按鈕、按開(kāi)門(mén)按鈕、鎖住某層電梯鎖、打開(kāi)某層電梯鎖。用例圖如圖1所示。圖1 用例圖3.1.2 類(lèi)模型根據(jù)分析，可得到如下的類(lèi)：如圖2所示的類(lèi)圖。乘客類(lèi)、管理員類(lèi)、電梯類(lèi)、電梯門(mén)類(lèi)、樓層上行按
中國(guó)科技信息 2011年19期2011-10-27
- 電磁頻譜感知教學(xué)實(shí)驗(yàn)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
感知，建立信道狀態(tài)圖。CC2500芯片內(nèi)部對(duì)信道的估計(jì)通過(guò)對(duì)RSSI和門(mén)限值進(jìn)行比較來(lái)實(shí)現(xiàn)。一旦RSSI高于門(mén)限值，CC2500就認(rèn)為信道忙，載波偵聽(tīng)輸出引腳GDO2就會(huì)由低電平變?yōu)楦唠娖?。門(mén)限可以通過(guò)相應(yīng)的寄存器進(jìn)行配置，選擇一個(gè)合適的門(mén)限值至關(guān)重要。本文綜合考慮了發(fā)送功率、傳輸距離和數(shù)據(jù)速率等因素，通過(guò)測(cè)試調(diào)整確定了合適的門(mén)限。信道狀態(tài)圖建立好以后，根據(jù)感知順序確定一個(gè)最佳空閑信道。最佳空閑信道找到后，發(fā)送方接著發(fā)送握手信息。在沒(méi)有收到對(duì)方應(yīng)答信號(hào)之前
電氣電子教學(xué)學(xué)報(bào) 2011年5期2011-08-09
- 基于構(gòu)架重用的虛擬操作訓(xùn)練領(lǐng)域仿真系統(tǒng)的研究
動(dòng)態(tài)結(jié)構(gòu)主要用狀態(tài)圖描述。類(lèi)圖是一種用類(lèi)和類(lèi)間關(guān)系進(jìn)行系統(tǒng)描述的插圖，是從靜態(tài)方面表示的系統(tǒng)。類(lèi)圖是構(gòu)成其它示意圖的基礎(chǔ)，如果沒(méi)有類(lèi)圖，就不會(huì)有狀態(tài)圖或其它示意圖。狀態(tài)圖用來(lái)描述生命周期中對(duì)象處于哪種狀態(tài)、每種狀態(tài)的行為以及哪種事件可以導(dǎo)致對(duì)象狀態(tài)的變化。2.1 靜態(tài)結(jié)構(gòu)圖對(duì)于系統(tǒng)的設(shè)計(jì)，最關(guān)鍵的問(wèn)題就是將類(lèi)定義在什么樣的粒度。如果定義的粒度太小，系統(tǒng)構(gòu)架需要管理的構(gòu)件過(guò)多，將不利于系統(tǒng)構(gòu)架的設(shè)計(jì)和促進(jìn)系統(tǒng)的執(zhí)行；另一方面，如果定義的粒度太大，軟件重用的最
制造業(yè)自動(dòng)化 2011年20期2011-07-03
- 基于場(chǎng)景的形式化測(cè)試模型生成方法
時(shí)間擴(kuò)展UML狀態(tài)圖的語(yǔ)義，介紹了時(shí)間擴(kuò)展UML狀態(tài)圖的混合時(shí)間Petri網(wǎng)模型的構(gòu)造方法、混合時(shí)間Petri網(wǎng)模型測(cè)試用例生成方法.文獻(xiàn)［5］給出了順序圖的形式化定義，并將其用于對(duì)類(lèi)圖以及狀態(tài)圖一致性的核對(duì)，但未將順序圖用于生成形式化測(cè)試模型的研究.文獻(xiàn)［6］從UML2.0順序圖中得到與其對(duì)應(yīng)的消息流通圖，并通過(guò)遍歷該圖得到相應(yīng)的測(cè)試序列.雖然這些方法可以從UML模型中直接產(chǎn)生測(cè)試用例，但是由于沒(méi)有形式化推理工具的理論引導(dǎo)，因此，不能提供模型驗(yàn)證，缺乏嚴(yán)
- 基于Harel狀態(tài)機(jī)的高校IP語(yǔ)音答疑系統(tǒng)設(shè)計(jì)
發(fā)，但是標(biāo)準(zhǔn)的狀態(tài)圖法也存在一些缺陷，當(dāng)處理第一個(gè)呼叫時(shí)第二個(gè)呼叫進(jìn)入的情況時(shí)傳統(tǒng)的FSM需要計(jì)算第一個(gè)和第二個(gè)呼叫者所有可能的狀態(tài)組合，這會(huì)導(dǎo)致我們通常所說(shuō)的狀態(tài)溢出等問(wèn)題，針對(duì)這些問(wèn)題可以使用帶有IP語(yǔ)音控制的基于Harel擴(kuò)展?fàn)顟B(tài)機(jī)及SCXML標(biāo)記語(yǔ)言來(lái)解決。圖1 帶子狀態(tài)和并發(fā)狀態(tài)的復(fù)合狀態(tài)圖[1]2 Harel狀態(tài)機(jī)及SCXML語(yǔ)言描述David Harel在他的論文“擴(kuò)展狀態(tài)圖：解決復(fù)雜系統(tǒng)的可視化方法”中描述了擴(kuò)展狀態(tài)圖，在增加了層次、并行、
制造業(yè)自動(dòng)化 2011年3期2011-01-25
- 一種血壓反饋控制系統(tǒng)的狀態(tài)分析方法
達(dá)，因此－x的狀態(tài)圖是血壓的另一種表達(dá)形式。2 材料與方法2.1 實(shí)驗(yàn)動(dòng)物家兔6只，雌雄不拘，體重1.05～1.75 kg，由浙江大學(xué)醫(yī)學(xué)院實(shí)驗(yàn)動(dòng)物中心提供。2.2 藥物和試劑配制2 mg/mL去甲腎上腺素(天津金耀氨基酸有限公司)，150 IU/mg肝素鈉(華美生物工程公司)，2.5%烏拉坦，試劑均為國(guó)產(chǎn)分析純。將2 mg/mL去甲腎上腺素溶液稀釋成32.0 μg/0.1mL濃度的溶液，根據(jù)家兔體重，按0.1 mL/kg的劑量取量去甲腎上腺素溶液，用生理
- 基于AndroMDA的實(shí)時(shí)系統(tǒng)代碼生成技術(shù)研究
主要研究類(lèi)圖及狀態(tài)圖這兩種UML圖的轉(zhuǎn)換規(guī)則，其中類(lèi)圖實(shí)現(xiàn)任務(wù)、中斷和通信的靜態(tài)結(jié)構(gòu)，狀態(tài)圖實(shí)現(xiàn)任務(wù)或中斷的動(dòng)態(tài)行為。2.1 PSM元模型PSM元模型描述PSM的語(yǔ)義，它代表了PSM所屬平臺(tái)的核心概念和關(guān)鍵技術(shù)。實(shí)時(shí)系統(tǒng)的核心概念包括有可編程對(duì)象和可配置對(duì)象[3]?？删幊虒?duì)象是應(yīng)用程序中產(chǎn)生動(dòng)作的實(shí)體，并體現(xiàn)了信息轉(zhuǎn)換的過(guò)程。在VxWorks平臺(tái)中，可編程對(duì)象有任務(wù)(Task)、信號(hào)(Signal)、中斷服務(wù)程序(ISR)和看門(mén)狗(Watchdog Tim
指揮控制與仿真 2010年6期2010-09-02
- 淺談《金屬材料與熱處理》課程教學(xué)
講授“鐵碳合金狀態(tài)圖”時(shí)，應(yīng)抓住鋼的性能主要取決于它們的組織這一線(xiàn)索，重點(diǎn)講解鋼在緩慢冷卻時(shí)的組織形成以及各種鋼的組織中均有珠光體存在的內(nèi)在聯(lián)系。學(xué)生只要弄清珠光體的形成條件及性能，便可了解不同含碳量的組織差別和性能差別。二、要注意課程內(nèi)容的前后呼應(yīng)要充分注意課程內(nèi)容前后聯(lián)系緊密的特點(diǎn)，講課內(nèi)容前后呼應(yīng)。例如，講授“合金組織的基本類(lèi)型——固溶體與金屬化合物”時(shí)，可以鐵碳合金為例，分析間隙固溶體和金屬化合物。這樣，為講授鐵碳合金打下基礎(chǔ)，同時(shí)也與具體分析奧氏
職業(yè)·中旬 2009年9期2009-11-30