• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2003.05a
• /
• pp.123-126
• /
• 2003

Internationally, Korean people and society are known to be workaholic, however, recently some changes have come with the inauguration of the 5 working-days system as well as the rising of economic power and high level of education. Many people come to enjoy leisure time with various activities. Especially, arts become the subject of concern as a kind of leisure life, and also gallery become a important space. However, the renovation of the gallery space is required Inevitably because many galleries have been located in too formal or fixed building space, and the management of it has not been executed thoroughly. This study aims at the suggestion of the specialized and differentiated renovation plan for gallery as cultural space offering the right notion and information about the arts as well as rest to citizens, also as exhibit space showing the object efficiently.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.137-143
• /
• 1992

The purpose of this paper is to provide the affirmative solution of the following conjecture due to Davis and Geramita. Conjecture; Let A=R[T] be a polynomial ring in one variable, where R is a regular local ring of dimension d. Then maximal ideals in A are complete intersection. Geramita has proved that the conjecture is true when R is a regular local ring of dimension 2. Whatwadekar has rpoved that conjecture is true when R is a formal power series ring over a field and also when R is a localization of an affine algebra over an infinite perfect field. Nashier also proved that conjecture is true when R is a local ring of D[ $X_{1}$,.., $X_{d-1}$] at the maximal ideal (.pi., $X_{1}$,.., $X_{d-1}$) where (D,(.pi.)) is a discrete valuation ring with infinite residue field. The methods to establish our results are following from Nashier's method. We divide this paper into three sections. In section 1 we state Theorems without proofs which are used in section 2 and 3. In section 2 we prove some lemmas and propositions which are used in proving our results. In section 3 we prove our main theorem.eorem.rem.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.4
• /
• pp.509-518
• /
• 1993

Protocol conversion is to resolve the imcompatibility between networks so that users on different protocols can communicate with each other. This paper designs a formal model, EPN , to increase its modeling power and analyze conversion protocol and proposes a conversion algorithm using it. The conversion algorithm has two capabilities : synchronization and automatic error recovery function. Therefore burden of protocol converter design will be reduced, automatic protocol converter design can be possible and implementation for half-gateway will be easy.

• Journal of Korean Academic Society of Home Health Care Nursing
• /
• v.24 no.1
• /
• pp.79-86
• /
• 2017

Purpose: This study was conducted to identify the factors affecting burnout of caregivers in geriatric hospitals. Methods: Data were collected from 266 formal caregivers working at Korean geriatric hospitals using self-report questionnaires between May 16 and June 30, 2016. The measured variables were burnout, emotional labor, job stress, job satisfaction, and self-efficacy experienced by caregivers. T-tests, ANOVA, Pearson correlation coefficients, and multiple regression were employed for data analysis. Results: The results indicated that emotional labor and job stress significantly influenced burnout of caregivers in geriatric hospitals; the explanatory power of the model was 27.3%. Conclusion: Based on the study results, we suggest further investigation of factors influencing burnout, and the development of strategies to prevent burnout by reducing emotional labor and job stress experienced by caregivers.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.2
• /
• pp.85-95
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of model. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodles. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues : (1) Genus structure for model composition, (2) Storage of structured models, and (3) Integration of structured models. To formalize and visualize the approach, a programming module is developed to implemented the step-by-step integration.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.49-60
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of models. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodels. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues; (1) Genus structure of validated submodel, (2) Storing method of genus structure, and (3) Integration of genus structures to generate a new genus structure. To visualize the approach, a programming module is developed to implement the step-by-step integration.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.595-598
• /
• 2000

원자력 발전소와 같이 시스템 오작동으로 인하여 엄청난 재난을 불러 올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 특히 긴급성을 요하는 원자력 발전소의 긴급 차단 시스템과 같은 실시간 safety-critical 시스템은 시스템 행위의 유기적인 측면뿐만 아니라, 시간적 제약을 고려하여 엄격하게 명세하고 분석해야 한다. 본 논문에서는 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 원자력 발전소 제어 시스템을 명세하고 이를 모델 체킹 검증 도구인 SMV로 검증함으로써 시스템의 신뢰성을 높이고 실시간 safety-critical 시스템의 설계 및 검증에 대한 방법론을 제시한다. 본 연구에서는 [6]의 논문의 명세 오류를 수정하여 명세 및 검증을 수행하였다.

• Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
• /
• 2003.10a
• /
• pp.163-166
• /
• 2003

This paper presents the results of a series of performance tests for the Stilting cryocooler. Infrared sensor systems incorporating cryocoolers are required to be qualified to the appropriate environmental specification. Linear drive Stilting cryocooler have matured to the stage of undergoing formal qualification test program The thermal environmental test of the Stilting cryocooler is presented in this paper. We performed that low and high temperature keeping test from －4$0^{\circ}C$ to ＋6$0^{\circ}C$ and operating test at high and low temperature cyclic range with acceptance tests performed at scheduled intervals. Cooling capacity was determined as a function of cooler components temperatures at the compressor, hot end and cold tip. Tests performed on this cooler have been successful with a measured cooling performance of more than 0.8W＠80K for 23$^{\circ}C$ ambient temperature with 40 $W_{ac}$ input power.

• Korean Journal of Child Studies
• /
• v.21 no.2
• /
• pp.5-16
• /
• 2000

This study compared the meaning of words in the play songs of the Democratic Peoples Republic of Korea(DPRK). Sixteen children who had escaped from North Korea participated in this survey in Seoul by responding to a questionnaire. In the DPRK, children sing formal songs, used as instruments of ideological socialization. Among the songs were 4 composed prior to the creation of the DPRK in 1945. The other songs were composed after 1945 and exhibited ideological characteristics. Despite differences in sources, themes, and ideologies of play songs, some of them contained common themes, materials, rhythms, and typical Korean emotional structure. Considering the power of play songs in spreading cultural influence, they might be the key to resolving psychological conflicts of both Koreas after unification.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.