• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.115-127
• /
• 2009

In the present paper we introduce and study L-pre-$T_0$-, L-pre-$T_1$-, L-pre-$T_2$ (L-pre-Hausdorff)-, L-pre-$T_3$ (L-pre-regularity)-, L-pre-$T_4$ (L-pre-normality)-, L-pre-strong-$T_3$-, L-pre-strong-$T_4$-, L-pre-$R_0$-, L-pre-$R_1$-separation axioms in (2, L)-topologies where L is a complete residuated lattice.Sometimes we need more conditions on L such as the completely distributive law or that the "$\bigwedge$" is distributive over arbitrary joins or the double negation law as we illustrate through this paper. As applications of our work the corresponding results(see[1,2]) are generalized and new consequences are obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1829-1839
• /
• 2014

Let (${\Omega}$, $\mathcal{S}$, ${\mu}$) be a probabilistic measure space, ${\varepsilon}{\in}\mathbb{R}$, ${\delta}{\geq}0$, p > 0 be given numbers and let $P{\subset}\mathbb{R}$ be an open interval. We consider a class of functions $f:P{\rightarrow}\mathbb{R}$, satisfying the inequality $$f(EX){\leq}E(f{\circ}X)+{\varepsilon}E({\mid}X-EX{\mid}^p)+{\delta}$$ for each $\mathcal{S}$-measurable simple function $X:{\Omega}{\rightarrow}P$. We show that if additionally the set of values of ${\mu}$ is equal to [0, 1] then $f:P{\rightarrow}\mathbb{R}$ satisfies the above condition if and only if $$f(tx+(1-t)y){\leq}tf(x)+(1-t)f(y)+{\varepsilon}[(1-t)^pt+t^p(1-t)]{\mid}x-y{\mid}^p+{\delta}$$ for $x,y{\in}P$, $t{\in}[0,1]$. We also prove some basic properties of such functions, e.g. the existence of subdifferentials, Hermite-Hadamard inequality.

• Journal of Platform Technology
• /
• v.6 no.3
• /
• pp.31-37
• /
• 2018

Recently, the platforms for open science are being developed for helping researchers and scientists who are interested in convergence studies. This paper is focused on deriving a design method for an integrated architecture for knowledge infrastructure in science and technology and to set up the integration level of details and association between data and services in the integrated architecture. To facilitate the open science in research lifecycle, reconstructing individual services into modular and independent function blocks needs to be reusable and interoperable. The proposed design methodology is used for manipulating a service integration for the convergence service of S&T(Science and Technology) knowledge infrastructure. It can support to seamlessly access computing resources and the research results including artifacts digitally enabled scholars, researchers, and engineers participating in multidisciplinary collaborations.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.289-292
• /
• 2008

This paper presents a branch prediction algorithm and a 4-way set-associative cache for performance improvement of OpenRISC processor and a clock gating algorithm using ODC (Observability Don't Care) operation for a low-power processor. The branch prediction algorithm has a structure using BTB(Branch Target Buffer) and 4-way set associative cache has lower miss rate than direct-mapped cache. The clock gating algorithm reduces dynamic power consumption. As a result of estimation of performance and dynamic power, the performance of the OpenRISC processor using the proposed algorithm is improved about 8.9% and dynamic power of the processor using samsung $0.18{\mu}m$ technology library is reduced by 13.9%.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.135-149
• /
• 2011

Using (r, s)-preopen sets [14] and pre-${\omega}_t$-closures [6], a new kind of covering property $P^t_{({\omega}_r,s)}$-closedness is introduced in a bitopological space and several characterizations via filter bases, nets and grills [30] along with various properties of such concept are investigated. Two new types of cluster sets, namely pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets and (r, s)t-${\theta}_f$-precluster sets of functions and multifunctions between two bitopological spaces are introduced. Several properties of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets are investigated and using the degeneracy of such cluster sets, some new characterizations of some separation axioms in topological spaces or in bitopological spaces are obtained. A sufficient condition for $P^t_{({\omega}_r,s)}$-closedness has also been established in terms of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets.

• Earthquakes and Structures
• /
• v.3 no.3_4
• /
• pp.611-628
• /
• 2012

The inelastic earthquake response of existing, reinforced concrete buildings with an open ground story, designed according to the old Greek codes, is investigated before and after their seismic strengthening with steel braces restricted to the open ground stories. The seismic performance evaluation is based on Part 3 of Eurocode 8 for assessment and retrofitting of buildings. Three and five-story, symmetric and non-symmetric buildings are subjected to a set of seven pairs of synthetic accelerograms, compatible with the design spectrum, and conclusions are drawn regarding the effectiveness of the strengthening solutions. Seismic behavior of the selected models confirms results of previous work regarding the insufficient capacity of the open ground stories for design level earthquakes. It is also shown that strengthening only the weak ground story, a choice having the substantial advantage of low cost and continued usage of the building during its seismic retrofitting, can remove the inherent weakness without shifting the problem to the stories above and thus making such buildings at least as strong as those without a weak first story. This partial strengthening is possible for symmetric as well as eccentric buildings, in which torsion plays a further detrimental role.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.423-438
• /
• 1994

We employ the Galerkin method to solve the nonlinear Urysohn integral equation (1.1) x(t) = f(t) ＋ $∫_{D}$ k(t, s, x(s))ds (t $\in$ D), where D is a bounded domain in $R^{d}$ , the function f and k are known and x is the solution to be determined. We assume that D has a locally Lipschitz boundary ([1, p. 67]). We can rewrite (1.1) in operator notation as x = f ＋ Kx. We consider (1.1) as an operator equation on $L_{\infty$}$(D) and assume that K is defined on the closure $\Omega$ of a bounded open set $\Omega$ ⊂ $L_{\infty}$(D). Throughout our analysis we put the following assumptions on (1.1).(omitted)(1.1).(omitted)

• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.545-565
• /
• 2016

In this paper, we present some general results on the pointwise convergence of the non-convolution type nonlinear singular integral operators in the following form: $$T_{\lambda}(f;x)={\large\int_{\Omega}}K_{\lambda}(t,x,f(t))dt,\;x{\in}{\Psi},\;{\lambda}{\in}{\Lambda}$$, where ${\Psi}$ = and ${\Omega}$ = stand for arbitrary closed, semi-closed or open bounded intervals in ${\mathbb{R}}$ or these set notations denote $\mathbb{R}$, and ${\Lambda}$ is a set of non-negative numbers, to the function $f{\in}L_{p,{\omega}}({\Omega})$, where $L_{p,{\omega}}({\Omega})$ denotes the space of all measurable functions f for which $\|{\frac{f}{\omega}}\|^p$ (1 ${\leq}$ p < ${\infty}$) is integrable on ${\Omega}$, and ${\omega}:{\mathbb{R}}{\rightarrow}\mathbb{R}^+$ is a weight function satisfying some conditions.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.9
• /
• pp.91-97
• /
• 2017

IoT (Internet of Things) systems are based on heterogeneous hardware systems of different types of devices interconnected each other, ranging from miniaturized and low-power wireless sensor node to cloud servers. These IoT systems composed of heterogeneous hardware utilize data sets collected from a particular set of sensors or control designated actuators when needed using open APIs created through abstraction of devices' resources associated to service applications. However, previously existing IoT services have been usually developed based on vertical platforms, whose sharing and exchange of data is limited within each industry domain, for example, healthcare. Such problem is called 'data silo', and considered one of crucial issues to be solved for the success of establishing IoT ecosystems. Also, IoT services may need to dynamically organize their services according to the change of status of connected devices due to their mobility and dynamic network connectivity. We propose a way of dynamically composing IoT services under the concept of WoT (Web of Things) where heterogeneous devices across different industries are fully integrated into the Web. Our approach allows developers to create IoT services or mash them up in an efficient way using Web objects registered into multiple standardized horizontal IoT platforms where their resources are discoverable and accessible. A Web-based service composition tool is developed to evaluate the practical feasibility of our approach under real-world service development.

• The Journal of Korean Physical Therapy
• /
• v.31 no.5
• /
• pp.328-332
• /
• 2019

Purpose: This study examined the effects of transcranial direct current stimulation (tDCS) on the static balance ability of patients with back pain. Methods: The subjects comprised of 30 males and females in their 20s, who were divided into two groups with and without tDCS. The balance posture ratio score was calculated to determine the changes in balance ability before and after the application of tDCS using balance equipment. A paired t-test was conducted to determine the changes over time, and an independent t-test was performed to determine the changes between the groups. The significance level was set to ${\alpha}=0.05$. Results: A significant difference in the changes in the static balance ability of CTDCSG between before and after applying tDCS was observed while the subjects' eyes were open (p<0.05). A comparison between the groups after the experiments revealed significantly increased changes in CTDCSG compared to STDCSE (p<0.05). The changes in static balance ability were not significant when the subjects' eyes were closed (p>0.05). Conclusion: The application of tDCS positively changed the static balance ability of patients with back pain. The results of this study showed that tDCS could be used as an intervention to increase the static balance ability of patients with back pain in the clinical field. The study results could be used further as foundational data for future studies on tDCS.