• Proceedings of the Korea Society of Design Studies Conference
• /
• 2002.05b
• /
• pp.262-263
• /
• 2002

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2002.11b
• /
• pp.48-49
• /
• 2002

• International Journal of Computer Science & Network Security
• /
• v.23 no.5
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

• Journal of Korean Institute of Industrial Engineers
• /
• v.36 no.3
• /
• pp.176-185
• /
• 2010

As long as the information systems are spread out, various efforts are being attempted to get the effective results by the system. As a result, a new management strategy has been appeared, referred to as "collaboration", and it is necessary to use a right methodology for modeling collaborative processes accordingly. Even though many modeling methodologies such as IDEF3, Petri-Nets, UML, and ARIS have been widely used for modeling processes, they are inadequate for clearly representing collaborative processes. Some researchers, therefore, have suggested new modeling methodologies for describing collaborative processes including CPM (collaborative process modeling). In this paper, we introduce an extended version of CPM method (i.e., exCPM) as a tool for modeling collaborative works after analyzing advantages and disadvantages of aforementioned methodologies. One of distinct characteristics of exCPM is that model verification is possible by transforming the exCPM models into Petri-Nets models. We also demonstrate transformation of an exCPM model in this paper with case studies for model verification.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.744-746
• /
• 2003

A 3D modeling of urban area can be composed the terrain modeling that can express specific and shape of the terrain and the object modeling such as buildings, trees and facilities which are found in urban areas. Especially in a 3D modeling of building, it is very important to make a unit model by simplifying 3D structure and to take a texture mapping, which can help visualize surface information. In this study, the texture mapping technique, based on library for 3D urban modeling, was used for building modeling. This technique applies the texture map in the form of library which is constructed as building types, and then take mapping to the 3D building frame. For effectively apply, this technique, we classified buildings automatically using LiDAR data and made 3D frame using LiDAR and digital map. To express the realistic building texture, we made the texture library using real building photograph.

• IE interfaces
• /
• v.15 no.1
• /
• pp.55-63
• /
• 2002

This paper utilizes the FIDO methodology (Function, Information, Dynamic, Organization modeling) which is an enterprise modeling tool that can describe inter-organizational interaction (specifically between prime and sub contractors in this experiment). FIDO follows the standard IDEFO rules in order to demonstrate how a cascading information flow can evolve from a customer to a prime to a subcontractor in a concurrent manner, in a supply chain environment. Background on these processes is presented, followed with the newly derived process and methodology. This is presented in a supply chain management context, and results from an actual experiment at Motorola utilizing subcontractors that supply custom machine parts is presented and reviewed.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.6
• /
• pp.160-166
• /
• 2003

Interest in advanced vehicles results in correspondingly increased interest in modeling and simulation of the dynamic behavior of Maglev-type vehicle systems. DADS is a program especially suited for the analysis of multibody mechanical systems. This paper demonstrates the application of DADS to the dynamic modeling and simulation of such advanced vehicles. A brief description is made of the modeling requirements of magnetically levitated systems, along with a summary of some of the related capabilities of DADS. As a case study, an analysis of a vehicle based on the UTM01 system is presented. This paper shows that the presented modeling technique is applicable to the dynamic characteristics evaluation and control law design of Maglev- type vehicles.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.43 no.5
• /
• pp.838-847
• /
• 1994

Although there is an analytical proof of modeling capability of the neural network, the convergency error in nonlinearity modeling is inevitable, since the steepest descent based practical larning algorithms do not guarantee the convergency of modeling error. Therefore, it is difficult to apply the neural network to control system in critical environments under an on-line learning scheme. Although the convergency of modeling error of a neural network is not guatranteed in the practical learning algorithms, the convergency, or boundedness of tracking error of the control system can be achieved if a proper feedback control law is combined with the neural network model to solve the problem of modeling error. In this paper, the neural network is introduced for compensating a system uncertainty to control a nonlinear dynamic system. And for suppressing inevitable modeling error of the neural network, an iterative neural network learning control algorithm is proposed as a virtual on-line realization of the Adaptive Variable Structure Controller. The efficiency of the proposed control scheme is verified from computer simulation on dynamics control of a 2 link robot manipulator.

• Korean Journal of Construction Engineering and Management
• /
• v.5 no.5 s.21
• /
• pp.163-171
• /
• 2004

This research investigates a Modeling Spell Checker that, similarly to Word Spell Checker for word processing software, would conform as-built 3D models to standard construction rules. The work is focused on the study of pipe-spools. Specifically pipe diameters and coplanarity are checked and corrected by the Modeling Spell Checker, and elbows are deduced and modeled to complete models. Experiments have been conducted by scanning scenes of increasing levels of complexity regarding the number of pipes, the types of elbows and the number of planes constituting pipe-spools. For building models of pipes from sensed data, a modeling method, developed at the University of Texas at Austin, that is based on the acquisition of sparse point clouds and the human ability to recognize geometric shapes has been used Results show that primitive-based models obtained after scanning construction sites can be corrected and even improved automatically, and, since such models are expected to be used as feedback control models for equipment operators, the higher modeling accuracy achieved with the Modeling Spell Checker could potentially increase the level of safety in construction. Result also show that some improvements are still needed especially regarding the co-planarity of pipes. In addition, results show that the modeling accuracy significantly depends on the primitive modeling method, and improvement of that method would positively impact the modeling spell checker.

• Journal of Korean Elementary Science Education
• /
• v.42 no.3
• /
• pp.434-454
• /
• 2023

This study explored the composition and attributes of modeling instructions and factors of teacher competence in elementary science classes. The study also examined educational research papers regarding modeling instruction cases in elementary schools and elementary teachers' perceptions of modeling instructions using qualitative meta-analysis, which can integrate findings from qualitative research. This investigation led to creating a small group to compose modeling instructions. Furthermore, the modeling approach was demonstrated to go through the process of generating, evaluating, and modifying the model. The attributes of modeling instructions can be divided into factors that affect modeling instructions and competence factors necessary for students participating in modeling instructions. The factors affecting modeling instructions included "small group interactions" and "time limitation in classes." The competence factors necessary for students participating in modeling instructions included "scientific knowledge," "meta-modeling knowledge," and the "ability to control emotions." The teacher competence factors in modeling instructions regarding knowledge, function, and attitude were explored. The teacher competence factors in elementary modeling instructions included "meta-modeling knowledge," "knowledge of modeling assessment," "emotional support for students," and the "awareness of modeling value." Accordingly, this study offered some recommendations for effective modeling instructions.