• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권12호
• /
• pp.829-840
• /
• 2013

본 논문은 Simulink/Stateflow 모델 기반의 테스트 케이스를 자동으로 생성하기 위하여, 휴리스틱 입력 분석을 이용한 Rapidly-exploring Random Tree(RRT) 기법을 제안한다. RRT는 모델 기반 블랙박스 테스트 케이스 생성 시 반드시 해결해야 되는 도달 가능성 문제를 효율적으로 해결할 수 있는 방법이지만, 모델의 내부 상태와 테스트 목표를 고려하지 않고 무작위로 모델의 입력을 생성하기 때문에 테스트 케이스 생성 효율이 떨어지는 단점이 있다. 제안하는 기법에서는 RRT를 확장해나갈 때 필요한 입력을, 모델의 현재 상태에서 만족 할 수 있는 테스트 목표를 분석하고 이를 달성할 수 있는 모델의 입력을 분석 결과에 따라 휴리스틱하게 결정함으로써, RRT의 장점을 보존하면서, 테스트 케이스 생성 효율을 높일 수 있다. 제안된 기법은 자동차에 사용되는 실 부품 ECU의 Simulink/Stateflow 모델을 대상으로 한 실험을 통해 성능이 평가되었으며, 기존 RRT와 비교하여 테스트 케이스 생성 효율이 높은 것을 보였다.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• 대한치과교정학회지
• /
• 제43권4호
• /
• pp.186-192
• /
• 2013

Objective: To analyze the fatigue resistance, debonding force, and failure type of fiber-reinforced composite, polyethylene ribbon-reinforced, and braided stainless steel wire lingual retainers in vitro. Methods: Roots of human mandibular central incisors were covered with silicone, mimicking the periodontal ligament, and embedded in polymethylmethacrylate. The specimens (N = 50), with two teeth each, were randomly divided into five groups (n = 10/group) according to the retainer materials: (1) Interlig (E-glass), (2) everStick Ortho (E-glass), (3) DentaPreg Splint (S2-glass), (4) Ribbond (polyethylene), and (5) Quad Cat wire (stainless steel). After the recommended adhesive procedures, the retainers were bonded to the teeth by using flowable composite resin (Tetric Flow). The teeth were subjected to 10,00,000 cyclic loads (8 Hz, 3 - 100 N, $45^{\circ}$ angle, under $37{\pm}3^{\circ}C$ water) at their incisoproximal contact, and debonding forces were measured with a universal testing machine (1 mm/min crosshead speed). Failure sites were examined under a stereomicroscope (${\times}40$ magnification). Data were analyzed by one-way analysis of variance. Results: All the specimens survived the cyclic loading. Their mean debonding forces were not significantly different (p > 0.05). The DentaPreg Splint group (80%) showed the highest incidence of complete adhesive debonding, followed by the Interlig group (60%). The everStick Ortho group (80%) presented predominantly partial adhesive debonding. The Quad Cat wire group (50%) presented overlying composite detachment. Conclusions: Cyclic loading did not cause debonding. The retainers presented similar debonding forces but different failure types. Braided stainless steel wire retainers presented the most repairable failure type.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• pp.1196-1200
• /
• 2004

Micropump is very useful component in micro/nano fluidics and bioMEMS applications. In this study, a bubble-powered micropump was fabricated and tested. The micropump consists of two-parallel micro line heaters, a pair of nozzle-diffuser flow controller and a 1 mm in diameter, 400 ${\mu}m$ in depth pumping chamber. The two-parallel micro line heaters with 20 ${\mu}m-width$ and 200 ${\mu}m-length$ were fabricated to be embedded in the silicon dioxide layer of a wafer which serves as a base plate for the micropump. The pumping chamber, the pair of nozzle-diffuser unit and microchannels including the liquid inlet and outlet port were fabricated by etching through another silicon wafer. A glass wafer (thickness of $525{\pm}15$ ${\mu}m$) having two holes of inlet and outlet ports of liquid serve as upper plate of the pump. Finally the silicon wafer of the base plate, the silicon wafer of pumping chamber and the glass wafer were aligned and bonded (Si-Si bonding and anodic bonding). A sequential photograph of bubble nucleation, growth and collapse was visualized by CCD camera. Clearly liquid flow through the nozzle during the period of bubble growth and slight back flow of liquid at the end of collapsing period can be seen. The mass flow rate was found to be dependent on the duty ratio and the operation frequency. As duty ratio increases, flow rate decreases gradually when the duty ratio exceeds 60%. Also as the operation frequency increases, the flow rate of the micropump decreases slightly.

• Structural Monitoring and Maintenance
• /
• 제2권1호
• /
• pp.19-34
• /
• 2015

One of the main causes of a limited use of nondestructive evaluation (NDE) technologies in bridge deck assessment is the speed of data collection and analysis. The paper describes development and implementation of the RABIT (Robotics Assisted Bridge Inspection Tool) for data collection using multiple NDE technologies. The system is designed to characterize three most common deterioration types in concrete bridge decks: rebar corrosion, delamination, and concrete degradation. It implements four NDE technologies: electrical resistivity (ER), impact echo (IE), ground-penetrating radar (GPR), and ultrasonic surface waves (USW) method. The technologies are used in a complementary way to enhance the interpretation. In addition, the system utilizes advanced vision to complement traditional visual inspection. Finally, the RABIT collects data at a significantly higher speed than it is done using traditional NDE equipment. The robotic system is complemented by an advanced data interpretation. The associated platform for the enhanced interpretation of condition assessment in concrete bridge decks utilizes data integration, fusion, and deterioration and defect visualization. This paper concentrates on the validation and field implementation of two NDE technologies. The first one is IE used in the delamination detection and characterization, while the second one is the USW method used in the assessment of concrete quality. The validation of performance of the two methods was conducted on a 9 m long and 3.6 m wide fabricated bridge structure with numerous artificial defects embedded in the deck.

• The Journal of Advanced Prosthodontics
• /
• 제3권2호
• /
• pp.90-95
• /
• 2011

PURPOSE. To compare the fracture resistance and the mode of failure of endodontically treated teeth restored with different post-core systems. MATERIALS AND METHODS. Root canal treatment was performed on 40 maxillary incisors and the samples were divided into four groups of 10 each. For three experimental groups post space preparation was done and teeth were restored with cast post-core (Group B), stainless steel post with composite core (Group C) and glass fiber post with composite core using adhesive resin cement (Group D). Control group (A) samples were selected with intact coronal structure. All the samples were prepared for ideal abutment preparation. All the samples were subjected to a load of 0.5 mm/min at $130^{circ}$.until fracture occurred using the universal testing machine. The fracture resistance was measured and the data were analyzed statistically. The fracture above the embedded resin was considered to be favorable and the fracture below the level was considered as unfavorable. The statistical analysis of fracture resistance between different groups was carried out with t-test. For the mode of failure the statistical analysis was carried out by Kruskal-Wallis test and Chi-Square test. RESULTS. For experimental group Vs control group the fracture resistance values showed significant differences (P<.05). For the mode of failure the chi-square value is 16.1610, which means highly significant (P=.0009) statistically. CONCLUSION. Endodontically treated teeth without post core system showed the least fracture resistance demonstrating the need to reinforce the tooth. Stainless steel post with composite core showed the highest fracture resistance among all the experimental groups. Teeth restored with the Glass fiber post showed the most favorable fractures making them more amenable to the re-treatment.

• 대한치과교정학회지
• /
• 제44권1호
• /
• pp.20-27
• /
• 2014

Objective: The aims of this study were to evaluate the relationship between the detachment force and bonding resin surface are and to determine the resin bonding surface area that would provide adequate bonding strength with minimum resin volume. Methods: One hundred and sixty human premolars were randomly divided into 4 groups of 40 teeth each. The diameter of the resin surface area in each group was as follows: group 1, 1.5 mm; group 2, 2.5 mm; group 3, 3.5 mm; and group 4, 4.5 mm. Respond Dead Soft straight (length 0.0175 inch) was used to fabricate the retainers, and $Transbond^{TM}$ XT was used to fix the retainers to the tooth surfaces. A pair of teeth was embedded in acrylic blocks for each specimen. Thus, each group comprised 20 samples. Fixed retainers were bonded to the teeth, and vertical force was applied at the middle of wire. The force was measured using a universal testing machine. Results: The mean value of detachment force was the highest for group 4 ($102.38{\pm}2.92N$), followed by group 3 ($63.54{\pm}2.21N$), group 2 ($51.95{\pm}1.61N$), and group 1 ($24.14{\pm}1.38N$). Conclusions: The detachment force of lingual fixed retainers was significantly affected as the area of the resin bonding surface increased. Considering the minimum bonding strength of brackets, a resin bonding surface area with a diameter of 3.5 mm would provide adequate bonding strength.

• International Journal of Concrete Structures and Materials
• /
• 제9권4호
• /
• pp.475-486
• /
• 2015

Mode II fracture toughness ($K_{IIc}$) of fiber reinforced concrete (FRC) has been widely investigated under various patterns of test specimen geometries. Most of these studies were focused on single type fiber reinforced concrete. There is a lack in such studies for hybrid fiber reinforced concrete. In the current study, an experimental investigation of evaluating mode II fracture toughness ($K_{IIc}$) of hybrid fiber embedded in high strength concrete matrix has been reported. Three different types of fibers; namely steel (S), glass (G), and polypropylene (PP) fibers were mixed together in four hybridization patterns (S/G), (S/PP), (G/PP), (S/G/PP) with constant cumulative volume fraction ($V_f$) of 1.5 %. The concrete matrix properties were kept the same for all hybrid FRC patterns. In an attempt to estimate a fairly accepted value of fracture toughness $K_{IIc}$, four testing geometries and loading types are employed in this investigation. Three different ratios of notch depth to specimen width (a/w) 0.3, 0.4, and 0.5 were implemented in this study. Mode II fracture toughness of concrete $K_{IIc}$ was found to decrease with the increment of a/w ratio for all concretes and test geometries. Mode II fracture toughness $K_{IIc}$ was sensitive to the hybridization patterns of fiber. The (S/PP) hybridization pattern showed higher values than all other patterns, while the (S/G/PP) showed insignificant enhancement on mode II fracture toughness ($K_{IIc}$). The four point shear test set up reflected the lowest values of mode II fracture toughness $K_{IIc}$ of concrete. The non damage defect concept proved that, double edge notch prism test setup is the most reliable test to measure pure mode II of concrete.

• The Journal of Advanced Prosthodontics
• /
• 제2권4호
• /
• pp.117-121
• /
• 2010

PURPOSE. The present study was intended to evaluate the effect of soldering techniques with infrared ray and gas torch under different gap distances (0.3 mm and 0.5 mm) on the tensile strength and surface porosity formation in Ni-Cr base metal alloy. MATERIALS AND METHODS. Thirty five dumbbell shaped Ni-Cr alloy specimens were prepared and assigned to 5 groups according to the soldering method and the gap distance. For the soldering methods, gas torch (G group) and infrared ray (IR group) were compared and each group was subdivided by corresponding gap distance (0.3 mm: G3 and IR3, 0.5 mm: G5, IR5). Specimens of the experimental groups were sectioned in the middle with a diamond disk and embedded in solder blocks according to the predetermined distance. As a control group, 7 specimens were prepared without sectioning or soldering. After the soldering procedure, a tensile strength test was performed using universal testing machine at a crosshead speed 1 mm/min. The proportions of porosity on the fractured surface were calculated on the images acquired through the scanning electronic microscope. RESULTS. Every specimen of G3, G5, IR3 and IR5 was fractured on the solder joint area. However, there was no significant difference between the test groups (P > .05). There was a negative correlation between porosity formation and tensile strength in all the specimens in the test groups (P < .05). CONCLUSION. There was no significant difference in ultimate tensile strength of joints and porosity formations between the gas-oxygen torch soldering and infrared ray soldering technique or between the gap distance of 0.3 mm and 0.5 mm.

• 감성과학
• /
• 제18권3호
• /
• pp.93-106
• /
• 2015

최근 고기능성 제품에 대한 수요가 증가함에 따라 ICT 기능과의 융합을 통한 스마트 의류는 일상생활 분야로 확대되고 있다. 그 중 하나로, 발열 텍스타일 및 제어 모듈을 통해 의복 내 발열기능을 조절하는 스마트 의류에 대한 관심이 높아지고 있으며, 발열 기능을 갖는 스마트 의류의 시장 전망이 높아지고 있으나, 발열 패드 부착위치에 따른 발열 기능의 효용성 및 온열감에 대한 연구는 부족한 실정이다. 본 연구에서는 발열 패드의 위치에 따른 피부온의 변화와 온열감에 대한 실증적 연구를 통하여 발열기능의 스마트 의류 개발을 위한 최적의 발열 위치를 도출하고자 하였다. 이를 위하여 20대 표준체형의 남성 10명을 피험자로 선정하였으며, 영하 $5^{\circ}C$의 인공기후실에서 20분의 안정기, 20분의 처치기, 40분의 회복기를 통해 11군데에서의 피부온, 직장온과 주관적 온열감을 측정, 평가하였다. 최종적으로, 발열패드를 위한 최적의 위치를 도출하고 제시하였다.