• Korean Journal of Mathematics
• /
• v.18 no.1
• /
• pp.53-61
• /
• 2010

In this work, we consider an elliptic system of three equations in dimension greater than one. We prove that the system has at least three nontrivial solutions by applying a linking theorem.

• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.181-188
• /
• 2009

In this article we consider nontrivial solutions of an elliptic system in the bounded smooth domain with homogeneous Dirichlet data. We apply the linking theorem for showing the existence results that is obtained by Massa.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.4
• /
• pp.43-57
• /
• 2006

When building a software system out of software components, the composition is not simple because of the complexity caused by diverse versions, digital signatures, static type information, and off-the-shelf components from various vendors. Well-established linking policies are one of the best solutions to solve the complexity problem at linking time. Secure Linking (SL) enables users to specify their linking policies which can be enforced at link time. Secure Linking framework is a framework based on a higher-order logic in order to help build a SL system. This paper shows that the Secure Linking logic is expressive enough to describe a real-world component composition system, the linking protocol of.NET. The paper also demonstrates the advantage of the logic-based linking framework by discussing the weakness of the code signing protocol in.NET which was found while we encoded the assembly linking system of.NET.

• School Mathematics
• /
• v.18 no.2
• /
• pp.323-348
• /
• 2016

The 2009 revised national mathematics curriculum have inserted mathematical 'linking cube' activities in the 6th grade math classes to improve students' spatial problem solving abilities and communication skills. However, we found that it was hard for teachers to teach problem solving and communication skills due to the absence of mathematical way of representing linking cubes in the classroom. In this paper, we propose 3D 'turtle representation system' as teaching and learning tools for linking cube activities. After using turtle representation system for linking cube activities, teachers responded that turtle representation system is a valuable problem solving and communication tools for the linking cube mathematics classes. We conclude that turtle representation system is a well designed teaching and learning tools for linking cube activities, and there are lots of educational meanings in the 3D turtle representation system.

• International Journal of Knowledge Content Development & Technology
• /
• v.5 no.1
• /
• pp.69-88
• /
• 2015

This study seeks to present an option for including a variety of information resources in a reference linking service system. Discussion on reference linking service in journals began in 1999 and applied to real systems, but linking to research papers and patent registers has more recently emerged. This study further suggests that system construction include various information resources such as books and dissertations. This paper also presents principles and prerequisites that should be considered essential when building such systems, including expansion of resources and media formats, development of identifiers on every sort of information resource, linking methods to existing DB, publication revolution and managing copyright-holders, use and improvement of OPACs, and building perfect authority DB.

• Honam Mathematical Journal
• /
• v.31 no.1
• /
• pp.75-85
• /
• 2009

We show the existence of the nontrivial periodic solution for a class of the system of the nonlinear suspension bridge equations with Dirichlet boundary condition and periodic condition by critical point theory and linking arguments. We investigate the geometry of the sublevel sets of the corresponding functional of the system, the topology of the sublevel sets and linking construction between two sublevel sets. Since the functional is strongly indefinite, we use the linking theorem for the strongly indefinite functional and the notion of the suitable version of the Palais-Smale condition.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.2
• /
• pp.183-192
• /
• 2001

In a development environment for embedded system with a connection between host and target system, the linker of host system links the cross-compiled object file and modules of target system and downloads the linked object file to the target system. In this research, we separate this linker into the module dependent on object file format and the module independent on object file format. The dependent module gets the linking information independent on file format from the object file, and the independent module actually does the linking process with this linking information_ This separation can improve the portability of development environment for a target system_ Also, our linker does the incremental remote linking that applies relocation not only to the obj ect file to be loaded but also to target's modules to have been loaded_ This incremental remote linking can reduce a linking time than linking by the united modules because of linking by module. The result of measuring linking time for SPEC95 integer benchmarks shows an average of reduction rates of 64.90%. Also, incremental remote linking can improve the comfortability of users who develop programs because users do not consider a downloading order of linking object files. Currently, we developed this linker in the embedded application development environment ESTO [1] to be prepared for a commercial product.

• Korean Membrane Journal
• /
• v.10 no.1
• /
• pp.13-19
• /
• 2008

Water softening is a very promising field for membranes and especially ultra low pressure membranes. Nanofiltration membranes based on pore-filling technology was prepared by using a new technique: the in-situ cross-linking. This route involves introducing a pre-formed polymer into the pores of a host membrane and then locking the polymer in the pores by in-situ cross-linking with an appropriate reagent. By this way, it is possible to make robust and competitive, pore-filled, anion-exchange membranes with excellent control over the properties of the incorporated gel without affecting the host membrane. In this paper, the possibilities of tuning such membranes for ultra low pressure water softening was examined by altering pore-filling chemistry (by changing cross-linking and aminating reagents). The results showed that tuning the chemistry of the pore-filling has important effects. In particularly, it had been shown that the correct selection of cross-linking reagent was not only essential to get pore-filled membranes but it could control their properties. Moreover, the aminating reagent could improve membrane performance. It was found that an increase in hydrophobicity could improve the Darcy permeability.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.11
• /
• pp.180-183
• /
• 1997

In this paper, we present the Tele-consulting system of radiology, which uses the communication network as asymetric satellite data communication system. The asymetric satellite data communication system uses receive-only satellite links or data delivery and PSTN(Public Switched Telephone Network) modem or N-ISDN(Integrate Services Digital Network) for communication. The satellite communication linking shows the very high-speed performance than 28.8kbps modem linking. The satellite linking is 5 - 10 times aster than the modem linking. Consequently, we get the conclusion that our system is suitable or tele-radiology and telemedicine.

• Korean Journal of Mathematics
• /
• v.23 no.4
• /
• pp.591-600
• /
• 2015

By linking theorem, we prove the existence of nontrivial solutions for the elliptic system with jumping nonlinearity and growth nonlinearity and Dirichlet boundary condition.