• Journal of the Korea Society for Simulation
• /
• v.9 no.4
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.9
• /
• pp.84-93
• /
• 1996

This paper describes the development of new feature positioning method which embedded into the top-down assembly modeling system supporting conceptual design. In this work, the user provides the geometric constraints representing the position and size of features, then the system calculates their proper solution. The use of geometric constraints which are easy to understand intuitively enables the user to represent his design intents about geometric shapes, and enables the system to propagate the changes automatically when some editing occurs. To find the proper solution of given constraints, the Selective Solving Method in which the redundant or conflict equations are detected and discarded is devised. The validity of feature shapes satisfying the constraints can be maintained by this technique, and under or over constrained user-defined constraints can also be estimated. The problems such as getting the initial guess, controlling the multiple solutions, and dealing with objects of rotational symmetry are also resolved. Through this work, the feature based modeling system can support more general and convenient modeling method, and keeps the model being valid during modifying models.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.301-311
• /
• 2000

For effective part modifications which is necessary in the design process frequently, variational geometric modeling with constraint management being used in a wide. Most variational geometric modeling methods, however, manage just the constraints about sketch elements used for generation of primitives. Thus, not only constraint propagation but also re-build of various modeling operations stored in the modeling history is necessary iota part geometry modifications. Especially, re-build of high-cost Boolean operations is apt to deteriorate overall modeling efficiency abruptly. Therefore, in this paper we proposed an algorithm that can handle all geometric entities of the part directly. For this purpose, we introduced eight type geometric constraints to the various geometric calculations about all geometric entities in sweepings and Boolean operations as well as the existing constraints of the sketch elements. The algorithm has a merit of rapid part geometric modifications through only constraint propagation without rebuild of modeling operations which are necessary in the existing variational geometric modeling method.

• Journal of the Korean earth science society
• /
• v.38 no.4
• /
• pp.303-320
• /
• 2017

Purpose of this study is understanding of group modeling process focusing on constraints with geological field trip applied on social-construction of scientific model. This study was carried out on 12 students of 3 groups who participate in the study 'S' gifted education center. Students were conducted to theme of 'How was formation of Mt. Gwanak?' on 2 field trip classes and 3 modeling classes. Semi-structured interviews, all discourse of field trip and modeling classes, records of personal and group activity were analyzed to constraints based on theoretical background proposed by Nersessian (2008). Results as follows. First, sources of constraints are scientific knowledge, contents observed by students during field trips and additional materials things to be explained by model during modeling class with geological field trip applied on social-construction of scientific model. Second, there are 3 types of constraints to affect making group modeling. It is that shared constraint which used commonly by all the group members. It called selected constraint that used during the initial modeling and later were reflected on for use in the group modeling. And it is that generated constraints, which were not in the initial modeling but were used later in the group modeling. This study suggests that not only the constraints can help to understand of making group model through how they used but also show that example of learning with geological field trip on social-construction of scientific model to contribute school science.

• Korean Journal of Computational Design and Engineering
• /
• v.12 no.5
• /
• pp.395-404
• /
• 2007

Feature-based modeling and history-based modeling are the two main paradigms that are used in most of current CAD systems. Although these modeling paradigms make it easier for designers to create solid model, it may pose dependency constraints on features that are interacting one with another. When editing such features, these constraints often cause unpredictable and unacceptable results. For example, when a parent feature is deleted, the child features of the parent feature are also deleted. This entails re-generations of the deleted features, which requires additional modeling time. In order to complement this situation, we propose a method to delete only the features of interest by disconnecting the dependency constraints. This method can provide designers with more efficient way of model modification.

• Journal of Korean Elementary Science Education
• /
• v.36 no.1
• /
• pp.16-30
• /
• 2017

The purpose of this study was to interpret modeling-based elementary science lessons from a perspective of distributed cognition. Data sources included three consecutive elementary science lessons dealing with particle models of gases and students' worksheet generated from modeling activities during the lessons. The data were analyzed in ways that could reveal the affordances and constraints of students' mental models and an external model in the science textbook, as well as the evolution of the models. The results showed that the students' mental models and the external model provided both affordances for and constraints to scientific problem solving and that the models evolved in the process of overcoming the constraints. Implications for science lessons and science education research were suggested.

• IE interfaces
• /
• v.25 no.3
• /
• pp.300-308
• /
• 2012

For convenient business process modeling we propose a mathematical approach to obtain appropriate process structures. In this paper, we define business process structural constraints, on which basis, using Social Network Analysis (SNA), we analyze the frequency of handover occurrences among performers in social network. We here present, therefrom, a new, mathematical approach to business process modeling that proceeds by identifying the social relations among activities.

• Journal of Institute of Control, Robotics and Systems
• /
• v.21 no.7
• /
• pp.654-661
• /
• 2015

Stairs are the most popular obstacles in buildings and factories. To enlarge the application areas of a field robotic platform, stair-climbing is very important mission. One important reason why a stair-climbing is difficult is that stairs are various in sizes. To achieve autonomous climbing of various-sized stairs, dynamic modeling is essential. In this research, an inverse dynamic modeling is performed to enable an autonomous stair climbing. Stair-climbing robotic platform with flip locomotion, named FilpBot, is analyzed. The FlipBot platform has advantages of robust stair-climbing of various sizes with constant speed, but the autonomous operation is not yet capable. Based on external constraints and the postures of the robot, inverse dynamic models are derived. The models are switched by the constraints and postures to analyze the continuous motion during stair-climbing. The constraints are changed according to the stair size, therefore the analysis results are different each other. The results of the inverse dynamic modeling are going to be used in motor design and autonomous control of the robotic platform.

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.