• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.847-851
• /
• 1994

Existing CAD systems do not provide the advanced function for systematic checking of design and drafting errors in mechanical drawings. This paper describes a method for systematic checking in mechanical drawings. The checking items are deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. This system has been applied to several examples and we have confirmed the feasibility of this design checking method.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.593-597
• /
• 1996

This paper describes a method for drawing check of dimension errors, such as deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. The logic for finding dimensional errors is written by using the Turbo C language. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. Especialy, this paper gives an account of checking method for annular parts.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1983.10a
• /
• pp.112-117
• /
• 1983

In this paper, a functional m-redundant system, which is me-fault tolerant, is defined based on the graph-theory. This system is designed to be t fault-diagnosable by comparing its unit's outcomes without additive test functions, and so, the system down for diagnosis is not needed. the diagnostic model for this system is presented and this effectively uses system's redundancy. It is shown that this model can be converted into Preparata's model. Thus, the diagnostic characteristics of a functional m-redundant system is analyzed by the methods originated by Preparata et al..

• Proceedings of the IEEK Conference
• /
• summer
• /
• pp.213-217
• /
• 2004

This paper presents a method of constructing the digital logic systems(DLS) using edge-valued decision diagrams(EVDD). The proposed method is as following. The EVDD is a new data structure type of decision diagram(DD) that is recently used in constructing the digital logic systems based on the graph theory. Next, we apply EVDD to function minimization of digital logic systems. The proposed method has the visible, schematical and regular properties.

• Honam Mathematical Journal
• /
• v.43 no.1
• /
• pp.17-25
• /
• 2021

A set D ⊆ V (G) is an independent transversal dominating set of G if D is a dominating set and also intersects every maximum independent set in G. The minimum cardinality of such a set is equal to the transversal domination number, denoted by ��it(G). This paper is devoted to the computation of the independent transversal domination number of some complementary prism.

• Journal of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1261-1277
• /
• 2021

An inertial manifold is often constructed as a graph of a function from low Fourier modes to high ones and one used to consider backward bounded (in time) solutions for that purpose. We here show that the proof of the uniqueness of such solutions is crucial in the existence theory of inertial manifolds. Avoiding contraction principle, we mainly apply the Arzela-Ascoli theorem and Laplace transform to prove their existence and uniqueness respectively. A non-self adjoint example is included, which is related to a differential system arising after Kwak transform for Navier-Stokes equations.

• East Asian mathematical journal
• /
• v.38 no.2
• /
• pp.143-164
• /
• 2022

Computer technology in mathematics teaching-learning is not for teaching computer but for improving mathematics teaching-learning with computer. It is shown the use of computer technology comparing with traditional approach provides students more opportunities in order to approach abstract structure. Computer activity provides not only understanding concepts of analysis and opportunity to investigate theory but also effective background in teaching analysis. We analyze students' computer usage level on analysis education by using computer usage level according to role of computer technology. We try to get an useful educational implication on analysis education applying MATLAB through qualitative research.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1362-1365
• /
• 1993

Fuzzy mathematics is used to elicit and evaluate human psychophysical responses in panel tests. The fundamental instrument used is a bar graph whose data is then converted to a paired comparison matrix. Form this matrix we use the theory of Perron and Froebenius to obtain an eigenvalue and eigenvector which indicates not only the panelist's comparitive responses but also the consistency of the responses from that panelist. Tests were done to evaluate the procedure.

• Journal of the Korean Society for Railway
• /
• v.19 no.2
• /
• pp.170-186
• /
• 2016

This paper introduces a multi-phase fuzzy risk graph model, representing a method for determining for SIL values for railway industry systems. The purpose of this paper is to compensate for the shortcomings of qualitative determination, which are associated with input value ambiguity and the subjectivity problem of expert judgement. The multi-phase fuzzy risk graph model has two phases. The first involves the determination of the conventional risk graph input values of the consequence, exposure, avoidance and demand rates using fuzzy theory. For the first step of fuzzification this paper proposes detailed input parameters. The fuzzy inference and the defuzzification results from the first step will be utilized as input parameters for the second step of the fuzzy model. The second step is to determine the safety integrity level and tolerable hazard rate corresponding to be identified hazard in the railway industry. To validate the results of the proposed the multi-phase fuzzy risk graph, it is compared with the results of a safety analysis of a level crossing system in the CENELEC SC 9XA WG A0 report. This model will be adapted for determining safety requirements at the early concept design stages in the railway business.

• Journal of the Ergonomics Society of Korea
• /
• v.21 no.2
• /
• pp.59-70
• /
• 2002

This paper is about the evaluation of stress response and recovery using biosignals and fuzzy theory. We caused mental stress by means of a coin-stacking task. During the experiment, 4 kinds of biosignals, including frontalis EMG, ECG, peripheral skin temperature and skin conductance level, were acquired. Then, the degree of stress was assessed by synthetically those signals using fuzzy inference. From the fuzzy inference result, the parameters (amount of physiological change / amount of imposed stress) and (time to 25% recovery), which represent response and recovery respectively, were derived. We made a two-dimensional point graph using the response parameter as an abscissa and the recovery parameter as an ordinate for each subject.