• Journal of Korean Institute of Industrial Engineers
• /
• v.29 no.3
• /
• pp.230-238
• /
• 2003

The configuration design of a mechanical product can be efficiently performed when it is based on the functional modeling. There are methodologies, which decompose function from the abstract level to the concrete level and match the functions to physical parts. But it is difficult to carry out an innovative design when the function is matched only to a pre-detined part. This paper describes the configuration design process of a mechanical product with a design expert system, which uses function taxonomy and TRIZ theory. The expert system can propose a functional modeling of a new part. which is not in the existing parts list. The abstraction levels of design knowledge are introduced, which describe the operation of mechanical product in the levels of abstraction. This is the theoretical background of using knowledge of function and TRIZ for configuration design. The expert system is adequate to control this design knowledge. which expresses knowledge of functional modeling, mapping rules between functions and parts, selection of parts, and TRIZ theory. The hierarchy of functions and machine parts are properly expressed by classes and objects in the expert system. A design expert system has been implemented for the configuration design of a train bogie, and a new brake system of the bogie is introduced with the aid of TRIZ's 30 function groups.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Journal of Information Processing Systems
• /
• v.16 no.6
• /
• pp.1424-1436
• /
• 2020

Although huge progress has been made in current image segmentation work, there are still no efficient segmentation strategies for tree image which is taken from natural environment and contains complex background. To improve those problems, we propose a method for tree image segmentation combining adaptive mean shifting with image abstraction. Our approach perform better than others because it focuses mainly on the background of image and characteristics of the tree itself. First, we abstract the original tree image using bilateral filtering and image pyramid from multiple perspectives, which can reduce the influence of the background and tree canopy gaps on clustering. Spatial location and gray scale features are obtained by step detection and the insertion rule method, respectively. Bandwidths calculated by spatial location and gray scale features are then used to determine the size of the Gaussian kernel function and in the mean shift clustering. Furthermore, the flood fill method is employed to fill the results of clustering and highlight the region of interest. To prove the effectiveness of tree image abstractions on image clustering, we compared different abstraction levels and achieved the optimal clustering results. For our algorithm, the average segmentation accuracy (SA), over-segmentation rate (OR), and under-segmentation rate (UR) of the crown are 91.21%, 3.54%, and 9.85%, respectively. The average values of the trunk are 92.78%, 8.16%, and 7.93%, respectively. Comparing the results of our method experimentally with other popular tree image segmentation methods, our segmentation method get rid of human interaction and shows higher SA. Meanwhile, this work shows a promising application prospect on visual reconstruction and factors measurement of tree.

• Journal of the Ergonomics Society of Korea
• /
• v.31 no.1
• /
• pp.41-48
• /
• 2012

Objective: Companies want to expand their business by providing their services at other devices and new services based upon existing services. Therefore, they look for building brand identity by providing same experience throughout devices and services. Background: Many services are available to use at multiple devices including mobile phones, tablet, personal computers, and televisions, thanks to proliferation of n-screen and cloud technology. Method: It was discussed that consistency, which emphasizes the regularity and has been one of essential aspects of user interface design, seems not effective to be applied to n-screen services, owing to different screen size, input and output peripherals, usage environment and users' attitude. Results: A new definition of same experience among different devices and services, called coherence, was introduced and abstraction levels of user interfaces were proposed as the denominator of defining coherence. Then types of users' task knowledge at each abstraction level were discussed with examples. Conclusion: This paper concluded by discussing design requirements for designing coherent user interfaces among devices and services.

• Language and Information
• /
• v.5 no.1
• /
• pp.17-34
• /
• 2001

Kamp & Reyle's (1993) proposal to represent split antecedents to a plural pronoun in terms of sum- mation and abstraction is critically reviewed in this paper, In point our some weak- nesses of their analysis as well as wrong predictions they make. In propose to treat the partitive reading found in bare numeral constructions by separating the conven-tional DRS construction rules from the cognitively motivated DRS-operations at a different level. A preference rule is also proposed that would constrain the sortal structure of discourse referents when such operations as summation and abstraction are enforced at the DRS's of relevant levels. Evidence for the separate treatment of linguistically motivated processes apart from cognitively motivated ones comes from both English and Korean constructions involving definite plural pronouns and numeral classifiers.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.390-396
• /
• 2007

Fuzzy-CBR Collision Avoidance Support System is a system that finds a solution from past knowledge retrieved from the database and adapted to a new situation. Its algorithm has resulted to an adapting a solution for a new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology for identifying the concepts involved in a new environment and use them as inputs, for a ship collision avoidance support system., Similarity will be obtained through document articulation and using abstraction levels. A conceptual model of a maneuvering situation will be built using these ontologies.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.1
• /
• pp.1-10
• /
• 1995

A graphic user interface for effectively browsing object-oriented databases in complex applications is designed and implemented. The rationale behind our design lies in enabling the users of various levels and needs to investigate the database according to their respective interests and desired depths. A novel idea in our design is the introduction of zooming techniques from a logical view, which vidualize the backbone abstraction concepts of the object-oriented data model. These objectives are verified by evaluating the results of its implementation.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.2
• /
• pp.122-132
• /
• 1996

Features are generic shapes with which engineers associate certain attributes and knowledge useful in reasoning about the product. Feature-based modeling systems support additional levels of information beyond those available in geometric modelers. The objective of this study is to develop a PC level feature-based modeling system which explicitly represents dimensions of the part. The feature-based modeler retains all the benefits of traditional B-rep. solid models, and represents the dimensions at a high level of a abstraction so that dimension driven geometry can be achieved.

• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.89-99
• /
• 1999

The major objective of this research is to propose a design architecture for autonomous defense systems for supporting highly intelligent behavior by combining decision, perception, and action components. Systems with such high levels of autonomy are critical for advanced battlefield missions. By integrating a plenty of advanced modeling concepts such as system entity structure, endomorphic modeling, engine-based modeling, and hierarchical encapsulation & abstraction principle, we have proposed four layered design methodology for autonomous defense systems that can support an intelligent behavior under the complicated and unstable warfare. Proposed methodology has been successfully applied to a design of autonomous tank systems capable of supporting the autonomous planning, sensing, control, and diagnosis.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.965-966
• /
• 2006

As billion transistors system-on-chip (SoC) design becomes a reality, the productivity gap between rapidly increasing design complexity and designer productivity lagging behind is becoming a more serious problem to be solved. To reduce the gap, we present a system that generates executable transaction level models automatically. It speed up the SoC design space exploration process at various abstraction levels.