• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Korean journal of communication and information
• /
• v.54
• /
• pp.58-75
• /
• 2011

This study explores the management of cable local channel and its related issue of renewed license. Programming of the local channel is the special obligation duty on the cable system operators(SO) under the article 70 (3) of the Broadcast Act. The law provides that SO should operate a local channel which produce, program and transmit the local information, a broadcast program guide and the official announcement items etc. under the conditions as prescribed by Presidential Decree. And the article 55 of the Enforcement Decree defines the scope of broadcast program which transmit through the local channels. And the Korea Communications Commission(KCC) grants a renewed licence 3-5 years based on the level of contribution to the development of local community under the article 31 of the Broadcasting Act and the Rules of Broadcast Evaluation. However, the management of local channel does not give the operators real benefit for the investment of a significant cost, and it could be a reason why the local channel programming has not been vitalizing despite of the legal coercion. To solve the several research questions, this study used in-depth interviews with the experts concerned and literature review for the government documents. The result shows that each SO local channel schedule almost 24 hour a day, but much of them is the repeat programming. In addition to that, the outcome reveals that the scale of the cost investment on the local channel is decreasing and the evaluation score of its management is not so positive figures. These result indicates that the policy of the cable local channel needs revised policy alternatives or paradigm on the basis of realistic goals.

• Journal of Korea Water Resources Association
• /
• v.31 no.6
• /
• pp.779-793
• /
• 1998

In this study, for the purpose of water supply planning, we propose a sophisticated multi-period mixed integer programming model that can coordinate the behavior of multi-reservoir operation, minimizing unnecessary spill. It can simulate the system with operating rules which are self- generated by the optimization engine in the algorithm. It is an optimization model in structure, but it indeed simulates the coordinating behavior of multi-reservoir operation. It minimizes the water shortfalls in demand requirements, maintaining flood reserve volume, minimizing unnecessary spill, maximizing hydropower generation release, keeping water storage levels high for efficient hydroelectric turbine operation. This optimization model is a large scale mixed integer programming problem that consists of 3.920 integer variables and 68.658 by 132.384 node-arc incidence matrix for 28 years of data. In order to handle the enormous amount of data generated by a big mathematical model, the utilization of DBMS (data base management system)seems to be inevitable. It has been tested with the Han River multi-reservoir system in Korea, which consists of 2 large multipurpose dams and 3 hydroelectric dams. We demonstrated successfully that there is a good chance of saving substantial amount of water should it be put to use in real time with a good inflow forecasting system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.2
• /
• pp.141-147
• /
• 2012

The purpose of the study is the acquisitions of knowledge related in job searching from local companies and job seekers using data mining techniques. At the first step, for the study, we had selected the local companies their headquarters are located in Jeonbuk province. Then we had picked the graduating students out from the high schools, colleges, and universities in the same area as the job seekers. After the targeting of the sample, we had surveyed 560 local companies and 14 schools for the collecting of the preliminary data. As the result of the survey, we could collect 173 responses from the companies and 551 responses from the job seekers. At the second step using data mining, we had adapted the C5.0 algorithm to extract the inference rules. Then we had used the Visual Basic (VB) programming language to visualize the rules at the third step. At the fourth step, we transformed the inference rules into DB tables. At the final step, we had executed the rule inferences to support the development of the long-term human resources development (HRD) strategies. As the result of the study, we could suggest the helpful information to the HRD directors and job seekers in designing their strategies in managing their jobs and career development.

• Journal of Korea Water Resources Association
• /
• v.51 no.spc
• /
• pp.1135-1148
• /
• 2018

Previous studies on reservoir operation have been assumed that the climate in the future would be similar to that in the past. However, in the presence of climate non-stationarity, Robust Optimization (RO) which finds the feasible solutions under broader uncertainty is necessary. RO improves the existing optimization method by adding a robust term to the objective function that controls the uncertainty inherent due to input data instability. This study proposed Robust-SDP that combines Stochastic Dynamic Programming (SDP) and RO to estimate dam operation rules while coping with climate non-stationarity. The future inflow series that reflect climate non-stationarity were synthetically generated. We then evaluated the capacity of the dam operation rules obtained from the past inflow series based on six evaluation indicators and two decision support schemes. Although Robust-SDP was successful in reducing the incidence of extreme water scarcity events under climate non-stationarity, there was a trade-off between the number of extreme water scarcity events and the water scarcity ratio. Thus, it is proposed that decision-makers choose their optimal rules in reference to the evaluation results and decision support illustrations.

• Journal of Information Processing Systems
• /
• v.2 no.1
• /
• pp.18-22
• /
• 2006

This paper proposes the framework of the scenario-based 3D image synthesizing system that allows common users who envision a scenario in their mind to realize it into the segments of cool animation. We focused on utilization of the existing motions to synthesize new motions for the objects. The framework is useful to build a 3D animation in game programming with a limited set of 3D objects. We also propose a practical algorithm to reuse and expand the objects. This algorithm is based on motion path modification rules. Both linear and nonlinear curve-fitting algorithms were applied to modify an animation by key frame interpolation and to make the motion appear realistic.

• Journal of KIISE:Software and Applications
• /
• v.27 no.6
• /
• pp.607-617
• /
• 2000

Concurrent programs, which are composed of threads that can operate concurrently, are intrinsically nondeterministic. Therefore, we can not directly apply classical testing or debugging techniques developed for sequential programs to concurrent programs because of the nonreproducibility due to nondeterminism. In this paper, we present a source tranformation method to guarantee the reproducibility of multi-threaded programs written in Java programming language. Once a mutli-threaded program has been transformed according to the transformation rules, we can force the program's execution to follow the given sequence of synchronized methods repeatedly and reduce the efforts to find the source of the errors. In addition, we present a method for checking the feasibility of the synchronized method sequence to be replayed.

• Journal of Information Technology Applications and Management
• /
• v.12 no.4
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.2-27
• /
• 2002

As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.