• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1477-1482
• /
• 2004

Software development process consists of five phases : requirement, analysis, design, implementation and testing. There is almost always a gap between the system design and implementation stages, caused by a combination of the difficulty of programming and frequent changes on the system design. The goal of this paper is to reduce the gap between system design and implementation, and we design a tool producing a application program by recognizing business logic for a more rapid and flexible developing of software. The core idea of Application Program Generator is : firstly, to recognize that business application in the same domain share business logic and presentation logic : secondly, to treat system design as persistent meta-data ; thirdly, to use the persistent meta-data to build or customize applications as required.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.9
• /
• pp.1-10
• /
• 2009

The field of the web service orchestration introduced to generate a valuable service by reusing single services. Recently, it suggests rule-based searching and composition by the AI (Artificial Intelligence) instead of simple searching or orchestration based on the IOPE(Input, Output, Precondition, Effect) to implement the Semantic web as the web service of the next generation. It introduce a AOP programming paradigm from existing object-oriented programming paradigm for more efficient modularization of software. In this paper, we design a dynamic web service orchestration and invocation scheme applying Aspect-Oriented Programming (AOP) and Reflection for Semantic web. The proposed scheme makes use of the Reflection technique to gather dynamically meta data and generates byte code by AOP to compose dynamically web services. As well as, our scheme shows how to execute composed web services through dynamic proxy objects generated by the Reflection. For performance evaluation of the proposed scheme, we experiment on search performance of composed web services with respect to business logic layer and user view layer.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.4
• /
• pp.520-528
• /
• 2018

This paper studies the optimal inventory levels of Korea Assault Amphibious Vehicle(KAAV)'s assemblies in order to assure the required operational availability. The simulation model is built and implemented for the impact of the inventory levels on operational availability. Using regression analysis and integer programming, the optimal inventory levels of essential assemblies are suggested and analyzed. Finally, sensitivity analysis is conducted with recycling maintenance delay time.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.01a
• /
• pp.107-108
• /
• 2018

프로그래밍 교육이 필요성이 강조되고 있으며 효과적인 교육을 위해 여러 교수 방법이 적용되고 있다. 피지컬 컴퓨팅 또한 프로그래밍 교육을 향상시키는 방법으로 연구에서 활용되어 긍정적인 효과를 보이고 있다. 하지만 피지컬 컴퓨팅 교육관련 연구의 집단이 소수이므로 실제로 일반화하기 어려운 한계가 있다. 따라서 본 연구에서는 프로그래밍 교육에서 피지컬 컴퓨팅의 활용에 대한 문제해결력의 변화가 일반프로그래밍 교육에서의 변화와의 차이를 분석하고자 관련연구를 대상으로 메타분석을 진행하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.01a
• /
• pp.179-180
• /
• 2016

2015 개정 교육과정에 따라 초등학교 및 중학교에 프로그래밍 교육이 필수로 도입된다. 그러나 과거 5차 교육과정에도 프로그래밍 교육이 도입되었지만 지속되지 못했다. 프로그래밍 교육이 지속 가능하기 위해서는 다양한 요인을 고려하여 프로그래밍 학습 환경을 설계해야한다. 특히 학생들의 흥미, 관심, 그리고 긍정적인 태도등의 정의적 요인을 고려하여 교수학습 방법을 적용하는 것이 중요하다. 본 연구는 학생들에게 프로그래밍 교육을 어떻게 가르치는 것이 정의적 영역에 긍정적인 영향을 주는지 다양한 프로그래밍 교육 연구를 메타 분석하여 시사점을 제시하고자 하였다. 이를 위해 학습자들이 프로그래밍 교육을 통해 얻은 정의적 영역의 교육 효과를 교수학습 방법별로 메타 분석하였다. 프로그래밍 교육과 관련하여 수집한 연구 논문은 메타 분석 방법에 따라 단계별로 연구 자료를 추출하고 선정하는 절차를 통해 분석하였다.

• Journal of Korean Institute of Industrial Engineers
• /
• v.14 no.2
• /
• pp.53-61
• /
• 1988

Games such as baseball, soccer are scheduled by a given game type such as tournament, league or their mixed form. The objective of this paper is to find an efficient game-scheduling method with respect to traveling distance, break-time and other conditions. In this paper we first present two models which minimize traveling distance. The first model that a match is played once each other is solved by a heuristic method. In the second model that a match is played more than once, teams are paired by a modified 0 - 1 programming, and the pairs are rearranged in order to generate a number of workable schedules. Then Expert Systems is applied to solve breake-time and other conditions. In order to represent expertise's knowledge effectively, we present a new design of knowledge-base and data-base, inference engine including many rules and meta-rules which controls the global system. In knowledge-base, binary relation among various attributes is used to ease not only knowledge acquisition but also system execution.

• Journal of Intelligence and Information Systems
• /
• v.1 no.1
• /
• pp.111-122
• /
• 1995

전통적으로 스케줄링 문제를 해결하기 위해 LP(Linear Programming) 기법이 주로 적용되어 왔으나, 스케줄링 문제의 많은 자원과 지식, 제약조건의 복잡한 상관 관계를 LPrl법으로 표현하고 처리하기가 쉽지 않다. 따라서 최근에는 AI 기법을 스케줄링 문제에 많이 적용하고 있고, AI 기법은 지식 표현 및 휴리스틱을 다루기에 효과적이므로 문제를 모델링하고 해결하는데 용이하다 할 수 있다. 본 논문에서는 AI 기법을 기반으로 하여 스케줄링에 적합한 휴리스틱 및, 탐색기법, 지식표현 방법등을 연구하고, 이를 바탕으로 코스 스케줄링 시스템을 구현하였다. 먼저 시스템은 전체적으로 메타프로그래밍을 통하여 초기 스케줄링(initial scheduling)과 동적스케줄링 (reactive scheduling)을 수행하도록 하였다. 메타프로그램이 초기 스케줄링을 수행할때에는 휴리스틱과 자체적인 도메인 여과기법을 적용하여 탐색 공간의 불일치 요소(inconsistency)를 제거시킴으로써 백트랙킹의 발생을 최소화시켰다. 또한 초기 스케줄링의 결과를 가지고 메타프로그래밍이 동적 재스케줄링을 수행할때에는 제약조건을 통한 휴리스틱을 이용하여 초기해에 대한 조정을 최소화할 수 있는 메카니즘을 제시하였다. 이에 대한 적용 결과는 실험을 통하여 기존의 논리 언어가 제공하는 탐색 알고리즘과 비교하고 분석하였다.

• Journal of Intelligence and Information Systems
• /
• v.21 no.1
• /
• pp.99-118
• /
• 2015

Object-oriented programming languages have been widely selected for developing modern information systems. The use of concepts relating to object-oriented (OO, in short) programming has reduced efforts of reusing pre-existing codes, and the OO concepts have been proved to be a useful in interpreting system requirements. In line with this, we have witnessed that a modern conceptual modeling approach supports features of object-oriented programming. Unified Modeling Language or UML becomes one of de-facto standards for information system designers since the language provides a set of visual diagrams, comprehensive frameworks and flexible expressions. In a modeling process, UML users need to consider relationships between classes. Based on an explicit and clear representation of classes, the conceptual model from UML garners necessarily attributes and methods for guiding software engineers. Especially, identifying an association between a class of part and a class of whole is included in the standard grammar of UML. The representation of part-whole relationship is natural in a real world domain since many physical objects are perceived as part-whole relationship. In addition, even abstract concepts such as roles are easily identified by part-whole perception. It seems that a representation of part-whole in UML is reasonable and useful. However, it should be admitted that the use of UML is limited due to the lack of practical guidelines on how to identify a part-whole relationship and how to classify it into an aggregate- or a composite-association. Research efforts on developing the procedure knowledge is meaningful and timely in that misleading perception to part-whole relationship is hard to be filtered out in an initial conceptual modeling thus resulting in deterioration of system usability. The current method on identifying and classifying part-whole relationships is mainly counting on linguistic expression. This simple approach is rooted in the idea that a phrase of representing has-a constructs a par-whole perception between objects. If the relationship is strong, the association is classified as a composite association of part-whole relationship. In other cases, the relationship is an aggregate association. Admittedly, linguistic expressions contain clues for part-whole relationships; therefore, the approach is reasonable and cost-effective in general. Nevertheless, it does not cover concerns on accuracy and theoretical legitimacy. Research efforts on developing guidelines for part-whole identification and classification has not been accumulated sufficient achievements to solve this issue. The purpose of this study is to provide step-by-step guidelines for identifying and classifying part-whole relationships in the context of UML use. Based on the theoretical work on Meta-model Formalization, self-check forms that help conceptual modelers work on part-whole classes are developed. To evaluate the performance of suggested idea, an experiment approach was adopted. The findings show that UML users obtain better results with the guidelines based on Meta-model Formalization compared to a natural language classification scheme conventionally recommended by UML theorists. This study contributed to the stream of research effort about part-whole relationships by extending applicability of Meta-model Formalization. Compared to traditional approaches that target to establish criterion for evaluating a result of conceptual modeling, this study expands the scope to a process of modeling. Traditional theories on evaluation of part-whole relationship in the context of conceptual modeling aim to rule out incomplete or wrong representations. It is posed that qualification is still important; but, the lack of consideration on providing a practical alternative may reduce appropriateness of posterior inspection for modelers who want to reduce errors or misperceptions about part-whole identification and classification. The findings of this study can be further developed by introducing more comprehensive variables and real-world settings. In addition, it is highly recommended to replicate and extend the suggested idea of utilizing Meta-model formalization by creating different alternative forms of guidelines including plugins for integrated development environments.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.2
• /
• pp.38-44
• /
• 1998

This paper presents an integrated fault diagnosis expert system to assist SCADA operators in local control centers which controls unmanned distribution substations in a power system. The proposed system diagnoses various faults occurred in both substation devices and transmission devices. The system can be easily installed without disturbing main SCADA system. The system simply shares the dynamic information including alarms with main SCADA using dual data link interface. And the proposed expert system utilizes the fuzzy reasoning process in order to consider the uncertainty factor. The system is developed using a low cost personal computer owing to the special modular programming and the meta-inf!'lrence structure. Case studies showed a promising possibility.bility.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.1
• /
• pp.89-95
• /
• 2006

Planning distributed manufacturing logistics is one of main issues in supply chain management. This paper proposes a hybrid heuristic approach for the Multi-Level, multi-item Capacitated Lot Sizing Problem (MLCLSP) in supply chain network. MLCLSP corresponds to a mixed integer programming (MIP) problem. With integer variable solutions determined by heuristic search, this MIP problem becomes linear program (LP). By repeatedly solving the relaxed MIP problems with a heuristic search method in a hybrid manner, this proposed approach allocates finite manufacturing resources fur each distributed facilities and generates feasible production plans. Meta heuristic search algorithm is presented to solve the MIP problems. The experimental test evaluates the computational performance under a variety of problem scenarios.