Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.
Lee, Kyung-Ran;Mengoni, Mariangela;Mayazi, Adja;Pehrsson, Anders
Journal of the Korean Society of Food Culture
/
v.24
no.6
/
pp.641-648
/
2009
The principal objective of this study was to analyze Swede's perceptions of Asian food using a means-end chain method, which may contribute to our understanding of new markets for a food industry interested in globalizing Korean food. With the Means-end chain method, one can determine the cognitive structures built in consumer's minds, which are developed by connecting attributes of product, consequences, and values. The attributes of Asian food that are most positively perceived by Swedes are 'fresh vegetables', 'low-fat', 'light meat and seafood', 'exotic ingredients', 'not expensive' and 'unknown food'. The consequences of eating Asian food connected to these attributes are 'healthy', 'tasty', 'good way to save money' and 'curious'. Finally, Swedes expect to enjoy a value of 'achievement' at the end. Based on the result that 'unknown food' attribute is connected to 'achievement' value, Swedes are assumed to be attracted by the fact that Korean food is 'unknown food'. However, the effect of the 'unknown food' attribute will fade away with time; therefore, stressing Korean food's status as a 'healthy' food, which can be attributed to its use of 'fresh vegetable' and 'light meat and seafood' ingredients and 'low fat' cooking method may be effective as a long-term strategy for making Korean food attractive. The 'healthy' consequence is connected to Swedes' perception of the value 'achievement' and simultaneously to their perception of the value 'belonging and love/sense of belonging'.
Journal of the Korean Graphic Arts Communication Society
/
v.2
no.1
/
pp.35-43
/
1984
Shince the introduction of machine methods into industry a problem has existed which has never been adequately solved. .... That is to say, there is no difference between the essential qualities of Machine art and abstract art, which is the main style of fine arts in the present day. This problem has been discussed by John Ruskin, William Morris, Herbert Read. In this study, I discussed the artistic value in the modern graphic arts from the standpoint of Herbert Read on the machine art. According to the above-mentioned discussings, we can come to the conclusion as follows 1) The machine art lie at the root of abstract art, and whenever the final product of machine is designed or determined by anyone sensitive to formal values, that product can and does become an abstract work of art in the subtler sense of the term. 2) We must recognize that graphic design is a function of the abstract artist, and the abstract artist must be given a place in the graphic arts in which be is not already established, and his decision on all questions of design must be final. 3) Therefore, the graphic designer must have therough knowledge of graphic arts technology in order to give the artistic value to the objects of machine production.
Since long ago, "The Discourse of Confucius" has been considered as one of the must-read classical literatures in the world of art. The term Huì-shì-$h{\grave{o}}u-s{\grave{u}}$ (繪事後素) in this literature is not only known by the painter but is also known to anyone who discuss about pictures. However, there is a great diversity of interpretation between its meaning of "drawing a picture is done when its basis is ready" or "drawing a picture is done later when completed with white color". The method of drawing does not change much with time. Scholars usually consider professional paintings conventional and don't understand well the white characteristics of the painting technique. In any case, it is basic to deal with the basis before drawing but completing the picture, finishing with white is not so common. Paintings from ancient times are not so different from today's silk pictures. Because Huì-shì-$h{\grave{o}}u-s{\grave{u}}$(繪事後素) fostered the attainments being the basis of life and the artistic sense, it remains as the aesthetics to many artists. The interpretation of Huì-shì-$h{\grave{o}}u-s{\grave{u}}$(繪事後素) is related to the change with time in 'The theory of courtesy(禮論)' but this study focused purely from the artistic point of view.
The purpose of this study is to verify the effect of the elderly image in the relationship of HYO consciousness and job satisfaction in care worker. In this study, the HYO consciousness of care workers is the consciousness of taking good care of the elderly. The research subjects were selected by 10 long-term care institutions belonging to Seoul and Gyeonggi Province, and a total of 450 nursing care providers were selected for the survey using a questionnaire. The final 429 questionnaire was used for the analysis. The analysis shows that first, HYO consciousness and the elderly image have a defining effect on job satisfaction. Second, HYO consciousness were found to have a positive influence on the elderly image. Finally, the elderly image played a role in the relationship between HYO consciousness and job satisfaction. The government should seek ways to foster a sense of HYO consciousness and a positive image of the elderly by utilizing educational opportunities for care worker in the future.
Film is a visual art. A process of film totally depends on our sense of sight. It indicates that a way of delivering narrative in the film is "showing", not "telling". There has already been established theories about "who sees" and "who tells" in narratology. It explains who the narrator is and how the narrator delivers in literary works which is represented in terms of "Point-of View". Therefore the study contents construct internal formal elements of the narrator and point of view into 2 individual researches, and the result can be summed up as below. From a narratological perspective, the narrator has roles and deeds as a narrative mediator who mediates the story and leads the story as presenting the origin with images and voices in the text extra and intra world through the process of producing the narrative inferred. To eliminate ambiguousness the term 'point-of view', this article applies 'focalization' theory to analyze narrative structure of film. The result of analysis shows that there are three focalizers in film; director, protagonist-character and camera. And aspects of film can be varied by distance of each focalizer. These distances between focalizers limit amount of visual information.
The purpose of this study was to describe the relationship between family stress and adaptation in families with a disabled child through literature review using McCubbin's Double ABCX family crisis framework. The literature review focused on (1) family stress and factors affecting family stress, (2) the critical individual, familial and social resources which families acquire and employ over time in managing crisis situation. (3) the changes in definition and meaning families develop in an effort to make sense out of their predicament. (4) the coping strategies families employ. and (5) the range of outcomes of these family efforts The results showed that families reported financial difficulties and the burden of care-giving demands as major family stressors. Siblings of disabled children manifested depressive symptoms and social isolation. but was not consistent study results. The parents' views of the cause of the disabling condition fundamentally affected their behavior toward their disabled child. Especially. the fathers' views of the child's characteristics made the greatest contribution to positive changes in the mothers' perceptions. The term perceived social support refers to the cognitive appraisal by individuals that they are cared for and valued, that significant others are available to them if needed, and that they are satisfied with their interpersonal relationships. The perceived social support was more protective than social support source. network size and network density. Parental adaptation was found to be related to the child's communication competence rather than family coping strategies proposed by Lazarus and Folkman. One study results showed that there was no difference in depressive symptoms and physical health between mothers with a disabled child and those without all though mothers with a disabled child had negative attitudes and perceived themselves as having significantly less social support and lower family functioning. But a longitudinal study revealed decreases in the negative impact of the child and increases in sibling and overall family adaptation.
During the 1950s, the North Koreans rebuilt their capital-Pyongyang-as a modern city under the principle of Soviet urban design. One North Korean architect, Kim Jung-hee, has been widely credited since the late 1980s as the master architect of the General Plan of the city's reconstruction. While Kim Jung-hee played a crucial role in its reconstruction, his heroic image as the founding architect of Pyongyang is considerably attributed to North Korea's mythical narratives rather than his historical activities. This paper argues that Pyongyang's postwar urban design was not a work made by a single actor, Kim Jung-hee; rather, it was a long-term collaborative project in which a team of North Korean architects and Soviet technical advisors took their respective roles. Beginning in the late 1980s, North Korea, which had been struggling with economic decline and an increasing sense of lagging behind in its rivalry with its Southern counterpart, used heroic narratives during the 1950s' postwar reconstruction period as an important propaganda tool for their regime. In this mythical narrative of Pyongyang's reconstruction, massive economic and technical aid from other communist countries has often disappeared, and the memory of the architects who contributed greatly to the reconstruction but later purged in North Korea have also completely vanished. Kim Jung-hee, meanwhile, remained in this epic as the founding architect who rebuilt the city in faithful accordance with the leadership of Kim Il Sung.
The purpose of this study was to understand meaning of a meal among Nursing home elderly and staff. The meaning of a mean was explained to participants through observation and in-depth interviews based on Ethnomethodologic method. The meaning of a meal expressed by the Elderly was applied as personal philosophy on diversity and Caregiver also had become a management work on convenient logic. Elderly has been recognized has as hope of health recovery in important elements such as the air life indispensable to life. In contrast, Caregiver was following their will to live formally without any sense of the meaning of life. they are just extending their life. Meaning of Nursing-home elderly was lighthearted. They eat salt with snack to have massive power and escape from the daily life. However, Caregivers have other control measure. From the above result, In the standard operation of the meal, the manual of the laws of the instructions regarding long-term care insurance for the Aged, must reflect the elderly continued proposed the need to have diversity for the education about understanding and acceptance of the elderly.
The history of the APOCP/APJCP goes back to 1999 when a number of interested scientists joined together to form the organization and to launch a new journal to support cancer prevention research in the Asian-Pacific area. Since the initial Founding Conference, some six General Assemblies (GAs) and ten Regional Conferences (RCs) and Special Study Sessions have been organized. Already the decisions have been made for two further GAs and at least three RCs. As of the April issue of 2013, a total of nearly 3,700 papers have already been published in regular issues of the APJCP or special supplements. With support of the Korean National Cancer Center, housing the Chief Editorial Office, the journal is now including approximately 100 papers a month. Although it experienced a set-back by reduction in the Impact Factor (IF) from 1.29 in 2010 to 0.67 in 2011, there are good grounds to expect an improvement in 2012. However, the future of the APOCP/APJCP will continue to depend on its membership, making continuous efforts to attend our conferences and submit good quality manuscripts. It is particularly important to cite papers in the APJCP wherever possible, if the wish is for an IF commensurate with our long term aims. In that sense it is up to all authors, since the journal will continue to have a very positive ploicy towards accepting papers from all countries within the Asian-Pacific, with continue to varied levels of resources. The editorial team looks forward to your considered support. The APOCP also hopes to see you in person at future meeetings, so that you have a more active voice in deciding the best way forward in our cooperative enterprise.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.