• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.325-338
• /
• 1998

Some nonlocal boundary value problems which arise from a feedback control problem are considered. We give a precise statement of the mathematical problems and then prove the existence and uniqueness of the solutions. We consider the Dirichlet type boundary value problem and the Neumann type boundary value problem with nonlinear boundary conditions. We also provide a regularity results for the solutions.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.311-316
• /
• 2010

Esterel is an imperative synchronous language that is used to develop memories, cache controllers, bus interfaces, and so on. An Esterel statement is called schizophrenic if it is executed more than once in an instant. A schizophrenic statement may cause problems when it is translated to hardware circuits; a circuit performs more than one reaction in a clock. Previous works claim that only local signal declarations and parallel statements may cause schizophrenic problems. However, control signals produced by a trap statement or data signals used by emit statements can cause schizophrenia. They are new schizophrenic patterns. Especially, schizophrenic problems caused by emit statements cannot be solved by a loop unrolling technique that is the key idea of previous curing techniques for schizophrenic problems. In this paper, we introduce and define the two schizophrenic problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.87.6-87
• /
• 2002

Although supported by many empirical results, the so-called one-bit-of-information conjecture concerning the statement knowing only the signs of source normalized kurtosis is sufficient for source recovery.

• Journal of Korean Academy of Fundamentals of Nursing
• /
• v.17 no.1
• /
• pp.35-44
• /
• 2010

Purpose: The purpose of this study was to explore the coping behaviors related to menopause experience in woman. Method: The research method used was Q-methodology. The statement of self-reference was derived from face to face interviews with 10 womens. Statements were categorized by the researcher according to semantics. From categories of the Q-population 27 of the self reference statement were selected and 39 of the women were selected with consideration of given to diversity in socio-demographic background. Based on a 1 to 9 point scale, the selected menopausal women were made to participated in the Q-sorting. Analysis of Q-type was obtained by use of the QUNAL program. Result: There are three type of menopause experience of Korean women. 1. The first type focused on active coping relate to menopause. 2. The second type focused on mind control related to menopause. 3. The third type focused on religious support related to menopause. Conclusion: It is suggested that the results of this study may contribute to the development strategies for the purpose of health promotion middle aged women.

• Journal of the Korean Society for information Management
• /
• v.8 no.1
• /
• pp.16-32
• /
• 1991

This paper described the general concept of shared cataloging system and discussed the KORMARC format in the view of shared cataloging system format, including control number, copy statement, holdings statement, modifying information, transcribing MARC, character code of cataloging, nonfiling characters, delimiter codes, report number processing.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1998.10a
• /
• pp.157-164
• /
• 1998

본 논문은 원시 프로그램에 오류가 생겼을 때 신속한 오류검출, 소프트웨어의 유지 보수, 유연한 테스팅 등을 목적으로 하는 프로그램 슬라이싱과 원시 프로그램의 복잡한 베 어 흐름이나 데이터 흐름을 이해하고 프로그램이 테스팅 속도 향상과 오류위치를 파악하는 데 도움을 주는 구조적 순서도의 개념을 도압하여, C 언어데 대한 할당문(Assignment Statement)과 복합 제어 문(Compound Control Statement)으로 된 원시 프로그램의 입력 에 대해 프로시듀어(Procedure) 내에서의 구조적 순서도인 나씨-슈나아더만 차트 (Nassi-Shnei-derman Chart)를 자동 생성하고 실제 관심있는 변수에 대해 정적 슬라이싱 (Static Slicing)을 하는 도구를 개발함으로써 보다 빠르고 정확한 프로그램 구조의 이해에 도움을 주고자 한다.

• Food Quality and Culture
• /
• v.1 no.1
• /
• pp.58-61
• /
• 2007

The purpose of this study was to develop an effective cost control model for university foodservice operations by analyzing student satisfaction, as well as foodservice income statements for operational characteristics. The specific objectives were to examine the satisfaction of students for various foodservice quality dimensions, to determine the financial activities performed in foodservice operations by operational type, to examine their income statement data, and lastly, to compare the student satisfaction for foodservice quality with the financial data of the income statements. A total of 545 students from one university answered a satisfaction survey. The one-year income statements of three union foodservices (self-operated, small-scale contracted, and large-scale contracted) at the same university were analyzed. The results showed that the self-operated union foodservice had lower student satisfaction scores and higher food and labor cost ratios. The small-scale contract management foodservice data indicated the highest student satisfaction scores and the lowest food and labor cost ratios. The large-scale contract management foodservice data showed medium scores when comparing the three union foodservice operations. Overall, by comparing the satisfaction scores and operational profits, the small-scale union foodservices showed the highest satisfaction scores and profit.

• Hwankyungkyoyuk
• /
• v.11 no.1
• /
• pp.237-250
• /
• 1998

'Self-esteem' is defined as 'the lived status of one's individual competence and personal worthiness in dealing with the challenges of Life over Time'. High self-esteem is associated with self-confidence, effectively coping, well-being, and responsibility and it is essential for the responsible choice and determination of environments. The purposes of this study were to develop a strategy to enhance the self-esteem and to verify the effects. A new strategy, 'Cognitive Restructuring Strategy' was based on the characteristics of self-esteem and the key idea of this was to eliminate negative thoughts and to reinforce affirmative thoughts. We developed the statement to embody this strategy and applied to the experimental group. According to the results, self-esteem for the control group(155) did not changed but that for the experimental group(158) was significantly enhanced. Continuously, environmental learning instructions of 3 units were carried out on two groups. By applying the t-test, achievement-test scores for the experimental group per unit were significantly higher than those of the control group as regards the four respective goals of EE. Therefore this strategy and statement are helpful in enhancing self-esteem and it was found that 'self-esteem' is a influential factor to form environmental responsible behaviors(ERB).

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.69.3-69
• /
• 2002

The reliability of system is to become a important concern in developed industry. The controller based on the reliability is so important position. A reliable system is for system protection and human life by fault detection and control action against the transient condition of system. The aerospace system , nuclear reactor and chemical reactor are representative of a reliable system. This paper presents analysis of reliable system reliability, formal problem statement of optimal redundancy based on the reliability for a reliable system. And the problem is optimized by genetic algorithm. The genetic algorithms is useful algorithm in case of...

• Journal of Fisheries and Marine Sciences Education
• /
• v.19 no.1
• /
• pp.53-73
• /
• 2007

There exists historically intimate relationship between the fisheries of the three countries of Northeast Asia in terms of the same fishing ground and similar resources. This means that if one of the countries fail to manage their fisheries properly, it will harm the others. Especially, if the EEZ straddling and Trans-Boundary Fish Stocks aren't managed by the cooperation of the three countries, the exhaustion of resources will be more likely to be accelerated. Considering the aspects mentioned, this paper refers to the necessity of fisheries cooperation between Korea, China, and Japan. Next, it analyzed the joint control cases of Norway/Russia Management of Shared Fish Stocks in the Barents Sea, Management of South Tasman Rise in Orange roughy, Agreement on Fisheries between the European Economic Community and the Kingdom of Norway, Conservation and management of pollack resources in the central Bering Sea, and drew a conclusion for ourselves. Last of all, it suggests a step-by-step strategy of promoting joint control between three countries, and the plan of the establishing and managing the organization of joint fisheries control. About the joint control, "The Joint Statement of promoting collaboration between Korea, China, and Japan" has been announced at ASEAN in October 7th, 2003 and the summit talk of the three countries. In the joint statement, the three countries came to an agreement which says, "Cooperation in Fishery Resource Conservation : The three countries will cooperate, bilaterally or trilaterally, to promote the sustainable use and conservation of fishery resource through the effective fishery management". Not only the consistent collaboration between the government is necessary, but also continuous exchange and related study on a Non-governmental level is also needed for the viable outcome in the near future. When deducting the result for the joint fisheries control, this writer hopes the contents of this study will be helpful.