透過匹配特徵表達式進行元件挑選｜國立清華大學博碩士論文庫

簡易檢索 / 詳目顯示

回結果列表

研究生：	洪顥菖 Hong, Hao-Chang
論文名稱：	透過匹配特徵表達式進行元件挑選 Component Selection by Matching of Feature Expressions
指導教授：	周百祥 Chou, Pai H.
口試委員:	韓永楷謝孫源
學位類別：	碩士 Master
系所名稱：	電機資訊學院 - 資訊工程學系 Computer Science
論文出版年：	2022
畢業學年度：	110
語文別：	中文
論文頁數：	43
中文關鍵詞：	元件選擇、特徵表達式、匹配演算法
外文關鍵詞：	Component Selection, Feature Expression, Matching algorithm
相關次數：	點閱：1 下載：0
分享至:	分享至facebook 分享至twitter

查詢本校圖書館目錄查詢臺灣博碩士論文知識加值系統勘誤回報

本論文提出一套適用於以特徵需求去搜尋電子元件的查詢系統。用途會在如嵌入式系統使用的元件因為停產或規格變更而需要替代元件，或者設計師想要比較類似規格的元件。現有查詢系統包括手動以分類查詢、以關鍵字查詢、以參數查詢等等，但是由於使用不容易、效率低、或查詢結果不夠針對需求。本論文提出以特徵代數為基礎的元件模型與查詢模型，以表達特徵間的橫向組合關係與縱向實作關係。同以特徵代數表達式為語意呈現方式，查詢模型的型樣可表達出需求必備和必排除的特徵。本論文貢獻為（一）以特徵代數做為查詢的語意模型、（二）查詢演算法，把特徵表達式的階層結構對應到線性結構，以便套用基於《最長共同次序列》演算法做匹配。本工具預期可以輔助設計師在手動搜尋元件時的配對，以及遇到元件停產時，工具可以自動建議可替換的元件。

This thesis proposes a query system for finding electronic components in terms of their features of interest to the user. Such a query system can help the designer of an embedded system find alternative or replacement components, understand key and subtle differences between similar components. Existing querying approaches such as manual taxonomy search, keyword search, and parametric search cannot be done easily, efficiently, or precisely. To enable component modeling and querying of requirements, we propose to model the features of the components symbolically using a new formalism called feature algebra, which expresses compositional relations between features horizontally and manifestational relations between features vertically. Assuming components are modeled as feature-algebra expressions, the semantic query can also express not only the required features to include but also to exclude in a more general pattern. The key contribution of this thesis are (1) the query system that defines the semantics of pattern matching in the context of feature algebra, (2) mapping the hierarchical structure of feature expressions to linear sequences so that the query problem can be solved as an instance of the longest common sequence (LCS) problem after some adaptations. This is expected to enable automatic selection of components from a library to meet the requirements of a design or find replacement parts in case of end-of-line status of an existing component.

Contents
Contents i
Acknowledgments vi
Introduction 1
1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Approach: Feature Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
4 Thesis Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Background and Related Work 5
1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1 Computer Algebra Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1 Component Retrieval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Ontology for Embedded Systems . . . . . . . . . . . . . . . . . . . . . . . 6
System Overview 8
1 Feature Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1 Function Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Structure Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Parameter Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Concept Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Symbol Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6 Document Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Feature Roles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1 Feature Entity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2 Feature Value Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Feature Port . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4 Feature Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Feature Algebra System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.1 Feature Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 Query Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.3 Operands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.4 Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4 Query Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.1 Pattern-Specific Constructs . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2 Alternative Query Styles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5 Component Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Problem Statement 21
1 Feature Matching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.1 Component Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2 Query Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 Matching Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1 Feature Type vs. Instance . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Operators of different generality . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Cross-Level Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Operators Match . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1 Specific Match . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2 Intersection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Output Measure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Technical Approach 27
1 Parse Tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.1 Data Structure of Feature Expressions . . . . . . . . . . . . . . . . . . . . . 27
1.2 Canonical Form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
ii
1.3 Merging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Parse Tree to Sequence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2 Feature-Matching Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1 Longest Compatible Subsequence . . . . . . . . . . . . . . . . . . . . . . . 30
2.2 Dynamic Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Match Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Evaluation 36
1 Comparison of Electronic Vendors . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2 Expressiveness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Conclusions and Future Work 39
1 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Appendix 42
                                

Bibliography
[1] “Sympy.” https://www.sympy.org/en/index.html, October 29 2021.
[2] H. Mili, P. Valtchev, A. M. Di Sciullo, and P. Gabrini, “Automating the indexing and retrieval of
reusable software components.,” in NLDB, pp. 75–86, 2001.
[3] V. Sugumaran and V. C. Storey, “A semantic-based approach to component retrieval,” ACM SIGMIS Database: the DATABASE for Advances in Information Systems, vol. 34, no. 3, pp. 8–24,
2003.
[4] X. F. Zha and R. D. Sriram, “Feature technology and ontology for embedded system design and
development,” in International Design Engineering Technical Conferences and Computers and
Information in Engineering Conference, vol. 42578, pp. 701–714, 2006.
[5] A. Sousa, T. Couto, C. Agra, and F. Alencar, “Use of ontologies in embedded systems: A systematic mapping,” in 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 1–8, IEEE, 2016.
[6] X. F. Zha, S. J. Fenves, and R. D. Sriram, “A feature-based approach to embedded system hardware and software co-design,” in International Design Engineering Technical Conferences and
Computers and Information in Engineering Conference, vol. 47403, pp. 609–620, 2005.
[7] T.-Y. Lai, “Semantic modeling of electronic components using feature algebra: A case study,”
Master’s thesis, National Tsing Hua University, October 2021.
[8] “Longest common subsequence - programiz.” https://www.programiz.com/dsa/
longest-common-subsequence, October 29 2021

簡易檢索 / 詳目顯示

相關論文