• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.4
• /
• pp.295-300
• /
• 2007

The similarity analysis for fuzzy set pair or crisp set pair are carried out. The similarity measure that is based on distance measure is derived and proved. The proposed similarity measure is considered with the help of analysis for uncertainty or certainty part of the membership functions. The usefulness of proposed similarity is verified through the computation of similarity between fuzzy set and crisp set or fuzzy set and fuzzy set. Our results are also compared with those of previous similarity measure which is based on fuzzy number.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• Nuclear Engineering and Technology
• /
• v.25 no.3
• /
• pp.457-469
• /
• 1993

JEF-1-based 50-group cross section set for fast reactor calculations was generated using NJOY system. The set was then examined by analyzing measured integral quantities such as criticality and central reaction rate ratios for 27 fast critical assemblies. The calculated results using the new set were also compared with those of ENDF/B-IV or-V-based fast set. In general, the JEF-1-based set shows an improvement in predicting measured integral quantities in comparison with the previous set. With a few exceptions, JEF-1 results are comparable to those of ENDF/B-V.

• Genomics & Informatics
• /
• v.5 no.3
• /
• pp.133-136
• /
• 2007

The Gene Set network viewer (GSnet) visualizes the functional enrichment of a given gene set with a protein interaction network and is implemented as a plug-in for the Cytoscape platform. The functional enrichment of a given gene set is calculated using a hypergeometric test based on the Gene Ontology annotation. The protein interaction network is estimated using public data. Set operations allow a complex protein interaction network to be decomposed into a functionally-enriched module of interest. GSnet provides a new framework for gene set analysis by integrating a priori knowledge of a biological network with functional enrichment analysis.

• Steel and Composite Structures
• /
• v.21 no.6
• /
• pp.1389-1410
• /
• 2016

This paper proposes a hybrid of topological derivative-based level set method (LSM) and isogeometric analysis (IGA) for structural topology optimization. In topology optimization a significant drawback of the conventional LSM is that it cannot create new holes in the design domain. In this study, the topological derivative approach is used to create new holes in appropriate places of the design domain, and alleviate the strong dependency of the optimal topology on the initial design. Furthermore, the values of the gradient vector in Hamilton-Jacobi equation in the conventional LSM are replaced with a Delta function. In the topology optimization procedure IGA based on Non-Uniform Rational B-Spline (NURBS) functions is utilized to overcome the drawbacks in the conventional finite element method (FEM) based topology optimization approaches. Several numerical examples are provided to confirm the computational efficiency and robustness of the proposed method in comparison with derivative-based LSM and FEM.

• Genomics & Informatics
• /
• v.11 no.3
• /
• pp.135-141
• /
• 2013

Gene set analysis is a powerful tool for interpreting a genome-wide association study result and is gaining popularity these days. Comparison of the gene sets obtained for a variety of traits measured from a single genetic epidemiology dataset may give insights into the biological mechanisms underlying these traits. Based on the previously published single nucleotide polymorphism (SNP) genotype data on 8,842 individuals enrolled in the Korea Association Resource project, we performed a series of systematic genome-wide association analyses for 49 quantitative traits of basic epidemiological, anthropometric, or blood chemistry parameters. Each analysis result was subjected to subsequent gene set analyses based on Gene Ontology (GO) terms using gene set analysis software, GSA-SNP, identifying a set of GO terms significantly associated to each trait ($p_{corr}$ < 0.05). Pairwise comparison of the traits in terms of the semantic similarity in their GO sets revealed surprising cases where phenotypically uncorrelated traits showed high similarity in terms of biological pathways. For example, the pH level was related to 7 other traits that showed low phenotypic correlations with it. A literature survey implies that these traits may be regulated partly by common pathways that involve neuronal or nerve systems.

• Nuclear Engineering and Technology
• /
• v.54 no.6
• /
• pp.2221-2229
• /
• 2022

In this research, for improving the measurement performance of Prompt Gamma-ray Neutron Activation Analysis (PGNAA) set-up, a new optimization method for set-up design was proposed and investigated. At first, the calculation method for Signal-to-Noise Ratio (SNR) was proposed. Since the SNR could be calculated and quantified accurately, the SNR was chosen as the evaluation parameter in the new optimization method. For discussing the feasibility of the SNR optimization method, two kinds of PGNAA set-ups were designed in the MCNP code, based on the SNR optimization method and the previous signal optimization method, respectively. Meanwhile, the single element spectra analysis method was proposed, and the analysis effect of single element spectra as well as element sensitivity were used for comparing the measurement performance. Since the simulation results showed the better measurement performance of set-up designed by SNR optimization method, the experimental set-ups were built for the further testing, finally demonstrating the feasibility of the SNR optimization method for PGNAA setup design.

• Journal of Information Processing Systems
• /
• v.12 no.1
• /
• pp.109-128
• /
• 2016

This paper presents a new combined forecasting method that is guided by the soft set theory (CFBSS) to predict business failures with different sample sizes. The proposed method combines both qualitative analysis and quantitative analysis to improve forecasting performance. We considered an expert system (ES), logistic regression (LR), and support vector machine (SVM) as forecasting components whose weights are determined by the receiver operating characteristic (ROC) curve. The proposed procedure was applied to real data sets from Chinese listed firms. For performance comparison, single ES, LR, and SVM methods, the combined forecasting method based on equal weights (CFBEWs), the combined forecasting method based on neural networks (CFBNNs), and the combined forecasting method based on rough sets and the D-S theory (CFBRSDS) were also included in the empirical experiment. CFBSS obtains the highest forecasting accuracy and the second-best forecasting stability. The empirical results demonstrate the superior forecasting performance of our method in terms of accuracy and stability.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.696-702
• /
• 2003

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

• The KIPS Transactions:PartC
• /
• v.8C no.5
• /
• pp.621-628
• /
• 2001

SET is one of the useful protocol for credit payment in the Electronic market. Since, the delivery problem is conformed to delivery cooperation not payment problem, the classic SET protocol didn\`t consider about the certification of delivery. But the environment of electronic market be changed to manage the sold, delivery and payment etc.. In this paper, based on this consider, we propose a new SET protocol which has an function to verify the delivery based on SKP and verify it after analyzed by Petri nets. Specially, we consider SKP between Customer, Merchant, and Acquirer for improve the verify function.