• Journal of Korea Water Resources Association
• /
• v.33 no.5
• /
• pp.593-601
• /
• 2000

Analyzing monthly inflows of the Chung-Ju Dam associated with EI Nino Southern Oscillation (ENSO), Kim and Lee(2000) reported that the fall and winter inflows in EI Nino years tended to be low while those in La Nina years tended to be high. This study proposes a methodology of employing such a teleconnection between ENSO and inflow in reservoir operations. The ENSO information is used as a hydrologic state variable in stochastic dynamic programming (SDP) to derive a monthly optimal rule for operating the Chung- Ju Dam. An alternative operating rule is also derived with the SDP with no hydrologic state variable. Both of the SDP operating rules are simulated and compared to examine the value of using the ENSO information in operations of the Chung-Ju Dam. The simulation results show that the operating rule using the ENSO information increases energy generation and reliability of water supply as well as reduces spill. spill.

• Journal of Navigation and Port Research
• /
• v.41 no.3
• /
• pp.149-154
• /
• 2017

Recently, container terminal operators have made efforts to develop an efficient remarshalling plan in response to the increase in automation of equipment handling and transport of containers in the terminals. Usually, containers are handled by multiple AYCs(automated yard cranes) in-yard in an automated container terminal, and terminal operators establish a remarshalling plan using slack time to increase the efficiency of ship operation. This study develops the optimal mathematical model through mixed integer programming as a solution to the problem of dispatching multiple AYCs. Considering the difficulty of direct application to the field due to computation time, we analyze the five prototypical dispatching rules for real world adaptation. A numerical experiment found that the maximum weight ratio (MR) rule and the maximum weight (MW) rule are the ideal dispatching solutions to the multiple AYCs dispatching problem.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.385-390
• /
• 2005

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.347-357
• /
• 2003

The web is an important source of information and most of Web applications are based on form documents in HTML-based form documents only play a role as user interfaces, and they do not involve the procedures or rules if business process which form document designers assume. However, from documents imply methods for treating documents, and these embedded procedural knowledge can be utilized.actively in automation of business process. In this respect, we Investigate the activeness of documents with cognitive science to automate business processes based on from documents. Through this, we have a new concept and applicability of active documents. Our active documents include business rules and declarative knowledge to support the automation of document processing. Also, we propose a processing framework for the active documents. The framework has two phases: build-time and run-time. in order to demonstrate the usefulness of the proposed framework, a prototype called ActiveForm is designed and implemented for requisition processing them in an inference engine can enhance the intelligence of Internet applications.

• Water Engineering Research
• /
• v.3 no.1
• /
• pp.57-62
• /
• 2002

This research is intended to integrate long-term operation rules and real time operation policy for conservation & flood control in a reservoir. The familiar Yield model has been modified and used to provide long-term rule curves. The model employs linear programming technique under given physical conditions, i.e., total capacity, dead storage, spillways, outlet capacity and their respective elevations to find required and desired minimum storage fur different demands. To investigate the system behavior resulting from the above-mentioned operating policy, i.e., the rule curves, the simulation model was used. Results of the simulation model show that the results of the optimization model are indeed valid. After confirmation of the above mentioned rule curves by the simulation models, gate operation procedure was merged with the long term operation rules to determine the optimum reservoir operating policy. In the gate operation procedure, operating policy in downstream flood plain, i.e., determination of damaging and non-damaging discharges in flood plain, peak floods, which could be routed by reservoir, are determined. Also outflow hydrograph and variations of water surface levels for two known hydrographs are determined. To examine efficiency of the above-mentioned models and their ability in determining the optimum operation policy, Esteghlal reservoir in Iran was analyzed as a case study. A numerical model fur the solution of two-dimensional dam break problems using fractional step method is developed on unstructured grid. The model is based on second-order Weighted Averaged Flux(WAF) scheme with HLLC approximate Riemann solver. To control the nonphysical oscillations associated with second-order accuracy, TVD scheme with SUPERBEE limiter is used. The developed model is verified by comparing the computational solutions with analytic solutions in idealized test cases. Very good agreements have been achieved in the verifications.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.46 no.2
• /
• pp.114-123
• /
• 2009

Context-aware systems are reactive computing systems, aware of external context. Considering various sensors and actuators connected, application programming on top of such systems is known to be much more complex than in contentional ones. This paper suggests a formal framework for context-aware systems, by extracting their common properties. That makes a useful birds-eye view for the behaviors of a whole complex system, as a base for a convenient developing environment and systematic analysis. In this framework, reactive-ness is handled by event-condition-action rules and global state-transitions, which are essential in a lot of context-aware applications. In addition, behaviors of each elementary device are modelled with its own state-transitions, and tightly bound to the entire task.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.731-746
• /
• 1997

The usage of object models for the development of software has been frowung due to the prevalence of the ob-ject oriented paradigm.The object moedels produced as results of requirments analysis and design activities are vety veneficial to the implementation phase.It is even possible for source code to be genrated automatically if object models are concrete enough.Therefore system analyzers and desingners should make an dffort to refine theabstrace ogject model defined at.an early stage in order to achieve a more conrete object model.In general,re-fining an abstrace object model into a concrete model depends too much on the desigver's infromal experience.In this paper,we persent the refinement techniques required for concreting an abstract object model bassed on OMT(Object Modeling Technique)'s notation,We will discuss the definition of the abstraction level of an object model and the transformational rules of refinement.These transformational rules are currently applied to the design of a software tool,named Process Modeler,which is a major component of the software development process modeling system for ICS(Information Communication Service). Finally we can achieve a concrete object model which can easily be translated into C++ source code.

• Journal of Creative Information Culture
• /
• v.6 no.3
• /
• pp.209-217
• /
• 2020

Recently, interest in data analysis has increased, and convergence research through data analysis has been actively conducted in various fields such as engineering, natural science, and social science. In the field of architecture, various studies using data analysis are being conducted, and in particular, efforts are being made to solve the problems in the field of architecture that have been quantitatively expanded through the urbanization process. In this study, data analysis on residential satisfaction of residents in residential environment improvement areas and similar neighborhoods through urban regeneration projects is performed. Through analysis using R for post-residential evaluation elements that are conducted after building construction and occupancy, important evaluation items that affect the satisfaction of the residential environment are identified by analyzing the association rules between each evaluation element and identifying the frequency of major requirements of residents. To grasp. Through this, we intend to conduct convergence research between IT and architecture fields, such as the development of a system that can recommend high-quality residential areas as well as providing data for securing high-quality residential spaces when constructing residential areas in the future.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.5
• /
• pp.209-218
• /
• 2015

BPEL is used in various domains since it can describe the flow of works according to conditions and rules, and it can call web services in service-oriented computing environments. However, new functions that are not provided by BPEL grammar are required in specific domains. Generally, when new functions are required, the domain-specific language should be newly defined and developed, which requires high development cost. In this regard, a new function needs to be defined and added instead of developing domain-specific language with the new functions added. However, such methods only allow an addition of a single function, and it is difficult to design and add new functions according to the needs. This paper defines XAS4B document, which extends the BPEL grammar function through XML schema in order to add new functions, and proposes BPEL engine generator that generates BPEL engine with the new functions added by processing the document. The XAS4B document enables the creation of a new grammar added to BPEL using XML schema. It also shows the process of adding new functions to BPEL engine using AspectJ, JAVA implementation of aspect-oriented programming. The proposed system can add new functions using AspectJ without modifying BPEL engine. This allows the provision of new functions at low cost in various domains.

• 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.