• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.65-74
• /
• 2004

This study concentrates on a new idea that is formulated as a creative spatialization in contemporary architecture. Suggested from the classical baroque, this study tries to open the actual sense area of 'the baroque' by analysing the architectural ideas of wrenching and folding by Frank O. Gehry. The redefined 'new baroque' operates in the chain of the transformable and flexible images that must be recognized as 'the real' in the sense of 'the most empirical' and are vulnerable to dispersal. The typical instrument of Gehry's 'new baroque architecture' is the enclosing of the space and its folding. This idea meet the theoretical gravitation field of the philosophy of Deleuze, in which the reconstituted baroque conception means the tension between the folds, on expansion and contraction of which the variable space is dependent. Through the general principle of 'the new baroque', a free dispersal of power, to architect is offered the possibility, to make the real world intimate to the real life and to produce from there a vivid new space, and to enjoyer and viewer the possibility, to perceive the operating power in and around oneself.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.2
• /
• pp.50-50
• /
• 2014

We present a new catalog of galaxies in the wider region of the Virgo cluster, based on the Sloan Digital Sky Survey (SDSS) Data Release 7. The Extended Virgo Cluster Catalog (EVCC) covers an area of 725 deg2 or 60.1 Mpc2. It is 5.2 times larger than the footprint of the classical Virgo Cluster Catalog (VCC) and reaches out to 3.5 times the virial radius of the Virgo cluster. We selected 1324 spectroscopically targeted galaxies with radial velocities less than 3000 km s-1. In addition, 265 galaxies that have been missed in the SDSS spectroscopic survey but have available redshifts in the NASA Extragalactic Database are also included. Our selection process secured a total of 1589 galaxies of which 676 galaxies are not included in the VCC. The certain and possible cluster members are defined by means of redshift comparison with a cluster infall model. We employed two independent and complementary galaxy classification schemes: the traditional morphological classification based on the visual inspection of optical images and a characterization of galaxies from their spectroscopic features. SDSS u, g, r, i, and z passband photometry of all EVCC galaxies was performed using Source Extractor. We compare the EVCC galaxies with the VCC in terms of morphology, spatial distribution, and luminosity function. The EVCC defines a comprehensive galaxy sample covering a wider range in galaxy density that is significantly different from the inner region of the Virgo cluster. It will be the foundation for forthcoming galaxy evolution studies in the extended Virgo cluster region, complementing ongoing and planned Virgo cluster surveys at various wavelengths.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.3
• /
• pp.639-652
• /
• 2015

In today's manufacturing environment, the process data can be easily measured and transferred to a computer for analysis in a real-time mode. As a result, it is possible to monitor several correlated quality variables simultaneously. Various multivariate statistical process control (MSPC) procedures have been presented to detect an out-of-control event. Although the classical MSPC procedures give the out-of-control signal, it is difficult to determine which variable has caused the signal. In order to solve this problem, data mining and machine learning techniques can be considered. In this paper, we applied the technique of decision tree learning to the MSPC, and we did simulation for MSPC procedures to monitor the bivariate normal process means. The results of simulation show that the overall performance of the MSPC procedure using decision tree learning technique is similar for several values of correlation coefficient, and the accurate classification rates for out-of-control are different depending on the values of correlation coefficient and the shift magnitude. The introduced procedure has the advantage that it provides the information about assignable causes, which can be required by practitioners.

• KSBB Journal
• /
• v.21 no.4
• /
• pp.241-247
• /
• 2006

The present study was intended to examine a basic scheme to determine the biochemical oxygen demand(BOD) of livestock wastewater by means of six individual dissolved oxygen(DO) sensors and its multi-measurable meter. Maximal point of the first order time derivative of the DO difference between DO distribution of sterilized livestock wastewater and that of non-sterilized livestock wastewater, was considered as the oxygen uptake rate(OUR) of microorganisms in livestock wastewater, as determined to be 0.00074 mg $O_2/{\ell}{\cdot}sec$. The present study showed that there was a fair linear relationship(97.72%) between maximal OUR and BOD values of livestock wastewater, the latter being determined by classical Winkler azide method. It was thus concluded that the present multi-biosensor system might be applicable to an on-line system for measurement of BOD of livestock wastewater.

• Fashion & Textile Research Journal
• /
• v.6 no.3
• /
• pp.297-306
• /
• 2004

Mehndi, becoming a kind of body fashion in western advanced countries nowadays, is a exquisite, classical fashion form sublimated to traditional faith, medicine and designing art. As one of the cultural arts, especially transmitted by women, a individual tradition of the way how to do the mehndi and the design has been handed down from one culture to another over a thousand of years and it is extensively using in many area, all around world today. Mehndi was used as preparing for special events or celebrations in India, Africa, Central Asia in order to pray for happiness, good luck and calm hart 5000 years ago. Especially, it is concerned with romantic love or a wedding and takes important part of a traditional wedding reception and bride adorning in the culture of Hindu or Islam. In addition to adorning skin, mehndi has various symbols, meaning, function, that is, as a speechless language, in several cultures, it has common meaning such as attraction, protection, celebration. The design of mehndi has been in harmony with the figure, colors, skin types of the dress or the ornament. According to the region, religion, design, mehndi is divided into the design of India and Morocco mostly. Indian design mainly shows flowers and paisley pattern, people widely recognize this design to celebrate and adorn bride in wedding ceremony, still apply mehndi the present time. Moroccan mehndi design, representing North Africa, characterized a bold geometrical figure which stands for belief in living under the protection from supernatural power. Through the understanding of these various meaning, function, symbolism of the design, adorning their body, the current general public use mehndi as not only aesthetic means but also another self expression.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.7
• /
• pp.797-803
• /
• 2012

Proportional solenoid valves are a modulating type that can control the displacement of valves continuously by means of electromagnetic forces proportional to the solenoid coil current. Because the solenoid-type modulating valves have the advantages of fast response and compact design over air-operated or motor-operated valves, they have been gaining acceptance in chemical and power plants to control the flow of fluids such as water, steam, and gas. This paper deals with the auto tuning of the position controller that can provide the proportional and integral gain automatically based on the dynamic system identification. The process characteristics of the solenoid valve are estimated with critical gain and critical period at a stability limit based on implemented relay feedback, and the controller parameters are determined by the classical Ziegler-Nichols design method. The auto-tuning algorithm was verified with experiments, and the effects of the operating point at which the relay control is activated as well as the relay amplitude were investigated.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Korean Journal of Acupuncture
• /
• v.21 no.3
• /
• pp.147-158
• /
• 2004

Objectives : This study was aimed to investigate the methods for acupuncture and moxibustional treatment to insomnia Methods : The insomnia is classified by seven cause at main subject. According to this, arrange the acupuncture and moxibustional treatment for classical books, and explain eight meridian related to insomnia. Results : 1. Insomnia means deficiency of sleeping and it is the word generally used when a short period of sleeping, difficulty for deep sleeping and difficulty for recovery of original vital energy comes out. In oriental medicine, they understand that uneasiness condition occurred by abnormal operation of the internal organs as heart, liver, gallbladder, spleen, stomach, kidney, etc. caused by external affection or internal injury becomes Insomnia. 2. Cause of insomnia can be classified majorly as fire-transformation of liver and gallbladder , inner shaking of phlegm-heat , insufficiency of both the heart and the spleen, disharmony between heat and kidney, the dysfunction of the stomach, timidity of heart and gallbladder, the deficiency of Qi of the lung. They make insomnia with bad influence upon body and spirit. 3. The meridian system such as Heart Meridian of Hand Soeum, Pericardium Meridian of Hand Gworeum, Stomach Meridian of Foot Yangmyeong, Spleen Meridian of Foot Taeeum, Bladder Meridian of Foot Taeyang, Kidney Meridian of Foot Soeum, Gallbladder Meridian of Foot Soyang, Liver Meridian of Foot Gworeum and Lung Meridian of Hand Taeeum are used to treat insomnia. Sinmun acupoint and Naegwan acupoint are often used in particular because the they are good for calmming the spirit, the heart and purging the heart of (pathogenic) fire. 4. Especialy, Back-Su points of Bladder Meridian of Foot Taeyang was used by each causes. The Back-su Points was mainly used for heal the insomnia because the Back-Su points has good competent to control the ability of internal organs by direct effect to it. It is because the vitality flows through around back-Su. Conclusions : It comes to a conclusion as follows with research for relevancy of the main cause of insomnia and meridian system includes meridian point.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.6
• /
• pp.865-871
• /
• 2009

In this paper, a novel feedback linearization is proposed for discrete-time nonlinear systems described by discrete-time T-S fuzzy models. The local linear models of a T-S fuzzy model are transformed to a controllable canonical form respectively, and their T-S fuzzy combination results in a feedback linearizable Tagaki-Sugeno fuzzy model. Based on this model, a nonlinear state feedback linearizing input is determined. Nonlinear state transformation is inferred from the linear state transformations for the controllable canonical forms. The proposed method of this paper is more intuitive and easier to understand mathematically compared to the well-known feedback linearization technique which requires a profound mathematical background. The feedback linearizable condition of this paper is also weakened compared to the conventional feedback linearization. This means that larger class of nonlinear systems is linearizable compared to the case of classical linearization.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.18 no.3
• /
• pp.291-302
• /
• 2005

Due to the importance of the parameter in structural response, the uncertain elastic modulus was located at the center of stochastic analysis, where the response variability caused by the uncertain system parameters is pursued. However when we analyze the so-called stochastic systems, as many parameters as possible must be included in the analysis if we want to obtain the response variability that can reach a true one, even in an approximate sense. In this paper, a formulation to determine the statistical behavior of in-plane structures due to multiple uncertain material parameters, i.e., elastic modulus and Poisson's ratio, is suggested. To this end, the polynomial expansion on the coefficients of constitutive matrix is employed. In constructing the modified auto-and cross-correlation functions, use is made of the general equation for n-th moment. For the computational purpose, the infinite series of stochastic sub-stiffness matrices is truncated preserving required accuracy. To demons4rate the validity of the proposed formulation, an exemplary example is analyzed and the results are compared with those obtained by means of classical Monte Carlo simulation, which is based on the local averaging scheme.