• 대한안전경영과학회지
• /
• 제16권1호
• /
• pp.79-88
• /
• 2014

The rapid growth of complexity and scale can be witnessed in the design and development of modern systems. As such, the severity of damages in the occasional accidents has attracted great deal of attention lately. Although a variety of methods have so far been studied to overcome or reduce the disastrous results of hazards, the issues seem still persistent and even complicated due to the situation mentioned above. The concept of functional safety has been regarded as one approach to handling the matters by shifting up to the functions level from the consideration of each physical component itself. The outcomes of those efforts would be the international standards on functional safety such as IEC 61508 and its relatives including IEC 62278, EN 50128, ISO26262, and so on. In this paper, a method of how hazards can be analyzed to be coped with those standards has been studied. In the method proposed, the systems modeling language (SysML) is playing a key role to model and analyze the hazards from the viewpoint of functional safety. The approach taken has been applied in the analysis of the hazards in railroad systems. In spite of focusing on the individual components hazards, the method based on functional safety has analyzed them collectively with the added effect of identifying the cause originated from the interface between the functions.

• Korean Journal of Mathematics
• /
• 제28권3호
• /
• pp.525-537
• /
• 2020

In this paper, we introduce a duotrigintic functional equation. Furthermore, we study the Hyers-Ulam stability of a duotrigintic functional equation in Banach spaces by using the direct method.

• Nonlinear Functional Analysis and Applications
• /
• 제28권3호
• /
• pp.671-684
• /
• 2023

In this paper, we prove the generalized Hyers-Ulam stability of a general quintic functional equation, $\sum\limits_{k=0}^{6}(-1)^k{_6}C_kf(x+(3-k)y)=0$, by using the fixed point method.

• ETRI Journal
• /
• 제36권6호
• /
• pp.942-952
• /
• 2014

This paper presents a novel test point insertion (TPI) method for a pseudo-random built-in self-test (BIST) to reduce the area overhead. Recently, a new TPI method for BISTs was proposed that tries to use functional flip-flops to drive control test points instead of adding extra dedicated flip-flops for driving control points. The replacement rule used in a previous work has limitations preventing some dedicated flip-flops from being replaced by functional flip-flops. This paper proposes a logic cone analysis-based TPI approach to overcome the limitations. Logic cone analysis is performed to find candidate functional flop-flops for replacing dedicated flip-flops. Experimental results indicate that the proposed method reduces the test point area overhead significantly with minimal loss of testability by replacing the dedicated flip-flops.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.702-706
• /
• 1995

Integration of CAM and CAM information is important in the CIM era. For a CIM system, the feature representation can be a solution to the integration of product model data. These are geometry feature, functional feature, and manufacturing feature in the feature context. This paper proposes a framework to integrate the configuration design method, parametric modeling and the feature modeling method. The concept of design unit which is one level higher than functional feature and parametric modeling concept with functional features have been proposed.

• 충청수학회지
• /
• 제32권1호
• /
• pp.29-46
• /
• 2019

We introduce a generalized cubic functional equation and investigate the Hyers-Ulam stability of the cubic functions as solutions to the generalized cubic functional equation on a quasi-fuzzy anti-${\beta}$-Banach space by both the direct method and the fixed point method.

• 한국주거학회논문집
• /
• 제10권2호
• /
• pp.175-183
• /
• 1999

This study aims at modeling the compositional method in the architectural space and shape. The composition of space is composed of the position and the area in space. Therefore these elements are established to the functional program applied at the behavioral data. The element of spatial structure is position and scale in space, and the composition of spatial shape is developed repitionally to the combination of build-up method. The functional program is being expertised and the scale in building being lager, the importance of functional program is increased. Applied at data of the functional program at spatial structure, the process is developed to the method of combination. The purpose of this study is approached at the degree of application in modeling on the compositional method in architectural space and shape, which is a fundamental aspect on the quantitative analysis of architectural space.

• Communications for Statistical Applications and Methods
• /
• 제26권6호
• /
• pp.635-644
• /
• 2019

Class probability is a fundamental target in classification that contains complete classification information. In this article, we propose a class probability estimation method when the predictor is functional. Motivated by Wang et al. (Biometrika, 95, 149-167, 2007), our estimator is obtained by training a sequence of functional weighted support vector machines (FWSVM) with different weights, which can be justified by the Fisher consistency of the hinge loss. The proposed method can be extended to multiclass classification via pairwise coupling proposed by Wu et al. (Journal of Machine Learning Research, 5, 975-1005, 2004). The use of FWSVM makes our method model-free as well as computationally efficient due to the piecewise linearity of the FWSVM solutions as functions of the weight. Numerical investigation to both synthetic and real data show the advantageous performance of the proposed method.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권2호
• /
• pp.161-170
• /
• 2018

In this paper, we introduce and solve the following additive (${\rho}_1,{\rho}_2$)-functional inequality (0.1) $${\parallel}f(x+y+z)-f(x)-f(y)-f(z){\parallel}{\leq}{\parallel}{\rho}_1(f(x+z)-f(x)-f(z)){\parallel}+{\parallel}{\rho}_2(f(y+z)-f(y)-f(z)){\parallel}$$, where ${\rho}_1$ and ${\rho}_2$ are fixed nonzero complex numbers with ${\mid}{\rho}_1{\mid}+{\mid}{\rho}_2{\mid}$ < 2. Using the fixed point method and the direct method, we prove the Hyers-Ulam stability of the additive (${\rho}_1,{\rho}_2$)-functional inequality (0.1) in complex Banach spaces.

• 한국컴퓨터정보학회논문지
• /
• 제21권12호
• /
• pp.97-105
• /
• 2016

Network-Centric Operational Environment(NCOE) service becomes critical in today's military environment network because reusability of service and interaction are being increasingly important as well in business process. However, the refinement of service by semantic similarity and functional similarity at the business process was not detailed yet. In order to enhance accuracy of refining of business service, in this study, the authors introduce a method for refining service by semantic similarity and functional similarity in BPMN model. The business process are designed in a BPMN model. In this model, candidated services are refined through binding related activities by the analysis result of semantic similarity based on word-net and functional similarity based on properties specification between activities. Then, the services are identified through refining the candidated service. The proposed method is expected to enhance the service identification with accuracy and modularity. It also can accelerate more standardized service refinement developments by the proposed method.