• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.4
• /
• pp.292-298
• /
• 2002

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

• Journal of KSNVE
• /
• v.6 no.4
• /
• pp.431-438
• /
• 1996

The channel type structure which has large openings is frail with respect to torsional strength, and the horizontal-torsional motion is highly coupled, because of the large difference between the centroil and the shear center. Also, a discontinuous boundary phase is came from tansition section between the opened section and the closed section. To analyze the Bending- Torsional coupled mode parameters for the channel type structure, the Transfer Matrix Method was used. Comparing the result of F.D.M.T.M.M yields good results in relatively low frequency region.

• Journal of Power System Engineering
• /
• v.5 no.4
• /
• pp.53-60
• /
• 2001

This paper considers a modeling for the MIMO magnetic bearing system. The rotor is flexible and has a complex shape. To obtain the nominal plant transfer functions, we perform a numerical analysis by using the finite element method(F.E.M.) for the rotor's dynamics, and make a nominal model by reducing the modes from the results. And, we have experimented on the frequency response by a closed-loop identification method, and compared it with the simulation's result on the closed-loop control system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.10a
• /
• pp.576-579
• /
• 2002

This paper presents the jacobian analysis of new type Casing Oscillator using the inverse kinematics, and to search for it's singularities through the jacobian analysis. All parallel manipulator have some singularities in workspace or it's outside workspace. Singularities were cleared by many other study of parallel manipulator f3r that reason recent publication of device control. In this paper defined that singularities of new file of Casing Oscillator and, to show it's graph. Finally this paper will be used for a practical example for construction spot, aviation simulator, vehicles simulator, military equipment etc.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.15 no.11
• /
• pp.1082-1089
• /
• 2004

In this paper, miniaturization of an elliptic-response open-loop resonator filter and design flexibility using similarity transformation of the coupling matrix are proposed. Moreover, the filter with wider fractional bandwidth is designed by the proposed method. In order to verify the proposed method, three 4th-order elliptic-response open-loop resonator filters with a relative bandwidth of 4 % at the center frequency of 2.0 GHz are designed. One is realized with constant-width microstrip line resonator and the others are implemented with different-width microstrip line resonator. Compared with the former one, the latter have shown the size reduction of 13 % and 25 %, respectively. Since it may not be possible to implement the resonators with very narrow spacing for the required coupling coefficient filters with two different configurations representing same response characteristic through similarity transformation of the coupling matrix are proposed. From this design flexibility, a filter with a relative bandwidth of 8 % at the center frequency of 2.0 GHz is designed with realizable design parameters.

• Journal of radiological science and technology
• /
• v.44 no.6
• /
• pp.635-643
• /
• 2021

The results of empirical researches on the diagnosis of lung cancer are insufficient, so it is limited to objectively judge the clinical possibility and utilization according to the accuracy of diagnosis. Thus, this study retrospectively analyzed the lung cancer diagnostic performance of PET-MRI (Positron Emission Tomography-Magnetic Resonance Imaging) by using the decision matrix. This study selected and experimented total 165 patients who received both hematological CEA (Carcinoembryonic Antigen) test and hybrid PET-MRI (¹⁸F-FDG, 5.18 MBq/kg / Body TIM coil. VIVE-Dixon). After setting up the result of CEA (positive:>4 ㎍/ℓ. negative:<2.5㎍/ℓ) as golden data, the lung cancer was found in the image of PET-MRI, and then the SUV_max (positive:>4, negative:<1.5) was measured, and then evaluated the correlation and significance of results of relative diagnostic performance of PET-MRI compared to CEA through the statistical verification (t-test, P>0.05). Through this, the PET-MRI was analyzed as 96.29% of sensitivity, 95.23% of specificity, 3.70% of false negative rate, 4.76% of false positive rate, and 95.75% of accuracy. The false negative rate was 1.06% lower than the false positive rate. The PET-MRI that significant accuracy of diagnosis through high sensitivity and specificity, and low false negative rate and false positive rate of lung cancer, could acquire the fusion image of specialized soft tissue by combining the radio-pharmaceuticals with various sequences, so its clinical value and usefulness are regarded as latently sufficient.

• Journal of Korea Water Resources Association
• /
• v.49 no.10
• /
• pp.877-885
• /
• 2016

In this study, the Standard Precipitation Index(SPI), meteorological drought index, was used to evaluate the temporal and spatial assessment of drought forecasting results for all cross Korea. For the drought forecasting, the Multi Layer Perceptron-Artificial Neural Network (MLP-ANN) was selected and the drought forecasting was performed according to different forecasting lead time for SPI (3) and SPI (6). The precipitation data observed in 59 gaging stations of Korea Meteorological Adminstration (KMA) from 1976~2015. For the performance evaluation of the drought forecasting, the binary classification confusion matrix, such as evaluating the status of drought occurrence based on threshold, was constituted. Then Receiver Operating Characteristics (ROC) score and F score according to conditional probability are computed. As a result of ROC analysis on forecasting performance, drought forecasting performance, of applying the MLP-ANN model, shows satisfactory forecasting results. Consequently, two-month and five-month leading forecasts were possible for SPI (3) and SPI (6), respectively.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.9
• /
• pp.663-670
• /
• 2020

A study on mechanical property characterization and modeling technique was carried out to approximate the behaviour of structures with 2.5D C/SiC material. Several tensile tests were performed to analyze the behaviour characteristics of the 2.5D C/SiC material and elastic property was characterized by applying a mathematical homogenization and a modified rule of mixture. SiC matrix representing the elasto-plastic behavior approximates as a bilinear function. Then the equivalent yield strength and equivalent plastic stiffness were calculated by minimizing errors in experiment and approximation. RVE(Representative Volume Element)was defined from the fiber and matrix configuration of 2.5D C/SiC and a process of calculating the effective stiffness matrix by applying the modified rule of mixture to RVE was implemented in the ABAQUS User-defined subroutine. Finite element analysis was performed by applying the mechanical properties of fiber and matrix calculated based on the proposed process, and the results were in good agreement with the experimental results.

• Journal of the Korea Society for Simulation
• /
• v.15 no.3
• /
• pp.23-30
• /
• 2006

A recommender system for E-commerce site receives information from customers about which products they are interested in, and recommends products that are likely to fit their needs. In this paper, we investigate several methods for large-scale product purchase data for the purpose of producing useful recommendations to customers. We apply the traditional data mining techniques of cluster analysis and collaborative filtering(CF), and CF with reduction of product-dimensionality by use of latent semantic indexing(LSI). If reduced product-dimensionality obtained from LSI shows a similar latent trend of customers for buying products to that based on original customer-product purchase data, we expect less computational effort for obtaining the nearest-neighbor for target customer may improve the efficiency of recommendation performance. From simulation experiments on synthetic customer-product purchase data, CF-based method with reduction of product-dimensionality presents a better performance than the traditional CF methods with respect to the recall, precision and F1 measure. In general, the recommendation quality increases as the size of the neighborhood increases. However, our simulation results shows that, after a certain point, the improvement gain diminish. Also we find, as a number of products of recommendation increases, the precision becomes worse, but the improvement gain of recall is relatively small after a certain point. We consider these informations may be useful in applying recommender system.

• Journal of Korean Society for Geospatial Information Science
• /
• v.24 no.1
• /
• pp.89-98
• /
• 2016

In this paper, we proposed an automated areal feature matching method based on geometric similarity without user intervention and is applied into areal features of many-to-many relation, for confusion of spatial data-sets of different scale and updating cycle. Firstly, areal feature(node) that a value of inclusion function is more than 0.4 was connected as an edge in adjacency matrix and candidate corresponding areal features included many-to-many relation was identified by multiplication of adjacency matrix. For geometrical matching, these multiple candidates corresponding areal features were transformed into an aggregated polygon as a convex hull generated by a curve-fitting algorithm. Secondly, we defined matching criteria to measure geometrical quality, and these criteria were changed into normalized values, similarity, by similarity function. Next, shape similarity is defined as a weighted linear combination of these similarities and weights which are calculated by Criteria Importance Through Intercriteria Correlation(CRITIC) method. Finally, in training data, we identified Equal Error Rate(EER) which is trade-off value in a plot of precision versus recall for all threshold values(PR curve) as a threshold and decided if these candidate pairs are corresponding pairs or not. To the result of applying the proposed method in a digital topographic map and a base map of address system(KAIS), we confirmed that some many-to-many areal features were mis-detected in visual evaluation and precision, recall and F-Measure was highly 0.951, 0.906, 0.928, respectively in statistical evaluation. These means that accuracy of the automated matching between different spatial data-sets by the proposed method is highly. However, we should do a research on an inclusion function and a detail matching criterion to exactly quantify many-to-many areal features in future.