• 제목/요약/키워드: Verification Algorithm

검색결과 1,149건 처리시간 0.03초

Secure and Efficient Cooperative Spectrum Sensing Against Byzantine Attack for Interweave Cognitive Radio System

  • Wu, Jun;Chen, Ze;Bao, Jianrong;Gan, Jipeng;Chen, Zehao;Zhang, Jia
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제16권11호
    • /
    • pp.3738-3760
    • /
    • 2022
  • Due to increasing spectrum demand for new wireless devices applications, cooperative spectrum sensing (CSS) paradigm is the most promising solution to alleviate the spectrum shortage problem. However, in the interweave cognitive radio (CR) system, the inherent nature of CSS opens a hole to Byzantine attack, thereby resulting in a significant drop of the CSS security and efficiency. In view of this, a weighted differential sequential single symbol (WD3S) algorithm based on MATLAB platform is developed to accurately identify malicious users (MUs) and benefit useful sensing information from their malicious reports in this paper. In order to achieve this, a dynamic Byzantine attack model is proposed to describe malicious behaviors for MUs in an interweave CR system. On the basis of this, a method of data transmission consistency verification is formulated to evaluate the global decision's correctness and update the trust value (TrV) of secondary users (SUs), thereby accurately identifying MUs. Then, we innovatively reuse malicious sensing information from MUs by the weight allocation scheme. In addition, considering a high spectrum usage of primary network, a sequential and differential reporting way based on a single symbol is also proposed in the process of the sensing information submission. Finally, under various Byzantine attack types, we provide in-depth simulations to demonstrate the efficiency and security of the proposed WD3S.

Gradient Boosting을 이용한 가축분뇨 인계관리시스템 인계서 자동 검증 (Automated Verification of Livestock Manure Transfer Management System Handover Document using Gradient Boosting)

  • 황종휘;김화경;류재학;김태호;신용태
    • 한국IT서비스학회지
    • /
    • 제22권4호
    • /
    • pp.97-110
    • /
    • 2023
  • In this study, we propose a technique to automatically generate transfer documents using sensor data from livestock manure transfer systems. The research involves analyzing sensor data and applying machine learning techniques to derive optimized outcomes for livestock manure transfer documents. By comparing and contrasting with existing documents, we present a method for automatic document generation. Specifically, we propose the utilization of Gradient Boosting, a machine learning algorithm. The objective of this research is to enhance the efficiency of livestock manure and liquid byproduct management. Currently, stakeholders including producers, transporters, and processors manually input data into the livestock manure transfer management system during the disposal of manure and liquid byproducts. This manual process consumes additional labor, leads to data inconsistency, and complicates the management of distribution and treatment. Therefore, the aim of this study is to leverage data to automatically generate transfer documents, thereby increasing the efficiency of livestock manure and liquid byproduct management. By utilizing sensor data from livestock manure and liquid byproduct transport vehicles and employing machine learning algorithms, we establish a system that automates the validation of transfer documents, reducing the burden on producers, transporters, and processors. This efficient management system is anticipated to create a transparent environment for the distribution and treatment of livestock manure and liquid byproducts.

Mock-up Test를 통한 AI 및 열화상 기반 콘크리트 균열 깊이 평가 기법의 적용성 검증 (Application Verification of AI&Thermal Imaging-Based Concrete Crack Depth Evaluation Technique through Mock-up Test)

  • 정상기;장아름;박진한;강창훈;주영규
    • 한국공간구조학회논문집
    • /
    • 제23권3호
    • /
    • pp.95-103
    • /
    • 2023
  • With the increasing number of aging buildings across Korea, emerging maintenance technologies have surged. One such technology is the non-contact detection of concrete cracks via thermal images. This study aims to develop a technique that can accurately predict the depth of a crack by analyzing the temperature difference between the crack part and the normal part in the thermal image of the concrete. The research obtained temperature data through thermal imaging experiments and constructed a big data set including outdoor variables such as air temperature, illumination, and humidity that can influence temperature differences. Based on the collected data, the team designed an algorithm for learning and predicting the crack depth using machine learning. Initially, standardized crack specimens were used in experiments, and the big data was updated by specimens similar to actual cracks. Finally, a crack depth prediction technology was implemented using five regression analysis algorithms for approximately 24,000 data points. To confirm the practicality of the development technique, crack simulators with various shapes were added to the study.

XAI(eXplainable Artificial Intelligence) 알고리즘 기반 사출 공정 수율 개선 방법론 (Injection Process Yield Improvement Methodology Based on eXplainable Artificial Intelligence (XAI) Algorithm)

  • 홍지수;홍용민;오승용;강태호;이현정;강성우
    • 품질경영학회지
    • /
    • 제51권1호
    • /
    • pp.55-65
    • /
    • 2023
  • Purpose: The purpose of this study is to propose an optimization process to improve product yield in the process using process data. Recently, research for low-cost and high-efficiency production in the manufacturing process using machine learning or deep learning has continued. Therefore, this study derives major variables that affect product defects in the manufacturing process using eXplainable Artificial Intelligence(XAI) method. After that, the optimal range of the variables is presented to propose a methodology for improving product yield. Methods: This study is conducted using the injection molding machine AI dataset released on the Korea AI Manufacturing Platform(KAMP) organized by KAIST. Using the XAI-based SHAP method, major variables affecting product defects are extracted from each process data. XGBoost and LightGBM were used as learning algorithms, 5-6 variables are extracted as the main process variables for the injection process. Subsequently, the optimal control range of each process variable is presented using the ICE method. Finally, the product yield improvement methodology of this study is proposed through a validation process using Test Data. Results: The results of this study are as follows. In the injection process data, it was confirmed that XGBoost had an improvement defect rate of 0.21% and LightGBM had an improvement defect rate of 0.29%, which were improved by 0.79%p and 0.71%p, respectively, compared to the existing defect rate of 1.00%. Conclusion: This study is a case study. A research methodology was proposed in the injection process, and it was confirmed that the product yield was improved through verification.

전자전 위협체 역추적을 위한 송수신 모델링 및 검증 (Transmission Modeling and Verification for the Inverse Estimation of Electronic Warfare Threats)

  • 박소령;정회창;권재완;노상욱
    • 한국차세대컴퓨팅학회논문지
    • /
    • 제13권4호
    • /
    • pp.112-123
    • /
    • 2017
  • 전자전 상황에서 수신기의 수집 변수를 토대로 RF 위협체를 역추적함으로서 효율적인 전자공격을 수행하려는 연구가 진행되고 있다. 본 논문에서는 다양하고 구체적인 전자전 상황에서 위협체 역추적 알고리즘의 성능을 검증할 수 있도록 하기 위하여, 전자파 수집 변수를 바탕으로 레이더 위협체, 전자전 수신기, 전자파 전송환경과 같은 전자전 구성 단위들의 기능을 모델링하여 전자전 송수신 시뮬레이터를 구축한다. 시뮬레이터의 실험 결과는 수 m 정도의 거리 추적 오차와 소수점 이하 크기의 각도 추적 오차를 보이며, 모노펄스 빔폭과 편각의 변화에 따른 각도 추적 오차의 변화가 이론적인 모델링의 결과와 동일한 양상을 보임으로써 레이더 위협체의 거리 및 각도 추적의 동작 원리가 시뮬레이터에 적절하게 반영되었음을 확인할 수 있다. 구축한 전자전 송수신 시뮬레이터는 전자전 수집 시스템에서 추출된 위협체의 특성 변수가 실제 위협체의 특성 변수에서 어떻게 변형되었는지를 관찰하고, 다양한 전자전 상황에서 수집된 변수를 토대로 구성한 위협체 역추적 시스템의 성능을 평가하는 데에 활용될 수 있다.

NWS-PC 모형을 이용한 강우-유출 모의에서 적설 및 융설 영향 (Influence of Snow Accumulation and Snowmelt Using NWS-PC Model in Rainfall-runoff Simulation)

  • 강신욱;유승엽
    • 대한토목학회논문집
    • /
    • 제28권1B호
    • /
    • pp.1-9
    • /
    • 2008
  • 소양강댐 유역의 관측유입량과 융설 모의의 포함 유무에 따른 모의 결과를 비교함으로써 적설 및 융설 모형의 필요성을 분석하였다. 사용한 융설 모형은 Sugawara 등의 개념적 융설 모형이고, 강우-유출 모형은 NWS-PC를 사용하였다. 모형의 매개변수는 다단계 자동보정법에 의해 추정하였고, 각 단계별로 SCE-UA 알고리즘에 의해 최적화되었다. 매개변수 추정시와 검증 모의에서 RMSE, PBIAS, NSE, PME 통계량은 융설을 포함한 모의가 그렇지 않은 모의보다 좋은 결과를 나타내었다. 소양강댐의 관측유입량은 약 두 달 이상의 자기상관성을 나타내었고, 융설을 포함하지 않은 경우에 모의된 유량시계열은 20일 정도의 자기상관성을 나타내었다. 융설을 포함한 경우의 모의유량 시계열은 관측 유량시계열과 유사하게 약 두 달 이상의 자기상관성을 나타내었다. 이와 같은 결과로 소양강댐 유역의 강우-유출 모의시 적설 및 융설 모형을 포함하여야 모형의 정확성을 향상시킬 수 있다.

Verification of a novel fuel burnup algorithm in the RAPID code system based on Serpent-2 simulation of the TRIGA Mark II research reactor

  • Anze Pungercic;Valerio Mascolino ;Alireza Haghighat;Luka Snoj
    • Nuclear Engineering and Technology
    • /
    • 제55권10호
    • /
    • pp.3732-3753
    • /
    • 2023
  • The Real-time Analysis for Particle-transport and In-situ Detection (RAPID) Code System, developed based on the Multi-stage Response-function Transport (MRT) methodology, enables real-time simulation of nuclear systems such as reactor cores, spent nuclear fuel pools and casks, and sub-critical facilities. This paper presents the application of a novel fission matrix-based burnup methodology to the well-characterized JSI TRIGA Mark II research reactor. This methodology allows for calculation of nuclear fuel depletion by combination and interpolation of RAPID's burnup dependent fission matrix (FM) coefficients to take into account core changes due to burnup. The methodology is compared to experimentally validated Serpent-2 Monte Carlo depletion calculations. The results show that the burnup methodology for RAPID (bRAPID) implemented into RAPID is capable of accurately calculating the keff burnup changes of the reactor core as the average discrepancies throughout the whole burnup interval are 37 pcm. Furthermore, capability of accurately describing 3D fission source distribution changes with burnup is demonstrated by having less than 1% relative discrepancies compared to Serpent-2. Good agreement is observed for axially and pin-wise dependent fuel burnup and nuclear fuel nuclide composition as a function of burnup. It is demonstrated that bRAPID accurately describes burnup in areas with high gradients of neutron flux (e.g. vicinity of control rods). Observed discrepancies for some isotopes are explained by analyzing the neutron spectrum. This paper presents a powerful depletion calculation tool that is capable of characterization of spent nuclear fuel on the fly while the reactor is in operation.

Modeling and experimental verification of phase-control active tuned mass dampers applied to MDOF structures

  • Yong-An Lai;Pei-Tzu Chang;Yan-Liang Kuo
    • Smart Structures and Systems
    • /
    • 제32권5호
    • /
    • pp.281-295
    • /
    • 2023
  • The purpose of this study is to demonstrate and verify the application of phase-control absolute-acceleration-feedback active tuned mass dampers (PCA-ATMD) to multiple-degree-of-freedom (MDOF) building structures. In addition, servo speed control technique has been developed as a replacement for force control in order to mitigate the negative effects caused by friction and inertia. The essence of the proposed PCA-ATMD is to achieve a 90° phase lag for a structure by implementing the desired control force so that the PCA-ATMD can receive the maximum power flow with which to effectively mitigate the structural vibration. An MDOF building structure with a PCA-ATMD and a real-time filter forming a complete system is modeled using a state-space representation and is presented in detail. The feedback measurement for the phase control algorithm of the MDOF structure is compact, with only the absolute acceleration of one structural floor and ATMD's velocity relative to the structure required. A discrete-time direct output-feedback optimization method is introduced to the PCA-ATMD to ensure that the control system is optimized and stable. Numerical simulation and shaking table experiments are conducted on a three-story steel shear building structure to verify the performance of the PCA-ATMD. The results indicate that the absolute acceleration of the structure is well suppressed whether considering peak or root-mean-square responses. The experiment also demonstrates that the control of the PCA-ATMD can be decentralized, so that it is convenient to apply and maintain to real high-rise building structures.

차별적이니 드랍-확률을 갖는 동적-VQSDDP를 이용한 상대적 손실차별화의 달성 (Achieving Relative Loss Differentiation using D-VQSDDP with Differential Drop Probability)

  • 조경래;구자환;정진욱
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.1332-1335
    • /
    • 2008
  • In order to various service types of real time and non-real time traffic with varying requirements are transmitted over the IEEE 802.16 standard is expected to provide quality of service(QoS) researchers have explored to provide a queue management scheme with differentiated loss guarantees for the future Internet. The sides of a packet drop rate, an each class to differential drop probability on achieving a low delay and high traffic intensity. Improved a queue management scheme to be enhanced to offer a drop probability is desired necessarily. This paper considers multiple random early detection with differential drop probability which is a slightly modified version of the Multiple-RED(Random Early Detection) model, to get the performance of the best suited, we analyzes its main control parameters (maxth, minth, maxp) for achieving the proportional loss differentiation (PLD) model, and gives their setting guidance from the analytic approach. we propose Dynamic-multiple queue management scheme based on differential drop probability, called Dynamic-VQSDDP(Variable Queue State Differential Drop Probability)T, is proposed to overcome M-RED's shortcoming as well as supports static maxp parameter setting values for relative and each class proportional loss differentiation. M-RED is static according to the situation of the network traffic, Network environment is very dynamic situation. Therefore maxp parameter values needs to modify too to the constantly and dynamic. The verification of the guidance is shown with figuring out loss probability using a proposed algorithm under dynamic offered load and is also selection problem of optimal values of parameters for high traffic intensity and show that Dynamic-VQSDDP has the better performance in terms of packet drop rate. We also demonstrated using an ns-2 network simulation.

스마트 그리드 배전계통에서 인공신경회로망을 이용한 DSP 기반 실시간 고장 판단 방법론 기초 연구 (DSP based Real-Time Fault Determination Methodology using Artificial Neural Network in Smart Grid Distribution System)

  • 김진언;이유림;최정우;노병훈;고윤석
    • 한국전자통신학회논문지
    • /
    • 제18권5호
    • /
    • pp.817-826
    • /
    • 2023
  • 본 논문에서는 스마트 그리드 배전 계통에서 선로상의 고장으로부터 계통을 보호하기 위한 인공 신경 회로망을 기반으로 하는 고장 판단 방법론을 제안하였다. 제안된 방법론에서는 먼저 전류 실효값 크기를 기반으로 일반 고장 여부를 판단하고 다음, 정상 전류로 판단되는 경우 인공 신경 회로망을 기반으로 하는 normal/HIF classifier를 이용하여 고 임피던스 지락 고장 여부를 판단하도록 설계하였다. 반복적인 DSP 모듈 기반 알고리즘 검증 시험들 중에서, 실효 값 크기가 최소 동작전류보다 작은 정상 전류 파형 시험인 경우에 normal/HIF classifier가 전류 파형을 정상상태로 인식하여 부 동작하였으며, 반면에, 저 임피던스 고장의 경우는 고장 상태로 인식하여 정해진 절차에 따라 재폐로 동작을 보임으로써 제안된 방법론의 유효성을 확인할 수 있었다.