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

Search Result 2,336, Processing Time 0.033 seconds

A Digital Phase-locked Loop design based on Minimum Variance Finite Impulse Response Filter with Optimal Horizon Size (최적의 측정값 구간의 길이를 갖는 최소 공분산 유한 임펄스 응답 필터 기반 디지털 위상 고정 루프 설계)

  • You, Sung-Hyun;Pae, Dong-Sung;Choi, Hyun-Duck
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.16 no.4
    • /
    • pp.591-598
    • /
    • 2021
  • The digital phase-locked loops(DPLL) is a circuit used for phase synchronization and has been generally used in various fields such as communication and circuit fields. State estimators are used to design digital phase-locked loops, and infinite impulse response state estimators such as the well-known Kalman filter have been used. In general, the performance of the infinite impulse response state estimator-based digital phase-locked loop is excellent, but a sudden performance degradation may occur in unexpected situations such as inaccuracy of initial value, model error, and disturbance. In this paper, we propose a minimum variance finite impulse response filter with optimal horizon for designing a new digital phase-locked loop. A numerical method is introduced to obtain the measured value interval length, which is an important parameter of the proposed finite impulse response filter, and to obtain a gain, the covariance matrix of the error is set as a cost function, and a linear matrix inequality is used to minimize it. In order to verify the superiority and robustness of the proposed digital phase-locked loop, a simulation was performed for comparison and analysis with the existing method in a situation where noise information was inaccurate.

Error analysis on factorization and the effect of online individualization classes (인수분해에 대한 오류 분석과 온라인 개별화 수업의 효과)

  • Choi, Dong-won;Heo, Haeja
    • Journal of the Korean School Mathematics Society
    • /
    • v.24 no.1
    • /
    • pp.83-105
    • /
    • 2021
  • In this paper, we analyzed the misconceptions and errors incurred during factorization learning. We also examined whether online individualization classes had a positive effect on students' mathematical achievement. The experiment was conducted for 4 weeks (16 times in total) on middle school juniors in rural areas of Gyeonggi Province, where the influence of private extra education was small. In the class, the 'Google Classroom' was used as a LMS, the video lecture was uploaded to YouTube, and the teacher interacted with the students through "Zoom" and "Facetalk". In the online class situation, students' assignments and test answers were checked in real time through 'Google Classroom', and immediate feedback was provided to the experimental class group's students. However, for the control group students, feedback was provided only to those who desired. A total of 7 achievement evaluations were conducted in the order of pre-test, formative evaluation (5 times), and post-test to confirm the change in students' ability improvement and achievement. Through the formative evaluation analysis, it was possible to grasp the types of errors and misconceptions that occured during the factorization process. Students' errors were divided into four types: theorem or definition distortion error, functional errors such as calculation, operation, and manipulation, errors that do not verify the solution, and no response. As a result of ANCOVA, the two groups did not show any difference from the 1st to 4th formative assessment. However, the 5th formative assessment and post-test showed statistically significant differences, confirming that online individualization classes contributed to improvemed achievement.

Hybrid All-Reduce Strategy with Layer Overlapping for Reducing Communication Overhead in Distributed Deep Learning (분산 딥러닝에서 통신 오버헤드를 줄이기 위해 레이어를 오버래핑하는 하이브리드 올-리듀스 기법)

  • Kim, Daehyun;Yeo, Sangho;Oh, Sangyoon
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.10 no.7
    • /
    • pp.191-198
    • /
    • 2021
  • Since the size of training dataset become large and the model is getting deeper to achieve high accuracy in deep learning, the deep neural network training requires a lot of computation and it takes too much time with a single node. Therefore, distributed deep learning is proposed to reduce the training time by distributing computation across multiple nodes. In this study, we propose hybrid allreduce strategy that considers the characteristics of each layer and communication and computational overlapping technique for synchronization of distributed deep learning. Since the convolution layer has fewer parameters than the fully-connected layer as well as it is located at the upper, only short overlapping time is allowed. Thus, butterfly allreduce is used to synchronize the convolution layer. On the other hand, fully-connecter layer is synchronized using ring all-reduce. The empirical experiment results on PyTorch with our proposed scheme shows that the proposed method reduced the training time by up to 33% compared to the baseline PyTorch.

Principles for evaluating the clinical implementation of novel digital healthcare devices (첨단 디지털 헬스케어 의료기기를 진료에 도입할 때 평가원칙)

  • Park, Seong Ho;Do, Kyung-Hyun;Choi, Joon-Il;Sim, Jung Suk;Yang, Dal Mo;Eo, Hong;Woo, Hyunsik;Lee, Jeong Min;Jung, Seung Eun;Oh, Joo Hyeong
    • Journal of the Korean Medical Association
    • /
    • v.61 no.12
    • /
    • pp.765-775
    • /
    • 2018
  • With growing interest in novel digital healthcare devices, such as artificial intelligence (AI) software for medical diagnosis and prediction, and their potential impacts on healthcare, discussions have taken place regarding the regulatory approval, coverage, and clinical implementation of these devices. Despite their potential, 'digital exceptionalism' (i.e., skipping the rigorous clinical validation of such digital tools) is creating significant concerns for patients and healthcare stakeholders. This white paper presents the positions of the Korean Society of Radiology, a leader in medical imaging and digital medicine, on the clinical validation, regulatory approval, coverage decisions, and clinical implementation of novel digital healthcare devices, especially AI software for medical diagnosis and prediction, and explains the scientific principles underlying those positions. Mere regulatory approval by the Food and Drug Administration of Korea, the United States, or other countries should be distinguished from coverage decisions and widespread clinical implementation, as regulatory approval only indicates that a digital tool is allowed for use in patients, not that the device is beneficial or recommended for patient care. Coverage or widespread clinical adoption of AI software tools should require a thorough clinical validation of safety, high accuracy proven by robust external validation, documented benefits for patient outcomes, and cost-effectiveness. The Korean Society of Radiology puts patients first when considering novel digital healthcare tools, and as an impartial professional organization that follows scientific principles and evidence, strives to provide correct information to the public, make reasonable policy suggestions, and build collaborative partnerships with industry and government for the good of our patients.

A Design Method Considering Torque and Torque-ripple of Interior Permanent Magnet Synchronous Motor by Response Surface Methodology (반응표면분석법에 의한 매입형영구자석동기전동기의 토크와 토크리플을 고려한 설계기법)

  • Baek, Seung-Koo;Jeon, Chang-Sung
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.20 no.6
    • /
    • pp.557-564
    • /
    • 2019
  • The characteristics of the torque and torque ripple of Interior Permanent Magnet Synchronous Motor(IPMSM) are influenced by the size and position of the rotor magnet and the size of the stator slot. This paper deals with the optimal design method for improving torque and torque ripplerate for IPMSM using Response Surface Methodology(RSM). Two objective functions of torque output and torque ripple were derived from the sensitivity analysis by Plackett-Burmann(PB) for the characteristic variables affecting torque and torque ripple. Secondary characteristic variables were selected from the derived objective function and RSM secondary regression model function was estimated by the experiment schedule and analysis results according to the Central Composite Design (CCD). The reliability of the secondary regression model was verified using ANOVA table. The analysis according to the experimental schedule was verified by JMAG(Ver. 18.0) which is Finite Element Method(FEM) software. The torque output of IPMSM applied with final characteristic variables was increased torque output by 11.5 % and the torque ripplerate was reduced by 9.1 %.

Analytical Formula for the Equivalent Mohr-Coulomb Strength Parameters Best-fitting the Generalized Hoek-Brown Criterion in an Arbitrary Range of Minor Principal Stress (임의 최소주응력 구간에서 일반화된 Hoek-Brown 파괴기준식을 최적 근사하는 등가 Mohr-Coulomb 강도정수 계산식)

  • Lee, Youn-Kyou
    • Tunnel and Underground Space
    • /
    • v.29 no.3
    • /
    • pp.172-183
    • /
    • 2019
  • The generalized Hoek-Brown (GHB) failure criterion developed by Hoek et al. (2002) is a nonlinear function which defines a stress condition at failure of rock mass. The relevant strength parameter values are systematically determined using the GSI value. Since GSI index is a value quantifying the condition of in-situ rock mass, the GHB criterion is a practical failure condition which can take into the consideration of in-situ rock mass quality. Considering that most rock mechanics engineers are familiar with the linear Mohr-Coulomb criterion and that many rock engineering softwares incorporate Mohr-Coulomb criterion, the equations for the equivalent friction angle and cohesion were also proposed along with the release of the GHB criterion. The proposed equations, however, fix the lower limit of the minor principal stress range, where the linear best-fitting is performed, with the tensile strength of the rock mass. Therefore, if the tensile stress is not expected in the domain of analysis, the calculated equivalent friction angle and cohesion based on the equations in Hoek et al. (2002) could be less accurate. In order to overcome this disadvantage of the existing equations for equivalent friction angle and cohesion, this study proposes the analytical formula which can calculate optimal equivalent friction angle and cohesion in any minor principal stress interval, and verified the accuracy of the derived formula.

Estimation Method of Predicted Time Series Data Based on Absolute Maximum Value (최대 절대값 기반 시계열 데이터 예측 모델 평가 기법)

  • Shin, Ki-Hoon;Kim, Chul;Nam, Sang-Hun;Park, Sung-Jae;Yoo, Sung-Soo
    • Journal of Energy Engineering
    • /
    • v.27 no.4
    • /
    • pp.103-110
    • /
    • 2018
  • In this paper, we introduce evaluation method of time series prediction model with new approach of Mean Absolute Percentage Error(hereafter MAPE) and Symmetric Mean Absolute Percentage Error(hereafter sMAPE). There are some problems using MAPE and sMAPE. First MAPE can't evaluate Zero observation of dataset. Moreover, when the observed value is very close to zero it evaluate heavier than other methods. Finally it evaluate different measure even same error between observations and predicted values. And sMAPE does different evaluations are made depending on whether the same error value is over-predicted or under-predicted. And it has different measurement according to the each sign, even if error is the same distance. These problems were solved by Maximum Mean Absolute Percentage Error(hereafter mMAPE). we used the absolute maximum of observed value as denominator instead of the observed value in MAPE, when the value is less than 1, removed denominator then solved the problem that the zero value is not defined. and were able to prevent heavier measurement problem. Also, if the absolute maximum of observed value is greater than 1, the evaluation values of mMAPE were compared with those of the other evaluations. With Beijing PM2.5 temperature data and our simulation data, we compared the evaluation values of mMAPE with other evaluations. And we proved that mMAPE can solve the problems that we mentioned.

Conceptual Design of Networking Node with Real-time Monitoring for QoS Coordination of Tactical-Mesh Traffic (전술메쉬 트래픽 QoS 조율을 위한 네트워킹 노드의 개념 설계 및 실시간 모니터링)

  • Shin, Jun-Sik;Kang, Moonjoong;Park, Juman;Kwon, Daehoon;Kim, JongWon
    • Smart Media Journal
    • /
    • v.8 no.2
    • /
    • pp.29-38
    • /
    • 2019
  • With the advancement of information and communication technology, tactical networks are continuously being converted to All-IP future tactical networks that integrate all application services based on Internet protocol. Futuristic tactical mesh network is built with tactical WAN (wide area network) nodes that are inter-connected by a mesh structure. In order to guarantee QoS (quality of service) of application services, tactical service mesh (TSM) is suggested as an intermediate layer between infrastructure and application layers for futuristic tactical mesh network. The tactical service mesh requires dynamic QoS monitoring and control for intelligent QoS coordination. However, legacy networking nodes used for existing tactical networks are difficult to support these functionality due to inflexible monitoring support. In order to resolve such matter, we propose a tactical mesh WAN node as a hardware/software co-designed networking node in this paper. The tactical mesh WAN node is conceptually designed to have multi-access networking interfaces and virtualized networking switches by leveraging the DANOS whitebox server/switch. In addition, we explain how to apply eBPF-based traffic monitoring to the tactical mesh WAN node and verify the traffic monitoring feasibility for supporting QoS coordination of tactical-mesh traffic.

A convergent meta-analysis of the effect of hospice nursing intervention (호스피스 간호중재 프로그램 효과에 관한 융·복합 메타분석)

  • Kim, Woon Soon
    • Journal of Digital Convergence
    • /
    • v.16 no.11
    • /
    • pp.419-432
    • /
    • 2018
  • The purpose of this study is to develop a hospice intervention program and present basic study data using a method of Meta analysis. Fifteen theses from 2002 to 2017 were collected from the on-line database at Korean Education and Research Information Service and other journals related hospice. Main keywords were 'hospice' and intervention'. The selected 15 theses were analyzed with publication bias, outcome of effect size, non-overlap percentage(U3), 95% confidence intervals and homogeneity. The result of the study is summarized as follows; Publication bias was stable and the effect size of hospice program was significant at. 99. The effective and significant regulation effects were publication years with 2003 to 2007(ES=1.24), publication types with journals(ES=1.33), majors with nursing sciences(ES=1.02), ages with 29 to 30(ES=1.09), later session(ES=1.06) and aroma(ES=1.12). Accordingly, this thesis has its meaning in that it used a Meta-analysis to analyze domestic theses of hospice intervention programs for the first time in Korea. This thesis will prodide specific guidance to researchers trying to develop and utilize hospice intervention programs resulting in helpful usages in professional hospice institutions with implementations of programs.

Electrical Impedance Tomography for Material Profile Reconstruction of Concrete Structures (콘크리트 구조의 재료 물성 재구성을 위한 전기 임피던스 단층촬영 기법)

  • Jung, Bong-Gu;Kim, Boyoung;Kang, Jun Won;Hwang, Jin-Ha
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.32 no.4
    • /
    • pp.249-256
    • /
    • 2019
  • This paper presents an optimization framework of electrical impedance tomography for characterizing electrical conductivity profiles of concrete structures in two dimensions. The framework utilizes a partial-differential-equation(PDE)-constrained optimization approach that can obtain the spatial distribution of electrical conductivity using measured electrical potentials from several electrodes located on the boundary of the concrete domain. The forward problem is formulated based on a complete electrode model(CEM) for the electrical potential of a medium due to current input. The CEM consists of a Laplace equation for electrical potential and boundary conditions to represent the current inputs to the electrodes on the surface. To validate the forward solution, electrical potential calculated by the finite element method is compared with that obtained using TCAD software. The PDE-constrained optimization approach seeks the optimal values of electrical conductivity on the domain of investigation while minimizing the Lagrangian function. The Lagrangian consists of least-squares objective functional and regularization terms augmented by the weak imposition of the governing equation and boundary conditions via Lagrange multipliers. Enforcing the stationarity of the Lagrangian leads to the Karush-Kuhn-Tucker condition to obtain an optimal solution for electrical conductivity within the target medium. Numerical inversion results are reported showing the reconstruction of the electrical conductivity profile of a concrete specimen in two dimensions.