본 연구는 귀농 유형에 따라 기업가정신에 관련된 여러 가지 지표가 어떻게 발현되고 , 어떠한 특징을 나타내는지를 알아보고 귀농의 유형에 따라 기업가정신이 귀농인의 정착 생활과 어떠한 상관관계가 있는지를 분석하여 시사점을 찾고자 하였다. 이를 위해 귀농의 유형에 따라 기업가정신과 귀농인의 정착생활의 상관관계 정 (+)의 효과를 준다는 것을 가정하여...
Sin Nam-ch’ol was a universalist who believed that will for living of human beings and production activity regulate the universal rule of historical development. Such historical perspective of Sin Nam-ch’ol came from the problem of chaotic contemporaneous thoughts and to overcome conceptual understanding of history. He believed that historical thoughts could only explain current states of the society, if historical perspective does not relativize totalitarianism or fascism. His suggestion of scientific study on Korea also came from this same notion. He believed that scientific understanding of history is significant to assure that such universal historical development actually carries through the real world. Thus, he refused to see Korean reality stagnant. It was because of his premise that if universal historical development does not coincide with Korean society, the reality of Korea cannot but be denied. The future without reality was the totalitarian trascendentalism where Japanese imperialism becomes the subject. On the other hand, Sin Nam-ch’ol criticized Korean intellectuals from very ideal historical perspective. He believed that Korean intellectuals lost historical perspective because they were overwhelmed by the anxiety about the reality and their own internal struggle. They only concerned about the problems of current situation, and thus were caught in an abstract notion of history beyond reality. In short, what Sin Nam-ch’ol argued was to correspond to the intellectual community of the 1930s where various conceptual ideas of overcoming reality based on universalism were suggested as alternative thoughts. Sin Nam-ch’ol’s efforts illustrate Korean intellectual’s struggle that attempted to relativize fascist society, although his thoughts could be criticized as an abstract enlightenment idea. Also, his thought could be regarded as a way to explain colonial Korea with a theory of internal development as Paek Nam-un’s socio- economic history did.
Long-term care service for old people is in great demand in most of the aging societies. The number of nursing homes residents is increasing while the number of care providers is limited. Due to the care worker shortage, care to vulnerable older residents cannot be fully tailored to the unique needs and preference of each individual. This may bring negative impacts on health outcomes and quality of life among institutionalized older people. To improve care quality through personalized care planning and delivery with limited care workforce, we propose a new care planning model assisted by artificial intelligence. We apply bandit algorithms which optimize the clinical decision for care planning by adapting to the sequential feedback from the past decisions. We evaluate the proposed model on empirical data acquired from the Systems for Person-centered Elder Care (SPEC) study, a ICT-enhanced care management program.
모델 체킹은 오류를 찾아내기 위한 검증 기술중의 하나로서 하드웨어 검증, 소프트웨어 검증, 프로토콜 검증등에 적용되어 왔다. 현재 많은 연구 그룹들이 모델 체킹을 이용해서 프로그램 소스 코드를 직접 검증하려는 시도를 진행중이다. 유한 상태만을 다루는 현재의 모델 체킹 기술로는 프로그램 소스 코드를 직접 검증하기 힘들다. 왜냐하면 프로그램은 무한 상태를 갖고 있기 때문이다. 이를 해결하기 위한 기술 중에 하나가 술어 추상화이다. 술어 추상화를 통해서 무한 상태 공간을 유한 상태 공간으로 축소할 수 있다. 현재까지 개발된 술어 추상화 기반의 모델 체킹 도구로는 SLAM, BLAST, MAGIC 등이 있다. 이들 도구는 C 언어와 같은 절차적 프로그램의 검증만을 지원하는 반면에, 자바 언어와 같은 객체지향 프로그램의 검증은 지원하지 않는다. 본 논문에서는 술어 추상화를 자바 프로그램에 적용하여 추상화된 이진 프로그램을 구한 후, SMV를 이용해서 이진 프로그램을 검증하는 방법을 제안한다.
'%3e%3cg id='b'%3e%3cpath id='a' stroke='%23000' stroke-width='2' d='M-6-25H6m-12 3H6m-12 3H6'/%3e%3cuse xlink:href='%23a' y='44'/%3e%3c/g%3e%3cpath stroke='%23fff' d='M0 17v10'/%3e%3ccircle r='12' fill='%23cd2e3a'/%3e%3cpath fill='%230047a0' d='M0-12A6 6 0 0 0 0 0a6 6 0 0 1 0 12 12 12 0 0 1 0-24z'/%3e%3c/g%3e%3cg transform='rotate(-123.69)'%3e%3cuse xlink:href='%23b'/%3e%3cpath stroke='%23fff' d='M0-23.5v3M0 17v3.5m0 3v3'/%3e%3c/g%3e%3c/svg%3e)