• Korean Journal of Mathematics
• /
• 제18권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
• /
• 제17권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.

• 정보보호학회논문지
• /
• 제16권4호
• /
• pp.43-57
• /
• 2006

소프트웨어 컴포넌트를 이용하여 시스템을 구성하는 경우 그리 간단하지 않은데, 그것은 링크 과정 자체가 서로 다른 버전들과 디지털 서명, 정적인 타입 정보나 네트워크로 전송된 소프트웨어, 그리고 서로 다른 판매자에 의한 컴포넌트들을 모두 포함하는 복잡한 과정이기 때문이다. 만약 링크과정에 적용될 수 있는 링크 정책을 수립하고 이를 링크 시에 적용할 수 있는 방법이 있다면 이러한 복잡함을 해결하는 좋은 수단이 된다. 시큐어 링킹(Secure Linking)은 사용자가 안전한 링크를 위한 정책을 만들고 이를 링크 시에 적용할 수 있도록 해주는 새로운 링크 프로토콜이며, 시큐어 링크 프레임워크(Secure Linking Framework)는 시큐어 링크 시스템 구현을 위한 논리적 프레임워크이다. 본 논문에서는 시큐어 링크 프레임워크를 이용하여 마이크로 소프트의 닷넷(.NET)에서 사용되는 어셈블리의 링크 과정을 설명함으로써 시큐어 링킹이 실제로 사용되는 링크 시스템을 나타낼 수 있을 만큼 풍부한 표현력과 실용성을 가지고 있음을 증명한다. 또한 이 과정에서 나타난 어셈블리 코드 서명의 문제점에 대한 논의를 통해서 논리에 기반을 둔 링크 프레임워크가 가지는 장점을 보이고자 한다.

• 대한수학교육학회지:학교수학
• /
• 제18권2호
• /
• pp.323-348
• /
• 2016

2009 개정 교육과정에서는 공간 감각의 향상을 위해 초등학교 6학년 수학 교과서에 '연결큐브'를 사용한 활동을 새롭게 도입하고 의사소통과 구체적 조작을 통한 교수 학습 방법을 강조하였다. 교사들을 대상으로 한 설문과 면담 분석 결과 공간 대상에 대한 표현 체계의 부재로 연결큐브 수업의 문제해결과 의사소통 측면에서 교사가 지도하는데 많은 어려움이 있음을 확인하였다. 본 연구에서는 이런 어려움을 해소하기 위한 대안으로 '거북표현체계'를 제시하고, 교사를 대상으로 설문과 검사를 실시하였다. 그 결과 문제해결과 의사소통 측면에서 거북표현체계의 효과와 유용성을 확인할 수 있었다.

• International Journal of Knowledge Content Development & Technology
• /
• 제5권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.

• 호남수학학술지
• /
• 제31권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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권2호
• /
• pp.183-192
• /
• 2001

호스트-타겟으로 연결되는 내장형 시스템 개발 환경에서 호스트의 링커는 크로스 컴파일된 목적 화일을 타겟의 모듈들과 링킹하고 타겟을 다운로딩한다. 본 연구에서는 이와 같은 링커를 목적 화일 형식에 종속적인 모듈과 독립적인 모듈로 세분화하였다. 종속적인 모듈은 목적 화일로부터 화일 형식에 독립적인 링킹 정보를 추출하고, 독립적인 모듈은 이 링킹 정보로부터 실제적인 링킹을 담당한다. 이와 같은 세분화는 내장형 시스템 개발 환경에서 타겟 시스템에 대한 이식성을 높일 수 있다. 또한, 본 연구의 링커는 로딩되는 목적 화일 뿐만 아니라 이미 로딩된 타겟 모듈들에 대해서도 재배치를 적용하는 점진적 원격 링킹을 수행한다. 링커의 점진적 원격 링킹은 모듈 단위로 타겟으로 링킹할 수 있기 때문에 모듈들을 통합하여 타겟으로 링킹하는 방식 보다 링킹 시간을 단축할 수 있다. SPEC95 정수형 벤치마크 프로그램들에 대한 실험 결과 평균 64.90%의 감소율을 보였다. 또한, 링커의 점진적 원격 링킹은 사용자가 목적 화일들의 링킹 순서를 고려하지 않고 임의의 순서로 링킹할 수 있는 편의성을 제공할 수 있다. 현재, 본 연구의 링커는 상용화 준비 중인 내장형 응용 개발 환경 ESTO의 [1] 내부 모듈로 개발되었다.

• Korean Membrane Journal
• /
• 제10권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.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1997년도 추계학술대회
• /
• 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
• /
• 제23권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.