• 산업경영시스템학회지
• /
• 제38권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.

• Geomechanics and Engineering
• /
• 제18권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.

• 정보보호학회논문지
• /
• 제15권3호
• /
• pp.65-76
• /
• 2005

EC-DSA나 EC-ElGamal과 같은 타원곡선 암호시스템의 성능 향상을 위해서는 타원곡선 상수배 연산을 빠르게 하는 것이 필수적이다. 타원곡선 특유의 Frobenius 사상을 이용한 $base-{\phi}$ 전개 방식은 Koblitz에 의해 처음 제안되었으며, Kobayashi 등은 최적확장체 위에서 정의되는 타원곡선에 적용할 수 있도록 $base-{\phi}$ 전개 방식을 개선하였다. 그러나 Kobayashi 등의 방법은 여전히 개선의 여지가 남아있다. 본 논문에서는 최적확장체에서 정의되는 타원곡선상에서 효율적인 상수배 연산 알고리즘을 제안한다. 제안한 상수배 알고리즘은 Frobenius사상을 이용하여 상수 값을 Horner의 방법으로 $base-{\phi}$ 전개하고, 이 전개된 수식을 최적화된 일괄처리 기법을 적용하여 연산한다. 제안한 알고리즘을 적용할 경우, Kobayashi 등이 제안한 상수배 알고리즘보다 $20\%{\sim}40\%$ 정도의 속도 개선이 있으며, 기존의 이진 방법에 비해 3배 이상 빠른 성능을 보인다.

• 천문학회보
• /
• 제46권1호
• /
• pp.55.2-56
• /
• 2021

The progenitor of Type Ia supernovae (SNe Ia) is mainly believed to be a close binary system of acarbon-oxygen white dwarf (CO WD) and non-degenerate companion (single degenerate) or another WD (double degenerate). However, it is unclear which system is more prevalent. Here, we present a high cadence optical/Near-IR light curve of normal but slightly faint type Ia SN 2019ein from IMSNG project. We fit the early light curve (t <+8.3 days from the first detection) with various models to find the shock-heated cooling emission from SN ejecta-companion interaction. No significant shock-heated cooling emission is found, from which we constrain the progenitor star size as the following. The upper limit (R_upper,*) of the companion size in R-band is ~0.2R_⊙ when forcing the first light time (t_fl) to have one value and ~0.9R_⊙ when using the mean value of tfl from the fitting in each band. Assuming the source of the I-band curve is almost powered from the radioactive decay, we obtained R_upper,*~1.2R_⊙. The early B-V color curve is in agreement with the model color curve of the 2M_⊙ main sequence companion. These results allow us to at least rule out large stars like red giants as a companion star of the binary progenitor system of this supernova. B-R and V-R color do not show any significant signs of a red bump, which shows a thin helium shell (MHe<0.1M_⊙) for the sub-Mch WD (double detonation model). In addition, we estimated the distance to NGC 5353 as 37.098±0.028Mpc.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권3호
• /
• pp.545-567
• /
• 2023

본 연구는 이차방정식과 이차함수 단원을 중심으로 수학 문제 해결에 효과적인 ChatGPT의 프롬프트를 고찰하는 연구로 '역할-규칙-예제풀이-문제-과정'으로 이어지는 구조화된 프롬프트를 설계하였다. 본 연구에서는 GPT4, 울프람 플러그인, Advanced Data Analysis를 결합한 인공지능 모델을 활용하였으며, 계산 오류를 줄이기 위해 울프람 플러그인을 주요 연산의 도구로 사용하였다. 9종의 고등학교 수학 교과서의 이차방정식과 이차함수 단원 문제를 구조화된 프롬프트의 형태로 입력하였을 때 ChatGPT의 답변에 대한 정답률은 91%로, 제로샷 프롬프트 대비 높은 성과를 보였다. 이를 통해 수학 문제 해결에 효과적인 구조화된 프롬프트를 확인할 수 있었다. 본 연구에서 설계한 구조화된 프롬프트는 개별화 교육 및 맞춤형 교육을 위한 지능형 정보시스템 구축에 기여할 수 있을 것이다.

• Geomechanics and Engineering
• /
• 제38권3호
• /
• pp.215-229
• /
• 2024

Because of the various patterns of deep-water inrush and complicated mechanisms, accurately predicting mine water inflows is always a difficult problem for coal mine geologists. In study presented in this paper, the water inrush channels were divided into four basic water diversion structures: aquifer, rock fracture zone, fracture zone and goaf. The fluid flow characteristics in each water-conducting structure were investigated by laboratory tests, and multistructure and multisystem coupling flow analysis models of different water-conducting structures were established to describe the entire water inrush process. Based on the research of the water inrush flow paths, the analysis model of different water inrush space structures was established and applied to the prediction of mine water inrush inflow. The results prove that the conduction sequence of different water-conducting structures and the changing rule of permeability caused by stress changes before and after the peak have important influences on the characteristics of mine water-gushing. Influenced by the differences in geological structure and combined with rock mass RQD and fault conductivity characteristics and other mine exploration data, the prediction of mine water inflow can be realized accurately. Taking the water transmitting path in the multistructure as the research object of water inrush, breaking through the limitation of traditional stratigraphic structure division, the prediction of water inflow and the estimation of potentially flooded area was realized, and water bursting intensity was predicted. It is of great significance in making reasonable emergency plans.

• 지능정보연구
• /
• 제26권2호
• /
• pp.43-56
• /
• 2020

추천 시스템은 사용자가 다양한 옵션 중에서 최선의 선택을 할 수 있도록 도와준다. 그러나 추천 시스템이 상업적으로 성공하기 위해서는 극복할 몇 개의 문제점이 존재한다. 첫째, 추천시스템의 투명성 부족 문제이다. 즉, 추천된 상품이 왜 추천되었는지 사용자들이 알 수 없다. 둘째, 추천시스템이 사용자 선호의 변화를 즉각적으로 반영할 수 없는 문제이다. 즉, 사용자의 상품에 대한 선호는 시간이 지남에 따라 변함에도 불구하고, 추천시스템이 사용자 선호를 반영하기 위해서는 다시 모델을 재구축해야 한다. 따라서 본연구에서는 이러한 문제를 해결하기 위해 토픽 모델링과 순차 연관 규칙을 이용한 추천 방법론을 제안하였다. 토픽 모델링은 사용자에게 아이템이 왜 추천되었는지 설명하는데 유용하며, 순차 연관 규칙은 변화하는 사용자의 선호를 파악하는데 유용하다. 본 연구에서 제안한 방법은 크게 토픽 모델링 및 사용자 프로파일 생성 등 토픽 모델링에 기반한 사용자 프로파일 생성 단계와 토픽에 사용자 선호 확인 및 순차 연관 규칙 발견 등 순차 연관 규칙에 기반한 추천 단계로 구분된다. 벤치마크 시스템으로 협업 필터링 기반 추천 시스템을 개발하고, 아마존의 리뷰 데이터 셋을 이용하여 제안한 방법론의 성능을 비교 평가하였다. 비교 분석 결과, 제안한 방법론이 협업 필터링 기반 추천시스템보다 뛰어난 성능을 보였다. 따라서 본 연구에서 제안하는 추천 방법을 통해 추천 시스템의 투명성을 확보할 수 있을 뿐만 아니라, 시간에 따라 변화하는 사용자의 선호를 반영할 수 있다. 그러나 본 연구는 토픽과 관련된 상품을 추천하기 때문에, 토픽에 포함된 상품의 수가 많을 경우 추천이 정교하지 못하는 한계점이 있다. 또한 토픽의 수가 적기 때문에 토픽에 대한 순차 연관 규칙이 너무 적은 문제점이 있다. 향후 연구에서 이러한 문제점을 해결한다면 좋은 연구가 될 것으로 판단된다.

• 한국임상약학회지
• /
• 제15권1호
• /
• pp.21-26
• /
• 2005

A bioequivalence study of CKD $Cefaclor^{(R)}$ capsule (Chong Kun Dang Pharm Co., Ltd) to $Ceclor^{(R)}$ capsule (Lilly Korea Co., Ltd.) was conducted according to the guidelines of Korea Food and Drug Administration (KFDA). Twenty four healthy male Korean volunteers received each medicine at the cefaclor dose of 250 mg in a $2{\times}2$ crossover study. There was a one-week washout period between the doses. An improved high-performance liquid chromatorgraphy (HPLC) analytical method with UV detection was used to determine plasma cefaclor concentration in human volunteers for 8 hr after oral drug administration. The area under the plasma concentration-time curve from time zero to 8 hr ($AUC_{0-8hr}$) was calculated by the linear trapezoidal rule. the $C_{max}$ (maximum plasma drug concentration) and $T_{max}$ (time to reach $C_{max}$) were compiled from the plasma concentration-time data. Analysis of variance was carried out using logarithmically transformed $AUC_{0-8hr}\;and\;C_{max}$. No significant sequence effect was found for all of the bioavailability parameters indicating that the cross-over design was properly performed. The $90{\%}$ confidence intervals of the $AUC_{0-8hr}$ ratio and the $C_{max}$ ratio for CKD $Cefaclor^{(R)}$ and $Ceclor^{(R)}$ were $0.9400{\leq}{\delta}{\leq}1.0345$ and $0.8858{\leq}{\delta}{\leq}1.1021$, respectively. These values were within the acceptable bioequivalence intervals of 0.80-1.25. Thus, our study demonstrated the of CKD $cefaclor^{(R)}$ capsule was bioequivalent to $Cefaclor^{(R)}$ capsule with respect to its bioavailability.

• Journal of Pharmaceutical Investigation
• /
• 제33권3호
• /
• pp.215-221
• /
• 2003

A bioequivalence study of $Ambrect^{TM}$ tablets (Dong Wha Pharm. Ind. Co., Ltd.) to $Mucopect^{TM}$ tablets (Boehringer Ingelheim Korea, Ltd.) was conducted according to the guideline of Korea Food and Drug Administration (KFDA). Twenty four healthy male Korea volunteers received each medicine at the ambroxol hydrochloride dose of 30 mg in a $2{\times}2$ crossover study. There was a one-week wash out period between the doses. Plasma concentrations of ambroxol were monitored by a high-performance liquid chromatography for over a period of 24 hours after the administration. $AUC_t$ (the area under the plasma concentration-time curve from time zero to 24 hr) was calulated by the linear trapezoidal rule method. $C_{max}$ (maximum plasma drug concentration) and $T_{max}\;(time\;to\;reach\;C_{max})$ were compiled from 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 $Ambrect^{TM}/Mucopect^{TM}$ were 0.89-1.01 and 0.89-1.02, respectively. These values were within the acceptable bioequivalence intervals of 0.80-1.25. Thus, our study demonstrated the bioequivalence of $Ambrect^{TM}\;and\;Mucopect^{TM}$ with respect to the rate and extent of absorption.

• Journal of Pharmaceutical Investigation
• /
• 제35권2호
• /
• pp.117-122
• /
• 2005

After establishing improved HPLC analytical method of cefaclor in human plasma samples, a bioavailability study of cefaclor capsules was conducted according to the guidelines of Korea Food and Drug Administration (KFDA). The standard calibration curve using an HPLC with UV detector was constructed in a range of $0.0324{\sim}16\;{\mu}g/ml$. The 6% perchloric acid instead of 6% trichloroacetic acid was used to precipitate plasma protein. The HPLC chromatograms were precisely and accurately resolved when spiked with human plasma spiked with cefaclor and cephalexin (internal standard). Twenty healthy male Korean volunteers received two commercial cefaclor capsules, $Neocef^{\circledR}$ capsule (Jinyang Pharm. Co., Ltd) or $Ceclor^{\circledR}$ capsule (Lilly Korea. Co., Ltd.) at the 250 mg cefaclor in a $2{\times}2$ crossover study. There was a one-week washout period between the doses. Plasma concentrations of cefaclor were monitored for 8 hours after oral drug administration. $AUC_t$ the area under the plasma concentration-time curve from time zero to 8 hr (13 points), was calculated by the linear trapezoidal rule method. $C_{max}$ (maximum plasma drug concentration) and $T_{max}$ (time to reach $C_{max}$) were compiled from 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 cross-over design was properly performed. The 90% confidence intervals of the $AUC_t$ ratio and the $C_{max}$ ratio for $Neocef^{\circledR}/Ceclor^{\circledR}$ were $0.9049{\leq}{\delta}{\leq}1.226$, respectively. These values were within the acceptable bioequivalence intervals of 0.80-1.25. Thus, our study demonstrated the bioequivalence of $Neocef^{\circledR}/Ceclor^{\circledR}$ with respect to the extent of absorption.