• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.

• The Korean Journal of Food And Nutrition
• /
• v.28 no.3
• /
• pp.396-403
• /
• 2015

To improve the shelf-life of cherry tomato, samples were treated with aqueous chlorine dioxide ($ClO_2$) at 30 ppm for 0~30 minutes and the weight loss rate as well as the changes in physico-chemical and sensory properties of treated samples were investigated. Weight change in the control and in the samples with aqueous $ClO_2$ treatment were decreased slightly, and there were no difference during the storage period. There were no differences in soluble solid content among the treatments and during the storage period. There were no differences in the firmness of samples among the treatments but the firmness of the aqueous $ClO_2$ treated samples were decreased slower than that of the control samples. No significant changes in lightness, redness and yellowness of the controls and the samples by aqueous $ClO_2$ treatment were observed during 4 weeks storage period. The sensory parameters including taste, flavor, color, texture and overall acceptance at the initial period did not differ among the treatments. The scores for taste, texture and overall acceptance of the control were decreased faster than those of the aqueous $ClO_2$ treated samples when 3 weeks reached.

• Journal of the Korean Data and Information Science Society
• /
• v.22 no.3
• /
• pp.505-513
• /
• 2011

In this paper, we obtain the derivations of moments of discrete probability distributions by using the backward difference operators. Also, we presents such derivations for several well-known distributions; they are the binomial, Poisson, geometric, hypergeometric and negative hypergeometric distributions.

• The Korean Journal of Financial Management
• /
• v.9 no.2
• /
• pp.169-175
• /
• 1992

본 논문에서는 이산적(離散的) 시간하(時間下)의 옵션가격결정모형(價格決定模型)이 시장균형개념(市場均衡槪念)과 일관성(一貫性)을 갖지 않을 수 있다고 주장된다. 구체적으로, 이 모형의 유도에 필수불가결한 이변량 자연대수 정규분포의 기본가정이 경제의 시장청산조건(市場淸算條件)들과 상충될 수 있음이 보여진다. 따라서, 이산적 시간하의 옵션가격결정모형은 다음과 같이 아주 제약적인 가정하에서만 유도될 수 있을 것이다. 즉, 기초자산(基礎資産)이 총체적(總體的) 부(富)(aggregate wealth)의 유일한 구성요소이거나, 혹은 옵션이 총체적(總體的) 부(富)에 대해서 발행되는 것으로 가정하는 것이다.

• Journal of Intelligence and Information Systems
• /
• v.16 no.3
• /
• pp.77-97
• /
• 2010

Market timing is an investment strategy which is used for obtaining excessive return from financial market. In general, detection of market timing means determining when to buy and sell to get excess return from trading. In many market timing systems, trading rules have been used as an engine to generate signals for trade. On the other hand, some researchers proposed the rough set analysis as a proper tool for market timing because it does not generate a signal for trade when the pattern of the market is uncertain by using the control function. The data for the rough set analysis should be discretized of numeric value because the rough set only accepts categorical data for analysis. Discretization searches for proper "cuts" for numeric data that determine intervals. All values that lie within each interval are transformed into same value. In general, there are four methods for data discretization in rough set analysis including equal frequency scaling, expert's knowledge-based discretization, minimum entropy scaling, and na$\ddot{i}$ve and Boolean reasoning-based discretization. Equal frequency scaling fixes a number of intervals and examines the histogram of each variable, then determines cuts so that approximately the same number of samples fall into each of the intervals. Expert's knowledge-based discretization determines cuts according to knowledge of domain experts through literature review or interview with experts. Minimum entropy scaling implements the algorithm based on recursively partitioning the value set of each variable so that a local measure of entropy is optimized. Na$\ddot{i}$ve and Booleanreasoning-based discretization searches categorical values by using Na$\ddot{i}$ve scaling the data, then finds the optimized dicretization thresholds through Boolean reasoning. Although the rough set analysis is promising for market timing, there is little research on the impact of the various data discretization methods on performance from trading using the rough set analysis. In this study, we compare stock market timing models using rough set analysis with various data discretization methods. The research data used in this study are the KOSPI 200 from May 1996 to October 1998. KOSPI 200 is the underlying index of the KOSPI 200 futures which is the first derivative instrument in the Korean stock market. The KOSPI 200 is a market value weighted index which consists of 200 stocks selected by criteria on liquidity and their status in corresponding industry including manufacturing, construction, communication, electricity and gas, distribution and services, and financing. The total number of samples is 660 trading days. In addition, this study uses popular technical indicators as independent variables. The experimental results show that the most profitable method for the training sample is the na$\ddot{i}$ve and Boolean reasoning but the expert's knowledge-based discretization is the most profitable method for the validation sample. In addition, the expert's knowledge-based discretization produced robust performance for both of training and validation sample. We also compared rough set analysis and decision tree. This study experimented C4.5 for the comparison purpose. The results show that rough set analysis with expert's knowledge-based discretization produced more profitable rules than C4.5.

• The Journal of Korean Association of Computer Education
• /
• v.9 no.1
• /
• pp.89-95
• /
• 2006

The local geometric properties such as curvatures and normal vectors play important roles for analyzing the local shape of objects in the fields of computer graphics and computer vision. The result of the geometric operations such as mesh simplification and mesh smoothing is dependent on how to compute the curvatures of meshes because there is no exact mathematical definition of curvature at vertices on 3D meshes. Therefore, In this paper, we indicate the fatal error in computing the sectional curvatures of the most previous discrete curvature estimations. Moreover, we present a discrete curvature estimation to overcome the error, which is based on the parabola interpolation and the geometric properties of Bezier curves. Therefore, We can well distinguish between the sharp vertices and the flat ones, so our method may be applied to a variety of geometric operations.

• Analytical Science and Technology
• /
• v.12 no.5
• /
• pp.403-407
• /
• 1999

A method for detecting chlorine dioxide in drinking water was developed by the modified iodometric titration. This method requires prior removal of interfering chemicals such as chlorine and/or other oxidants: the interferents are removed by $N_2$ purging. Chlorite and chlorate were successfully quantified by the ion chromatography-conductivity detection. Stabilized chlorine dioxide that is commercially available contained only traces of chlorine dioxide (0.01-0.09%). In reality, its main component is chlorite.

• Applied Chemistry for Engineering
• /
• v.22 no.3
• /
• pp.340-342
• /
• 2011

$TiO_2$ hollow microsphere was simply synthesized using various ionic liquids. Shapes and sizes of hollow microspheres were significantly different with the composition of ionic liquids. This is mainly attributed to the interaction between the organic solvent and the ionic liquid at the interface leading to the formation of micropsphere. Among the ionic liquids, 1-butyl-3-methylimidazolium tetrafluoroborate was the most effective to synthesize the hollow microsphere.

• Applied Chemistry for Engineering
• /
• v.20 no.3
• /
• pp.296-300
• /
• 2009

Generation of chlorine dioxide ($ClO_2$) was studied by the un-divided electrochemical cell system using $RuO_2$ anode material. Sodium chlorite ($NaClO_2$) was used as a precursor compound of chlorine dioxide. Effect of various operating parameters such as feed solution flow rate, initial solution pH, $NaClO_2$ and NaCl conc., and applied current density on the produced chlorine dioxide concentration and solution pH were investigated in un-divided electrochemical cell system. Produced chlorine dioxide concentration and solution pH were strongly depends on the initial solution pH and feed solution flow rate. Sodium chloride (NaCl) was not only good electrolyte, it was also used as a raw material of chlorine dioxide with $NaClO_2$. Observed optimum conditions were flow rate of feed solution (90 mL/min), initial pH (2.3), $NaClO_2$ concentration (4.7 mM), NaCl concentration (100 mM), and current density ($5A/dm^2$). Produced chlorine dioxide concentration was around 350 mg/L and solution pH was around 3.

• Journal of Korean Society of Forest Science
• /
• v.107 no.1
• /
• pp.71-80
• /
• 2018

The effect of $SO_2$ treated pads (Sodium metabisulphate 0, 0.5, 1.0, 2.0 g/kg) on the quality of dried persimmons and dried persimmons slices were investigated. The $SO_2$ treated pads did not affect to weight, moisture loss rate, and soluble solid contents of dried persimmons and dried persimmons slices. The color change (${\Delta}E$) of dried persimmons and dried persimmons slices after storage for 8 weeks were the highest (value=6.0, 6.2) in control, whereas that was the lowest (value=4.8, 4.7) under $SO_2$ pad 2.0 g/kg condition, respectively. When we measured the browning degree of dried persimmons, they showed O.D. 0.65, 0.57, 0.29, and 0.18 in serial dilution treated pads with $SO_2$ pad 0, 0.5, 1.0, and 2.0 g/kg. The browning degree data from aforementioned dried persimmons after 8 weeks was similar to that from dried persimmons slices. The decay rate of dried persimmons and dried persimmons slices after storage for 8 weeks were the highest (value=33.3%, 36.7%) in control, whereas that was the lowest (value=3.3%, 6.7%) under $SO_2$ pad 2.0 g/kg condition, respectively. The concentration of residual $SO_2$ in dried persimmons and dried persimmons slices were detected within a safe range of 15.3~30.0 ppm. Therefore, the shelf-life of dried persimmons and dried persimmons slices were lengthened in $SO_2$ treated pads (especially in $SO_2$ pad 2.0 g/kg) for inhibiting of browning and decay.