• Kyungpook Mathematical Journal
• /
• v.59 no.1
• /
• pp.65-71
• /
• 2019

This paper is concerned with the existence of positive solutions of the nonlinear Neumann boundary value problems $$\{u^{{\prime}{\prime}}+a(t)u={\lambda}b(t)f(u),\;t{\in}(0,1),\\u^{\prime}(0)=u^{\prime}(1)=0$$, where $a,b{\in}C[0,1]$ with $a(t)>0,\;b(t){\geq}0$ and the Green's function of the linear problem $$\{u^{{\prime}{\prime}}+a(t)u=0,\;t{\in}(0,1),\\u^{\prime}(0)=u^{\prime}(1)=0$$ may change its sign on $[0,1]{\times}[0,1]$. Our analysis relies on the Leray-Schauder fixed point theorem.

• Journal of Digital Convergence
• /
• v.10 no.2
• /
• pp.153-159
• /
• 2012

Now a days, U-healthcare comes into the spotlight as a new business model which combines RFID technology with medical service in the well-being era and IT popularization. U-healthcare service needs a method that can deals with hand-writing, overlap data, forgery and falsification of data, difference between information version that happen in medical process because of graft between RFID technology and u-healthcare. This paper proposes RFID based user certification protocol to protect user's privacy who gets medical service through U-healthcare. In the protocol, secret information of patient does the XOR with the secret key that is created in the hospital to reconsider the stability of security system of U-healthcare and user's data forgery and falsification and privacy and then saves it in the secret key field of patient in DB table. Also, it informs the case of illegal access to certification server and make it approved the access of u-healthcare service by differentiating whether u-healthcare is illegal or not.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.1049-1064
• /
• 1997

We study the existence and uniqueness of nonnegative singular solution u(x,t) of the semilinear parabolic equation $$ u_t = \Delta u - a \cdot \nabla(u^q) = u^p, $$ defined in the whole space $R^N$ for t > 0, with initial data $M\delta(x)$, a Dirac mass, with M > 0. The exponents p,q are larger than 1 and the direction vector a is assumed to be constant. We here show that a unique singular solution exists for every M > 0 if and only if 1 < q < (N + 1)/(N - 1) and 1 < p < 1 + $(2q^*)$/(N + 1), where $q^* = max{q, (N + 1)/N}$. This result agrees with the earlier one for N = 1. In the proof of this result, we also show that a unique singular solution of a diffusion-convection equation without absorption, $$ u_t = \Delta u - a \cdot \nabla(u^q), $$ exists if and only if 1 < q < (N + 1)/(N - 1).

• Proceedings of the KSRS Conference
• /
• v.1
• /
• pp.271-273
• /
• 2006

In this paper, we describe the MI2U ORB function which is a part of the flight software executed on SCU and controls MI2U/MI which is one of three payloads on COMS. The MI2U ORB function manages MI2U/MI redundancy and reconfiguration, monitors MI2U/MI equipment, performs FDIR, and provides the routing service of commands from Ground/IP (Interpreted Program) through the current used 1553 channel. The MI2U hardware achieves the interface between the SCU and the MI. The MI2U is connected to SCU through MIL-STD-1553B system bus. The MI2U has the internal redundancy but is used in cold redundancy. The MI2U ORB function considers that they are not expected to be simultaneously switched on. The connection combination between MI2U and MI is electrically cross-strapped. However the MI2U ORB function considers only two combinations (MI2U A + MI 1, MI2U B + MI 2). Other combinations can be manually achieved by ground in case of the emergency case.

• Spatial Information Research
• /
• v.21 no.1
• /
• pp.37-44
• /
• 2013

This study sets the boundary of U-City industry based on expert surveys. Based on this U-City industry boundary, an appropriate inter-industry analysis is performed. The result shows production inducement coefficients, value added inducement coefficients, employment & enter employment inducement coefficients, influence coefficients and induction coefficients. Based on these coefficients, overall characteristics and spillover effects of U-City industry are examined. The result of this study shows that U-City industry has bigger value added-induced effects and employee-induced effects than other industry. The result also shows that U-City industry also has a great forward linkage effect. This study has a meaning that could be used to make political decisions as a basic data.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.1
• /
• pp.125-129
• /
• 2010

Stateless computing supports a mobility of computing environment easily. It is becoming a major technology for securing personal user's information on shared computing environment. With the advance of virtualization technology and cloud computing, stateless computing is an essential part of personal computing environment connectivity (user's setting and data is stored in remote server or some storage, and it can be restored at any computing environment) In this paper, we propose uPC player that supports stateless computing execution environment on Windows. uPC player provides Windows operating system to user by using an uPC OS virtualization module. In this paper, we leverage how uPC player is designed and implemented for supporting a stateless computing execution environment. uPC player provides a desktop switch between host-system execution environment and uPC virtual execution environment. And it needs just one second for loading uPC virtual execution environment by using OS virtualization-based technique.

• The Journal of the Korea Contents Association
• /
• v.10 no.10
• /
• pp.54-67
• /
• 2010

Applying the conventional machine-learning method which has been frequently used in health-care area has several fundamental problems for modern U-health service analysis. First of all, we are still lack of application examples of the traditional method for our modern U-health environment because of its short term history of U-health study. Second, it is difficult to apply the machine-learning method to our U-health service environment which requires real-time management of disease because the method spends a lot of time in the process of learning. Third, we cannot implement a personalized U-health diagnosis system using the conventional method because there is no way to assign weights on the disease-related variables although various kinds of machine-learning schemes have been proposed. In this paper, a novel diagnosis scheme PCADP is proposed to overcome the problems mentioned above. PCADP scheme is a personalized diagnosis method and it makes the bio-data analysis just a 'process' in the U-health service system. In addition, we offer a semantics modeling of the U-health ontology framework in order to describe U-health data and service specifications as meaningful representations based on this PCADP. The PCADP scheme is a kind of statistical diagnosis method which has characteristics of flexible structure, real-time processing, continuous improvement, and easy monitoring of decision process. Upto the best of authors' knowledge, the PCADP scheme and ontology framework proposed in this paper reveals one of the best characteristics of flexible structure, real-time processing, continuous improvement, and easy monitoring among recently developed U-health schemes.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.31-36
• /
• 1983

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.331-342
• /
• 2011

We consider the multiplicity of the solutions for a class of a system of critical growth beam equations with periodic condition on t and Dirichlet boundary condition $$\{u_{tt}+u_{xxxx}=av+\frac{2{\alpha}}{{\alpha}+{\beta}}u_{+}^{{\alpha}-1}v_{+}^{\beta}+s{\phi}_{00}\;\;in\;(-\frac{\pi}{2},\;\frac{\pi}{2}){\times}R,\\u_{tt}+v_{xxxx}=bu+\frac{2{\alpha}}{{\alpha}+{\beta}}u_{+}^{\alpha}v_{+}^{{\beta}-1}+t{\phi}_{00}\;\;in\;(-\frac{\pi}{2},\;\frac{\pi}{2}){\times}R,$$ where ${\alpha}$, ${\beta}$ > 1 are real constants, $u_+=max\{u,0\}$, ${\phi}_{00}$ is the eigenfunction corresponding to the positive eigenvalue ${\lambda}_00=1$ of the eigenvalue problem $u_{tt}+u_{xxxx}={\lambda}_{mn}u$. We show that the system has a positive solution under suitable conditions on the matrix $A=\(\array{0&a\\b&0}\)$, s > 0, t > 0, and next show that the system has another solution for the same conditions on A by the linking arguments.

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.5
• /
• pp.223-251
• /
• 2002

Modalpartikeln, die auch $Abt\"{o}nungspartikeln,\;W\"{u}rzw\"{o}rter,\;F\"{a}rbew\"{o}rter$ usw. genannt werden, galten eine Zeitlang als $\"{U}berfl\"{u}ssiges$. Aber mit der 'kommunikativ­pragrnatischen Wende' hat die Partikelforschung einen enormen Aufschwung genommen. Auch im Femdsprachenunterricht waren Partikeln als etwas Unwichtiges oder in anderen Worten etwas schwer zu Behandelndes geblieben und wurden deshalb zur Seite geschoben. Mit Hilfe der Aufschwung der Partikelforschung in Deutschland untersuchte ich koreanische $\"{U}bersetzungsm\"{o}glichkeiten$ von Modalparikeln. Ich $\"{u}bernahm$ Diewaldische Methode. Sie $schl\"{a}gt$ ein Beschreibungsschema vor: Modalpartikeln haben verweisende und $verkn\"{u}fende$ Funktion. Sie weisen $n\"{a}hmlich$ auf den pragmatischen $Pr\"{a}text\;zur\"{u}ck$ und bringen ihn in relevanter Situation mit der Modalpartikel enthaltenden $\"{A}u{\ss}erung$ in Beziehung. Da braucht man also drei Ebenen: pragmatischer $Pr\"{a}text$, relevante Situation und partikelhaltige $Au{\ss}erung$. Die Schwierigkeit der $\"{U}bersetzungsm\"{o}glichkeiten$ von Modalkartikeln besteht darin, jeweiligen $Pr\"{a}text$ und jeweilige relevante Situation wiederherzustellen und auszudrticken. In diesem Aufsatz geht es nur um 'doch'. 'doch' ist eine der $h\"{a}ufigsten$ Modalpartikeln und tritt in vielen verschidenen Satzarten. 'doch' tritt in Aussage-, Imperativ-, Ausrufe­und Wunschsatzen auf. $Au{\ss}erdem$ tritt 'doch' in $Erg\"{a}nzungsfragen$ und Entscheidungsfragen mit Intonation auf und ist aber nur bei 'echten' Fragen ausgeschlossen. Aus der diachronischen Bedeutungsentwicklung und dem Bedeutungsvergleich zu ihren Homonymen stellten sich die semantischen Merkmale von 'doch' als $Adversativit\"{a}t\;und\;Konzessivit\"{a}t$. Aber diese semantischen Komponenten werden bei dem Modalpartikel $abgeschw\"{a}cht$ und pragmatische Faktoren werden in verschiedenen $Verwendungsm\"{o}glichkeiten$ verstarkt. Unter $Ber\"{u}cksichtigung\;jeweiligen\;Pr\"{a}textes$ und relevanter Situation schlug ich koreanische $\"{U}bersetzungsm\"{o}glichkeiten$ von 'doch' je nach der Satzart und nach der $Verwendungsm\"{o}glichkeit$ vor.