• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.034 seconds

A Multilinear LDA Method of Tensor Representation for ECG Signal Based Individual Identification (심전도 신호기반 개인식별을 위한 텐서표현의 다선형 판별분석기법)

  • Lim, Won-Cheol;Kwak, Keun-Chang
    • Smart Media Journal
    • /
    • v.7 no.4
    • /
    • pp.90-98
    • /
    • 2018
  • A Multilinear LDA Method of Tensor Representation for ECG Signal Based Individual Identification Electrocardiogram signals, included in the cardiac electrical activity, are often analyzed and used for various purposes such as heart rate measurement, heartbeat rhythm test, heart abnormality diagnosis, emotion recognition and biometrics. The objective of this paper is to perform individual identification operation based on Multilinear Linear Discriminant Analysis (MLDA) with the tensor feature. The MLDA can solve dimensional aspects of classification problems in high-dimensional tensor, and correlated subspaces can be used to distinguish between different classes. In order to evaluate the performance, we used MPhysionet's MIT-BIH database. The experimental results on this database showed that the individual identification by MLDA outperformed that by PCA and LDA.

A System Level Design of Heterogeneous Multiplication Server Farms (이종 곱셈 연산기 서버 팜의 시스템 레벨 설계)

  • Moon, Sangook
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2014.05a
    • /
    • pp.768-770
    • /
    • 2014
  • Due to increasing demand of new technology, the complexity of hardware and software consisting embedded systems is rapidly growing. Consequently, it is getting hard to design complex devices only with traditional methodology. In this contribution, I introduce a new approach of designing complex hardware with SystemVerilog. I adopted the idea of object oriented implementation of the SystemVerilog to the design of multiplication server farms. I successfully implemented the whole system including the test bench in one integrated environment, otherwise in the traditional way it would have cost Verilog simulation and C/SystemC verification which means much more time and effort.

  • PDF

The Quality Evaluation Model for Mobile RPG (모바일 RPG의 품질평가모델)

  • Kim, Giuhyoung;Lee, Nam-yong
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2014.10a
    • /
    • pp.457-460
    • /
    • 2014
  • As to the rapid development of mobile technology, the era of 1-person 1-smart phone has come. Also, the application of smart phone became the part of our life. Especially mobile RPG(Role Playing Game) has the biggest market and the largest number of users. There could be no precise quality assessment result, if quality evaluation model of PC RPG game were applied to the mobile RPG. Thus, it is time to focus on new quality evaluation model for mobile RPG with the great reflection of smart phone attributes. In this paper, based on ISO/IEC 9126, the international standard of software quality, quality evaluation elements for mobile RPG were deducted. Then metrics for validation of elements were redefined and new quality evaluation model was proposed.

  • PDF

Rate Monotonic Algorithm Based Analytic Evaluation Model of CAN (비율단조 알고리즘 기반 CAN 분석 평가 모델)

  • Lee, Ji-Yeon;Baik, Doo-Kwon
    • Annual Conference of KIPS
    • /
    • 2013.05a
    • /
    • pp.438-441
    • /
    • 2013
  • 자동차 관련 기술은 점차 전기, 전자 장치로 빠르게 바뀌어 가고 있다. 차량 내 연결되어 있는 전자 제어 장치들도 그에 따라 증가하게 되었고 장치간의 통신 성능도 중요하게 되었다. 가장 널리 사용되고 있는 차량용 네트워크 프로토콜로는 CAN(Controller Area Network)을 들 수 있다. 그러나 최근 통신 복잡도가 증가함에 따라 주기적 메시지 통신의 메시지 전송 지연 및 중단이 발생되고 있다. 본 논문에서는 이러한 문제에 대한 해결 방안을 제시하기 위해 메시지들의 스케줄 가능성 및 응답시간에 따른 실 시간성 검증 모델을 제안한다. CAN 메시지 수신 시 RMA(Rate Monotonic Algorithm)기반으로 메시지 스케줄 가능성 평가 모델을 개발하였다. 또한, CAN 메시지를 송신할 경우 RTA(Response Time Analysis)를 고려한 실 시간성 평가 모델을 제시하였다. 실험 1 에서는 기존 RMA 기법으로 통신을 수행한 결과 통신 중 중단되는 현상을 확인하였고 이후 제안 모델에서는 23%정도의 추가 시간을 확보하여 통신을 완료하는 것을 증명하였다. 실험 2 에서는 메시지 통신의 응답시간이 모두 제안된 Worst-case 응답시간 이내로 측정되어 실 시간성을 만족함을 확인하였다.

An Empirical Study of Security for API in Windows Systems (윈도우즈에서 제공되는 기본 API에 대한 안전성 고찰)

  • Choi, Young-Han;Kim, Hyoung-Chun;Oh, Hyung-Geun;Lee, Do-Hoon
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.19 no.2
    • /
    • pp.75-82
    • /
    • 2009
  • In this paper, we test for security targeting on APIs of Windows as that is used by many people worldwide. In order to test APIs in DLL fils of Windows OS, we propose Automated Windows API Fuzz Testing(AWAFT) that can execute fuzz testing automatically and implemented the practical tool for AWAFT. AWAFT focuses on buffer overflows and parsing errors of function parameters. Using the tool, we found 177 errors in the system folder of Windows XP SP2. Therefore, AWAFT is useful for security testing of Windows APIs. AWAFT can be applied to libraries of third party software in Windows OS for the security.

Design and Implementation of a Secure Software Architecture for Security Patch Distribution (안전한 보안패치 분배 구조의 설계 및 구현)

  • 손태식;서정우;문종섭;서정택;임을규;이철원
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.4
    • /
    • pp.47-62
    • /
    • 2003
  • Patch distribution is one of important processes to fix vulnerabilities of software and to ensure security of systems. Since an institute or a company has various operating systems or applications, it is not easy to update patches promptly. In this paper, we propose a secure patch distribution architecture with an authentication mechanism, a security assurance mechanism, a patch integrity assurance mechanism, and an automatic patch installation mechanism. We argue that the proposed architecture improve security of patch distribution processes within a domain.

1D CNN and Machine Learning Methods for Fall Detection (1D CNN과 기계 학습을 사용한 낙상 검출)

  • Kim, Inkyung;Kim, Daehee;Noh, Song;Lee, Jaekoo
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.3
    • /
    • pp.85-90
    • /
    • 2021
  • In this paper, fall detection using individual wearable devices for older people is considered. To design a low-cost wearable device for reliable fall detection, we present a comprehensive analysis of two representative models. One is a machine learning model composed of a decision tree, random forest, and Support Vector Machine(SVM). The other is a deep learning model relying on a one-dimensional(1D) Convolutional Neural Network(CNN). By considering data segmentation, preprocessing, and feature extraction methods applied to the input data, we also evaluate the considered models' validity. Simulation results verify the efficacy of the deep learning model showing improved overall performance.

Case study of property extraction and utilization model for the game player models (게임 플레이어 모델을 위한 속성 추출과 모델 활용 사례)

  • Yoon, Taebok;Yang, Seong-Il
    • Journal of Korea Game Society
    • /
    • v.21 no.6
    • /
    • pp.87-96
    • /
    • 2021
  • As the industry develops, the technology used for games is also being advanced. In particular, AI technology is used to game automation and intelligence. These game player patterns are widely used in online games such as player matchmaking, generation of friendly or hostile NPCs, and balancing of game worlds. This study proposes a model generation method for game players. For model generation, attributes such as hunting, collection, movement, combat, crisis management, production, and interaction were defined, and patterns were extracted and modeled using decision tree method. To evaluate the proposed method, we used the game log of a commercial game and confirmed the meaningful results.

A Physically Unclonable Function based on RC Circuit with a Confidence Signal (신뢰도 신호를 갖는 RC 회로 기반 PUF 설계)

  • Choi, Jione;Kim, Beomjoong;Lee, Hyung Gyu;Lee, Junghee;Park, Aran;Lee, Gyuho;Jang, Woo Hyun
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.27 no.4
    • /
    • pp.11-18
    • /
    • 2022
  • A physically unclonable function (PUF) is a circuit that generates random numbers by exploiting natural variation. Since it utilizes variations, which cannot be fully controlled, it can be used to generate true random numbers, but environment change may distort the output. In this paper, we propose a PUF with a confidence signal. We designed a PUF that exploits the difference of the time constant of the circuit and verified that different PUFs generate distinct outputs and the same PUF keeps generating similar outputs regardless of the temperature change. Compared to the existing technique, which employs an error correction code, the proposed technique offers the same level of reliability at the 700 times smaller overhead.

Design and Implementation of a Dynamic IoT Device Management System (동적 사물인터넷 장치 관리 시스템 설계 및 구현)

  • Wang, Xinghui;Moon, Nammee;Min, Hong
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.21 no.2
    • /
    • pp.97-101
    • /
    • 2021
  • With the development of the Internet of Things technology, new devices are being developed and used to provide various applications and services. Most IoT devices have a high probability of error because they operate in harsh environments with limited resources. In addition, it is necessary to manage the Internet of Things devices dynamically because new devices are constantly deployed. In this paper, we design a system that allows users to monitor the mounting of new devices to perform the necessary tasks and implement prototypes to validate their operability. Our system also provides a web-based programming interface to direct work on new modules and share work content with each other.