• International Journal of Computer Science & Network Security
• /
• v.21 no.6
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• Research in Mathematical Education
• /
• v.13 no.1
• /
• pp.31-48
• /
• 2009

Utilizing the path analysis method, the study explores the relationships among the influential factors in mathematics modeling academic achievement. The following conclusions are drawn: 1. Achievement motivation, creative inclination, cognitive style, the mathematical cognitive structure and mathematics modeling self-monitoring ability, those have significant correlation with mathematics modeling academic achievement; 2. Mathematical cognitive structure and mathematics modeling self-monitoring ability have significant and regressive effect on mathematics modeling academic achievement, and two factors can explain 55.8% variations of mathematics modeling academic achievement; 3. Achievement motivation, creative inclination, cognitive style, mathematical cognitive structure have significant and regressive effect on mathematics modeling self-monitoring ability, and four factors can explain 70.1% variations of mathematics modeling self-monitoring ability; 4. Achievement motivation, creative inclination, and cognitive style have significant and regressive effect on mathematical cognitive structure, and three factors can explain 40.9% variations of mathematical cognitive structure.

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.6
• /
• pp.498-516
• /
• 2013

Combat Modeling and Simulation (M&S) is significant to decision makers who predict the next direction of wars. Classical methodologies for combat M&S aimed to describe the exact behaviors of combat entities from military doctrines, yet they had a limitation of describing reasonable behaviors of combat entities that did not appear in the doctrines. Hence, this paper proposed a synthesizing modeling methodology for combat entity models considering both 1) the exact behaviors using descriptive modeling and 2) the reasonable behaviors using prescriptive modeling. With the proposed methodology, combat entities can represent a reality for combat actions rather than the classical methodologies. Moreover, the experiment results using the proposed methodology were significantly different from the results using the classical methodologies. Through the analyses of the experiment results, we showed that the reasonable behaviors of combat entities, which are not specified in the doctrines, should be considered in combat M&S.

• Journal of Information Technology and Architecture
• /
• v.9 no.3
• /
• pp.243-251
• /
• 2012

This paper presents the Conceptual Models of the Mission Space-Korea (CMMS-K), which is an ontology-based conceptual modeling framework of the mission space. Through modeling and simulating military trainings, we can reduce the cost of actual military trainings in terms of time, space, and supplies. CMMS-K is being developed to improve the interoperability and reusability of defense models and simulations. CMMS-K reflects the needs and characteristics of Korean military while referring to existing military conceptual modeling frameworks. The main components of CMMS-K contain domain ontologies, a mission space model description language, a mission space modeling tool, and a CMMS-K management system. CMMS-K domain ontologies consist of entity and task ontologies. In this paper, the CMMS-K domain ontologies are described in detail and the feasibility of the proposed method is discussed with a case study.

• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.291-303
• /
• 2024

In this paper, we consider a feedforward network of overloaded multiclass processor sharing queues and we give a fluid model solution under the condition that the system is initially empty. The main theorem of the paper provides sufficient conditions for a fluid model solution to be linear with time. The results are illustrated through examples.

• International Journal of Computer Science & Network Security
• /
• v.21 no.9
• /
• pp.247-260
• /
• 2021

Data modeling is a process of developing a model to design and develop a data system that supports an organization's various business processes. A conceptual data model represents a technology-independent specification of structure of data to be stored within a database. The model aims to provide richer expressiveness and incorporate a set of semantics to (a) support the design, control, and integrity parts of the data stored in data management structures and (b) coordinate the viewing of connections and ideas on a database. The described structure of the data is often represented in an entity–relationship (ER) model, which was one of the first data-modeling techniques and is likely to continue to be a popular way of characterizing entity classes, attributes, and relationships. This paper attempts to examine the basic ER modeling notions in order to analyze the concepts to which they refer as well as ways to represent them. In such a mission, we apply a new modeling methodology (thinging machine; TM) to ER in terms of its fundamental building constructs, representation entities, relationships, and attributes. The goal of this venture is to further the understanding of data models and enrich their semantics. Three specific contributions to modeling in this context are incorporated: (a) using the TM model's five generic actions to inject processing in the ER structure; (b) relating the single ontological element of TM modeling (i.e., a thing/machine or thimac) to ER entities and relationships; and (c) proposing a high-level integrated, extended ER model that includes structural and time-oriented notions (e.g., events or behavior).

• Corrosion Science and Technology
• /
• v.8 no.5
• /
• pp.177-183
• /
• 2009

There are two effective methods in use to protect ship ballast tank against corrosion. One is paint coating and the other cathodic protection(CP). The conventional cathodic protection design has mainly relied on the expert's experience. During the last two decades computer modeling has been significantly developed as an advanced design technology for cathoidic protection systems not only for ships, but also for offshore structures. However the present computer modeling of cathodic protection systems have some limitations simulating corrosion in the ballast tank with a deteriorated coating. In this study, "coating breakdown factor" considering coating degradation states with time has been attempted to improve the cathodic protection modeling using the data from literatures.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.179-184
• /
• 2005

Recently, studying on modeling the emotion of a robot has become issued among fields of a humanoid robot and an interaction of human and robot. Especially, modeling of the motivation, the emotion, the behavior, and so on, in the robot, is hard and need to make efforts to use our originality. In this paper, new modeling using mathematical formulations to represent the emotion and the behavior selection is proposed for the software robot with virtual sensor modules. Various Points which affect six emotional states such as happy or sad are formulated as simple exponential equations with various parameters. There are several experiments with seven external sensor inputs from virtual environment and human to evaluate this modeling.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.453-458
• /
• 2001

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.1
• /
• pp.37-42
• /
• 2006

Recently, studying on modeling the emotion of a robot has become issued among fields of a humanoid robot and an interaction of human and robot. Especially, modeling of the motivation, the emotion, the behavior. and so on, in the robot, is hard and need to make efforts to use ow originality. In this paper, new modeling using mathematical formulations to represent the emotion and the behavior selection is proposed for the software robot with virtual sensor modules. Various points which affect six emotional states such as happy or sad are formulated as simple exponential equations with various parameters. There are several experiments with seven external sensor inputs from virtual environment and human to evaluate this modeling.