• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1382-1387
• /
• 2007

ERTMS/ETCS is a signalling and control system designed for interoperability between railway networks. In this paper, SysML was used for modeling of the ERTMS/ETCS trackside system. We used use case diagrams and sequence diagrams for requirements analysis and functional analysis. By doing this, we could show that main functions of the ERTMS/ETCS trackside can be described and verified based on scenarios.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.301-304
• /
• 2005

비즈니스 정보 시스템 개발을 위한 요구사항 분석은 시스템의 결과를 좌우할 수 있는 중요한 과정으로 인식되고 있다. 따라서 대부분의 소프트웨어 개발방법론에서 사용자의 요구사항을 분석하기 위해 주로 사용되고 있는 UML 기반의 Use Case 모델링의 절차와 분석과정에서의 문제점에 대하여 살펴보고, 또한 전반적인 UML 의 문제점을 조사해봄으로써 시스템 개발을 위하여 UML 기반의 모델링을 적용하여 분석할 경우 고려해야 될 사항들을 미리 점검해 볼 수 있도록 지침을 제공하고 자 한다.

• Research in Mathematical Education
• /
• v.9 no.3 s.23
• /
• pp.233-241
• /
• 2005

Mathematics has developed dramatically in today's world and come to be increasingly put into practical use in various fields in society. However, many Japanese students dislike mathematics. We have to study mathematics education with this situation in our mind. When we consider a better educational material, we don't have to consider only within the framework of the current school mathematics. We can expect to find good mathematical materials in fields beyond the school mathematics. In this paper, we study how the inclusion of idea such as 'fuzzy theory' and 'graph theory' influences pupils' approaches to learning mathematics.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.459-462
• /
• 2009

많은 SI프로젝트에서 유스케이스 모델링 기법을 사용하여 요구 분석을 수행하여 왔지만 모델링 기준과 가이드의 상이함으로 인해 프로젝트 현장에서 많은 문제점을 야기하고 있다. 본 논문에서는 애자일 방법론의 장점을 접목하여 애자일한 유스케이스 시나리오 작성법 및 사용자스토리를 개념을 차용한 두 단계 우선순위 부여를 통하여 요구 분석의 효율성과 생산성 제고방안을 제안한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.10a
• /
• pp.17-20
• /
• 2004

This research is focusing on industry dynamics of Korean Mobile Telecommunications Industry. Industry data from 1997 to April 2004 are used to analyze industry dynamics through variety use of case study and system dynamics modeling. As results, we found the importance of initial endowment, firm reputation, and handset subsidy strategy. Along with these player-based characteristics, government impacts on dynamics of competition are also investigated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.682-684
• /
• 2001

주어진 도메인에 대한 설계 및 구현 이전 단계인 분석 과정에서 객체지향의 방법을 적용할 수 있는 모델링 언어인 UML(Unified Modeling Language) 다이어그램 중 Use Case 다이어그램, 클래스 다이어그램, 순서도 등 3가지 모델들 간의 일관성(consistency)을 유지하기 위한 기준이나 구체적인 지침에 관한 여러 가지 형태의 연구들이 이미 행해져 왔지만, 본 논문에서는 이러한 다이어그램들 간의 일관성을 유지하는데 있어서 지켜져야 하는 기준과 checklist를 예제를 통해서 제시한다.

• Journal of Intelligence and Information Systems
• /
• v.17 no.3
• /
• pp.43-61
• /
• 2011

In this research, we propose a dynamic decision making using social context based on ontology. Dynamic adaptation is adopted for the high qualified decision making, which is defined as creation of proper information using contexts depending on decision maker's state of affairs in ubiquitous computing environment. Thereby, the context for the dynamic adaptation is classified as a static, dynamic and social context. Static context contains personal explicit information like demographic data. Dynamic context like weather or traffic information is provided by external information service provider. Finally, social context implies much more implicit knowledge such as social relationship than the other two-type context, but it is not easy to extract any implied tacit knowledge as well as generalized rules from the information. So, it was not easy for the social context to apply into dynamic adaptation. In this light, we tried the social context into the dynamic adaptation to generate context-appropriate personalized information. It is necessary to build modeling methodology to adopt dynamic adaptation using the context. The proposed context modeling used ontology and cases which are best to represent tacit and unstructured knowledge such as social context. Case-based reasoning and constraint satisfaction problem is applied into the dynamic decision making system for the dynamic adaption. Case-based reasoning is used case to represent the context including social, dynamic and static and to extract personalized knowledge from the personalized case-base. Constraint satisfaction problem is used when the selected case through the case-based reasoning needs dynamic adaptation, since it is usual to adapt the selected case because context can be changed timely according to environment status. The case-base reasoning adopts problem context for effective representation of static, dynamic and social context, which use a case structure with index and solution and problem ontology of decision maker. The case is stored in case-base as a repository of a decision maker's personal experience and knowledge. The constraint satisfaction problem use solution ontology which is extracted from collective intelligence which is generalized from solutions of decision makers. The solution ontology is retrieved to find proper solution depending on the decision maker's context when it is necessary. At the same time, dynamic adaptation is applied to adapt the selected case using solution ontology. The decision making process is comprised of following steps. First, whenever the system aware new context, the system converses the context into problem context ontology with case structure. Any context is defined by a case with a formal knowledge representation structure. Thereby, social context as implicit knowledge is also represented a formal form like a case. In addition, for the context modeling, ontology is also adopted. Second, we select a proper case as a decision making solution from decision maker's personal case-base. We convince that the selected case should be the best case depending on context related to decision maker's current status as well as decision maker's requirements. However, it is possible to change the environment and context around the decision maker and it is necessary to adapt the selected case. Third, if the selected case is not available or the decision maker doesn't satisfy according to the newly arrived context, then constraint satisfaction problem and solution ontology is applied to derive new solution for the decision maker. The constraint satisfaction problem uses to the previously selected case to adopt and solution ontology. The verification of the proposed methodology is processed by searching a meeting place according to the decision maker's requirements and context, the extracted solution shows the satisfaction depending on meeting purpose.

• The Journal of Society for e-Business Studies
• /
• v.6 no.3
• /
• pp.63-80
• /
• 2001

The construction of the students knowledge in e-Learning systems, namely the student modeling, is a core component used to develop e-Learning systems. However, existing e-Learning systems have many problems to share the knowledge in a heterogeneous student model and a distributed knowledge base. Because the methods of the knowledge representation are different in each e-Learning systems, the accumulated knowledge cannot be used or shared without a great deal of difficulty. In order to share this knowledge, existing systems must reconstruct the knowledge bases. Consequently, we propose a new a Case Markup Language based on XML in order to overcome these problems. A distributed e-Learning systems fan have the advantage of easily sharing and managing the heterogeneous knowledge base proposed by CaseML. Moreover students can generate and share a case knowledge to use the communication protocol of agents. In this paper, we have designed and developed a CaseML by using a knowledge markup language. Furthermore, in order to construct an intelligent e-Learning systems, we have done our research based on the design and development of the intelligent agent system by using CaseML.

• Journal of Korea Multimedia Society
• /
• v.13 no.6
• /
• pp.890-900
• /
• 2010

The Bayesian networks methods provide an efficient tool for performing information fusion and decision making under conditions of uncertainty. This paper proposes Bayes estimators for the system effectiveness in energy saving of the wireless sensor networks by use of the Bayesian method under the non-informative prior knowledge about means of active and sleep times based on time frames of sensor nodes in a wireless sensor network. And then, we conduct a case study on some Bayesian estimation models for the system energy saving effectiveness of a wireless sensor network, and evaluate and compare the performance of proposed Bayesian estimates of the system effectiveness in energy saving of the wireless sensor network. In the case study, we have recognized that the proposed Bayesian system energy saving effectiveness estimators are excellent to adapt in evaluation of energy efficiency using non-informative prior knowledge from previous experience with robustness according to given values of parameters.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.37-44
• /
• 2018

In applying modeling and simulation (M&S) techniques to analyze complex discrete event dynamic systems, conventionally users had to use different simulation environments depending on the user-level. To solve the inconvenience, this paper proposes an integrated development environment for M&S depending on user-level and a formalized interface to manage the model in the development environment efficiently. The interface consists of an extended DEVS formalism and model making rules. The development environment is divided into a modeling environment and a simulation environment. In the modeling environment, three modeling methods are provided for each level of the users. Users inputs several parameters to the model generated as a result of the modeling process, and experiments in various cases by using the simulation environment. The case study shows the implementation of the proposed M&S environment, and using the implemented environment, it shows the M&S process of the complex defense combat system.