• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.146-151
• /
• 1994

An empirical comparison of static fuzzy relational models which are identified with different fuzzy implication operators and inferred by different composition operators is made in case that all the information is represented by the fuzzy discretization. Four performance measures (integral of mean squared error, maximal error, fuzzy equality index and mean lack of sharpness) are adopted to evaluate and compare the quality of the fuzzy relational models both at the numerical level and logical level. As the results, the fuzzy implication operators useful in various fuzzy modeling problems are discussed and it is empirically shown that the selection of data pairs is another important factor for identifying the fuzzy model with high quality.

• 대한수학회지
• /
• 제42권3호
• /
• pp.573-597
• /
• 2005

A continuous linear operator T, on the space of entire functions in d variables, is PDE-preserving for a given set $\mathbb{P}\;\subseteq\;\mathbb{C}|\xi_{1},\ldots,\xi_{d}|$ of polynomials if it maps every kernel-set ker P(D), $P\;{\in}\;\mathbb{P}$, invariantly. It is clear that the set $\mathbb{O}({\mathbb{P}})$ of PDE-preserving operators for $\mathbb{P}$ forms an algebra under composition. We study and link properties and structures on the operator side $\mathbb{O}({\mathbb{P}})$ versus the corresponding family $\mathbb{P}$ of polynomials. For our purposes, we introduce notions such as the PDE-preserving hull and basic sets for a given set $\mathbb{P}$ which, roughly, is the largest, respectively a minimal, collection of polynomials that generate all the PDE-preserving operators for $\mathbb{P}$. We also describe PDE-preserving operators via a kernel theorem. We apply Hilbert's Nullstellensatz.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.755-772
• /
• 2023

Our aim is to establish certain image formulas of the (p, q)-extended modified Bessel function of the second kind M_ν,p,q(z) by employing the Marichev-Saigo-Maeda fractional calculus (integral and differential) operators including their composition formulas and using certain integral transforms involving (p, q)-extended modified Bessel function of the second kind M_ν,p,q(z). Corresponding assertions for the Saigo's, Riemann-Liouville (R-L) and Erdélyi-Kober (E-K) fractional integral and differential operators are deduced. All the results are represented in terms of the Hadamard product of the (p, q)-extended modified Bessel function of the second kind M_ν,p,q(z) and Fox-Wright function _rΨ_s(z).

• 대한수학회보
• /
• 제50권2호
• /
• pp.675-685
• /
• 2013

We prove, under some general assumptions, that a generator of any uniformly bounded Nemytskij operator, mapping a subset of space of functions of bounded variation in the sense of Wiener-Young into another space of this type, must be an affine function with respect to the second variable.

• Korean Journal of Mathematics
• /
• 제29권1호
• /
• pp.91-103
• /
• 2021

In this paper we have established inequalities for a unified integral operator by using convexity of composition of two functions. The obtained results are directly connected to bounds of various fractional and conformable integral operators which are already known in literature. A generalized Hadamard integral inequality is obtained which further leads to its various versions for associated fractional integrals. Further, some implicated results are discussed.

• 대한수학회보
• /
• 제48권6호
• /
• pp.1195-1205
• /
• 2011

Let $H(\mathbb{D})$ denote the class of all analytic functions on the open unit disk $\mathbb{D}$ of the complex plane $\mathbb{C}$. Let n be a nonnegative integer, ${\varphi}$ be an analytic self-map of $\mathbb{D}$ and $u{\in}H(\mathbb{D})$. The generalized weighted composition operator is defined by $$D_{{\varphi},u}^nf=uf^{(n)}{\circ}{\varphi},\;f{\in}H(\mathbb{D})$$. The boundedness and compactness of the generalized weighted composition operator from area Nevanlinna spaces to weighted-type spaces and little weighted-type spaces are characterized in this paper.

• 대한수학회보
• /
• 제52권4호
• /
• pp.1383-1399
• /
• 2015

Let ${\mathbb{D}}=\{z{\in}{\mathbb{C}}:{\mid}z{\mid}<1\}$ be the open unit disk in the complex plane $\mathbb{C}$, ${\varphi}$ an analytic self-map of $\mathbb{D}$ and ${\psi}$ an analytic function in $\mathbb{D}$. Let D be the differentiation operator and $W_{{\varphi},{\psi}}$ the weighted composition operator. The boundedness and compactness of the product-type operator $W_{{\varphi},{\psi}}D$ from the weighted Bergman-Orlicz space to the weighted Zygmund space on $\mathbb{D}$ are characterized.

• 대한수학회논문집
• /
• 제17권2호
• /
• pp.349-361
• /
• 2002

The ill-posed elliptic wave propagation problems can be transformed into well-posed initial value problems of the reflection and transmission operators characterizing the material structure of the given model by the combination of wave field splitting and invariant imbedding methods. In general, the derived scattering operator equations are of first-order in range, nonlinear, nonlocal, and stiff and oscillatory with a subtle fixed and movable singularity structure. The phase space and path integral analysis reveals that construction and reconstruction algorithms depend crucially on a detailed symbol analysis of the scattering operators. Some information about the singularity structure of the scattering operator symbols is presented and analyzed in the transversely homogeneous limit.

• 대한수학회지
• /
• 제38권1호
• /
• pp.125-134
• /
• 2001

Independent $\sigma$-algebras Α and Β on X, L$^2$(X, Α V Β), L$^2$(X x X, Α x Β), and the Hilbert space tensor product L$^2$(X,Α), (※Equations, See Full-text) L$^2$(X,Β), are isomorphic. In this note, we show that various Hilbert C(sup)*-algebra tensor products provide the analogous roles when independence is weakened to conditional independence.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권9호
• /
• pp.888-900
• /
• 2005

행동 또는 계획이 인식적으로 실행 가능한지에 대한 지식 전제조건 문제는 그 동안 여러 연구들을 통해 정형화되어 왔다. 하지만 지금까지의 연구에서는 이러한 행동 및 계획이 실행 가능한지를 만드는 시점에서만 검사하며, 실제 수행될 때도 실행 가능할 것이라는 것을 가정하기 때문에, 시맨틱 웹에서 여러 에이전트들이 웹서비스 조합을 실행하기 위해 제한된 자원들을 공유해야 하는 분산 환경에서는 제대로 동작하지 않게 된다. 따라서 본 연구에서는 웹서비스 조합의 원자성을 보장할 수 있도록 트랜잭션적으로 수행 가능한 웹서비스 조합을 정의하고 이를 정형화한다. 이를 위해서 TL-ALCF에서 K와 A 모달 연산자를 추가하여 확장한 $TL-ALCFK_{NF}$를 제안함으로써 웹서비스 조합을 표현할 수 있는 언어인 TL-ALCF에서 인식 추론이 어떻게 수행될 수 있는지를 보인다.