• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2003년도 춘계학술발표대회 논문집
• /
• 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.

• 대한수학회보
• /
• 제29권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.

• 한국통신학회논문지
• /
• 제18권4호
• /
• pp.509-518
• /
• 1993

서로 다른 프로토콜로서 운영되는 네트워크 간의 통신 문제를 해결하는 방법으로서 프로토콜 변환이라는 방법이 사용된다. 본 논문에서는 모형화 능력의 확장 및 변환 프로토콜의 성능 분석이 가능한 모형화도구 EPN을 제안하고 이를 이용한 프로토콜 변환 방식을 설계한다. 제안한 변환 방식은 프로토콜 변환기의 동기화를 보장하고 오류복구 기능을 자동으로 추가시킨다. 따라서 이 변환 방식은 프로토콜 변환기 설계자의 설계 부담을 경감시키고 프로토콜 변환기 설계의 자동화를 가능하게 하며, 게이트 웨이 설계가 용이해진다.

• 가정간호학회지
• /
• 제24권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.

• 한국경영과학회지
• /
• 제15권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.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• 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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.595-598
• /
• 2000

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

• 한국초전도저온공학회:학술대회논문집
• /
• 한국초전도저온공학회 2003년도 추계학술대회 논문집
• /
• 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.

• 아동학회지
• /
• 제21권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

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