Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.
Journal of the Society of Naval Architects of Korea
/
v.57
no.3
/
pp.140-151
/
2020
It is important to identify the location of ship hull blocks with exact block identification number when scheduling the shipbuilding process. The wrong information on the location and identification number of some hull block can cause low productivity by spending time to find where the exact hull block is. In order to solve this problem, it is necessary to equip the system to track the location of the blocks and to identify the identification numbers of the blocks automatically. There were a lot of researches of location tracking system for the hull blocks on the stockyard. However there has been no research to identify the hull blocks on the stockyard. This study compares the performance of 5 Convolutional Neural Network (CNN) models with multi-view image set on the classification of the hull blocks to identify the blocks on the stockyard. The CNN models are open algorithms of ImageNet Large-Scale Visual Recognition Competition (ILSVRC). Four scaled hull block models are used to acquire the images of ship hull blocks. Learning and transfer learning of the CNN models with original training data and augmented data of the original training data were done. 20 tests and predictions in consideration of five CNN models and four cases of training conditions are performed. In order to compare the classification performance of the CNN models, accuracy and average F1-Score from confusion matrix are adopted as the performance measures. As a result of the comparison, Resnet-152v2 model shows the highest accuracy and average F1-Score with full block prediction image set and with cropped block prediction image set.
Journal of the Korea Institute of Information and Communication Engineering
/
v.18
no.3
/
pp.569-575
/
2014
These days as smart TVs or android set top boxes have come into wide use, VoIP(Voice over Internet Protocol) services such as the Skype which can beused on computer system, can be also accessed by smart TVs or set top boxes. and the various kinds of distance learning programs have been developed on smart TVs or set top boxes. but when users have utilized a webcam with smart TVs or set top boxes, users have to go in front of smart TVs or set top boxes In this research paper, the new technology can be solved the problem of webcam use according to chaned environment. This tech is related with the wireless webcam one which can be applicable to open spaces such as living room with some distance between user and smart TV. There are few problems in long distance the test results show high reliability in living room with some distance.
Journal of the Korea Institute of Information Security & Cryptology
/
v.31
no.3
/
pp.331-340
/
2021
As the communication industry develops, the development of SoC (System on Chip) is increasing. Accordingly, the paradigm of technology design of industries and companies is changing. In the existing process, companies purchased micro-architecture, but now they purchase ISA (Instruction Set Architecture), and companies design the architecture themselves. RISC-V is an open instruction set based on a reduced instruction set computer. RISC-V is equipped with ISA, which can be expanded through modularization, and an expanded version of ISA is currently being developed through the support of global companies. In this paper, we present benchmarking frameworks ARIA, LEA, and PIPO of Korean block ciphers in RISC-V. We propose implementation methods and discuss performance by utilizing the basic instruction set and features of RISC-V.
Journal of the Institute of Electronics Engineers of Korea SD
/
v.46
no.1
/
pp.76-84
/
2009
This paper proposes a SOC platform which is eligible for education and application SOC design. The platform, fully synthesizable and reconfigurable, includes the OpenRISC embedded processor, some basic peripherals such as GPIO, UART, debug interlace, VGA controller and WISHBONE interconnect. The platform uses a set of development environment such as compiler, assembler, debugger and RTOS that is built for HW/SW system debugging and software development. Designed SOC, IPs and Testbenches are described in the Verilog HDL and verified using commercial logic simulator, GNU SW development tool kits and the FPGA. Finally, a multimedia SOC derived from the SOC platform is implemented to ASIC using the Magnachip cell library based on 0.18um 1-poly 6-metal technology.
Journal of the Korean Society for information Management
/
v.33
no.3
/
pp.345-370
/
2016
Recently, National Archives of Korea has planned to develop the Standard Archive Management System, to make it economical and efficient in accordance with the local archives establishments by Seoul Metropolitan City. Also, the institution signed the MOU with National Information Society Agency to set up a digital archive system and foster professional archival manpower. These movements are rooted on the current domestic demands for digital archive systems. Keeping pace with it, the purpose of this study is suggesting feasible ways to establish the sustainable and efficient archive systems. To this end, a status study on the existing digital archive systems at both domestic and overseas bases was carried out, with the many of open source software analysis. Based on the primary implications of this study, to implement the digital archive system, functional module deducting methods and an open source software application process on each module were designed. Financial, operational and technical considerations such as the links between modules are also considered.
The purpose of this study is to classify the service recovery fairness of internet fashion shopping mall depending on the type of shopping mall into 3 levels, and analyze their influence on customers' satisfaction and intention to repurchase. Data were collected from 271 customers who had made a complaint or raised a question about service among the customers, and was analyzed through AMOS 7.0. For hypothesis testing, a research model was set up in the form of structure equation model, and its suitability was investigated. The results of this research can be summarized as follows: First, in relation to the service recovery fairness at internet shopping mall, only the consequential fairness has a meaningful relationship with customer satisfaction. Second, it has been shown that the higher the customers' satisfaction with internet shopping mall, the more positive influence it has on intention to repurchase. Third, it has been shown that the influence of service recovery fairness on customers' satisfaction and intention to repurchase has a meaningful difference depending on the type of internet shopping mall. In other words, it has been shown that customer satisfaction is higher at open market than general internet shopping mall. In addition, it has been shown that in open market, only the consequential fairness has a meaningful influence, therefore it will be more effective to strengthen a strategy focused on economical rewards than other fields.
Journal of the Korean Recycled Construction Resources Institute
/
v.4
no.1
/
pp.68-75
/
2016
The present study evaluated the mechanical properties of open graded asphalt for semi-rigid pavements in order to determine the mixing proportion experimentally. A total twelve types of basic mixing proportions were set up and mechanical tests such as marshall stability, porosity, permeability, and cantabro loss were conducted based on Korean standards. From the tests results, it was found that the marshall stability in case of straight and modified asphalt increase up to the contents with 5.0% and 5.5% respectively. The porosity and permeability of asphalt tended to decrease as the asphalt contents increase, the coefficient of correlation between both were estimated 86%. The increase contents with asphalt range from 3.5% to 6.0% tended to decrease the cantabro loss and the modified asphalt enhanced the resistance of cantabro loss with range from 18.8% to 33.1% than straight asphalt under same asphalt contents. In comparison with test results and quality standards, it was concluded that the modified asphalt content of 4.5% is effective to adopt for open graded asphalt.
Journal of Korean Society for Geospatial Information Science
/
v.23
no.3
/
pp.95-106
/
2015
Unused land is a new load of building and a linear improvement, expanding the loss of function of the road abandoned road construction sites, as well as existing roads is possible additional advantage. However, some space is overcharge checkpoints, materials yard, make this vehicle utilization and maintenance of the unfavorable situation, as vehicle rest area but unused land most of the space required for the use of the system management plan. We are analyzed the location, topographical features, cultural property and in the space which is geospatail open platform set up to classify the type of unused land. Depending on the type of unused land using the geospatial open platform performs a 3D model and a proposed model development and application taking into account the environment and landscape. To derive the Gangwon development Plan and design of future route unused land was becoming helps you make better use of unused land.
Park, Dong-Uk;Lee, Seunghee;Lim, Heung-Kyu;Bae, Seo-Youn;Ryu, Seung-Hun;Ahn, Jong-Ju
Journal of Environmental Health Sciences
/
v.43
no.5
/
pp.349-359
/
2017
The objective of this study is to review the safety and health information displayed on containers of humidifier disinfectants (HD). We summarized not only general characteristics related to the marketing and manufacturing of HD, such as the duration sold and the name of the company, but also the safety and health information, such as identification of disinfectants, recommended use volume, and precautions. All of this information was reviewed by HD brand. We collected safety and health information from 31 HD brands. We found that companies that sold and manufactured HD brands differ. Two companies were found to sell their HD without permission after 2011 when the health effects caused by HD were widely known. The name of the disinfectants were not identified on the container of HD. The recommended volumes were found not to be based on toxicological evidence and set without consideration of the level of susceptibility of users. Most companies displayed phrases such "this HD is safe for humans, even children" on the front of the container. No inhalation and skin toxicity precautions were provided. In conclusion, most HD did not properly display information related to safety and health to protect the health of HD users. There has been no official investigation to evaluate the risks posed by HD, such as the sales volume by HD, identification of chemical disinfectants, or their concentration, nor have there been actions to control the chemical quality of HD. In addition, government actions to punish the malicious practices of companies that manufactured and sold HD were found to inappropriate.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.