• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.89-92
• /
• 2003

It is often that a large-scale linear programming(LP) problem may contain many constraints which are redundant or cause infeasibility on account of inefficient formulation or some errors in data input. Presolving or preprocessing is a series of operations which removes the underlying redundancy or detects infeasibility in the given LP problem. It is essential for the speedup of an LP system solving large-scale problems to implement presolving techniques. For the recovery of an optimal solution for the original problem from an optimal solution for the presolved problem, a special procedure, so called postsolving, must be applied. In this paper, we present how a postsolving procedure is constructed and implemented in LPABO, a interior-point based LP system. Briefly, all presolving processes are logged in a data structure in LPABO, and after the end of the solution method an optimal solution for the original problem is obtained by tracing the logs. In each stage of the postsolving procedure, the optimality of intermediate solutions is maintained. We tested our postsolving procedure on Netlib, Gondzio and Kennington LP data sets, and concluded that the computational burden of the procedure is relatively negligible compared with the total solving time.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.2
• /
• pp.149-158
• /
• 1996

In this paper we describe designing and implementing a digital neural chip and a parallel neural machine for simulating large scale neural netsorks. The chip is a single-chip multiprocessor which has four digiral neural processors (DNP-II) of the same architecture. Each DNP-II has program memory and data memory, and the chip operates in MIMD (multi-instruction, multi-data) parallel processor. The DNP-II has the instruction set tailored to neural computation. Which can be sed to effectively simulate various neural network models including on-chip learning. The DNP-II facilitates four-way data-driven communication supporting the extensibility of parallel systems. The parallel neural machine consists of a host computer, processor boards, a buffer board and an interface board. Each processor board consists of 8*8 array of DNP-II(equivalently 2*2 neural chips). Each processor board acn be built including linear array, 2-D mesh and 2-D torus. This flexibility supports efficiency of mapping from neural network models into parallel strucgure. The neural system accomplishes the performance of maximum 40 GCPS(giga connection per second) with 16 processor boards.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.3
• /
• pp.845-850
• /
• 2014

The rapid development of shotgun proteomics is paving the way for extensive proteome profiling, while providing extensive information on various post translational modifications (PTMs) that occur to a proteome of interest. For example, the current phosphoproteomic methods can yield more than 10,000 phosphopeptides identified from a proteome sample. Despite these developments, it remains a challenging issue to pinpoint the true phosphorylation sites, especially when multiple sites are possible for phosphorylation in the peptides. We developed the Phospho-UMC filter, which is a simple method of localizing the site of phosphorylation using unique mass classes (UMCs) information to differentiate phosphopeptides with different phosphorylation sites and increase the confidence in phosphorylation site localization. The method was applied to large scale phosphopeptide profiling data and was demonstrated to be effective in the reducing ambiguity associated with the tandem mass spectrometric data analysis of phosphopeptides.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.1
• /
• pp.94-99
• /
• 2012

This paper discusses a decentralized sampled-data control problem for large-scale nonlinear systems. The system is represented in Takagi-Sugeno's form. Next, we design a decentralized analog controller based on the overlapping decomposition technique. The final step is to apply the intelligent digital redesign scheme for converting the analog controller into the sampled-data one. Design condition is represented in terms of linear matrix inequalities. A simulation result is provided for the effectiveness of the proposed design method.

• Electronics and Telecommunications Trends
• /
• v.14 no.4 s.58
• /
• pp.1-9
• /
• 1999

In this paper, we summarize the lessons learned from the applications of the software reliability engineering to a large-scale software project. The considered software is the software system of the TDX-10 ISDN switching system. The considered software consists of many components, called functional blocks. These functional blocks serve as the unit of coding and test. The software is continuing to be developed by adding new functional blocks. We are mainly concerned with the analysis of the effects of these software components to software reliability and with the analysis of the reliability evolution. We analyze the static characteristics of the software related to software reliability using failure data collected during system test. We also discussed a pattern which represents a local and global growth of the software reliability as version evolves. To find the pattern of software of the TDX-10 ISDN system, we apply the S-shaped model to a collection of failure data sets of each evolutionary version and the Goel-Okumoto (G-O) model to a grouped overall failure data set. We expect this pattern analysis will be helpful to plan and manage necessary human/resources for a new similar software project which is developed under the same developing circumstances by estimating the total software failures with respect to its size and time.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.4A
• /
• pp.399-414
• /
• 2004

In this paper, an evolution of software reliability engineering in a large-scale software project is summarized. The considered software consists of many components, called functional blocks in software of switching system. These functional blocks are served as the unit of coding and test, and the software is continuously updated by adding new functional blocks. We are mainly concerned with the analysis of the effects of these software components in software reliability and reliability evolution. We analyze the static characteristics of the software related to software reliability using collected failure data during system test. We also discussed a pattern which represents a local and global growth of the software reliability as version evolves. To find the pattern of system software, we apply the S-shaped model to a collection of failure data sets of each evolutionary version and the Goel-Okumoto(G-O) model to a grouped overall failure data set. We expect this pattern analysis will be helpful to plan and manage necessary human/resources fur a new similar software project which is developed under the same developing circumstances by estimating the total software failures with respect to its size and time.

• Korean Institute of Interior Design Journal
• /
• v.17 no.4
• /
• pp.66-74
• /
• 2008

A form of consumption has been changed to a form of pursuing rather qualitative sides than quantitative sides according to an improvement of the living level followed by an increase in national income and to an increase in women's advance to society in modern society. The above change had a lot of effects on children play space, a subsidiary means within commercial facilities. However, partial children play facilities have steady children injury cases by a lack of safety management facilities. Therefore, the study investigated indoor children play facilities installed in large-scale distribution stores as department stores and discount stores out of commercial facilities in Seoul. The study investigated actual conditions and collected picture data with a checklist drawn up on the basis of the safety management standard for three months from April, 2008 to June, 2008 by visiting five places under cooperation. The purpose of the study was to grasp actual conditions of safety management of play space within commercial facilities through the contents and picture data of the investigated checklist and to offer basic data in the side of safety management of commercial facilities and various indoor children play spaces by proposing security measures for the problems.

• Journal of IKEEE
• /
• v.27 no.3
• /
• pp.280-287
• /
• 2023

Deep learning advancements can solve computer vision problems, but large-scale datasets are necessary for high accuracy. In this paper, we propose an image generation technique using object bounding boxes and image edge components. The object bounding boxes are extracted from the images through object detection, and image edge components are used as input values for the image generation model to create new image data. As results of experiments, the images generated by the proposed method demonstrated similar image quality to the source images in the image quality assessment, and also exhibited good performance during the deep learning training process.

• Journal of Forest and Environmental Science
• /
• v.34 no.3
• /
• pp.246-248
• /
• 2018

Urban development and population have augmented the increase of impervious land-cover. This phenomenon has amplified the effects of climate change and increasing urban island effects due to increases in urban temperatures. Seoul, South Korea is one of the largest metropolitan cities in the world. While land uses in Seoul vary, land cover patterns have not changed much (under 2%) in the past 10 years, making the city a prime target for studying the effects of land cover types on the urban temperature. This research seeks to generalize the urban temperature of Seoul through a series of statistical tests using multi-temporal remote sensing data focusing on multiple scales and typologies of green space to determine its overall effectiveness in reducing the urban heat. The distribution of LST values was reduced as the size of urban forests increased. It means that changing temperature of large-scale green-spaces is less influenced because the broad distribution could be resulted in various external variables such as slope aspect, topographic height and density of planting areas, while small-scale urban forests are more affected from that. The large-scale green spaces contributed significantly to lowering urban temperature by showing a similar mean LST value. Both of concentration and dispersal of urban forests affected the reduction of urban temperature. Therefore, the findings of this research support that creating urban forests in an urban region could reduce urban temperature regardless of the scale.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2003.11a
• /
• pp.162-169
• /
• 2003

Excavation by TBM can be characterized by a rock-machine interaction during the cutting process on a small scale, but on a large scale the interaction between the rock mass and TBM becomes very significant. For the planning and evaluation of TBM tunnelling it needs to understand rock fracture mechanism by a cutter or cutters on a small scale, and to estimate penetration rate, advance rate and utilization on a large scale. In this study rock chipping mechanism due to cutter-penetration is analysed by numerical simulation, showing that rock chipping is mainly occurred by tensile failure. Also, through the analysis of factors that affect on TBM procedures in various assessment systems, it is determined that the key elements that should be considered in the planning and evaluation of TBM tunnelling are classified into rock properties, the geological structures and properties of rock mass, and the structural and functional specifications of the machine. The user-friendly assessment tool is developed, so that penetration rate, advance rate and TBM utilization are evaluated from various input data. The tool developed in this study can be applied to a practical TBM tunnelling by understanding TBM tunnelling procedures.