In this paper, as a survey paper, we review many works related to fixed point theory for digital spaces using Lefschetz fixed point theorem, Banach fixed point theorem, Nielsen fixed point theorem and so forth. Besides, we refer some properties of the fixed point property of a digital k-retract.
This is a continuation of the author's previous work [17]. In this paper, we consider mainly variational inequalities for single-valued functions. We first obtain a generalization of the variational type inequality of Juberg and Karamardian [10] and apply it to obtain strengthened versions of the Hartman-Stampacchia inequality and the Brouwer fixed point theorem. Next, we obtain fairly general versions of Browder's variational inequality [5] and its subsequent generalizations due to Brezis et al [4], Takahashk [23], Shih and Tan [19], Simons [20], and others. Finally, in this paper, we obtain a variational inequality for non-real locally convex t.v.s. which generalizes a result of Shih and Tan [19].
The short and long periodic perturbations and secular perturbation due to the geopotentials of degree $J_2$ and $J_3$ which affect orbital elements of a near-circular orbiting satellite are obtained by the analytical method. The singular points due to a small denominator e in the perturbation equations can be excluded using one of the methods introduced by Taff(1985), which substitutes $e_s=esin\omega,\;e_c=ecos\omega\;and\;\ell=\omega+M$ for the orbital elements e, $\omega$ and M. We determined the mean orbital elements of the meteorological satellite NOAA-10 using the Walter (1967)'s iterative procedure and compared with Brouwer's mean orbital elements determined at NASA. The mean orbital elements a, ⅰand $\Omega$ are consistent with those of NASA but the mean orgital elements e, $\omega$ and M have some deviations from those of NASA. According to the our results, it is not suitable for the polar orbiting satellites to use the Taff's proposal for excluding the singular points, which substitutes e, $\omega$ and M by $e_s=esin(\Omega+\omega),\;e_c=ecos(\Omega+\omega)\;and\;L=\Omega+\omega+M$.
In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.
In this paper, we approximate the solution of the coupled nonlinear Schrödinger equations by using a fully discrete finite element scheme based on the standard Galerkin method in space and implicit midpoint discretization in time. The proposed scheme guarantees the conservation of the total mass and the energy. First, a priori error estimates for the fully discrete Galerkin method is derived. Second, the existence of the approximated solution is proved by virtue of the Brouwer fixed point theorem. Moreover, the uniqueness of the solution is shown. Finally, convergence orders of the fully discrete Crank-Nicolson scheme are discussed. The end of the paper is devoted to some numerical experiments.
In advance of launch, simulated radiances of the Ocean Scanning Multispectral Imager (OSMI) will be very useful to guess the real imagery of OSMI and to prepare for data processing of OSMI. The data processing system for OSMI which is one of sensors aboard Korea Multi-Purpose Satellite (KOMPSAT) scheduled for launch in 1999 is developed based on the SeaWiFS Data Analysis System (SeaDAS). Simulation of radiances requires information on the spectral band, orbital and scanning characteristics of the OSMI and KOMPSAT spacecraft. This paper also describes a method to create simulated radiances of the OSMI over the oceans. Our method for constructing a simulated OSMI imagery is to propagate a KOMPSAT orbit over a field of Coastal Zone Color Scanner (CZCS) pigment concentrations and to use the values and atmospheric components for calculation of total radiances. A modified Brouwer-Lyddane model with drag was used for the realistic orbit prediction, the CZCS pigment concentrations were used to compute water-leaving radiances, and a variety of radiative transfer models were used to calculate atmospheric contributions to total radiances detected by OSMI. Imagery of the simulated OSMI radiances for 412, 443, 490, 555, 765, 865nm was obtained. As expected, water-leaving radiances were only a small fraction (below 10%) of total radiances and sun glint contaminations were observed near the solar declination. Therefore, atmospheric correction is critical in the calculation of pigment concentration from total radiances. Because the imagery near the sun's glitter pattern is virtually useless and must be discarded, more advanced data collection planning will be required to succeed in the mission of OSMI which is consistent monitoring of global oceans during three year mission lifetime.
Cost containment has become high political issues since financial crisis of the Korean Health Insurance fund in 2000. Korean Government has developed and implemented several measures to reduce the pharmaceutical expenditures. Pharmaceutical economic evaluation can be a tool in decision to allocate scare resource efficiently. In order to increase the quality of economic evaluation for pharmaceuticals, the Korean Health Insurance Review Agency(HIRA) is considering the development of a guideline for economic evaluation. It mandates that pharmaceutical companies could submit the result of an economic evaluation when demanding reimbursement of new pharmaceutical drugs. The purpose of this study is to provide a critical review of the economic evaluations of health care technologies published in the Korean context whether they have been performed according to current guidelines and therefore whether their results are directly useful for decision making. We found there exist important problems and deviation from, good practice' both in the general features of the studies, like the study design and perspective, and in terms of cost measurement and valuation. There are needs to develop clear guidelines and to educate and train researchers in performing economic evaluations.
International Journal of Aeronautical and Space Sciences
/
v.4
no.2
/
pp.1-8
/
2003
Satellite formation flying is the placing micro-satellites with the same mission into nearby orbits to form a cluster. Clohessy-Wiltshire equations are used to describe the relative motion and control strategies between satellites within a cluster, which are known as Hill's equations. Even though Hill's equations are powerful in determining initial conditions for the satellite formation flying, they can not accurately express the relative motion under J2 perturbation. Some methods have been developed for the determination of initial conditions to avoid limits of Hill's equation. This paper gives a new method of determining initial conditions using mean elements. For this research mean elements were transformed to osculating elements using Brouwer's theory and the orbit was propaeated with the consideration of J2-J8 to get a relative position. The results show that satellites within a cluster are maintained in the desired boundary for long period and the method is effective on a fuel saving for satellite formation flying.
Schiere, J.B.;Kumarasuntharam, V.R.;Sewalt, V.J.H.;Brouwer, B.
Asian-Australasian Journal of Animal Sciences
/
v.1
no.4
/
pp.213-218
/
1988
Forty eight growing bulls of two breed types(red Sahiwal and white Kilari), fed rice straw, were allocated to nine treatment groups: 1. Control straw (CS) 2. Urea upgraded straw (UUS) 3. UUS + 0.25 kg coconut cake (CC) 4. UUS + 0.75 kg CC 5. UUS + 0.25 kg rice bran (RB) 6. UUS + 1.00 kg RB 7. UUS + 0.25 kg RB + 0.25 kg CC 8. UUS + 1.00 kg RB + 0.25 kg CC 9. CS + 1.00 kg RB + 0.25 kg CC Liveweight gain was measured weekly during 15 weeks and tested in three analyses of variance. The results are: Urea upgraded straw produced a liveweight gain $180g.d^{-1}$ higher (P <0.01) than control straw. The groups supplemented with 0.25 kg coconut cake and 1.00 kg rice bran showed an increase of $100g.d^{-1}$ (p < 0.05) over the unsupplemented groups. No interaction between straw upgrading and supplementation was present (P > 0.10). Both rice bran and coconut press cake, supplemented to upgraded straw at a level of 0.25 kg, did not increase liveweight gain (P>0.05), but 1.0 kg rice bran increased gain by $90g.d^{-1}$ (P<0.05). A supplement of 0.75 kg coconut press cake to upgraded straw increased liveweight gain by $160g.d^{-1}$ compared with 0.25 kg or 0.00 kg coconut cake supplement (P<0.05). There were no significant differences between breed types (P>0.10) or interactions between breed and the other two main treatments (upgrading and supplementation). It was concluded. that both urea upgrading and supplementation of rice straw increase animal performance. The effect of urea upgrading was the same for both supplemented and unsupplemented animals. There was no indication of a nonlinear effect of supplements on growth.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.