• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.745-750
• /
• 2010

다양한 수식을 포함하는 수학 문서들을 효과적으로 검색하기 위해서는 수식 인지 검색 엔진이 필요하다. 본 논문에서는 구조적으로 유사한 수식들을 효과적으로 찾아주는 수식 검색 시스템을 제안한다. 제안 시스템은 MathML 수식들을 연산자, 변수, 그리고 수식 구조와 같은 3가지 형태의 이질적 색인어로 분리하고 독립적으로 색인한다. 사용자가 MathML 수식을 입력하면 제안 시스템은 이질적인 색인어들을 위한 3가지 언어모델들의 가중치 합을 이용하여 수식들을 검색하고 순위화한다. 244,824개의 MathML 수식을 대상으로 한 실험에서 제안 시스템은 비공개 테스트에서 53%의 1순위 정확률, 공개 테스트에서 63%의 1순위 정확률을 보였다.

• 한국항해항만학회지
• /
• 제31권8호
• /
• pp.705-710
• /
• 2007

자동화 컨테이너 터미널의 생산성은 자동화된 트랜스퍼 크레인(Automated Transfer Crane, ATC)의 속도에 관계된 성능뿐 만 아니라 컨테이너 블록의 크기에 크게 영향을 받는다. 본 연구에서는 ATC의 컨테이너 취급시간과 장치공간을 고려하여 수입 컨테이너 장치 블록의 크기를 어떻게 결정할 것인가에 대해서 다룬다. 먼저, 전형적인 수입 컨테이너 블록에서 ATC의 컨테이너 취급시간을 평가하는 모형을 제시한다. 둘째, 수입 컨테이너 블록의 크기를 결정하는 세 가지의 수리모형을 제시한다. 컨테이너 장치 블록의 크기를 결정하기 위해 제시한 모형들에 대한 수치예제를 제시한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.887.1_888.1
• /
• 2009

This paper proposes a core loss analysis method to obtain high accuracy prediction by using Multi-curve representing magnetic properties of a electrical steel in Finite Element Analysis (FEA). Generally, the magnetic prosperities of the electrical steel are measured by Epstein Method based on the international standards that are not good sufficient to predict motor performances. The method only aims to grade products in steel companies The magnetic properties of actual stator core is highly different to those given by steel companies due to the fact that stacking effect, shearing stress, nature anisotropy of electrical steels are not taken into account. In this paper, the magnetic properties are variously measured by three measuring devices, and then the several BH curves and BW curves obtained are used to analyze the core loss of a IPM. The BH curve in the high magnetic field are extrapolated using the mathematical formulation with the maximum saturation magnetic polarization measured

• 한국생산제조학회지
• /
• 제19권5호
• /
• pp.637-644
• /
• 2010

This paper presents a reliability-based shape optimization (RBSO) using the growth-strain method. An actual design involves uncertain conditions such as material property, operational load, Poisson's ratio and dimensional variation. The purpose of the RBSO is to consider the variations of probabilistic constraint and performances caused by uncertainties. In this study, the growth-strain method was applied to shape optimization of reliability analysis. Even though many papers for reliability-based shape optimization in mathematical programming method and ESO (Evolutionary Structural Optimization) were published, the paper for the reliability-based shape optimization using the growth-strain method has not been applied yet. Growth-strain method is applied to performance measure approach (PMA), which has probabilistic constraints that are formulated in terms of the reliability index, is adopted to evaluate the probabilistic constraints in the change of average mises stress. Numerical examples are presented to compare the DO with the RBSO. The results of design example show that the RBSO model is more reliable than deterministic optimization. It was verified that the reliability-based shape optimization using growth-strain method are very effective for general structure. The purpose of this study is to improve structure's safety considering probabilistic variable.

• 한국자동차공학회논문집
• /
• 제15권5호
• /
• pp.180-187
• /
• 2007

This paper presents a mathematical vehicle model that is designed to analyze the dynamic performance and to develop various safety control systems. Wheel slip controllers for ABS is also formulated to improve the vehicle response and to increase the safety on slippery road. Validation of the model and controller is performed by comparison with a commercial software package, CarSim. The result shows that performances of developed vehicle model are in good accordance with those of the CarSim on various driving conditions. Developed ABS controller is applied to the vehicle model and CarSim model, and it achieves good control performance. ABS controller improves lateral stability as well as longitudinal one when a vehicle is in turning maneuver on slippery road. A driver model is also designed to control steer angle of the vehicle model. It also shows good performance because the vehicle tracks the desired lane very well.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1993년도 Proceedings of International Conference for Agricultural Machinery and Process Engineering
• /
• pp.1110-1116
• /
• 1993

A study on optimum operation performances of power efficiency, economy and exhaust emissions for a tractor was conducted. A mathematical model of multiple degree polynomial equation was applied to established the function of solid multiple parameter curves for specific fuel consumption (ge), cabon monoxide (CO) ,hydrcarbons (HC) and cabonaceous smoke (Rb). The optimum operation theorems for economy operation indicated by ge and for exhaust emissions described by Co , HC and Rb were obtained from analytical method and performance test data. The optimum operation theorems could exhibit optimum operation working points, curves, and regions. The optimum matching relations of engine speed and transmission parameters were analyzed by using computer simulation methods in accordance with the tractor specifications , actual farm working conditions in a typical drawbar pull work such as plowing , the optimum operation objective function, the ideal transmission ratio, practical gear shif ing positions and practical travel speed of the tractor TN55 medel. The results of the anlayzes indicated clearly that the optimum power efficient operation, energy saving and pollution reducing would be realized if the tractor would be operated according to theoptimum operation methods.

• 경영과학
• /
• 제29권3호
• /
• pp.121-134
• /
• 2012

In this study, we consider a component procurement planning problem where the procurement amounts of components are determined under assemble-to-order systems with demand uncertainty. In the problem, procurement amount of each component is decided before the demands of finished products are known and after the demands are identified the assembly amounts of the finished products are decided. In this study, the objective function of the problem is minimizing the total costs which are composed of purchase and inventory costs of the components and the backorder costs of the finished products. We assume that the uncertain demand information is given as multiple scenarios of the demands, and we propose procurement planning methods based on stochastic models which considering the multiple demand scenarios. To evaluate the performances of the proposed methods, computational experiments were carried out on the proposed methods as well as benchmarks including a method based on deterministic mathematical model and a heuristic. From the results of the computational tests, the superiorities of the proposed methods were shown.

• 응용통계연구
• /
• 제24권5호
• /
• pp.847-859
• /
• 2011

cDNA microarray-based comparative genomic hybridization(CGH) data includes low-intensity spots and thus a statistical strategy is needed to detect subtle differences between different cancer classes. In this study, genes displaying a high frequency of alteration in one of the different classes were selected among the pre-selected genes that show relatively large variations between genes compared to total variations. Utilizing copy-number changes of the selected genes, this study suggests a statistical approach to predict patients' classes with increased performance by pre-classifying patients with similar genetic alteration scores. Two-stage logistic regression model(TLRM) was suggested to pre-classify homogeneous patients and predict patients' classes for cancer prediction; a decision tree(DT) was combined with logistic regression on the set of informative genes. TLRM was constructed in cDNA microarray-based CGH data from the Cancer Metastasis Research Center(CMRC) at Yonsei University; it predicted the patients' clinical diagnoses with perfect matches (except for one patient among the high-risk and low-risk classified patients where the performance of predictions is critical due to the high sensitivity and specificity requirements for clinical treatments. Accuracy validated by leave-one-out cross-validation(LOOCV) was 83.3% while other classification methods of CART and DT performed as comparisons showed worse performances than TLRM.

• 대한전자공학회논문지TC
• /
• 제44권8호
• /
• pp.17-22
• /
• 2007

본 논문에서는 1-bit 샘플러를 사용한 비동기식 초광대역 임펄스 수신기의 임계값 추정 알고리즘을 제안하였다. 수신된 신호의 에너지를 측정하여 임계값을 추정하는 기존의 방식과 달리 제안된 임계값 추정 알고리즘은 1-bit 샘플러를 통과한 이진 데이터만을 사용함으로써 하드웨어적인 복잡도를 크게 낮추었으며, 이론적인 최적 임계값에 근접한 성능을 나타내었다. 제안된 임계값 추정 알고리즘은 이론적인 검증과 함께 IEEE 802.15.4a의 채널 모델을 이용한 컴퓨터 모의실험을 통해 성능을 입증하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1989년도 하계종합학술대회 논문집
• /
• pp.48-53
• /
• 1989

We attempt to achieve both high dynamic performance and maximal power efficiency by means of linear decoupling of rotor speed (or motor torque) and rotor flux. The induction motor with our controller possesses the input-output dynamic characteristics of a linear system such that the rotor speed (or motor torque) and the rotor flux are decoupled. The rotor speed (or motor torque) responses are not affected by abrupt changes in the rotor flux and vice versa. The rotor flux need not be measured but is estimated by the well-known flux simulator. The effect of large variation in the rotor resistance on the control performances is minimized by employing a parameter adaptation method. To illuminate the significance of our work. we present simulation and experimental results as well as mathematical performance analyses.