• Proceedings of the KSRS Conference
• /
• 1998.09a
• /
• pp.313-318
• /
• 1998

Electro-Optical Camera(EOC) is the main payload of Korea Multi-Purpose SATellite(KOMPSAT) with the mission of cartography to build up a digital map of Korean territory including Digital Terrain Elevation Map(DTEM). This instrument which comprises EOC Sensor Assembly and EOC Electronics Assembly produces the panchromatic images of 6.6 m GSD with a swath wider than 17 km by push-broom scanning and spacecraft body pointing in a visible range of wavelength, 510 ~ 730 nm. The high resolution panchromatic image is to be collected for 2 minutes during 98 minutes of orbit cycle covering about 800 km along ground track, over the mission lifetime of 3 years with the functions of programmable rain/offset and on-board image data storage. The image of 8 bit digitization, which is collected by a full reflective type F8.3 triplet without obscuration, is to be transmitted to Ground Station at a rate less than 25 Mbps. EOC was elaborated to have the performance which meets or surpasses its requirements of design phase. The spectral response the modulation transfer function, and the uniformity of all the 2592 pixel of CCD of EOC are illustrated as they were measured for the convenience of end-user. The spectral response was measured with respect to each gain setup of EOC and this is expected to give the capability of generating more accurate panchromatic image to the EOC data users. The modulation transfer function of EOC was measured as greater than 16% at Nyquist frequency over the entire field of view which exceeds its requirement of larger than 10%, The uniformity that shows the relative response of each pixel of CCD was measured at every pixel of the Focal Plane Array of EOC and is illustrated for the data processing.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2000.06a
• /
• pp.93-105
• /
• 2000

GIS is a powerful toolbox in managing spatial data associated with attribute data. However GIS is short of spatial analysis function and graphic user interface(GUI) function in dealing with dynamic planning problems. Decision Support Systems(DSS) make up for the shortage of GIS by providing GUI function, modeling function and database function. Spatial Decision Support Systems(SDSS), a new kind of DSS, incorporate display function, basic spatial analysis function and manipulation function of spatial data and attribute data of GIS and GUI function, modeling function and database function of DSS in dealing with spatial planning problems. Planning Support Systems(PSS) add more advanced spatial analysis function and intertemporal function to the functions of SDSS. This study focuses on the modeling of a PSS for capacity expansion of water-distribution network depending upon land use planning by using GIS, value engineering(VE) and life cycle costing(LCC). The PSS shows a guideline about the investment of water-distribution networks related to urban growth management through generating certain numbers of dynamic alternatives to supply the amount of water caused by land use planning.

• Molecules and Cells
• /
• v.26 no.3
• /
• pp.236-242
• /
• 2008

Invertase (${\beta}$-D-fructofuranosidase; EC 3.2.1.26) catalyzes the conversion of sucrose into glucose and fructose and is involved in an array of important processes, including phloem unloading, carbon partitioning, the response to pathogens, and the control of cell differentiation and development. Its importance may have caused the invertases to evolve into a multigene family whose members are regulated by a variety of different mechanisms, such as pH, sucrose levels, and inhibitor proteins. Although putative invertase inhibitors in the Arabidopsis genome are easy to locate, few studies have been conducted to elucidate their individual functions in vivo in plant growth and development because of their high redundancy. In this study we assessed the functional role of the putative invertase inhibitors in Arabidopsis by generating transgenic plants harboring a putative invertase inhibitor gene under the control of the CaMV35S promoter. A transgenic plant that expressed high levels of the putative invertase inhibitor transcript when grown under normal conditions was chosen for the current study. To our surprise, the stability of the invertase inhibitor transcripts was shown to be down-regulated by the phytohormone ABA (abscisic acid). It is well established that ABA enhances invertase activity in vivo but the underlying mechanisms are still poorly understood. Our results thus suggest that one way ABA regulates invertase activity is by down-regulating its inhibitor.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.1
• /
• pp.51-60
• /
• 2013

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

• Nuclear Engineering and Technology
• /
• v.16 no.4
• /
• pp.181-194
• /
• 1984

The in-core fuel management problem was studied by use of the calculus of variations. Two functions of interest to a public power utility, the profit function and the cost function, were subjected to the constraints of criticality, the reactor turnup equations and an inequality constraint on the maximum allowable power density. The variational solution of the initial profit rate demonstrated that there are two distinct regions of the reactor, a constant power region and a minimum inventory or flat thermal flux region. The transition point between these regions is dependent on the relative importance of the profit for generating power and the interest charges for the fuel. The fuel cycle cost function was then used to optimize a three equal volume region reactor with a constant fuel enrichment. The inequality constraint on the maximum allowable power density requires that the inequality become an equality constraint at some points in the reactor. and at all times throughout the core cycle. The finite difference equations for reactor criticality and fuel burnup in conjunction with the equality constraint on power density were solved, and the method of gradients was used to locate an optimum enrichment. The results of this calculation showed that standard non-linear optimization techniques can be used to optimize a reactor when the inequality constraints are properly applied.

• International journal of advanced smart convergence
• /
• v.5 no.4
• /
• pp.15-20
• /
• 2016

When a virtual sound source for 3D auditory system is reproduced by a linear loudspeaker array, listeners can perceive not only the direction of the source, but also its distance. Control over perceived distance has often been implemented via the adjustment of various acoustic parameters, such as loudness, spectrum change, and the direct-to-reverberant energy ratio; however, there is a neglected yet powerful cue to the distance of a nearby virtual sound source that can be manipulated for sources that are positioned away from the listener's median plane. This paper address the problem of generating binaural signals for moving sources in closed or in open environments. The proposed perceptual enhancement algorithm composed of three main parts is developed: propagation, reverberation and the effect of the head, torso and pinna. For propagation the effect of attenuation due to distance and molecular air-absorption is considered. Related to the interaction of sounds with the environment, especially in closed environments is reverberation. The effects of the head, torso and pinna on signals that arrive at the listener are also objectives of the consideration. The set of HRTF that have been used to simulate the virtual sound source environment for 3D auditory system. Special attention has been given to the modelling and interpolation of HRTFs for the generation of new transfer functions and definition of trajectories, definition of closed environment, etc. also be considered for their inclusion in the program to achieve realistic binaural renderings. The evaluation is implemented in MATLAB.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.15 no.4
• /
• pp.14-22
• /
• 2001

In this paper, we design the Adaptive Neuro-Fuzzy Precompensator(ANFP) for the suppression of low-frequency oscillation and the improvement of system stability. Here, ANFP is designed to compensate the conventional Power System Stabilizer(PSS). This design technique has the structural merit that is easily implemented by adding ANFP to an existing PSS. Firstly, the Fuzzy Precompensator with Loaming ability is constructed and is directly learned from the input and output data of the generating unit. Because the ANFP has the property of learning, fuzzy rules and membership functions of the compensator can be automatically tuned by teaming algorithm Loaming is based on the minimization of the ems evaluated by comparing the output of the ANFP and a desired controller. Case studies show the 7posed schema can be provided the good damping of the power system over the wide range of operating conditions and improved dynamic performance of the system.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.2
• /
• pp.79-86
• /
• 2020

To make a satisfactory decision regarding project scheduling, a trade-off between the resource-related cost and project duration must be considered. A beneficial method for decision makers is to provide a number of alternative schedules of diverse project duration with minimum resource cost. In view of optimization, the alternative schedules are Pareto sets under multi-objective of project duration and resource cost. Assuming that resource cost is closely related to resource leveling, a heuristic algorithm for resource capacity reduction (HRCR) is developed in this study in order to generate the Pareto sets efficiently. The heuristic is based on the fact that resource leveling can be improved by systematically reducing the resource capacity. Once the reduced resource capacity is given, a schedule with minimum project duration can be obtained by solving a resource-constrained project scheduling problem. In HRCR, VNS (Variable Neighborhood Search) is implemented to solve the resource-constrained project scheduling problem. Extensive experiments to evaluate the HRCR performance are accomplished with standard benchmarking data sets, PSPLIB. Considering 5 resource leveling objective functions, it is shown that HRCR outperforms well-known multi-objective optimization algorithm, SPEA2 (Strength Pareto Evolutionary Algorithm-2), in generating dominant Pareto sets. The number of approximate Pareto optimal also can be extended by modifying weight parameter to reduce resource capacity in HRCR.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.9A
• /
• pp.931-939
• /
• 2007

This paper describes the system which automatically generates instruction-set simulators cores using the SMDL. SMDL describes structure and instruction-set information of a target DSP machine. Analyzing behavioral information of each pipeline stage of all instructions on a target ASIPS, the proposed system automatically generates a cycle-accurate instruction set simulator in C++ for a target processor. The proposed system has been tested by generating instruction-set simulators for ARM9E-S, ADSP-TS20x, and TMS320C2x architectures. Experiments were performed by checking the functions of the $4{\times}4$ matrix multiplication, 16-bit IIR filter, 32-bit multiplication, and the FFT using the generated simulators. Experimental results show the functional accuracy of the generated simulators.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.2
• /
• pp.461-469
• /
• 2000

In the paper, the design and the implementation of the netscape plug-in and the speech synthesis enginegenerating the speech sounds from the text information of the web pages are described. The steps of the generating speech sound from an web pages are the speech synthesis plug-in is activated when the netscape finds the audio/xesp MIME data type embedded in the browsed web page; the HTML file referenced in the EMBED MTML tag is down loaded from the referenced URL to send to the commander object located in the said plug-in; The speech synthesis engine control tags and the text characters are extracted from the down loaded HTML document by the commander object the synthesized speech sounds are generated by the speech synthesis engine. The speech synthesis engine interprets the command streams from the commander objects to call the member functions for the processing of the speech segment data in the data banks. The commander object and the speech synthesis engine are designed as an independent object to enhancethe flexitility and the portability.