• 한국경영과학회지
• /
• 제18권2호
• /
• pp.131-145
• /
• 1993

This paper deals with scheduling problem of the chemical process system where aircraft parts go through a given sequence of tanks filled with chemical solutions. The system has two hoists which move carriers holding the parts between tanks. A mixed integer programming model is developed from which a maximum throughput schedule can be found for the hoist movements. To show the validity of the model, a real world problem is solved and the results are compared with those with an existing approach.

• 음성과학
• /
• 제2권
• /
• pp.109-124
• /
• 1997

This paper shows how a distinctive feature model can effectively be implemented into speech understanding within the framework of the Optimality Theory(OT); i.e., to show how distinctive features can optimally be extracted from given speech signals, and how segments can be chosen as the optimal ones among plausible candidates. This paper will also show how the sequence of segments can successfully be matched with optimal words in a lexicon.

• 대한의용생체공학회:의공학회지
• /
• 제12권3호
• /
• pp.171-176
• /
• 1991

A solution for the course of the general deterministic epidemic model is obtained by elementary series expansion. This is valid over all times, and appears to hold accurate]y over a very wide range of population and threshould parameter values. This algorithm can be more efficient than either numerical or recursive procedures in terms of the number of operations required to evaluate a sequence of points along the course of the epidemic.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1993년도 한국우주과학회보 제2권2호
• /
• pp.19-19
• /
• 1993

We have developed a new method to simulate the observed color magnitudediagrams for Galactic globular clusters. The model calculations include all evolutionary phases- from zero age main sequence to asymptotic giant branch. Using these models, we can simulate directly the observational errors and sampling effect and also can examine the stellar evolution theory in more$.$ realistic way. Implications of these model calculations on the recent space observations of globular clusters and other systems will be discussed.

• Journal of the Korean Statistical Society
• /
• 제19권2호
• /
• pp.139-144
• /
• 1990

For the first-order bilinear time series model $X_t = aX_{t-1} + e_i + be_{t-1}X_{t-1}$ where ${e_i}$ is a sequence of independent normal random variables with mean 0 and variance $\sigma^2$, the asymptotic distribution of sample autocarrelation function is obtained and shown to follow a normal distribution. The variance of the asymptotic distribution is of a complicated form and hence a bootstrap estimate of the variance is proposed for large sample inference. This result can be used to distinguish between different bilinear models.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.391-395
• /
• 2021

텍스트 스타일 변환은 입력 스타일(source style)로 쓰여진 텍스트의 내용(content)을 유지하며 목적 스타일(target style)의 텍스트로 변환하는 문제이다. 텍스트 스타일 변환을 시퀀스 간 변환 문제(sequence-to-sequence)로 보고 기존 기계학습 모델을 이용해 해결할 수 있지만, 모델 학습에 필요한 각 스타일에 대응되는 병렬 말뭉치를 구하기 어려운 문제점이 있다. 따라서 최근에는 비병렬 말뭉치를 이용해 텍스트 스타일 변환을 수행하는 방법들이 연구되고 있다. 이 연구들은 주로 인코더-디코더 구조의 생성 모델을 사용하기 때문에 입력 문장이 가지고 있는 내용이 누락되거나 다른 내용의 문장이 생성될 수 있는 문제점이 있다. 본 논문에서는 마스크 언어 모델(masked language model)을 이용해 입력 텍스트의 내용을 유지하면서 원하는 스타일로 변경할 수 있는 텍스트 스타일 변환 방법을 제안하고 한국어 긍정-부정, 채팅체-문어체 변환에 적용한다.

• 정보관리학회지
• /
• 제18권3호
• /
• pp.29-40
• /
• 2001

본 논문에서는 역색인 파일을 미용하여 학장 불리언 질의를 처리할 때 최소 비용의 질의 처리 방법을 구해 주는 질의 최적화 알고리즘을 제시한다. 확장 불리언 질의를 처리하는 방법은 질의를 구성하는 키위드의 처리 순서에 따라 여러 가지가 있을 수 있으므로 확장 불리언 질의 최적화 문제는 결국 최적 키워드 처리 순서를 구하는 문제로 귀결된다. 본 논문에서는 이 문제가 데이터베이스 질의 최적화에서 최적 조인 순서를 구하는 문제와 구조적으로 유사함을 보이고 이 분야의 연구 결과를 이용하여 문제를 해결한다. 즉, 확장 불리언 질의 처리에 대한 비용 모델을 수립하고 키워드 선택률과 역색인 파일 접근 비용을 이용하여 키워드 순위 개념을 도입한 후 이를 이용하여 최적 키워드 처리 순서를 구하는 알고리즘을 도출한다. 그리고 도출한 질의 최적화 알고리즘의 최적성을 증명하고. 실험을 통하여 실제로 최소비용의 질의 처리 방법을 구함을 보이고, 질의 최적화를 하지 않을 경우와 비교하였을 때 그 성능이 월등히 우수함을 보인다. 본 논문에서 제시한 질의 최적화 알고리즘은 정보검색시스템의 질의 처리 성능 향상에 큰 기여를 하리라 믿는다.

• 한국임상약학회지
• /
• 제26권1호
• /
• pp.59-69
• /
• 2016

Background: The subcutaneous formulation of biologic disease-modifying antirheumatic drugs (DMARDs) was preferred due to favored self-administration and would be an economical treatment option for patients with rheumatoid arthritis. This study was to compare the economic impact of biologic DMARDs administered by subcutaneous injection in patients with rheumatoid arthritis who had inadequate response to conventional DMARDs. Methods: The cost-minimization analysis was conducted to estimate the lifetime health care costs of treatment sequences with subcutaneous biologic DMARDs as first-line therapy from a health care system perspective. The Markov model was developed to represent the transitions through treatment sequences based on American College of Rheumatology response rate and discontinuation rate. The health care costs comprised the cost of medications, administration, dispensing, outpatient visits, test/diagnostic examination, palliative therapy and treatment of serious infection. All costs were expressed in 2016 Korean Won (KRW) and discounted at 5%. Results: The mean lifetime health care cost per patient was lowest in the etanercept sequence, which was estimated at KRW 63,441,679. The incremental costs of the treatment sequence started with adalimumab, golimumab, abatacept, and tocilizumab were KRW 7,985,730, KRW 4,064,669, KRW 2,869,947, and KRW 4,282,833, respectively, relative to etanercept sequence. These differences in costs mainly were attributable to medication costs. One-way and probabilistic sensitivity analyses confirmed that etanercept represented the option with the lowest cost compared with comparators. Conclusion: This study found that etanercept is likely a cost-saving treatment option among subcutaneous biologic DMARDs in patients with rheumatoid arthritis.

• 대한수의학회지
• /
• 제32권4호
• /
• pp.543-553
• /
• 1992

Properties of unitary ATP-sensitive $K^+$ channels were studied using planar lipid bilayer technique. Vesicles were prepared from bullfrog (Rana catesbeiana) skeletal muscle. ATP-sensitive $K^+$ (K (ATP)) channels were identified by their unitary conductance and sensitivity to ATP. In the symmetrical solution containing 200mM KCI, 10mM Hepes, 1mM EGTA and pH 7.2, single K (ATP) channels showed a linear current-voltage relations with slight inward rectification. Slope conductance at reversal potential was $60.1{\pm}0.43$ pS(n=3)). Micromolar ATP reversibly inhibited the channel activity when applied to the cytoplasmic side. In the range of -50~＋50 mV, the channel activity was not voltage-dependent, but the channel gating within a burst was more frequent at negative voltage range. Varying the concentrations of external/internal KCl(mM) to 40/200, 200/200, 200/100 and 200/40 shifted reversal potentials to $-30.8{\pm}2.9$(n=3), $-1.1{\pm}2.7$(n=3), 10.5 and 30.6(mV), respecrivety. These reversal potentials were close to the expected values by the Nernst equation, indicating nearly ideal selectivity for $K^+$ over $Cl^-$. Under bi-ionic conditions of 200mM external test ions and 200mM internal $K^+$, the reversal potentials for each test ion/K pair were measured. The measured reversal potentials were used for the calculation of the releative permeability of alkali cations to $K^+$ ions using the Goldman-Hodgkin-Katz equation. The permeability sequence of 5 cations relative to $K^+$ was $K^+$(1), $Rb^+$(0.49), $Cs^+$(0.27), $Na^+$(0.027) and $Li^+$(0.021). This sequence was recognized as Eisenman's selectivity sequence IV. In addition, modelling the permeation of $K^+$ ion through ATP-sensitive $K^+$ channel revealed that a 3-barrier 2-site multiple occupancy model can reasonably predict the observed current-voltage relations.

• 정보처리학회논문지B
• /
• 제17B권3호
• /
• pp.183-188
• /
• 2010

본 연구에서는 여러 이미지를 이용하여 사실적인 3차원 장면의 모델을 얻는 방법이 구현되었다. 이미지는 파라메터를 모르는 카메라를 이용하여 여러 위치에서 획득한 것을 사용하였다. 먼저 특징점 추출 및 추적 방법을 사용하여 모든 이미지에 대한 대응점들을 구하고 이 점들을 사용하여 사영복원을 구한다. 그 다음 사영 복원된 값에 여러 제약조건을 사용하여 유클리디언 복원을 하면 특징점들의 3차원 좌표값이 계산된다. 이 좌표값을 이용하여 삼각형 메쉬를 구한 후 이 면에 텍스처 맵핑을 하면 사실적인 복원이 완성된다. 전체 시스템은 C++언어로 구현하였으며, 사용자 인터페이스는 Qt 라이브러리로, 텍스처 맵핑과 모델 가시화 부분은 OpenGL 그래픽스 라이브러리로 구현하였다. 구현된 시스템의 효용성을 보이기 위해 모의 데이터와 실제 이미지 데이터를 이용하여 실험한 결과를 포함하였으며 만족할 만한 복원 결과를 얻을 수 있었다.