| 研究生: |
梁耀中 Liang, Yao-Zhong |
|---|---|
| 論文名稱: |
基於功能需求與Petri Net驗證之多狀態鎖具機構設計方法研究 A Functional-Requirement-Based Design Method for Multi-State Lock Mechanisms Using Petri Net Verification |
| 指導教授: |
歐峯銘
Ou, Feng-Ming |
| 學位類別: |
碩士 Master |
| 系所名稱: |
工學院 - 機械工程學系 Department of Mechanical Engineering |
| 論文出版年: | 2026 |
| 畢業學年度: | 114 |
| 語文別: | 英文 |
| 論文頁數: | 120 |
| 中文關鍵詞: | 多狀態鎖具機構 、功能需求 、Petri Net 、功能模組 、機構具體化 、阻擋生成 |
| 外文關鍵詞: | Multi-State Lock Mechanisms, Functional Requirements, Petri Net, Functional Modules, Mechanism Concretization, Blocking Generation |
| 相關次數: | 點閱:81 下載:0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
鎖具作為歷史上存在已久的機構,其形態與結構會隨著時間與地點有著截然不同的形式,但其防範他人隨意打開的目的卻從未改變。隨著鎖具功能增加,其結構隨著時間推進也逐步趨於複雜,同一個操作往往會隨著當下某些部件位置的不同而有著截然不同的結果,其內部結構與運動方式會隨時間與當下整體狀態的變化有著不同形式,造就其為典型的多狀態機構。而隨著功能與對應的操作增加時,可能出現的整體狀態與可同時作動的輸入選項也隨之增加。在設計時若在功能需求未完善定義時就直接由進行實體機構生成,就有可能因為考慮不周而產生的功能間的衝突,甚至是造成最終生成的機構在功能上與原需求不一致的情況,如一開始未考慮清楚,這些問題會到實體設計後才被發現。針對此問題,本研究建立一套以功能需求為起點的多狀態鎖具機構設計方法,在具體機構形成以前先整理並檢查功能邏輯,再將確認後的結果帶入後續實體機構設計。
本研究先將設計需求整理,整理其在機構外部且可辨識的實體部件,如門把、鑰匙等,定義為Required Component(RC),從中辨識這些部件狀態會影響功能或禁止條件的情況,由此分離出其條件C與條件變換時所代表實現的作動功能T,並以Petri Net進行作動與禁止作動的形式化描述,以此建立該機構的功能模型problem Petri Net。初始模型完成後,就可以藉由Petri Net的特性來對功能描述的完備性與正確性進行分析,並利用分析結果找出缺少或表示不完整的功能關係,最終進行功能描述邏輯上的補足,以此完成機構在功能描述上的完備。接著就可以將其轉換成整體機構的整體狀態轉換圖,以此解決初步構想時人類設計者可能無法做出的完善描述,並利用其作為有向圖的連通與分離上的特性進行功能間的關係比對,以此依照功能關係有無與強弱進行功能模組的分類與建立。最後就可以依此與相關參數設定進行結合,具體化出所需之具機構結構,並對其進行模組整合與檢驗。
在設計流程完成後,本研究利用三個案例:古中國鎖具、魯班鎖與現代榫眼鎖證實本研究方法的可行性。第一個案例從初始模型的可達行為中找出尚未完整描述的必要操作,並經功能補足後完成後續設計;第二個案例以高度受部件狀態限制的操作為主,確認Petri Net能表示各部件必須依特定順序解除阻擋的行為;第三個案例則包含較多個操作上的可選性及彼此耦合的功能,用來分析多項功能放入同一個模型後的部件狀態變化、功能關係與後續整合。三大案例都證實了本研究方法的可行性,最終成功由功能定義逐步設計成實體機構。整套流程使功能需求、驗證後的功能行為、功能關係分析與最後的實體構型保有對應關係,但其中構件配置等細節仍需由設計者依照自身當下的條件來決定。
Locks have existed for a long time and have taken very different forms in different periods and places, but their purpose has always been to prevent unauthorized opening. As more functions are added, lock mechanisms become more complex. The same operation may produce different results when certain components are in different positions. As the operation proceeds and the overall state changes, the internal arrangement and motion of the mechanism may also change. This state-dependent behavior makes locks typical multi-state mechanisms. Adding more functions and corresponding operations increases the number of possible overall states and the input choices that may be available at the same time. If physical mechanism design begins before the functional requirements are fully defined, some functional relations may be overlooked, causing conflicts between functions or a final mechanism that does not behave as originally required. These problems may not become clear until the physical design has already progressed. The method developed in this study starts from the functional requirements, with the functional logic organized and checked before the physical mechanism is developed. The confirmed results are then carried into the physical design.
Design requirements are first organized around identifiable physical components outside the mechanism, such as handles and keys. These components are defined as Required Components (RCs), and their states are examined according to how they affect the required functions or prohibited operations. This identifies the distinguishable conditions C of each RC and the functional transitions T associated with changes between those conditions. The resulting operations and prohibitions are described in a Petri Net to form the problem Petri Net. Once the initial model is available, Petri Net analysis is used to find missing or incomplete functional relations and complete the functional description. The completed model is converted into an overall state transition graph. The graph lays out overall states that may be difficult for a designer to describe completely during early design. Comparing connectivity and separation in the graph shows how the functions are related. Whether these relations exist and how strong they are determines the functional module grouping. The functional modules are used together with the relevant design parameters to develop the physical mechanism and carry out module integration and checking.
After the design procedure was completed, three cases were used to verify the feasibility of the method: an ancient Chinese lock, a Burr lock, and a modern mortise lock. In the first case, the reachable behavior of the initial model revealed necessary operations that had not been fully described, and the remaining design was completed after these functions were added. The second case focused on operations that were highly constrained by component states and confirmed that the Petri Net could represent the behavior in which the components had to be released in a specific order. The third case included more operation choices and more coupled functions. When several functions were included in the same model, changes in component states, functional relations, and subsequent integration were analyzed. All three cases verified the feasibility of the method and were developed step by step from functional definition to a physical mechanism. Throughout the process, the functional requirements, verified functional behavior, functional relation analysis, and final physical configuration kept their correspondence, while details such as the component arrangement were still determined by the designer according to the actual design conditions.
[1] T. D. Pace, “A typology of Roman locks and keys,” M.A. thesis, School of Theology, Southwestern Baptist Theological Seminary, Fort Worth, TX, USA, 2014.
[2] K.-H. Hsiao, “Structural analysis of traditional Chinese hidden-keyhole padlocks,” Mechanical Sciences, vol. 9, no. 1, pp. 189–199, Apr. 2018, doi: 10.5194/ms-9-189-2018.
[3] K. Shi, K.-H. Hsiao, Y. Zhao, C.-F. Huang, and W.-Y. Xiong, “Structural analysis of ancient Chinese wooden locks,” Mechanism and Machine Theory, vol. 146, Art. no. 103741, Apr. 2020, doi: 10.1016/j.mechmachtheory.2019.103741.
[4] H.-H. Huang, H.-S. Yan, and Y.-M. Lin, “The design of new type multipoint mortise locks,” The 24th National Conference on Mechanical Engineering, Chung Li, Taiwan, 2007.
[5] S. Xin, C.-F. Lai, C.-W. Fu, T.-T. Wong, Y. He, and D. Cohen-Or, “Making burr puzzles from 3D models,” ACM Transactions on Graphics, vol. 30, no. 4, Art. no. 97, 2011, doi: 10.1145/2010324.1964992.
[6] 黃馨慧,「古中國簧片掛鎖之機構設計(Mechanism Design of Ancient Chinese Splitting-spring Padlocks)」,博士學位論文,機械工程學系,國立成功大學,台南市,2004。
[7] S. Saraçoğlu Çelik, “Lost treasures: Locks,” International Journal of Science Culture and Sport, vol. 3, no. 1, pp. 96–112, Mar. 2015, doi: 10.14486/IJSCS230.
[8] N. A. Haddad, “Critical review, assessment and investigation of ancient technology evolution of door locking mechanisms in S.E. Mediterranean,” Mediterranean Archaeology and Archaeometry, vol. 16, no. 1, pp. 53–74, 2016, doi: 10.5281/zenodo.35521.
[9] A. H. L. F. Pitt-Rivers, On the Development and Distribution of Primitive Locks and Keys. London, U.K.: Chatto and Windus, 1883.
[10] 顏鴻森,《古早中國鎖具之美(The Beauty of Ancient Chinese Locks)》,台南市:中華古機械文教基金會,2003。
[11] K.-H. Hsiao, “On the structural analysis of open-keyhole puzzle locks in ancient China,” Mechanism and Machine Theory, vol. 118, pp. 168–179, Dec. 2017, doi: 10.1016/j.mechmachtheory.2017.08.003.
[12] K. Shi, M.-J. Wang, Y. Zhang, K.-H. Hsiao, and Y.-A. Yao, “Structural analysis of traditional Chinese complex puzzle locks,” Scientific Reports, vol. 12, Art. no. 11237, Jul. 2022, doi: 10.1038/s41598-022-15326-z.
[13] H.-S. Yan and H.-H. Huang, “Design considerations of ancient Chinese padlocks with spring mechanisms,” Mechanism and Machine Theory, vol. 39, no. 8, pp. 797–810, Aug. 2004, doi: 10.1016/j.mechmachtheory.2004.04.001.
[14] M. von Ackermann, “Early medieval locks and keys in England and Scandinavia,” Ph.D. dissertation, Dept. Archaeol., Univ. York, York, U.K., 2018.
[15] N. B. Gustafsson, “On Norse padlocks – production and use: Examples from the Birka Garrison,” Journal of Nordic Archaeological Science, vol. 15, pp. 19–24, 2005, doi: 10.65612/jonas.v15i.64374.
[16] 林義閔,「一種新型多點式榫眼鎖之機構設計(Mechanism Design of A New Multipoint Mortise Lock)」,碩士學位論文,機械工程學系,國立成功大學,台南市,2007。
[17] 黃俊棨,「多段式可變號按鍵鎖之概念設計(Conceptual Design of Multi-step Push-button Lock with Variable Passwords)」,碩士學位論文,機械工程學系,國立成功大學,台南市,2008。
[18] 曾紀綱,「多段式可變號密碼鎖之概念設計(Conceptual Design of Multi-step Combination Locks with Variable Passwords)」,碩士學位論文,機械工程學系,國立成功大學,台南市,2012。
[19] L. D. Pop and M. S. Dániel, “Research on quick-closing systems for classroom doors,” in The 15th International Conference Interdisciplinarity in Engineering (Inter-Eng 2021), L. Moldovan and A. Gligor, Eds., Lecture Notes in Networks and Systems, vol. 386. Cham, Switzerland: Springer, 2022, pp. 71–80, doi: 10.1007/978-3-030-93817-8_8.
[20] H.-S. Yan and C.-H. Kuo, “Topological representations and characteristics of variable kinematic joints,” Journal of Mechanical Design, vol. 128, no. 2, pp. 384–391, Mar. 2006, doi: 10.1115/1.2166854.
[21] C.-H. Kuo and H.-S. Yan, “On the mobility and configuration singularity of mechanisms with variable topologies,” Journal of Mechanical Design, vol. 129, no. 6, pp. 617–624, Jun. 2007, doi: 10.1115/1.2717230.
[22] H.-S. Yan and C.-H. Kuo, “Representations and identifications of structural and motion state characteristics of mechanisms with variable topologies,” Transactions of the Canadian Society for Mechanical Engineering, vol. 30, no. 1, pp. 19–40, Mar. 2006, doi: 10.1139/tcsme-2006-0003.
[23] H.-S. Yan and C.-H. Kang, “Configuration synthesis of mechanisms with variable topologies,” Mechanism and Machine Theory, vol. 44, no. 5, pp. 896–911, May 2009, doi: 10.1016/j.mechmachtheory.2008.06.006.
[24] B. J. Slaboch and P. A. Voglewede, “Development of planar mechanism state matrices for reconfigurable mechanisms,” in Proc. ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, vol. 2, 34th Annual Mechanisms and Robotics Conference, Parts A and B, Montreal, QC, Canada, Aug. 15–18, 2010, pp. 763–769, doi: 10.1115/DETC2010-28108.
[25] C.-H. Kang and H.-S. Yan, “Configuration transformations of mechanisms with variable topologies,” Journal of the Chinese Society of Mechanical Engineers, vol. 30, no. 4, pp. 311–321, Aug. 2009, doi: 10.29979/JCSME.200908.0005.
[26] B. J. Slaboch and P. A. Voglewede, “Mechanism state matrices for planar reconfigurable mechanisms,” Journal of Mechanisms and Robotics, vol. 3, no. 1, Art. no. 011012, Feb. 2011, doi: 10.1115/1.4003270.
[27] C.-H. Kuo and L.-Y. Chang, “Structure decomposition and homomorphism identification of planar variable topology mechanisms,” Journal of Mechanisms and Robotics, vol. 6, no. 2, Art. no. 021002, May 2014, doi: 10.1115/1.4026336.
[28] H.-S. Yan and C.-H. Kuo, “Structural analysis and configuration synthesis of mechanisms with variable topologies,” in 2009 ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots (ReMAR 2009), London, U.K., Jun. 22–24, 2009, pp. 23–31.
[29] Y. Chen, M. Zhao, and J. Huang, “A state-behavior-function based approach for functional modeling of multi-state systems and its application,” in ASME 2016 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Volume 7: 28th International Conference on Design Theory and Methodology, Charlotte, NC, USA, Aug. 21–24, 2016, Art. no. V007T06A030, doi: 10.1115/DETC2016-59187.
[30] C. Liu, H. P. Hildre, H. Zhang, and T. Rølvåg, “Conceptual design of multi-modal products,” Research in Engineering Design, vol. 26, no. 3, pp. 219–234, Jul. 2015, doi: 10.1007/s00163-015-0193-0.
[31] S. R. Todeti and A. Chakrabarti, “Analysing modifications in the synthesis of multiple state mechanical devices using configuration space and topology graphs,” in Proceedings of the 18th International Conference on Engineering Design (ICED 11): Impacting Society through Engineering Design, vol. 4, Product and Systems Design, Lyngby/Copenhagen, Denmark, Aug. 2011, pp. 461–472.
[32] A. Majumder and A. Chakrabarti, “A causal representation scheme for capturing topological changes in multi-state mechanical devices,” in Recent Advances in Industrial Machines and Mechanisms: Select Proceedings of IPRoMM 2022, S. K. Ghoshal, A. K. Samantaray, and S. Bandyopadhyay, Eds., Lecture Notes in Mechanical Engineering. Singapore: Springer, 2024, pp. 3–12, doi: 10.1007/978-981-99-4270-1_1.
[33] A. Majumder and A. Chakrabarti, “A tool for supporting conceptual design of multiple state mechanical devices,” Defence Science Journal, vol. 72, no. 2, pp. 217–226, May 2022, doi: 10.14429/dsj.72.17240.
[34] A. Majumder and A. Chakrabarti, “Development of a design support tool for synthesising multi-state mechanical device concepts,” Proceedings of the Design Society, vol. 3, pp. 1455–1464, Jul. 2023, doi: 10.1017/pds.2023.146.
[35] Z. Wang, P. Song, and M. Pauly, “DESIA: a general framework for designing interlocking assemblies,” ACM Transactions on Graphics, vol. 37, no. 6, Art. no. 191, 2018, doi: 10.1145/3272127.3275034.
[36] P. Song, C.-W. Fu, and D. Cohen-Or, “Recursive interlocking puzzles,” ACM Transactions on Graphics, vol. 31, no. 6, Art. no. 128, 2012, doi: 10.1145/2366145.2366147.
[37] P. Song, “Interlocking assemblies: Applications and methods,” Materials Today: Proceedings, vol. 70, pp. 78–82, 2022, doi: 10.1016/j.matpr.2022.08.548.
[38] C.-W. Fu, P. Song, X. Yan, L. W. Yang, P. K. Jayaraman, and D. Cohen-Or, “Computational interlocking furniture assembly,” ACM Transactions on Graphics, vol. 34, no. 4, Art. no. 91, Jul. 2015, doi: 10.1145/2766892.
[39] P. Song et al., “Reconfigurable interlocking furniture,” ACM Transactions on Graphics, vol. 36, no. 6, Art. no. 174, Nov. 2017, doi: 10.1145/3130800.3130803.
[40] K. Menger, “Zur allgemeinen Kurventheorie,” Fundamenta Mathematicae, vol. 10, pp. 96–115, 1927, doi: 10.4064/fm-10-1-96-115.
[41] L. R. Ford, Jr., and D. R. Fulkerson, “Maximal flow through a network,” Canadian Journal of Mathematics, vol. 8, pp. 399–404, 1956, doi: 10.4153/CJM-1956-045-5.
[42] T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, Apr. 1989, doi: 10.1109/5.24143.
[43] Platform Independent Petri Net Editor, ver. 4.3.0, SourceForge, 2013. [Online]. Available: https://sourceforge.net/projects/pipe2/files/PIPEv4/PIPEv4.3.0/
[44] F. C. Müller. "File:Einsteckschloss 05 (fcm).jpg License: CC BY-SA 3.0." Wikimedia Commons. https://commons.wikimedia.org/wiki/File:Einsteckschloss_05_(fcm).jpg (accessed July 23, 2026).