• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.2
• /
• pp.257-261
• /
• 2008

In this Paper we derived fuzzy entropy that is based on similarity measure. Similarity measure represents the degree of similarity between two informations, those informations characteristics are not important. First we construct similarity measure between two informations, and derived entropy functions with obtained similarity measure. Obtained entropy is verified with proof. With the help of one-to-one similarity is also obtained through distance measure, this similarity measure is also proved in our paper.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.16 no.6
• /
• pp.21-28
• /
• 2017

This study investigated Kevlar fabric impregnated with shear thickening fluid (STF). The STF performance was assessed by comparing bullet-proof characteristics of STF impregnated and pure Kevlar material. The analysis employed a circular steel ball as the nominal warhead, and bulletproof characteristics were evaluated by the warhead residual velocity. Various initial velocity conditions were employed, with different bulletproof characteristics apparent for each velocity region. The results of this study provide effective data for future bulletproof material design and application.

• The Pure and Applied Mathematics
• /
• v.21 no.3
• /
• pp.147-163
• /
• 2014

In this paper, we study the existence of positive solutions for singular impulsive differential equations with integral boundary conditions $$\{u^{{\prime}{\prime}}(t)+q(t)f(t,u(t),u^{\prime}(t))=0,\;t{\in}\mathbb{J}^{\prime},\\{\Delta}u(t_k)=I_k(u(t_k),u^{\prime}(t_k)),\;k=1,2,{\cdots},p,\\{\Delta}u^{\prime}(t_k)=-L_k(u(t_k),u^{\prime}(t_k)),\;k=1,2,{\cdots},p,\\u=(0)={\int}_{0}^{1}g(t)u(t)dt,\;u^{\prime}=0,$$) where the nonlinearity f(t, u, v) may be singular at v = 0. The proof is based on the theory of Leray-Schauder degree, together with a truncation technique. Some recent results in the literature are generalized and improved.

• The Pure and Applied Mathematics
• /
• v.16 no.3
• /
• pp.255-258
• /
• 2009

It is well known that for a sequence a = ($a_0,\;a_1$,...) the general term of the dual sequence of a is $a_n\;=\;c_0\;^n_0\;+\;c_1\;^n_1\;+\;...\;+\;c_n\;^n_n$, where c = ($c_0,...c_n$ is the dual sequence of a. In this paper, we find the general term of the sequence ($c_0,\;c_1$,... ) and give another method for finding the inverse matrix of the Pascal matrix. And we find a simple proof of the fact that if the general term of a sequence a = ($a_0,\;a_1$,... ) is a polynomial of degree p in n, then ${\Delta}^{p+1}a\;=\;0$.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.1-27
• /
• 2010

Wu and Zhao [17] provided a semilocal convergence analysis for a Newton-type method on a Banach space setting following the ideas of Frontini and Sormani [9]-[11]. In this study first: we point out inconsistencies between the hypotheses of Theorem 1 and the two examples given in [17], and then, we provide the proof in affine invariant form for this result. Then, we also establish new convergence results with the following advantages over the ones in [17]: weaker hypotheses, and finer error estimates on the distances involved. A numerical example is also provided to show that our results apply in cases other fail [17].

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.2
• /
• pp.428-439
• /
• 2011

The main challenge in building efficient broadcast systems is to encrypt messages with short ciphertexts. In this paper, we present a new construction based on the identity. Our construction contains the desirable features, such as constant size ciphertexts and private keys, short public keys and not fixing the total number of possible users in the setup. In addition, the proposed scheme achieves the full security which is stronger than the selective-identity security. Furthermore we show that the proof of security does not rely on the random oracles. To the best our knowledge, it is the first efficient scheme that is full security and achieves constant size ciphertexts and private keys which solve the trade-off between the ciphertext size and the private key size.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6A
• /
• pp.179-183
• /
• 2008

Recently, an efficient password-authenticated key exchange protocol based on RSA has been proposed by Park et al. with formal security proof. In this letter, we analyze their protocol, and show that it is not secure against an active adversary who performs a dictionary attack. Moreover, we analyze the performance of the proposed attack and show that the attack is a threatening attack against the protocol.

• Journal of Multimedia Information System
• /
• v.8 no.1
• /
• pp.17-22
• /
• 2021

This paper proposes a wearable user interface intended for kids and parents using WearOS smartwatches. We first review what constitutes a kids smartwatch and then design UI components for watchfaces to be used by kids and parents. Different UI components ranging from activity, education, voice search, app usage, video, location, health, and quick dial are described. These components are either implemented as complications or on watchfaces and may require on-device standalone function, cross-device communication, and external database. We introduce a theme-based amusing UI for kids whereas simple and easily accessible components are recommended to parents' watchface. To illustrate use cases, we present 3 scenarios for enhancing communication between parents and child. To show feasibility and potential of our approach, we implement our proof-of-concept using commercial smartwatches, smartphones, and external cloud database. Furthermore, performance of checking app usages on different devices are presented, followed by discussion on limitations and future work.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.1
• /
• pp.1-9
• /
• 2023

Our aim in this paper is to give some new proofs to fixed point theorems due to Abdou [1] for mappings satisfying Reich type contractions in modular metric spaces. We removed the restriction that ω satisfies the ∆₂-type condition imposed on the results of [1]. Furthermore, Lemma 2.6 of [1] which was crucial in the proofs of the results of [1] is not needed in the proofs of our results. Our method of proof is simpler and interesting.

• East Asian mathematical journal
• /
• v.39 no.4
• /
• pp.479-492
• /
• 2023

Although Euclidean plane geometry is implemented in the middle school course, there are three major problems in high school space geometry that can be intuitively taken for granted or misinterpreted as circular arguments. In order to solve this problem, this study proved three major problems using sets, Euclidean plane geometry, and parallel line postulates. This corresponds to a logical sequence and has mathematical and mathematical educational values. Furthermore, it will be possible to configure spatial geometry using sets, and by giving legitimacy to non-Euclidean spatial geometry, it will open the possibility of future research.