• Title/Summary/Keyword: open set

Search Result 1,106, Processing Time 0.035 seconds

A Preprocessor for Detecting Potential Races in Shared Memory Parallel Programs with Internal Nondeterminism (내부적 비결정성을 가진 공유 메모리 병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기)

  • Kim, Young-Joo;Jung, Min-Sub;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.17A no.1
    • /
    • pp.9-18
    • /
    • 2010
  • 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.

Comparison Study of the Performance of CNN Models with Multi-view Image Set on the Classification of Ship Hull Blocks (다시점 영상 집합을 활용한 선체 블록 분류를 위한 CNN 모델 성능 비교 연구)

  • Chon, Haemyung;Noh, Jackyou
    • 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.

Wireless Webcam Implementation and Application Utilizing Wireless USB Technology (무선 USB 기술을 활용한 무선웹캠 구현 및 적용방법)

  • Chae, Jung-Sik;Ban, Tae-Hak;Jung, Hoe-Kyung
    • 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.

Benchmarking Korean Block Ciphers on 32-Bit RISC-V Processor (32-bit RISC-V 프로세서에서 국산 블록 암호 성능 밴치마킹)

  • Kwak, YuJin;Kim, YoungBeom;Seo, Seog Chung
    • 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.

Development and Verification of SoC Platform based on OpenRISC Processor and WISHBONE Bus (OpenRISC 프로세서와 WISHBONE 버스 기반 SoC 플랫폼 개발 및 검증)

  • Bin, Young-Hoon;Ryoo, Kwang-Ki
    • 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.

A Study on Using Open Source Software for Building a Digital Archive System (디지털 아카이브 시스템 구축을 위한 공개 소프트웨어 활용방안 연구)

  • An, Dae-Jin;Yim, Jin-hee
    • 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 Influence of Service Recovery Fairness on Customers' Satisfaction and Intention to Repurchase: Focused on Purchasing Fashion Product at the Open Market and General Internet Shopping Mall (인터넷 쇼핑몰에서 서비스 회복 공정성이 고객의 만족과 재구매 의도에 미치는 영향: 오픈마켓과 종합 인터넷쇼핑몰을 중심으로)

  • Kim, Jungmi;Chae, Nari;Hwang, Sunjin
    • Journal of Fashion Business
    • /
    • v.18 no.1
    • /
    • pp.118-131
    • /
    • 2014
  • 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.

Mechanical Properties of an Open Graded Asphalt for Semi-rigid Pavement (반강성 포장용 개립도 아스팔트 재료의 성능평가)

  • Bang, Jin-Wook;Kim, Yun-Yong
    • 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.

Using Geospatial Information Open Platform for Design and Planning of Route Unused Land (국도 유휴공간의 개발 계획을 위한 공간정보오픈플랫폼의 활용)

  • Lee, Dong Gook;Go, Jae Woong;Lee, Hyun Jik
    • 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.

Review on Safety and Health Information on Humidifier Disinfectant (가습기 살균제 제품에 표기된 안전보건정보 고찰)

  • 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.