• Toxicological Research
• /
• v.18 no.4
• /
• pp.369-374
• /
• 2002

The present study was performed to validate an automated image analysis system (Loats Automated Micronucleus Scoring System) for the mouse bone marrow micronucleus assay, comparing with conventional microscopic scoring. Two studies were conducted to provide slides for a comparison of micro-nucleated polychromatic erythrocytes (MNPCEs) values collected manually to those collected by the auto-mated system. Test article A was used as an example of a compound negative for the induction of micronuclei and test article B was wed as a micronucleus-inducing agent to elicit a positive response. Cyclophosphamide was included to provide an positive control in two studies. Bone marrow samples were collected 24 h after administration of test article A and B in male ICR mice. The cells were fixed with absolute methanol and stained with May-Grunwald and Giemsa. The number of MNPCEs was determined by the analysis of 1000 total PCEs per bone marrow sample. In addition to micronucleus scoring, an index of bone marrow toxicity based on PCE ratio (% of PCEs to total erythrocytes) was determined for each sample. The automated and manual scoring was similar when the MNPCEs incidence induced by each test article was less than 10. However manual scoring was able to effectively enumerate micronucleated PCEs in mouse bone marrow when MNPCEs incidence was more than 10, such as cyclophosphamide treatment. Conversely, PCE ratio was superior in computer-assisted image analysis. Taken together, it is suggested that improvement of the automated image analysis may be necessary to render the automatic scoring as sensitive as manual scoring for routine counting of micronuclei, especially because it is superior in objectivity and high throughput scoring.

• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Computers and Concrete
• /
• v.5 no.2
• /
• pp.101-116
• /
• 2008

The microscopic determination of air void characteristics in hardened concrete, defined in EN 480-11 as the linear-traverse method, is an extremely time-consuming and tedious task. Over past decades, several researchers have proposed relatively expensive mechanical automated systems which could replace the human operator in this procedure. Recently, the appearance of new high-resolution flatbed scanners has made it possible for the procedure to be automated in a fully-computerized and thus cost-effective way. The results of our work indicate the high sensitivity of such image analysis automated systems firstly to the quality of sample surface preparation, secondly to the selection of the air void threshold value, and finally to the selection of the probe system. However, it can be concluded that in case of careful validation and the use of the approach which is proposed in the paper, such automated systems can give very good estimate of the air void system parameters, defined in EN 480-11. The amount of time saved by using such a procedure is immense, and there is also the possibility of using alternative stereological methods to assess other, perhaps also important, characteristics of air void system in hardened concrete.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.34 no.4
• /
• pp.66-71
• /
• 2011

This article proposes a novel shift automation mechanism for an automated manual transmission (AMT). The development of an automated manual transmission is currently being paid considerable attention by vehicle manufacturers, with the prospects of combining the comfort of an automatic transmission and the high efficiency of a manual transmission. In order to automate the shift mechanism of a manual transmission, the proposed shift automation mechanism consists of two electric motors, cross shaped pinion gears, rack type shift rails, and a ball splined hollow shaft. First we describe the shift mechanism and operating principles of a manual transmission to investigate important design criteria for the shift automation device. And a new shift automation mechanism is described with its structure, elements, and operating principles in detail. Using a conventional manual transmission, we develop a full three-dimensional CAD model of an AMT which includes main components of the manual transmission and the designed shift automation mechanism. Finally we investigate the operating performances and feasibility of the designed AMT by a dynamic analysis.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.1059-1066
• /
• 2022

In 2020, it was estimated that more than 2.4 million households in South Korea are over 30 years old. That is, more than 40% of all houses in Korea are old and that they require proper rehabilitation. The two options to improve poor living conditions are reconstruction and remodeling. Compared to reconstruction, remodeling has advantages in terms of the construction period, cost, and environmental impact. As such, the current Korean regulations are more favorable for remodeling than reconstruction. Typically, several candidate floor plans are presented in the early stages of an apartment remodeling project. Extracting information about bearing walls and other structural elements from the multiple plans to compare those plans quantitatively is one of the essential tasks during the early stage of a project. To cope with this task, an automated data extraction method for walls and slabs from before and after remodeling plans is developed. Through the developed program, load-bearing walls, non-bearing walls, slabs, and weight changes after remodeling can be analyzed and visualized in a fast and automated manner.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2020.11a
• /
• pp.175-176
• /
• 2020

As the concrete pouring work relies on manual work, there is a lot of room for automated equipment development. In this study, as a basic study on the development of an automated system for pouring concrete, the trend of patent applications by year, country and detailed technology was investigated. Related technologies were classified into screed automation, CPB automation, and concrete pouring integrated system to analyze patent application trends. As a result, since 1999, patent applications have been steadily in progress, repeating increases and decreases in Japan, Korea, the United States, and Europe. In addition, the growth stage of the market is in the early stages of maturity, and patent applications for related technologies are expected to continue. In the future, based on the patent application trend analyzed in this study, the development direction of the automated concrete pouring system will be reviewed and the redundancy of similar technologies will be reviewed.

• Journal of Animal Environmental Science
• /
• v.6 no.1
• /
• pp.23-30
• /
• 2000

A automated noncontact weight system for pigs consisted of a CCD-type video camera and 10 photo sensors connected to a computer. In the experiment 20 pigs(Large Yorkshire $\times$ Landrace breed) weighing from 95kg to 115kg were used. Pig's original image data was transformed to a binary image an image excluding head and tail portion from the whole binary image and the area of pig was calculated. Then pig's volume was calculated by multiplying the area by the body hight measured with photo sensors. The correlation equation between the above volume(x) and pig's weight was y=0.0007 x -9.2152($R^2$=0.9965) Performance of a automated noncontact weighing system for pigs was tested with this equation. The results showed $\pm$0.65kg average error and 1.63kg maximum error. It was concluded that performance of a automated noncontact weighing system is excellent.

• Journal of the Korea Society for Simulation
• /
• v.14 no.3
• /
• pp.109-118
• /
• 2005

The purpose of this paper is to analyze transport ability of AGV(Automated Guided Vehicle) and SHC(SHuttle Carrier). The main difference between two types of transport vehicles is that AGV depends on container crane or transfer crane to do loading/unloading container, but SHC is very independent to it. Therefore, the transport ability of SHC is expected to be higher than AGV. So, in this paper, we established simulation model to evaluate two types of transport vehicles and analyzed the results. Simulation model was established to automated container terminal with perpendicular yard layout, and applied closed loop operation of transport vehicle between apron and stacking yard. In the result, SHC showed very superior than AGV aspect of container crane productivity and vehicle fleets.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.57-63
• /
• 2005

The purpose of this paper is to analyze transport ability of AGV(Automated Guided Vehicle) and SHC(SHuttle Carrier). The main difference between two types of transport vehicles is that AGV depends on container crane or transfer crane to do loading/unloading container, but SHC is very independent to it. Therefore, the transport ability of SHC is expected to be higher than AGV, So, in this paper, we established simulation model to evaluate two types of transport vehicles and analyzed the results. Simulation model was established to automated container terminal with perpendicular yard layout, and applied closed loop operation of transport vehicle between apron and stacking yard. In the result, SHC showed very superior than AGV aspect of container crane productivity and vehicle fleets,

• International Journal of Control, Automation, and Systems
• /
• v.4 no.6
• /
• pp.705-713
• /
• 2006

For the analysis of multiunit extracellular neural signals as multiple spike trains, neural spike sorting is essential. Existing algorithms for the spike sorting have been unsatisfactory when the signal-to-noise ratio(SNR) is low, especially for implementation of fully-automated systems. We present a novel method that shows satisfactory performance even under low SNR, and compare its performance with a recent method based on principal component analysis(PCA) and fuzzy c-means(FCM) clustering algorithm. Our system consists of a spike detector that shows high performance under low SNR, a feature extractor that utilizes projection pursuit based on negentropy maximization, and an unsupervised classifier based on Gaussian mixture model. It is shown that the proposed feature extractor gives better performance compared to the PCA, and the proposed combination of spike detector, feature extraction, and unsupervised classification yields much better performance than the PCA-FCM, in that the realization of fully-automated unsupervised spike sorting becomes more feasible.