• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2023년도 가을학술발표대회논문집
• /
• pp.19-20
• /
• 2023

The pre-qualification system related to floor impact noise is considered ineffective, and thus, the introduction of a post-verification system is being prepared. This is because the performance, which was notarized in the qualification test due to various reasons, was not uniformly confirmed on building construction fields. Industry practitioners perceive that this is due to the influence of factors such as the flatness, levelness and/or thickness of the floor. However, it is very difficult to confirm such facts in a short period of time on the fields, and since the practical application of technology to measure and evaluate quantitatively and the establishment of a system are insufficient, it cannot be said to be a problem that can be brought to the surface. In fact, even when considering the conventional measurement of the dynamic modulus of elasticity, measurements are performed under controlled variables, such as placing a 200mm×200mm buffer material on a flat test-floor. However, in the fields, it is common to lay down larger productions(for example, 900mm×600mm) on the bare floor where significant variables are not controlled, and to construct finishing layers corresponding to the pre-qualified floor system without separately confirming the realization of the dynamic modulus of elasticity in the field conditions. In this study, spatial information of the bare floor on the field was measured and evaluated through a laser scanner. Technical methods for assessing the smoothness, flatness, and thickness of construction surfaces were reviewed, providing key insights for grading the quality of construction based on these criteria. Through further detailed and thorough investigations, it is expected that results suitable for practical application and systematization will be derived.

• Mass Spectrometry Letters
• /
• 제1권1호
• /
• pp.21-24
• /
• 2010

The development of clinical biomarkers involves discovery, verification, and validation. Recently, multiple reaction monitoring (MRM) coupled with stable isotope dilution mass spectrometry (IDMS) has shown considerable promise for the direct quantification of proteins in clinical samples. In particular, multiple biomarkers have been tracked in a single experiment using MRM-based MS approaches combined with liquid chromatography. We report here a highly reproducible, quantitative, and dynamic MRM system for validating multi-biomarker proteins using Nanoflow HPLC-Microfluidics Chip/Triple-Quadrupole MS. In this system, transitions were acquired only during the retention window of each eluting peptide. Transitions with the highest MRM-MS intensities for the five target peptides from colon cancer biomarker candidates were automatically selected using Optimizer software. Relative to the corresponding non-dynamic system, the dynamic MRM provided significantly improved coefficients of variation in experiments with large numbers of transitions. Linear responses were obtained with concentrations ranging from fmol to pmol for five target peptides.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국자동차공학회논문집
• /
• 제1권1호
• /
• pp.120-130
• /
• 1993

In the analysis of automobile exhaust system, the exciting forces from the engine determine the dynamic behavior of the system and the dynamic characteristics influence the riding quality. Therefore, the identification of the force in numeric value is quite important for the vibrational reduction. However, the value is difficult to obtain by experiments due to harsh conditions around the engine. In this research, an optimization technology is adopted to evaluate the exciting forces. An experimental method is conducted for the verification of the finite element modeling. Displacements on the end of the exhaust system are measured under the idling environment. cost function is set up to minimize the differences between the displacements of the numerical simulation and the experiment. Design variables are the components of the exciting forces. That is, optimization is utilized to estimate the forces with existing data. Excellent estimations have been calculated efficiently and the information is used again for the forced vibration of the exhaust system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.640-649
• /
• 2010

Coarse granular materials such as gravel and crushed stone have been used as an important fill materials to large soil structure of railway, road, dam and so on. Although much studies for general soil materials have been carried out domestically, the studies for coarse materials were insufficient. Particularly, it is the level in which the study for dynamic properties(Elastic modulus and damping ratio) of coarse materials, applies the foreign country literature. This is due to the lack of large equipment for element test. But large soil structures made of coarse granular materials are generally important infrastructures. Therefore, the reliable design parameters for coarse materials should be obtained for safe and economic design, construction and maintenance. Triaxial test is the laboratory test method that is capable of controlling a confining pressure and boundary condition. In this project, we made a multi-purpose large triaxial testing system. This testing system is able to test coarse granular materials with maximum particle diameter of 100mm and support both the load control and displacement control. The load cell is installed inside of triaxial cell and the axial displacement is measured locally in order to control and measure more accurately in the small strain level. The verification test of this testing system was carried out with urethane verification specimens. So, from now on the useful information for coarse granular materials are expected to suggested by performing many tests with various material and condition.

• 대한기계학회논문집
• /
• 제18권6호
• /
• pp.1365-1373
• /
• 1994

Elasto-dynamic deformation of flexible linkage mechanism was analyzed using the finite element method. A computer program was constructed and applied to analyze a specific crank-level 4-bar mechanism, in which the elasto-dynamic deformation of the mechanism system was obtained using mode superposition method in the case of constant input speed and the effect of geometric stiffness on the mechanism is included. Experimental verification of numerical results was conducted by measuring the elasto-dynamic deformation of mid-points of coupler and lever for the 4-bar lingkage mechanism using high speed camera and image data processing systeem. For the elasto-dynamic deformation at the lever mid-point, the numerical results including geometric stiffness almost agree with the experimental ones. However, the numerical results excluding geometric stiffness good agree with the experimental ones at the couper mid-point.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권5호
• /
• pp.560-566
• /
• 2003

최근까지 초고집적 FPGA 혹은 재구성가능 프로세서 등을 이용한 RC(재구성 컴퓨팅) 기술에 대한 많은 연구가 진행되어 왔으며, 최근 들어서는 이와 같은 RC 기술을 응용분야에 실제 적용한 성공적인 상용화 사례들이 보고되고 있다. 본 논문에서는 FPGA의 동적 재구성 기능과 RC 기법을 이용하여 DES 암호화 시스템을 적은 용량의 FPGA에 구현하기 위한 설계와 구현된 DES 암호화 시스템의 시스템수준 검증 기법을 제안한다. 이를 통하여 동적 재구성 기반의 접근법이 가지는 유용성을 평가할 수 있었는데, 그것은 FPGA의 동적 재구성을 통하여 임의의 알고리즘의 RC 기법에 의한 하드웨어 구현에 있어서 성능과 가격간의 타협이 매우 효과적으로 이루어 질 수 있다는 것이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권8호
• /
• pp.808-812
• /
• 2008

최근 시스템의 복잡도가 증가함에 따라 보안 취약점 문제가 더욱 많이 발생하고 있다. 이를 해결하기 위해 보안 패치가 배포되고 있지만, 시스템 서비스의 중단이 필요하고 패치 자체의 안정성이 검증되지 못해 패치의 적용이 늦어지는 문제가 발생한다. 우리는 이러한 문제를 해결하기 위해 업데이트성이 없는 커널을 위한 함수 단위 동적 업데이트 시스템인 DUNK를 설계하였다. DUNK는 서비스 중단 없는 업데이트를 가능케 하고, 보안 기법인 MAFIA를 통해 안전한 업데이트를 수행한다 MAFIA는 바이너리 패치 코드의 접근 행위를 분석함으로써 패치된 함수가 기존 함수의 접근 권한을 상속받도록 하고, 이를 검증하는 기술을 제공한다. 본 논문에서는 DUNK의 설계와 MAFIA의 알고리즘 및 수행에 대해 기술한다.

• 한국통신학회논문지
• /
• 제21권12호
• /
• pp.3109-3120
• /
• 1996

SDL has been standardized to specify behavioral aspects of communication systems based on the formal description technique, and it is powerful and user friendly in the sense of supporting human communication and understanding, formal analysis andcomparison of behaviors, alternative implementations and design optimization, and its structural decomposition. However, SDL is not sufficient for an efficient handing of entrire system descriptions because the communication systems are generally very complex, and composed from the various interactions among sub-systems. Also, it is very difficult to explicitly verify dynamic views such as liveness and reachability. it leads the demands on analysis scheme to verify dynamic behaviros of specified systems. This paper presents modeling concepts of Petri Nets from SDL and transformation rules to Numerical Petri Nets to provide efficient technqiques for verification of dynamic behaviors, and proposes the reachability garaph that is able to trace all reachable states of a modeled system and reduce an information loss on the reachability tree.

• 한국소음진동공학회논문집
• /
• 제25권10호
• /
• pp.653-659
• /
• 2015

A new formulation of the non-dimensional dynamic influence function method, which is a type of the meshless method, is introduced to extract highly accurate eigenvalues of clamped plates with arbitrary shape. Originally, the final system matrix equation of the method, which was introduced by the author in 1999, does not have a form of algebraic eigenvalue problem unlike FEM. As the result, the non-dimensional dynamic influence function method requires an inefficient process to extract eigenvalues. To overcome this weak point, a new approach for clamped plates is proposed in the paper and the validity and accuracy is shown in verification examples.