• Animal Systematics, Evolution and Diversity
• /
• 제32권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
• /
• 제13권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.

• 대한조선학회지
• /
• 제30권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절감, 생산성 향상, 자재 및 관련 정보 전달에 혁신적인 변화 향상을 가져오게 되었다.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• ETRI Journal
• /
• 제36권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.

• 한국어교육
• /
• 제29권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.

• 한국정보시스템학회지:정보시스템연구
• /
• 제27권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.

• 정보보호학회논문지
• /
• 제12권4호
• /
• pp.15-27
• /
• 2002

본 논문은 현재 국내·외에서 개발되었고 개발되고 있으며, 이미 표준화 단계를 앞두고 있는 인증서 발급 시스템 중에 인증서가 폐지되었을 경우에, 발급하는 인증서 폐지 목록(CRL)을 발급하는 시스템의 부하를 줄이고, 발급되는CRL의 크기를 감소시키며, 또한 전체 CRL의 발급 시간을 늘일 수 있는 Delta-CD 발급 시스템의 개발 및 방안 연구를 목적으로 한다. 이를 이용하여 유·무선 통신상에서의 인증서 발급의 단점을 해소하고, 인증서를 보관하고 있는 인증서 보관소에 대한 문제를 해소할 수 있다.

• 한국균학회지
• /
• 제41권4호
• /
• pp.280-286
• /
• 2013

낙엽버섯속 47종이 현재까지 한국에서 보고되었다. 47종 중 26종이 기존에 보고되었고, 10종의 신종과 새롭게 기록된 11종의 일반명이 이 연구에서 분류키와 함께 보고하였다. 일반명은 로마자표기법에 따랐다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• 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.