Most human-error case of accident database is written by various description and expression because accident database is produced by two or more person. And extracted information by searching of database varies in researcher's judgment criteria and the capability. Furthermore, much time and effort are required to examine manually information related to the human error from each accident case. Accordingly, it is difficult to explore objectively the accidents relevant to the human-error from the accident data base which is accumulated enormously. In this study, to solve these problems, it was developed an searchig method which is not influenced by researcher's judgment criteria and capability. For this, human-error keywords were extracted from a Japanese-English dictionary to examine objectively the accident case related to human-error in data base. This searching method by the human-error keywords can be applicable in most accident databases, although a database will be accumulated in future. Also, using the searching technique of this research, knowledge obtained by searching result can be compared with other research's results by the same method. Although the number of accident case increasese, searching results from database have the objectivity because it is not necessary to modify the based searching method or change the human-error keywords. However, as subject of future investigation, it would be necessary that the extension and investigation on human-error keywords improve and the technique to enhance searching accuracy would be modified.
Given a nonlinear function f : $\mathbb{R}{\rightarrow}\mathbb{R}$ that has a simple real zero ${\alpha}$, a new numerical method to be called k-fold pseudo- Halley's method is proposed and it's error analysis is under investigation to confirm the convergence behavior near ${\alpha}$. Under the assumption that f is sufficiently smooth in a small neighborhood of ${\alpha}$, the order of convergence is found to be at least k+3. In addition, the corresponding asymptotic error constant is explicitly expressed in terms of k, ${\alpha}$ and f as well as the derivatives of f. A zero-finding algorithm is written and has been successfully implemented for numerous examples with Mathematica.
A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.
Flora investigations have been conducted by many researchers for a long time in Korea. Even though large amount of investigation data has been accumulated, there is no accurate statistics or database because most of data were published in a printed form. We developed a web-based database of flora investigation, named as the Integrated Korean Flora Database (http://www.floradb.net/) to understand distribution patterns and habitats of plants in Korea. Till now, 480 published paper, 356 thesis, 76 reports and books, and 8 unpublished papers written in between 1962 and 2017 were collected and their species lists from 280 papers were parsed into the database. From 124,105 records, 3,100 species belonging to 206 families and 965 genera were identified via comparing with two major Korean plant species lists. 55 endangered species, 159 endemic species, and 367 rare species were identified. The most frequently surveyed species were Commelina communis in herbaceous and Rosa multiflora in woody plants. Microclimate data provided by Korea Meteorological Administration were also integrated and analyzed to assign cold hardness zones for each species. By comparing minimum temperature (<2%) acquired from automated weather stations (AWS) near by plant species, 6a to 10b zones (7b is the most frequent zone) were identified. Integrated Korean Flora Database will be a fundamental platform of korea flora investigation as well as a new standard for classifying distribution of plants based on accurate microclimate data. Moreover, it can also provide evidences of investigated plant species, such as specimen and/or pictures with connecting to the InfoBoss Cyber Herbarium (http://herbarium.infoboss. co.kr/) and Biodiversity Observation Datbase (BODB; http://www.biodiversitydb.org/).
Flora investigations in Korea have been conducted by many researchers for diverse purposes. Accumulated flora investigation data has not been utilized efficiently because there is no accessible database for comparison. To overcome this shortcoming, we constructed web-based database of flora investigation, named as the Integrated Korean Flora Database (IKFD; http://www.floradb.net/intro.php). Until now, 284 flora references (263 papers, 14 reports and books, and 7 unpublished papers written in between 1962 and 2017) were digitalized into the database. From 134,711 records, 4,301 species belonging to 228 families and 1,079 genera were identified via mapping with two major Korean plant species lists. Polygon areas originated from references were used for distribution of plant species, identifying precise distribution area. It will be a better index to show plant ecological characteristics. Collected micro-climate data provided by Korea Meteorology Administration were also integrated in IFKD for understanding correlation between distribution of plants and micro-climate. Cold hardiness zone which has been utilized for classifying climate zones. 12 out of 26 zones identified based on micro-climate data in Korea were mapped with distribution of plants. More than half species were appeared in zone 6a, 6b, 7a, and 7b. Taken together with these results, IKFD will be a fundamental platform for understanding plants in Korea flora investigation as well as a new standard for classifying distribution of plants. Moreover, Biodiversity Observation Database (BODB; http://www.biodiversitydb.info/intro.php) which integrates plant distribution data was also integrated for further studies.
This study researched unequal trades and analyzed the difference of legal relation control between the franchisor and the franchisee in foodservice industry. The purpose of this study was the preparatory process for basic data to establish a statute law for the franchisee in foodservice industry. We made up a questionnaire for 53 franchisees in March 2004 and analysed spss 10.0. This result was as follows. First, the special office was needed for publicity activities of law related franchise and the investigation of a right in the written contract for a franchisee. Second, there should be the conformation and objective criteria of monopolistic goodwill in legal proceedings. Third, the larger the scale of franchisees was, the less efficiently the conflicts between franchisors and franchisees were controlled.
The aim of this study is to present preliminary results from an ongoing large-scale study of English-language future goal orientations held by Japanese university students. The work here involves an investigation of learners in multiple disciplines, from five universities, both public and private, in the Kanto-region of Japan, and their perspective on their future use of English. The results summarize written essays on L2-goal orientations. Preliminary results indicate Japanese learners (n = 629) as a whole have disparate L2-learning goals; however, these can be summarized into four broad categories: career, personal life, study, and general; and early findings indicate that most learners (63.56%) are oriented to career or personal goal orientations, while others are oriented to study and general. These early results help us to gain a better understanding of the future goals of Japanese university learners and their views of English usage in the future.
Computer system performance has always had the possibility of affecting business profitability, but with the advent of the World Wide Web where customers interact directly with Web servers, response time can have a direct and dramatic impact on business revenue. This paper is written in the operation environment and system analysis of HTS(Home Trading System) running K Securities. This paper also shows the method for performance improvement through investigation and analysis for the overall systems resources whether HTS has an appropriate performance or not. Performance analysis includes specially CPU analysis, Memory analysis, Disk Input/Output analysis and application analysis. Besides providing more detailed server specification for expansion from now on, system performance can be maintained with effect in the future. Through this study it is possible to manage the performance of HTS more easily and to solve problems such as a bottleneck more quickly.
Our investigation of the intricate relationship among nationalism, humanism, and imperialism begins from reading Song of Ariran, the auto/biography of Kim San recorded by Nym Wales, together with Margaret Drabble's fictional adaptation of Lady Hong's autobiography, The Memoirs of Lady $Hyegy{\breve{o}}ng$, in her novel The Red Queen, in which the story of Barbara Halliwell, a modern female envoy of Lady Hong, is interweaved with Lady Hong's narrative. In spite of their being seemingly disparate texts, Song of Ariran and The Red Queen are comparable: they are written by Western female writers who deal with Koreans, along with the Korean history and culture. Accordingly, both works cut across the boundary of fiction and fact, imagination and history, and the East and the West. In the age of globalization, Western women writing (about) Korea and Koreans traversing the historical and cultural limits inevitably engage us in post-colonial discussions. Despite the temporal differences--If Song of Ariran handles with the historical turmoils of the 1930s Asia, mostly surrounding Kim San's activities as a nationalist, The Red Queen is written by a twenty-first century British woman writer whose international interest grapples with the eighteenth-century Korean Crown Princess' spirit in order to reinscribe a story of Korean woman's within the contemporary culture--, both works appeal to the humanistic perspective, advocating the universal human beings' values transcending the historical and national limitations. While this sort of humanistic approach can provide sympathy transcending time and space, this 'idealistic' process can be problematic because the Western writers's appropriation of Korean culture and its history can easily reduce its particularities to comprehensive generalization, without giving proper names to the Korean history and culture. Nonetheless, the Western female writers' attempt to find a place of 'contact' is valuable since it opens a possibility of having meaningful communications between minor culture and dominating culture. Yet, these female writers do not seem to absolutely cross the border of race, gender, and culture, which leaves us to realize how difficult it is to reach a genuine understanding with what is different from mine even in these 'universal' narratives.
Most elevators worldwide do not have smoke protection, fire protection, and other features necessary for them to be considered as a means of fire evacuation. It is the aim of this study to investigate and analyze the recommendation for the evacuation plan using evacuation elevator of AIJ the aim of this study is to introduce AIJ method for the safety plan using evacuation elevator of high rise building written by working group fire resistant.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.