• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.89-92
• /
• 2007

This paper describes the GIS system that enables users to look up the final destination on a map automatically by setting up a random radius of threshold under the present user position. Various information systems based on the existing GIS have disadvantage that a search is difficult when the destination location is not clear. And it is inefficient that the processing time is delay due to a complex configuration and large amount of informations based on the target of special business supports. Therefore, this paper improves these problems and proposes the customized geographic information system which is for the general user. The customized geographic information system confirms the detail items from search results, which is destinations fitting for a condition in the suitable radius of threshold from the present user position. And the user can look up the suitable final destination on a map easily using the customized information system. The result of this paper, which is based on the sample of the large unit locations, will be expected to be able to guide more detail, extensive and various informations.

• BMB Reports
• /
• v.31 no.4
• /
• pp.307-327
• /
• 1998

Cytochrome c peroxidase (CcP) is a yeast mitochondrial enzyme which catalyzes the reduction of hydrogen peroxide to water using two equivalents of ferrocytochrome c. The CcP/cytochrome c system has many features which make it a very useful model for detailed investigation of heme protein structure/function relationships including activation of hydrogen peroxide, protein-protein interactions, and long-range electron transfer. Both CcP and cytochrome c are single heme, single subunit proteins of modest size. High-resolution crystallographic structures of both proteins, of one-to-one complexes of the two proteins, and a number of active-site mutants are available. Site-directed mutagenesis studies indicate that the distal histidine in CcP is primarily responsible for rapid utilization of hydrogen peroxide implying significantly different properties of the distal histidine in the peroxidases compared to the globins. CcP and cytochrome c bind to form a dynamic one-to-one complex. The binding is largely electrostatic in nature with a small, unfavorable enthalpy of binding and a large positive entropy change upon complex formation. The cytochrome c-binding site on CcP has been mapped in solution by measuring the binding affinities between cytochrome c and a number of CcP surface mutations. The binding site for cytochrome c in solution is consistent with the crystallographic structure of the one-to-one complex. Evidence for the involvement of a second, low-affinity cytochrome c-binding site on CcP in long-range electron transfer between the two proteins is reviewed.

• Journal of Korean Institute of Industrial Engineers
• /
• v.37 no.4
• /
• pp.390-399
• /
• 2011

Generally the life-cycle cost of complex systems composed of several sub systems or equipments such as train, aircraft weapon systems is spent much more during operation and maintenance phase than development phase. The maintenance cost for maintaining the availability and extending the life span of systems comprise a large proportion of systems operation cost. The cycle of preventive maintenance affects operation and maintenance cost a lot. In this study we introduce a way minimizing life-cycle cost of systems by calculating more reliable preventive maintenance period than the results of previous study using systems reliability data considered the reliability and failure effect ratio of sub-systems or components. We can solve the preventive maintenance period problem known as NP-Hard as quick as possible by using modified genetic algorithm than using other models introduced in previous study.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.8
• /
• pp.1060-1066
• /
• 2021

Recently, researches for quantum computers have been carried out in various fields. Quantum computers performs calculations by utilizing various phenomena and characteristics of quantum mechanics such as quantum entanglement and quantum superposition, thus it is a very complex calculation process compared to classical computers used in the past. In order to simulate a quantum computer, many factors and parameters of a quantum computer need to be analyzed, for example, error verification, optimization, and reliability verification. Therefore, it is necessary to visualize circuits that can intuitively simulate the configuration of the quantum computer components. In this paper, we present a novel visualization method for designing complex quantum computer system, and attempt to create a 3D visualization toolkit to deploy large circuits, provide help a new way to design large-scale quantum computing systems that can be built into future computing systems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.12
• /
• pp.1014-1022
• /
• 2002

An objective of Automated Highway Systems (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation. AHS is an example of a large scale, multiagent complex dynamical system and is ideally suited for a hierarchical hybrid controller. We discuss a design issue of efficient hybrid controllers for the platoon maneuvers on AHS. For the modeling of a hybrid system including the merge and split operations, a safety distance policy is introduced for the merge and split operations. After that, the platoon system will be modeled by a hybrid system In addition, a hybrid controller for the proposed merge and split operation models is presented. Finally, the performance of the proposed hybrid control scheme is demonstrated via scenarios for platoon maneuvers.

• Korean Journal of Hydrosciences
• /
• v.4
• /
• pp.65-79
• /
• 1993

Selection of the best operating rule among a set of alternatives for a multipurpose reservoir system operation requires to evaluate many minor criteria in addition to the major objectives assessed to the system. These problems are sufficiently complex and difficult that they are beyond heuristic decision rules and experiences in case several noncommensurable multiple criteria are included in the evaluation. With the assistance of multicriterion decision analysis techniques, it is possible to select the best one among various alternatives by systematically comparing and ranking the alternatives with respect to the criteria of choice. Evaluation criteria for multipurpose reservoir system operating rules were identified and defined, and the multicriterion decision analysis techniques were applied to evaluate the four existing operating rules of the Chungju multipurpose project according to the identified nine multiple criteria. The application results show that the methodology is very efficient to select the best operation alternative among a finite number of operating rules with many evaluation criteria for a large-scale reservoir system operation.

• Journal of Applied Reliability
• /
• v.9 no.2
• /
• pp.121-130
• /
• 2009

The power law process model the Rate of occurrence of failures(ROCOF) with monotonic trend during the operating time. However, the power law process is inappropriate when a non-monotonic trend in the failure data is observed. In this paper we deals with the reliability modeling of the failure process of large and complex repairable system whose rate of occurrence of failures shows the non-monotonic trend. We suggest a sectional model and a change-point test based on the Schwarz information criterion(SIC) to describe the non-monotonic trend. Maximum likelihood is also suggested to estimate parameters of sectional model. The suggested methods are applied to field data from an repairable system.

• Proceedings of the KSR Conference
• /
• 2003.10b
• /
• pp.454-459
• /
• 2003

The process of determining whether, when, where and how to intervene, of deciding on optimum allocation of resources and minimizing the cost is a very complex problem: different track sections tend to behave differently under the effects of loading; decision-making processes for maintenance work are closely interrelated technically and economically; decision-making for maintenance plans is based on a large quantity of technical and economic information, extensive knowledge and above all experience. For that reason, It is considered very important to develope objective and computer-aided decision-making support system for track maintenance plan. On this paper, we reviewed ECOTRACK system and present the plan of develope decision-making support system for track maintenance appropriate to local condition.

• Proceedings of the KIEE Conference
• /
• 2001.05a
• /
• pp.27-29
• /
• 2001

As the amount of electric power consumption is increasing rapidly, the power systems are complex and growing larger. It is required that the quality of electricity is better. To satisfy this demands It is required to analyze the data of the fault accurately and then to find a cause and to enforce a countermeasure. We analyzed the fault of transmission & substation installation over 66kV statistically to operate the power system well. We introduced the faults that are classified into the cause, the facilities, the voltage. This paper explains the experience of the fault in electric power coporation that is operating the large power system. This paper will be meaningful. because this paper gives the data of real power system. We wish that the reliability of power suppliment will be improved, as using this paper properly and this paper is helpful to the growth of this field and the development of technology.