• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.31-58
• /
• 2009

This paper defends Stalnaker's theory of indicative conditionals. His theory consists of selection functions and pragmatic constraints. The selection function takes a certain possible world(W) and a proposition(A) to yield a possilble world that is similar to W and in which A is true. And the pragmatic constraints plays role to make selection functions apply just to indicative conditionals. According to Stalnaker, as indicative conditionals has strong truth-value, uncontested principle always holds but passage principle does not always hold. However, his theory can explain why passage principle sometimes holds by means of pragmatic constraints. Also, this paper argues that Stalnaker's theory is the most acceptable one among others, by replying to criticisms suggested by Adamsians and the problem raised by Gibbard and other criticisms.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.9
• /
• pp.1788-1795
• /
• 1992

Numerical simulations have been performed to investigate various spectral estimators used in LDV signal processing. In order to simulate a particle arrival time statistics known as the doubly stochastic poisson process, an autoregressive vector model was adopted to construct a primary velocity field. The conditional Poisson process with a random rate parameter was generated through the rescaling time process using the mean value function. The direct transform based on random sampling sequences and the standard periodogram using periodically resampled data by the sample and hold interpolation were applied to obtain power spectral density functions. For low turbulent intensity flows, the direct transform with a constant Poisson intensity is in good agreement with the theoretical spectrum. The periodogram using the sample and hold sequences is better than the direct transform in the view of the stability and the weighting of the velocity bias for high data density flows. The high Reynolds stress and high fluctuation of the transverse velocity component affects the velocity bias which increases the distortion of spectral components in the direct transform.

• Environmental and Resource Economics Review
• /
• v.16 no.3
• /
• pp.683-699
• /
• 2007

This study applied the choice experiment (CE) method to measure values of statistical lives from multi-attributed mortality risk reduction choices. The four characteristics of mortality risk (i.e. cause of death, voluntariness of mortality risk, timing of death, magnitude of mortality risk reduction) are utilized to design the alternatives of choice sets. The estimation results for the multinomial logit model show that individuals are willing to pay 27,930 won per year for a change from the status quo to a $\frac{1}{100}$ mortality risk reduction for 10 years, 116,773 won per year for mortality risk reduction associated with adults, 97,682 won per year for voluntary mortality risk reduction, 77,234 won per year for involuntary mortality risk reduction. There were several estimates of VSL related to different attributes of mortality risk. The mean VSLs of infant/child/young adult ranged from 1,165 million won to 1,367 million won. The mean VSLs ranged from 1,631 million won to 1,833 million won for adult, and were between 1,128 million won and 1,330 million won for old person.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.483-490
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do likelihood inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The infinite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of Musa-Okumo and Power law type property.

• Journal of the Korean Chemical Society
• /
• v.24 no.2
• /
• pp.129-138
• /
• 1980

The formation constants of the mixed-ligand complexes in the Cd(II), Cu(II) and Pb(II)-Trien-OH system were studied by polarograph. The formation constant $(log{\beta}_{ij})$ was determined at $25^{\circ}C$ in the ionic strength of 0.1. It was also confirmed that the mixed ligand complexes in this system were formed above pH 10.2, 10.5 and 9.0 for Cu(II), Cd(II) and Pb(II) by the calculation of the distribution for complexes at the various pH. Masking of Cd(II) by conversion to anionic EDTA-complexes has been used to separate Cu(II) from Cd(II) through passage of a combined Trien-EDTA solution on an cationic resin column. The optimal condition for the separation of Cu(II) from Cd(II) is confirmed at the pH range above 9.0, not only by considering the theoretical equation of the conditional-exchange-constant of metal on the cation exchange resin,but also by calculating the distribution of the mixed ligand complexes in the resin at the various pH with computer. By analyzing the synthetic sample of Cu(II) and Cd(II) with a EDTA masking at pH 9.5, it is found that the results of the experiment are satisfied with the theoretical value.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.11 no.5
• /
• pp.572-578
• /
• 2018

This paper considers Group Testing as one of combinatorial problems. The group testing first began to inspect soldier's syphilis infection during World War II and have long established an academic basis. Recently, there has been much interest in related areas because of the rediscovery of the value of the group testing. The group testing is the same as finding a few defect samples out of a large number of samples, which is similar to the inverse problem of Compressed Sensing. In this paper, we introduce the definition of the group testing, and specify the classes of the group testing and the bounds on performance of the group testing. In addition, we show a lower bound for the number of tests required to find defective samples using the theoretical theorem which is mainly used for relationship between conditional entropy and the probability of error in the information theory. We see how our result can be different from other related results.

• Journal of KIISE:Databases
• /
• v.28 no.4
• /
• pp.545-557
• /
• 2001

In this paper we propose a hierarchical classification algorithm based on rough membership function which can reason a new object approximately. We use the fuzzy reasoning method that substitutes fuzzy membership value for linguistic uncertainty and reason approximately based on the composition of membership values of conditional sttributes Here we use the rough membership function instead of the fuzzy membership function It can reduce the process that the fuzzy algorithm using fuzzy membership function produces fuzzy rules In addition, we transform the information system to the understandable minimal decision information system In order to do we, study the discretization of continuous valued attributes and propose the discretization algorithm based on the rough membership function and the entropy of the information theory The test shows a good partition that produce the smaller decision system We experimented the IRIS data etc. using our proposed algorithm The experimental results with IRIS data shows 96%~98% rate of classification.

• Korean Journal of Remote Sensing
• /
• v.35 no.5_1
• /
• pp.715-726
• /
• 2019

With the increasing prevalence of high-resolution satellite images, the need for technology to generate accurate 3D information from the satellite images is emphasized. In order to create a digital terrain model (DTM) that is widely used in applications such as change detection and object extraction, it is necessary to extract trees, buildings, etc. that exist in the digital surface model (DSM) and estimate the height of the ground. This paper presents a method for automatically generating DTM from DSM extracted from KOMPSAT-3A stereo images. The technique was developed to detect the non-ground area and estimate the height value of the ground by using the previously constructed low-resolution topographic data. The average vertical accuracy of DTMs generated in the four experimental sites with various topographical characteristics, such as mountainous terrain, densely built area, flat topography, and complex terrain was about 5.8 meters. The proposed technique would be useful to produce high-quality DTMs that represent precise features of the bare-earth's surface.

• Asian-Australasian Journal of Animal Sciences
• /
• v.29 no.11
• /
• pp.1555-1561
• /
• 2016

Shank skin color of Korean native chicken (KNC) shows large color variations. It varies from white, yellow, green, bluish or grey to black, whilst in the majority of European breeds the shanks are typically yellow-colored. Three shank skin color-related traits (i.e., lightness [$L^*$], redness [$a^*$], and yellowness [$b^*$]) were measured by a spectrophotometer in 585 progeny from 68 nuclear families in the KNC resource population. We performed genome scan linkage analysis to identify loci that affect quantitatively measured shank skin color traits in KNC. All these birds were genotyped with 167 DNA markers located throughout the 26 autosomes. The SOLAR program was used to conduct multipoint variance-component quantitative trait locus (QTL) analyses. We detected a major QTL that affects $b^*$ value (logarithm of odds [LOD] = 47.5, $p=1.60{\times}10^{-49}$) on GGA24 (GGA for Gallus gallus). At the same location, we also detected a QTL that influences $a^*$ value (LOD = 14.2, $p=6.14{\times}10^{-16}$). Additionally, beta-carotene dioxygenase 2 (BCDO2), the obvious positional candidate gene under the linkage peaks on GGA24, was investigated by the two association tests: i.e., measured genotype association (MGA) and quantitative transmission disequilibrium test (QTDT). Significant associations were detected between BCDO2 g.9367 A>C and $a^*$ ($P_{MGA}=1.69{\times}10^{-28}$; $P_{QTDT}=2.40{\times}10^{-25}$). The strongest associations were between BCDO2 g.9367 A>C and $b^*$ ($P_{MGA}=3.56{\times}10^{-66}$; $P_{QTDT}=1.68{\times}10^{-65}$). However, linkage analyses conditional on the single nucleotide polymorphism indicated that other functional variants should exist. Taken together, we demonstrate for the first time the linkage and association between the BCDO2 locus on GGA24 and quantitatively measured shank skin color traits in KNC.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.1
• /
• pp.329-338
• /
• 2019

In this study, we analyze consumer preferences based on the agricultural box scheme attributes, and make a suggestion for business revival. We estimate the marginal willingness to pay (MWTP) for box scheme attributes using a choice experiment. Attributes include the bundle method, the delivery method, and price. To select an efficient model for statistical analysis, we evaluate the conditional logit model, heteroscedastic extreme value model(HEV model), multinomial probit model, and mixed logit model under different assumptions. The results of these four models show that the bundle method, the delivery method, and price are statistically significant in explaining the probability of participation in a box scheme. The results of likelihood ratio tests show that the heteroscedastic extreme value model is the most appropriate for our survey data. The results also indicate that MWTP for a change from fixed type to selection type is KRW 7,096.6. MWTP for a change from parcel service to direct delivery and cold-chain delivery are KRW 3,497.5 and KRW 7,532.7, respectively. The results of this study may contribute to the government's local food policies.