• Animal Systematics, Evolution and Diversity
• /
• v.32 no.1
• /
• pp.44-48
• /
• 2016

The Korean peninsula has diverse habitats and so would be expected to have a rich millipede fauna because of its location between the Paleoarctic and Oriental regions. To facilitate studies on millipedes, this work provides an updated list and discussion of Korean millipedes. A total of 69 species had been recorded up to 2010, but since then no new species have been reported. Among 69 species, 49 are endemic to the Korean peninsula. From 1950 to the present, an average of only seven new species from the Korean peninsula has been described per decade. This number does not reflect the biodiversity of millipedes in Korea, especially when compared to Taiwan, which has only one-third the area of the Korean peninsula, but from which a greater number of millipede species have been recorded (75 vs. 69 species). Japan has twofold the land area of the Korean peninsula, and an almost threefold higher number of millipede species. Further, more-intensive surveys will likely result in identification of more millipede species in the Korean peninsula.

• KIEAE Journal
• /
• v.13 no.2
• /
• pp.131-139
• /
• 2013

The aim of this dissertation is establishing internal indicator list for achieving policy goal of Carbon Neutrality Green City. First of all, it started to construct the basic system of planning indicator based on through comprehension of current studies such as advanced researches, government guidelines and green building certifications. And then it was set up final indicator list through inspecting FGI (Focus Group Interview), Verification of suitability, and Analysis of importance). As a result of this research, the planning indicator divided three steps and there were classified four fields in the top-level; Green Land and Ecology, Green Energy, Green Resource and Transportation, Green Living and Institution. According to the data, it deducted four items (ratio of green land, site plan, heat island and management of climate, base of nature ecology) and twelve index in the field of green land and ecology, three item(energy conservation and self-supporting, energy efficiency, new regeneration energy) and twelve index in the field of green energy and regeneration, five items(water resources utilize and circulation, other resource reduction and circulation, public transportation, green transportation plan) and fifteen index. Totally, Planning Indicators of forty nine were deducted. Therefore, there was the result of importance analysis that the indicators of plan and maintain management as the side of space for carbon neutrality were more appreciated than carbon reduction of individual building.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.30 no.2
• /
• pp.44-52
• /
• 1993

선박에 있어서 철의장품은 종류와 수량이 다양하고 형상이 불규칙하여 대부분의 사업장에서 설계 전산화가 이루어지지 못하고 있는 실정이다. 의장설계실에서는 이를 전산화하기 위하여 먼저 철의장품의 표준을 제정 및 극대화하고 설계작업절차와 물량의 흐름을 전산과 연계하여 체계화 및 표준화하였다. 또한 선박의 전구역에 설치되는 철의장품들을 관련 양식과 함께 국제표준을 근거로 BASICA CADDS, SURFACE DESING, SDDP(structural Design ＆ Detailing Package) SOFTWARE를 이용하여 2차원(2-dimension) 및 3차원(3-dimension) 데이터베이스(database)화 하였으며 이를 POP-UP MENU를 이용, 쉽게 선택함으로써 모델링(modeling) 작업시수를 대폭 감소 시켰으며, 그래픽(graphic)에서 추출한 의장품의 데이터(data)를 의장품의 표준정보 FILE과 연계하여 라벨(LABEL) 및 치수(DIMENSION)를 기입하여 배치도를 추출하고 의장품의 제작, 설치, 계산 및 관리에 소요되는 설치도, 제작도 및 관련 보고서인 BOM(bill of material), PML(pallet material list), 의장제작품 LIST, COG(center of gravity), 관리점 등을 자동추출 및 관리전산망(PC-lan)과 연계할 수 있는 DECOM(철의장 전산설계 전용 package)을 89년에 개 발하여 의장설계에 적용하여 왔으며 ORACLE사의 RDBMS(relational database management system)를 도입하여 이를 보완하므로써 정보의 일관화 및 공유화가 가능하게 되었다. 그 결과 설계 M/H절감, 생산성 향상, 자재 및 관련 정보 전달에 혁신적인 변화 향상을 가져오게 되었다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.5
• /
• pp.505-511
• /
• 2003

Production rule based knowledge representation method has many advantages, but has the difficulties in maintaining the consistency of knowledge. Since the consistency maintenance of knowledge exercises a marked effect on the reliability of inference results, the system for consistency maintenance of knowledge is indispensable to increase the reliability. In the most popular pairwise checking method among consistency verification methods, the valuable rules can be omitted and it takes much time in checking the consistency when the rules are numerous. So, this paper is to propose and implement the verification system which can remove the structural errors and semantic ones, making up for the defects of pairwise checking method by using the certain property list and eventual property list and improving the steps of verification.

• ETRI Journal
• /
• v.36 no.4
• /
• pp.528-536
• /
• 2014

High Efficiency Video Coding (HEVC) is the most recent video coding standard to achieve a higher coding performance than the previous H.264/AVC. In order to accomplish this improved coding performance, HEVC adopted several advanced coding tools; however, these cause heavy computational complexity. Similar to previous video coding standards, motion estimation (ME) of HEVC requires the most computational complexity; this is because ME is conducted for three inter prediction modes - namely, uniprediction in list 0, uniprediction in list 1, and biprediction. In this paper, we propose an efficient inter prediction mode (EIPM) decision method to reduce the complexity of ME. The proposed EIPM method computes the priority of all inter prediction modes and performs ME only on a selected inter prediction mode. Experimental results show that the proposed method reduces computational complexity arising from ME by up to 51.76% and achieves near similar coding performance compared to HEVC test model version 10.1.

• Journal of Korean language education
• /
• v.29 no.4
• /
• pp.1-29
• /
• 2018

This study aims to develop the constructs for evaluating team presentations performed by undergraduate international students in Korea. To achieve the goal, this study reviews related research and sets the criteria to analyze the problems of team presentations performed in Korean by undergraduate international students. Through this analysis we got to know which problems they were making. They were failing to reorganize the resources they had referenced and to organize the contents into one. And errors or mistakes of grammar and spelling were found often in their PPT files, and the editing styles of the PPTs were not consistent. Moreover, their performances were not unlike their PPT files. One made a good presentation but the other students just recited the script without interaction with the audience. Moreover, they could not operate the Q&A part and lead the discussion well, and components for wrapping up the presentation also were omitted frequently. After the analysis, this study conducted a survey with 23 Korean language educators asking about the validity of the construct and description of the survey. Based on the collected feedback, the construct list has been modified primarily, and carried out a second survey with an expert group. Based on their opinion, the final construct list was fine-tuned.

• The Journal of Information Systems
• /
• v.27 no.4
• /
• pp.35-70
• /
• 2018

Purpose Recently, 3D factory simulation technology has emeged as a powerful tool for modeling and analysis of a wide range of production systems, however, it has been not paid much attention in Korea. In this context, this paper aims to provide a comprehensive literature review on discrete event simulation softwares and introduce a promising 3D factory simulation software called FlexSim and its application domains. Design/methodology/approach In order to demonstrate worldwide popularity and technical superiority of FlexSim software, we analyzed the recent list of rankings for commercial discrete simulation softwares released by winter simulation conference and users' opinions collected from business software review site. Moreover, several main application domains are derived from a review of the previous research papers that deal with applications of FlexSim software. Findings FlexSim software recently moved up the list of major commercial simulation softwares, and technical superiorities of the software demonstrate that it is a promising tool for practical 3D factory simulation. Moreover, recent research papers suggest that FlexSim software can be used as a component of smart factory system. In this context, it is expected that FlexSim software becomes more popular in the era of industry 4.0.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.4
• /
• pp.15-27
• /
• 2002

The purpose of this paper is to present both the specification of delta-CRL and the polices for delta CRL in order to solve the problem involved in issuing and maintaining the certificate revocation lists for the mobile communication network. If the user request to revoke the certificate issued by certification authority, the certification should be revoked and listed up in the certificate revocation list. In general, the certificate revocation list is issued regularly. Therefore PKI application should download the CRL and prove the validity of CRL. The traffic size of the exchanged traffic should be reduced for the mobile communication environment. The result if this paper can be used for the mobile communication various environments to reduce the size of CRL.

• The Korean Journal of Mycology
• /
• v.41 no.4
• /
• pp.280-286
• /
• 2013

47 species was reported in the genus Marasmius in Republic of Korea up to now. 26 of total 47 species previously recorded from Korea were made up a list. Korean common names of 10 new species and 11 species newly recorded in Korea were introduced in study with synoptic key. These names were followed by the Romanization rule to express Korean common name.

• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• pp.174-176
• /
• 1997

This paper proposes a unit commitment scheduling method based on hybrid genetic algorithm(GA). When the systems are scaled up, conventional genetic algorithms suffer from computational time limitations because of the growth of the search space. So greatly reduce the search space of the GA and to efficiently deal with the constraints of the problem, priority list unit ordering scheme are incorporated as the initial solution and the minimum up and down time constraints of the units are included. The violations of other constraints are handled by integrating penalty factors. To show the effectiveness of the proposed method. test results for system of 10 units is compared with results obtained using other methods.