• 호남수학학술지
• /
• 제37권3호
• /
• pp.281-285
• /
• 2015

An A-m-isometric operator is a bounded linear operator T on a Hilbert space $\mathcal{H}$ satisfying $\sum\limits_{k=0}^{m}(-1)^{m-k}T^{*^k}AT^k=0$, where A is a positive operator. We give sufficient conditions under which A-m-isometries are not N-supercyclic, for every $N{\geq}1$; that is, there is not a subspace E of dimension N such that its orbit under T is dense in $\mathcal{H}$.

• 대한수학회논문집
• /
• 제32권4호
• /
• pp.899-908
• /
• 2017

We call a sequence $(T_n)_n$ of bounded operators on a Banach space X, BSC-Sequence if it is a Cauchy sequence in the strong operator topology and is uniformly bounded below. We determine conditions under which such sequences has a fixed point.

• Bulletin of the Korean Chemical Society
• /
• 제24권6호
• /
• pp.723-727
• /
• 2003

Recently the ab initio effective valence shell Hamiltonian method $H^v$ has been extended to treat spin-orbit coupling in atoms or molecules. The quasidegenerate many-body perturbation theory based $H^v$ method has an advantage of determining the spin-orbit coupling energies of all valence states for both the neutral species and its ions with a similar accuracy from a single computation of the effective spin-orbit coupling operator. The new spin-orbit $H^v$ method is applied to calculating the fine structure splittings of the valence states of SiH, $SiH^+$, and $SiH^{2+}$ not only to assess the accuracy of the method but also to investigate the spin-orbit interaction of highly excited states of SiH species. The computed spin-orbit splittings for ground states are in good agreement with experiment and the few available ab initio computations. The ordering of fine structure levels of the bound and quasi-bound spin-orbit coupled valence states of SiH and its ions, for which neither experiment nor theory is available, is predicted.

• Bulletin of the Korean Chemical Society
• /
• 제24권6호
• /
• pp.728-730
• /
• 2003

Bond lengths, harmonic vibrational frequencies and dissociation energies of TlAt are calculated at ab initio molecular orbital and density functional theory using effective spin-orbit operator and relativistic effective core potentials. Spin-orbit effects estimated from density functional theory are in good agreement with those from ab initio calculations, implying that density functional theory with effective core potentials can be an efficient and reliable methods for spin-orbit interactions. The estimated $R_e$, $ω_e$ and $D_e$ values are 2.937 ${\AA}$, 120 $cm^{-1}$, 1.96 eV for TlAt. Spin-orbit effects generally cause the bond contraction in Group 13 elements and the bond elongation in the Group 17 elements, and spin-orbit effects on Re of TlAt are almost cancelled out. The spinorbit effects on $D_e$ of TlAt are roughly the sum of spin-orbit effects on $D_e$ of the corresponding element hydrides. Electron correlations and spin-orbit effects are almost additive in the TlAt molecule.

• 대한수학회지
• /
• 제45권4호
• /
• pp.903-921
• /
• 2008

A continuous linear operator $T\;:\;X{\rightarrow}X$ is called hypercyclic if there exists an $x\;{\in}\;X$ such that the orbit ${T^nx}_{n{\geq}0}$ is dense. We consider the problem: given an operator $T\;:\;X{\rightarrow}X$, hypercyclic or not, is the restriction $T|y$ to some closed invariant subspace $y{\subset}X$ hypercyclic? In particular, it is well-known that any non-constant partial differential operator p(D) on $H({\mathbb{C}}^d)$ (entire functions) is hypercyclic. Now, if q(D) is another such operator, p(D) maps ker q(D) invariantly (by commutativity), and we obtain a necessary and sufficient condition on p and q in order that the restriction p(D) : ker q(D) $\rightarrow$ ker q(D) is hypercyclic. We also study hypercyclicity for other types of operators on subspaces of $H({\mathbb{C}}^d)$.

• 한국항공우주학회지
• /
• 제31권10호
• /
• pp.105-111
• /
• 2003

위성체 정렬은 위성체 조립 및 시험과정에서 중요한 부분이다. 인공위성이 우주궤도상에서 성공적인 임무를 수행하기 위해서는 자세제어 및 탑재체용 부분품들에 대하여 측정허용오차 $0.1^{\circ}{\sim}0.7^{\circ}$의 정밀하고 정확한 측정이 요구되며 정렬된 상태에서의 위성체 좌표계의 정확한 방향좌표를 측정하여 지상에 위치한 위성체 관제부에서 위성체의 자세제어 등에 사용하도록 제공하게 된다. 본 논문에서는 자동시준에 의한 위성체 정렬 측정 이론에 대하여 기술하고 데오도라이트를 사용하여 위성체 정렬을 측정할 수 있는 측정방법 및 그 측정 결과에 대하여 고찰해 보고자 한다.

• 한국항공우주학회지
• /
• 제41권2호
• /
• pp.164-171
• /
• 2013

우주파편은 1957년 인류가 우주에 위성을 보내기 시작하면서 그 숫자가 급격하게 증가하고 있으며, 현재 미합동우주전략사령부(JSpOC, Joint Space Operations Center)에 의하면 지름 10cm 이상의 우주파편이 22,000개 이상이라고 알려지고 있다. 최근에는 중국이 자국의 위성을 미사일로 요격시킨 사건과 Iridium 33 및 Cosmos 2251 위성이 우주상공에서 서로 충돌한 사건이 발생함에 따라 아리랑 2호가 운영 중인 저궤도의 우주환경이 급격히 악화되고 있다. 미합동우주전략사령부는 15,000개 이상의 우주파편의 궤도정보를 이용하여 운영위성과의 충돌분석을 수행하고 있으며, 충돌 위험이 발생할 경우 해당 위성의 운영자에게 CSM(Conjunction Summary Message)이란 형식의 메시지를 제공하여 충돌분석 시 활용할 수 있도록 지원하고 있다. 본 논문은 JSpOC에서 제공하는 CSM의 아리랑2호 궤도데이터와 항우연이 관리하는 아리랑 2호의 정밀궤도 데이터와 비교하였으며, 아리랑 2호와 우주파편과의 충돌분석 결과를 도시하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.229-231
• /
• 1994

For the effective use of satellite communication transponder, tests for the payload system such as IOT(In-Orbit Test), RPM(Routine Payload Monitoring), CSM(Communicatios System Monitoring), and REV(Remote Earth-Station Verification) have to be conducted. Those tests are used in order to verify the condition and generic design of the satellite, to provide a database for operational calculations, and to maintain the quality of communication services. As the satellite communication system gets with wider expansion with higher complexity of operation, tests for the communication system also need more complex operation that usesophisticated computer-controlled measuring system. For and C language based measurement functions, which uses GPIB protocol and SCPI commands. But SICL requires knowledge of BASIC and C language as well as GPIB and SCPL system. This paper introduces a new language called CALSTEP-Control and Access Language for the Systems of Test Equipment and Payload. This language is designed for the operator to perform the tests for the satellite communication system without any special knowledge that is mentioned above. This language has very limited number of commands which are to be used to control the payload system and test equipments to perform IOT and CSM, and those commands are very readable and easy to understand, so an operator without any knowledge of BASIC and C programming language, or SICL and SCPI command can use it.

• 대한수학회보
• /
• 제26권2호
• /
• pp.203-209
• /
• 1989

Recently many authors [2,3,5,6] proved the existence of zeros of accretive operators and estimated the range of m-accretive operators or compact perturbations of m-accretive operators more sharply. Their results could be obtained from differential equations in Banach spaces or iteration methods or Leray-Schauder degree theory. On the other hand Kirk and Schonberg [9] used the domain invariance theorem of Deimling [3] to prove some general minimum principles for continuous accretive operators. Kirk and Schonberg [10] also obtained the range of m-accretive operators (multi-valued and without any continuity assumption) and the implications of an equivalent boundary conditions. Their fundamental tool of proofs is based on a precise analysis of the orbit of resolvents of m-accretive operator at a specified point in its domain. In this paper we obtain a sufficient condition for m-accretive operators to have a zero. From this we derive Theorem 1 of Kirk and Schonberg [10] and some results of Morales [12, 13] and Torrejon[15]. And we further generalize Theorem 5 of Browder [1] by using Theorem 3 of Kirk and Schonberg [10].

• 항공우주정책ㆍ법학회지
• /
• 제26권1호
• /
• pp.271-297
• /
• 2011

최근에는 상업적 우주활동의 증가와 우주파편의 증가로 인해 그 위험성이 더욱 증대되고 있다. 우리나라에서도 지난 2009년과 2010년 두 번에 걸쳐 인공위성 발사하였으나, 모두 실패로 끝났다. 이에 따라 국내외적으로 위성 발사 실패에 따른 책임 규명에 대해 보상 논의가 활발하게 이루어졌다. 이러한 점에 비추어 볼 때 우주개발과 관련한 리스크 관리 장치로서의 우주보험에 대한 정확한 개념규정과 법적인 논의가 이루어져야 할 것이다. 우주보험과 관련하여 통상적으로 두 가지 형태가 가능하다. 첫째는 발사와 궤도진입과 관련한 보험이며, 두 번째는 제3자 손해에 대한 보험이다. 전자는 피해를 입은 위성의 소유자나 운영자를 보호하는 것이고, 후자는 사고로 인한 소유자나 운영자의 책임을 담보하거나 배상하는 것이다. 우주보험과 관련하여 국제조약이나 국제적 규범은 없지만, 미국을 비롯한 영국, 프랑스, 러시아, 한국 등 각국은 국내법을 통해 우주보험의 인수를 강제하고 있다. 특히, 미국은 1984년 상업우주개발법과 관련 법률에서 발사체를 운영하는 자격을 가진 사람에게 제3자 손해에 대한 보험을 인수하도록 하고 있다. 상업적 우주산업의 관행과 미국의 상업적 우주발사법에서는 위성의 고객과 발사제공자는 발사로 인한 재산적 손해, 신체적 부상이나 사망 위험에 대한 가정과 상호 책임면제에 합의해야 한다고 규정하고 있다. 이는 위성의 발사 실패나, 위성체를 손실하였을 때, 위성의 고객은 비록 발사제공자가 과실이 있다고 하더라도 발사제공자에세 배상을 요구할 수 없다는 의미일 것이다. 그리고 미국과 기타 우주발사국들은 부보된 보험액을 초과하는 경우 제3자 손해에 정부의 배상을 제공한다. 그러나 유인우주선에 대해서는 유인 우주선에서 포기조항이 요구되지 않으며, 동의를 통보해야만 한다. 위성고객이 발사 제공자에세 소송을 제기하는 것을 제한하는 미국법상 포기조항은 유인우주선에는 적용되지 않는다. 이같이 미국법에서는 우주활동과 관련된 보험문제에 대해서 비교적 상세하게 규정하게 있으나, 다른 국가에서는 다수가 보험을 인수하도록 요구하고 있으나 상세한 규정은 두지 않고 있다. 우리나라도 예외가 아니다. 그러나 향후 우주활동이 활발하게 이루어지 상업적 우주관광 등이 이루어짐에 따라 우주보험문제에 대해서도 심도 있게 논의가 이루어져야 할 것이다.