• Geomechanics and Engineering
• /
• v.18 no.5
• /
• pp.515-525
• /
• 2019

A karst collapse, as a natural hazard, is totally different to a normal collapse. In recent years, karst collapses have caused substantial economic losses and even threatened human safety. A risk assessment model for karst collapse was developed based on the fuzzy analytic hierarchy process (FAHP) and grey relational analysis (GRA), which is a simple and effective mathematical algorithm. An evaluation index played an important role in the process of completing the risk assessment model. In this study, the proposed model was applied to Jiaobai village in southwest China. First, the main controlling factors were summarized as an evaluation index of the model based on an investigation and statistical analysis of the natural formation law of karst collapse. Second, the FAHP was used to determine the relative weights and GRA was used to calculate the grey relational coefficient among the indices. Finally, the relational sequence of evaluation objects was established by calculating the grey weighted relational degree. According to the maximum relational rule, the greater the relational degree the better the relational degree with the hierarchy set. The results showed that the model accurately simulated the field condition. It is also demonstrated the contribution of various control factors to the process of karst collapse and the degree of collapse in the study area.

• Journal of Intelligence and Information Systems
• /
• v.26 no.2
• /
• pp.43-56
• /
• 2020

Recommender systems help users make the best choice among various options. Especially, recommender systems play important roles in internet sites as digital information is generated innumerable every second. Many studies on recommender systems have focused on an accurate recommendation. However, there are some problems to overcome in order for the recommendation system to be commercially successful. First, there is a lack of transparency in the recommender system. That is, users cannot know why products are recommended. Second, the recommender system cannot immediately reflect changes in user preferences. That is, although the preference of the user's product changes over time, the recommender system must rebuild the model to reflect the user's preference. Therefore, in this study, we proposed a recommendation methodology using topic modeling and sequential association rule mining to solve these problems from review data. Product reviews provide useful information for recommendations because product reviews include not only rating of the product but also various contents such as user experiences and emotional state. So, reviews imply user preference for the product. So, topic modeling is useful for explaining why items are recommended to users. In addition, sequential association rule mining is useful for identifying changes in user preferences. The proposed methodology is largely divided into two phases. The first phase is to create user profile based on topic modeling. After extracting topics from user reviews on products, user profile on topics is created. The second phase is to recommend products using sequential rules that appear in buying behaviors of users as time passes. The buying behaviors are derived from a change in the topic of each user. A collaborative filtering-based recommendation system was developed as a benchmark system, and we compared the performance of the proposed methodology with that of the collaborative filtering-based recommendation system using Amazon's review dataset. As evaluation metrics, accuracy, recall, precision, and F1 were used. For topic modeling, collapsed Gibbs sampling was conducted. And we extracted 15 topics. Looking at the main topics, topic 1, top 3, topic 4, topic 7, topic 9, topic 13, topic 14 are related to "comedy shows", "high-teen drama series", "crime investigation drama", "horror theme", "British drama", "medical drama", "science fiction drama", respectively. As a result of comparative analysis, the proposed methodology outperformed the collaborative filtering-based recommendation system. From the results, we found that the time just prior to the recommendation was very important for inferring changes in user preference. Therefore, the proposed methodology not only can secure the transparency of the recommender system but also can reflect the user's preferences that change over time. However, the proposed methodology has some limitations. The proposed methodology cannot recommend product elaborately if the number of products included in the topic is large. In addition, the number of sequential patterns is small because the number of topics is too small. Therefore, future research needs to consider these limitations.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.3
• /
• pp.768-776
• /
• 1994

This paper describes computer-aided forging design for rib/web shaped parts. In manufacturing a part by means of forging process, the first step is to design the forging. This is done by modifying the given machined part geometry according to the requirements of the forging process. Traditionally, this is done by experienced forging designers using empirical forging design guidelines. Generally, it would be neither possible nor practical to develop a system which encompasses the design of all types of forgings. Accordingly, forging design can be simplified by considering critical two dimensional cross sections of the machined part geometry. This system is composed of three modules(process variable decision module, forging design module and redesign module) and each module is carried out in regular sequence. In the process variable decision module, first of all, the undercut is checked and modified, and then deep recesses and holes difficult to forge are eliminated. Also parting line, forging plane, forging plan view area, forging weight and maximum size(maximum height or width)are determined. In the forging design module, the magnitude of various allowances, draft angle, minimum web thickness, corner and fillet radius are determined and then geometry modification is performed. Finally, since the design rules and databases used in this system are based on parameters of the forging geometry, such as the trimmed forging plan area, forging weight, forging maxmum size, plausible estimates need to be made for these parameters. Therefore, in the re-design module, the design process is iterated until a satisfactory forging is obtained.

• Genomics & Informatics
• /
• v.5 no.4
• /
• pp.174-178
• /
• 2007

The earliest stages of mammalian embryogenesis are governed by the activity of maternally inherited transcripts and proteins. Cytoplasmic polyadenylation of selected maternal mRNA has been reported to be a major control mechanism of delayed translation during preimplantation embryogenesis in mice. The presence of cis-elements required for cytoplasmic polyadenylation (e.g., CPE) can serve as a useful tag in the screening of maternal genes partaking in key functions in the transcriptionally dormant egg and early embryo. However, due to its relative simplicity, UA-rich sequences satisfying the canonical rule of known CPE consensus sequences are often found in the 3'-UTR of maternal transcripts that do not actually undergo cytoplasmic polyadenylation. In this study, we developed a method to confirm the validity of candidate CPE sequences in a given gene by a multiplex comparison of 3'-UTR sequences between mammalian homologs. We found that genes undergoing cytoplasmic polyadenylation tend to create a conserved block around the CPE, while CPE-like sequences in the 3'-UTR of genes lacking cytoplasmic polyadenylation do not exhibit such conservation between species. Through this cross-species comparison, we also identified an alternative CPE in the 3'-UTR of tissue-type plasminogen activator (tPA), which is more likely to serve as a functional element. We suggest that verification of CPEs based on sequence conservation can provide a convenient tool for mass screening of factors governing the earliest processes of mammalian embryogenesis.

• Journal of Microbiology and Biotechnology
• /
• v.25 no.12
• /
• pp.2082-2089
• /
• 2015

Avian beta-defensin 9 (AvBD9) is a small cationic peptide consisting of 41 amino acids that plays a crucial rule in innate immunity and acquired immunity in chickens. Owing to its wide antibacterial spectrum, lack of a residue, and failure to induce bacterial drug resistance, AvBD9 is expected to become a substitute for conventional antibiotics in the livestock and poultry industries. Using the preferred codon of Pichia pastoris, the mature AvBD9 peptide was designed and synthesized, based on the sequence from GenBank. The P. pastoris constitutive expression vector pGHKα was used to construct a pGHKα-AvBD9 recombinant plasmid. Restriction enzyme digestion was performed using SacI and BglII to remove the ampicillin resistance gene, and the plasmid was electrotransformed into P. pastoris GS115. High-expression strains with G418 resistance were screened, and the culture supernatant was analyzed by Tricine-SDS-PAGE and western blot assay to identify target bands of about 6 kDa. A concentrate of the supernatant containing AvBD9 was used for determination of antimicrobial activity. The supernatant concentrate was effective against Escherichia coli, Salmonella paratyphi, Salmonella pullorum, Pseudomonas aeruginosa, Enterococcus faecalis, and Enterobacter cloacae. The fermentation product of P. pastoris carrying the recombinant AvBD9 plasmid was adjusted to 1.0 × 10⁸ CFU/ml and added to the drinking water of white feather broilers at different concentrations. The daily average weight gain and immune organ indices in broilers older than 7 days were significantly improved by the AvBD9 treatment.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.295-298
• /
• 2003

In this paper, a novel maximum a posterion (MAP) estimation for the channel decoding of H.264 codes in the presence of transmission error is presented. Arithmetic codes with a forbidden symbol and trellis search techniques are employed in order to estimate the best transmitted. And, there has been growing interest of communication, the research about transmission of exact data is increasing. Unlike the case of voice transmission, noise has a fatal effect on the image transmission. The reason is that video coding standards have used the variable length coding. So, only one bit error affects the all video data compressed before resynchronization. For reasons of that, channel needs the channel codec, which is robust to channel error. But, usual channel decoder corrects the error only by channel error probability. So, designing source codec and channel codec, Instead of separating them, it is tried to combine them jointly. And many researches used the information of source redundancy In received data. But, these methods do not match to the video coding standards, because video ceding standards use not only one symbol but also many symbols in same data sequence. In this thesis, We try to design combined source-channel codec that is compatible with video coding standards. This MAP decoder is proposed by adding semantic structure and semantic constraint of video coding standards to the method using redundancy of the MAP decoders proposed previously. Then, We get the better performance than usual channel coder's.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.3
• /
• pp.485-499
• /
• 1999

Auctions are appealing market-type mechanisms because they can be deployed to solve the twin problems of resources pricing and allocation. Nonetheless the effectiveness of an auction mechanism in radio spectrum property rights should not be taken for granted. Policymakers need to be aware of the complexity of introducing market discipline in an area where none existed before. Auction design is critical to the success of the allocation process. However, a poorly designed auction mechanism can have detrimental effects on the spectrum rights allocation process. This study discusses some of the key elements and issues of auction design of radio spectrum rights for its efficient allocation. Particularly this study discusses, based on the existing auction theory and other countries' experiences, such issues as bidding rule, value interdependency and sequence of auction, information structure and asymmetric bidder, and wealth constraints and imperfect capital market.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.4
• /
• pp.159-167
• /
• 2015

We consider a wafer lot transfer/release planning problem from semiconductor wafer fabrication facilities to probing facilities with the objective of minimizing the deviation of workload and total tardiness of customers' orders. Due to the complexity of the considered problem, we propose a two-level hierarchical production planning method for the lot transfer problem between two parallel facilities to obtain an executable production plan and schedule. In the higher level, the solution for the reduced mathematical model with Lagrangian relaxation method can be regarded as a coarse good lot transfer/release plan with daily time bucket, and discrete-event simulation is performed to obtain detailed lot processing schedules at the machines with a priority-rule-based scheduling method and the lot transfer/release plan is evaluated in the lower level. To evaluate the performance of the suggested planning method, we provide computational tests on the problems obtained from a set of real data and additional test scenarios in which the several levels of variations are added in the customers' demands. Results of computational tests showed that the proposed lot transfer/planning architecture generates executable plans within acceptable computational time in the real factories and the total tardiness of orders can be reduced more effectively by using more sophisticated lot transfer methods, such as considering the due date and ready times of lots associated the same order with the mathematical formulation. The proposed method may be implemented for the problem of job assignment in back-end process such as the assignment of chips to be tested from assembly facilities to final test facilities. Also, the proposed method can be improved by considering the sequence dependent setup in the probing facilities.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.7C
• /
• pp.675-686
• /
• 2005

In this paper, we propose an efficient face region detection technique for the content-based video summarization. To segment video, shot changes are detected from a video sequence and key frames are selected from the shots. We select one frame that has the least difference between neighboring frames in each shot. The proposed face detection algorithm detects face region from selected key frames. And then, we provide user with summarized frames included face region that has an important meaning in dramas or movies. Using Bayes classification rule and statistical characteristic of the skin pixels, face regions are detected in the frames. After skin detection, we adopt the projection method to segment an image(frame) into face region and non-face region. The segmented regions are candidates of the face object and they include many false detected regions. So, we design a classifier to minimize false lesion using CART. From SGLD matrices, we extract the textual feature values such as Inertial, Inverse Difference, and Correlation. As a result of our experiment, proposed face detection algorithm shows a good performance for the key frames with a complex and variant background. And our system provides key frames included the face region for user as video summarized information.

• Journal of Pharmaceutical Investigation
• /
• v.38 no.2
• /
• pp.135-142
• /
• 2008

The present study describes the evaluation of the bioequivalence of two atorvastatin tablets, Lipitor $Tablet^{(R)}$ (Pfizer, reference drug) and Atorva $Tablet^{(R)}$ (Yuhan, test drug), according to the guidelines of Korea Food and Drug Administration (KFDA). Forty-nine healthy male Korean volunteers received each medicine at the atorvastatin dose of 40 mg in a $2{\times}2$ crossover study with a two weeks washout interval. After drug administration, serial blood samples were collected at a specific time interval from 0-48 hours. The plasma atorvastatin concentrations were monitored by an high performance liquid chromatography -tandem mass spectrometer (LC-MS/MS) employing electrospray ionization technique and operating in multiple reaction monitoring (MRM) and positive ion mode. The total chromatographic run time was 4.5 min and calibration curves were linear over the concentration range of 0.1-100 ng/mL for atorvastatin. The method was validated for selectivity, sensitivity, linearity, accuracy and precision. $AUC_t$ (the area under the plasma concentration-time curve from time zero to 48hr) was calculated by the linear log trapezoidal rule method. $C_{max}$ (maximum plasma drug concentration) and $T_{max}$ (time to reach $C_{max}$) were complied trom the plasma concentration-time data. Analysis of variance was carried out using logarithmically transformed $AUC_t$ and $C_{max}$. No significant sequence effect was found for all of the bioavailability parameters indicating that the crossover design was properly performed. The 90% confidence intervals of the $AUC_t$ ratio and the $C_{max}$ ratio for Atorva $Tablet^{(R)}$ / Lipitor $Tablet^{(R)}$ were ${\log}\;0.9413{\sim}{\log}\;1.0179$ and ${\log}\;0.831{\sim}{\log}\;1.0569$, respectively. These values were within the acceptable bioequivalence intervals of ${\log}\;0.8{\sim}{\log}\;1.25$. Based on these statistical considerations, it was concluded that the test drug, Atorva $Tablet^{(R)}$ was bioequivalent to the reference drug, Lipitor $Tablet^{(R)}$.