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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.311-316
• /
• 2010

Esterel은 명령형 동기언어로서, 많은 경우에 메모리, 캐쉬 컨트롤러, 버스 인터페이스 등을 개발하는데 사용하고 있다. Esterel 프로그램은 특정 상황에서 한 문장이 한 단위시간 안에 2번 이상 수행될 수 있다. 이러한 문장을 하드웨어로 컴파일 할 경우, 하나의 회로(circuit)가 한 클럭 안에 2번 수행되어 정상적으로 동작하지 않을 수 있다. 이러한 문제를 회로 중복사용(schizophrenia) 문제라고 부른다. 기존연구에서는 지역신호선언문과 병렬문만이 회로 중복사용 문제를 유발할 수 있다고 보았다. 하지만, 예외선언문에 의해 생성되는 제어 신호와 출력문이 만들어내는 데이터 신호도 회로 중복사용 문제를 유발할 수 있다. 특히, 출력문의 경우에는 기존 회로 중복사용 문제에 대한 해결책들의 출발점인 단순한 루프 펼치기(loop unrolling)로는 해결되지 않았다. 본 논문에서는 예외선언문과 출력문이 만들어 내는 2가지 새로운 회로 중복사용 문제들을 열거하고 회로 중복사용 문제를 재정의 하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• 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.

• 기본간호학회지
• /
• 제17권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.

• 정보관리학회지
• /
• 제8권1호
• /
• pp.16-32
• /
• 1991

분담목록 및 분담목록시스템의 개념을 일별하고, KORMARC 형식을 분담목록용 형식으로 사용했을 때, 제어번호, 국립중앙도서관 복본 및 기타 정보표시, 로컬정보, 서지데이터의 갱신정보, 목록전거 MARC의 구분, 사용코드의 표시, 관제 관칭의 처리, 딜리미터코드, 보고서처리 등의 부분에서 어떻게 보완하는 것이 바람직할 것인가에 대하여 논하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1998년도 추계학술대회논문집21세기를 위한정보기술의 발전방향
• /
• pp.157-164
• /
• 1998

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

• Food Quality and Culture
• /
• 제1권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.

• 한국환경교육학회지:환경교육
• /
• 제11권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년도 ICCAS
• /
• 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...

• 수산해양교육연구
• /
• 제19권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.