• Title/Summary/Keyword: Testing procedure

Search Result 880, Processing Time 0.027 seconds

Theory and Implementation of Dynamic Taint Analysis for Tracing Tainted Data of Programs (프로그램의 오염 정보 추적을 위한 동적 오염 분석의 이론 및 구현)

  • Lim, Hyun-Il
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.2 no.7
    • /
    • pp.303-310
    • /
    • 2013
  • As the role of software increases in computing environments, issues in software security become more important problems. Dynamic taint analysis is a technique to trace and manage tainted data originated from unreliable sources during the execution of a program. This analysis can be applied to software security verification as well as software behavior understanding, testing unexpected errors, or debugging. In the previous researches, they focussed only to show the analysis results of dynamic taint analysis, and they did not logically describe propagation process of tainted data and analysis procedures. So, there were difficulties in understanding the analysis procedures or applying to other analysis. In this paper, by theoretically describing the analysis procedure, we logically show how the propagation process of tainted data can be traced, and present a theoretical model for dynamic taint analysis. In addition, we verify the correctness of the proposed model by implementing an analyser, and show that propagation of tainted data can be traced by the model. The proposed model can be applied to understand the analysis procedures of data flows in dynamic taint analysis, and can be used as an base knowledge for designing and implementing analysis method, which applies such analysis method.

Effects of Newly Synthesized Recombinant Human Amyloid-β Complexes and Poly-Amyloid-β Fibers on Cell Apoptosis and Cognitive Decline

  • Park, Soojin;Huh, Jae-Won;Eom, Taekil;Park, Naeun;Lee, Youngjeon;Kim, Ju-Sung;Kim, Sun-Uk;Shim, Insop;Lee, Sang-Rae;Kim, Ekyune
    • Journal of Microbiology and Biotechnology
    • /
    • v.27 no.11
    • /
    • pp.2044-2051
    • /
    • 2017
  • The main pathological hallmark of Alzheimer's disease is the deposition of amyloid-beta ($A{\beta}$) peptides in the brain. $A{\beta}$ has been widely used to mimic several aspects of Alzheimer's disease. However, several characteristics of amyloid-induced Alzheimer's disease pathology are not well established, especially in mice. The present study aimed to develop a new Alzheimer's disease model by investigating how $A{\beta}$ can be effectively aggregated using prokaryotes and eukaryotes. To express the $A{\beta}42$ complex in HEK293 cells, we cloned the $A{\beta}42$ region in a tandem repeat and incorporated the resulting construct into a eukaryotic expression vector. Following transfection into HEK293 cells via lipofection, cell viability assay and western blotting analysis revealed that exogenous $A{\beta}42$ can induce cell death and apoptosis. In addition, recombinant His-tagged $A{\beta}42$ was successfully expressed in Escherichia coli BL21 (DE3) and not only readily formed $A{\beta}$ complexes, but also inhibited the proliferation of SH-SY5Y cells and E. coli. For in vivo testing, recombinant His-tagged $A{\beta}42$ solution ($3{\mu}g/{\mu}l$ in $1{\times}PBS$ containing $1mM\;Ni^{2+}$) was injected stereotaxically into the left and right lateral ventricles of the brains of C57BL/6J mice (n = 8). Control mice were injected with $1{\times}PBS$ containing $1mM\;Ni^{2+}$ following the same procedure. Ten days after the sample injection, the Morris water maze test confirmed that exogenous $A{\beta}$ caused an increase in memory loss. These findings demonstrated that $Ni^{2+}$ is capable of complexing the 50-kDa amyloid and that intracerebroventricular injection of $A{\beta}42$ can lead to cognitive impairment, thereby providing improved Alzheimer's disease models.

Dosimetry and Three Dimensional Planning for Stereotactic Radiosurgery with SIEMENS 6-MV LINAC (6-MV선형가속기를 이용한 입체방사선수술의 선량측정 및 3차원적 치료계획)

  • Choi Dong-Rak;Cho Byong Chul;Suh Tae-Suk;Chung Su Mi;Choi Il Bong;Shinn Kyung Sub
    • Radiation Oncology Journal
    • /
    • v.11 no.1
    • /
    • pp.175-181
    • /
    • 1993
  • Radiosurgery requires integral procedure where special devices and computer systems are needed for localization, dose planning and treatment. The aim of this work is to verify the overall mechanical accuracy of our LINAC and develop dose calculation algorithm for LINAC radiosurgery. The alignment of treatment machine and the performance testing of the entire system were extensively carried out and the basic data such as percent depth dose, off-axis ratio and output factor were measured. A three dimensional treatment planning system for stereotactic radiosurgery has been developed. We used an IBM personal computer with C programming language (IBM personal system/2, Model 80386, IBM Co., USA) for calculating the dose distribution. As a result, deviations at isocenter on gantry and table rotation for our treatment machine were acceptable since they were less than 2 mm. According to the phantom experiments, the focusing isocenter were successful by the error of less than 2 mm. Finally, the mechanical accuracy of our three dimensional planning system was confirmed by film dosimetry in sphere phantom.

  • PDF

Development of A Device Constantly Stimulating Tuning Fork and Variability of Its Vibration Perception Time (음차를 일정하게 자극하는 장치의 개발 및 이 장치로 측정한 진동 감지 시간의 변이)

  • Lee, Jong-Young;Hong, Dae-Yong;Yoon, Hyeong-Ryeol
    • Journal of Preventive Medicine and Public Health
    • /
    • v.24 no.1 s.33
    • /
    • pp.93-97
    • /
    • 1991
  • The time honoured tuning fork at present widely available for examining vibration sensation is brought about the problem of great interobserver variation. To resolve t his problem, author developed a divice using electric magnet that stimulates constantly tuning fork. The perception time of vibration from tunung fork by this device was tested on the index finger of dominant hand of twenty eight subjects. It was 12.44 seconds on average and ranged from 9.47 to 17.25. Coefficient of variation of it was 16.89 percent. Correlation coefficient between test and retest after 30 minutes was 0.957(p<0.01). This device is portable. Test procedure in non-invasive, non-aversive and simple, can be performed within one minute, and does not require the skilled technician. It is felt that this device testing vibration perception time is suitable as screening tool for early detection of occupational peripheral neuropathy.

  • PDF

Development of an Efficient Mass-screening Method for Testing the Resistance of Radish to Fusarium Wilt (무 시들음병에 대한 간편한 대량 저항성 검정법 개발)

  • Lee, Ji Hyun;Jang, Kyoung Soo;Choi, Yong Ho;Kim, Hun;Choi, Gyung Ja
    • Research in Plant Disease
    • /
    • v.22 no.3
    • /
    • pp.152-157
    • /
    • 2016
  • Root-dipping inoculation method has been used to investigate resistance of radish plants to Fusarium wilt. However, the method requires a lot of labor and time because of complicate procedure. This study was conducted to establish a simple and effective mass-screening method for resistant radish to Fusarium wilt. Radish seedlings of susceptible and resistant cultivars were used to investigate wounding method by scalpel, inoculum concentration, and pathogen-inoculated growth stage of seedlings. We established an efficient mass-screening method based on our results as following: Roots of 14-day-old seedlings of radish are cut with a scalpel at a $90^{\circ}$ angle to a 2 cm-depth at a 1 cm-distance from main stem and then inoculated by pouring with a 10 ml-aliquot of a fungal spore suspension ($1.0{\times}10^7conidia/ml$) on soil. The inoculated plants are cultivated in a growth room at $25^{\circ}C$ for about 4 weeks with 12-hour light a day. The proposed screening method enables to effectively select resistant from mass radish plants cultivars to Fusarium wilt.

Evaluation of Fire Resistance of Unprotected Concrete-filled Rectangular Steel Tubular Columns under Axial Loading (재하가열시험에 의한 무내화피복 콘크리트충전 각형강관기둥의 내화성능평가)

  • Ahn, Jae Kwon;Lee, Cheol Ho
    • Journal of Korean Society of Steel Construction
    • /
    • v.26 no.4
    • /
    • pp.323-334
    • /
    • 2014
  • In this paper, experimental program and associated numerical study were carried out to evaluate the fire resistance of unprotected concrete-filled rectangular steel tubular (CFT) columns subjected to the standard fire. The key testing parameters included the length effect, the load ratio, and the sectional dimensions of the CFT columns. Temperature distribution and axial deformation of the CFT column specimens were measured and analyzed. Rather early local buckling of steel tubes was observed in all the specimens. This caused subsequent load transfer from steel tube to concrete, and eventually triggered concrete crushing, or complete loss of the load bearing capacity of the column. This implies that the limit state of local buckling as well as overall flexural buckling should be incorporated in fire design procedure. As expected, the fire resistance time of specimen with higher load ratio consistently lessened. The prediction of fire resistance time of unprotected CFT columns based on the limiting steel temperature in current design codes or the formula proposed by previous studies is slightly conservative compared to the fire test results available. To establish the finite element analysis model that can be used to predict the thermal and structural behaviour of unprotected CFT columns in fire, the fully coupled thermal-stress analysis was also tried by using the commercial code ABAQUS. The numerical results showed a reasonable global correlation with the experimental results.

Verification of Spatial Resolution in DMC Imagery using Bar Target (Bar 타겟을 이용한 DMC 영상의 공간해상력 검증)

  • Lee, Tae Yun;Lee, Jae One;Yun, Bu Yeol
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.30 no.5
    • /
    • pp.485-492
    • /
    • 2012
  • Today, a digital airborne imaging sensor plays an important role in construction of the numerous National Spatial Data Infrastructure. However, an appropriate quality assesment procedure for the acquired digital images should be preceded to make them useful data with high precision and reliability. A lot of studies therefore have been conducted in attempt to assess quality of digital images at home and abroad. In this regard, many test fields have been already established and operated to calibrate digital photogrammetric airborne imaging systems in Europe and America. These test fields contain not only GCPs(Ground Control Points) to test geometric performance of a digital camera but also various types of targets to evaluate its spatial and radiometric resolution. The purpose of this paper is to present a method to verify the spatial resolution of the Intergraph DMC digital camera and its results based on an experimental field testing. In field test, a simple bar target to be easily identified in image is used to check the spatial resolution. Images, theoretically designed to 12cm GSD(Ground Sample Distance), were used to calculate the actual resolution for all sub-images and virtual images in flight direction as well as in cross flight direction. The results showed that the actual image resolution was about 0.6cm worse than theoretically expected resolution. In addition, the greatest difference of 1.5cm between them was found in the image of block edge.

Modeling of a PEM Fuel Cell Stack using Partial Least Squares and Artificial Neural Networks (부분최소자승법과 인공신경망을 이용한 고분자전해질 연료전지 스택의 모델링)

  • Han, In-Su;Shin, Hyun Khil
    • Korean Chemical Engineering Research
    • /
    • v.53 no.2
    • /
    • pp.236-242
    • /
    • 2015
  • We present two data-driven modeling methods, partial least square (PLS) and artificial neural network (ANN), to predict the major operating and performance variables of a polymer electrolyte membrane (PEM) fuel cell stack. PLS and ANN models were constructed using the experimental data obtained from the testing of a 30 kW-class PEM fuel cell stack, and then were compared with each other in terms of their prediction and computational performances. To reduce the complexity of the models, we combined a variables importance on PLS projection (VIP) as a variable selection method into the modeling procedure in which the predictor variables are selected from a set of input operation variables. The modeling results showed that the ANN models outperformed the PLS models in predicting the average cell voltage and cathode outlet temperature of the fuel cell stack. However, the PLS models also offered satisfactory prediction performances although they can only capture linear correlations between the predictor and output variables. Depending on the degree of modeling accuracy and speed, both ANN and PLS models can be employed for performance predictions, offline and online optimizations, controls, and fault diagnoses in the field of PEM fuel cell designs and operations.

Experimental Verification on the Effect of the Gap Flow Blocking Devices Attached on the Semi-Spade Rudder using Flow Visualization Technique (유동가시화를 이용한 혼-타의 간극유동 차단장치 효과에 관한 실험적 검증)

  • Shin, Kwangho;Suh, Jung-Chun;Kim, Hyochul;Ryu, Keuksang;Oh, Jungkeun
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.50 no.5
    • /
    • pp.324-333
    • /
    • 2013
  • Recently, rudder erosion due to cavitation has been frequently reported on a semi-spade rudder of a high-speed large ship. This problem raises economic and safety issues when operating ships. The semi-spade rudders have a gap between the horn/pintle and the movable wing part. Due to this gap, a discontinuous surface, cavitation phenomenon arises and results in unresolved problems such as rudder erosion. In this study, we made a rudder model for 2-D experiments using the NACA0020 and also manufactured gap flow blocking devices to insert to the gap of the model. In order to study the gap flow characteristics at various rudder deflection angles($5^{\circ}$, $10^{\circ}$, $35^{\circ}$) and the effect of the gap flow blocking devices, we carried out the velocity measurements using PIV(Particle Image Velocimetry) techniques and cavitation observation using high speed camera in Seoul National University cavitation tunnel. To observe the gap cavitation on a semi-spade rudder, we slowly lowered the inside pressure of the cavitation tunnel until cavitation occurred near the gap and then captured it using high-speed camera with the frame rate of 4300 fps(frame per second). During this procedure, cavitation numbers and the generated location were recorded, and these experimental data were compared with CFD results calculated by commercial code, Fluent. When we use gap flow blocking device to block the gap, it showed a different flow character compared with previous observation without the device. With the device blocking the gap, the flow velocity increases on the suction side, while it decreases on the pressure side. Therefore, we can conclude that the gap flow blocking device results in a high lift-force effect. And we can also observe that the cavitation inception is delayed.

MARGINAL FIDELITY AND FRACTURE STRENGTH OF IPS EMPRESS $2^{(R)}$ CERAMIC CROWNS ACCORDING TO DIFFERENT CEMENT TYPES

  • Cho Hyun-Ok;Kang Dong-Wan
    • The Journal of Korean Academy of Prosthodontics
    • /
    • v.40 no.6
    • /
    • pp.545-559
    • /
    • 2002
  • There has been increasing use of IPS Empress $2^{(R)}$ owing to easy fabrication method, high esthetics similar to natural teeth, good marginal accuracy, and sufficient fracture strength. However, in clinical application, although a luting agent and the tooth cementation bonding procedure influence the marginal accuracy and fracture strength restoration, there has been a controversy in the selection of proper luting agent. This study was to measure the marginal fidelites and fracture strength of IPS Empress crowns according to three cement types, Protec $cem^{(R)}$, Variolink $II^{(R)}$ and Panavia $21^{(R)}$. After construction of 12 experimental dies for each group, IPS Empress $2^{(R)}$ crowns were fabricated and luted the metal master die prepartion of the maxillary right premolar. Marginal gaps before cementation and after cementation were measured. Buccal incline on the functional cusp of specimens were loaded until the catastrophic failure and fracture strength was measured. The results of this study were as follows: 1. The range of gap was $34.04{\pm}4.84{\mu}m$ before cementation and $37.88{\pm}5.00{\mu}m$ after cementation, which showed significant difference by paired t-test (p<0.05). The difference in the results from marginal accuracy according to measuring point proved to be not statistically significant by two-way ANOVA test (p>0.05). 2. The difference in the results from marginal accuracy according to three cement types Proved that The Variolink $II^{(R)}$ cement group had the least gap, $35.43{\pm}5.03{\mu}m$, and showed superior marginal accuracy while there existed statistic significance in Protec $cem^{(R)}$ cement group, $39.06{\pm}4.41{\mu}m$ or Panavia $21^{(R)}$ cement group, $39.16{\pm}4.39{\mu}m$ by two-way ANOVA test & multiple range test (p<0.05). 3. The difference in the results from fractures strength testing according to three cement type groups proved to be statistically significant (p<0.05). The Variolink $II^{(R)}$ cement group shows highest fracture strength of $1257.33{\pm}226.77N$, Panavia $21^{(R)}$ cement group has $1098.08{\pm}138.45N$, and Protec $cem^{(R)}$ cement group represents the lowest fracture strength of $926.75{\pm}115.75N$. 4. Three different cement groups of different components showed acceptable marginal fidelity and fracture strength. It is concluded that IPS Empress $2^{(R)}$ crowns luted using Variolink $II^{(R)}$ cement group had stronger fracture strength and smaller marginal gap than the other cement groups. Although Variolink $II^{(R)}$ resin cement seemed acceptable to clinical applications in IPS Empress $2^{(R)}$ system, the IPS Empress $2^{(R)}$ system still requires long-term research due to the lack of data in clinical applications.