• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.91-107
• /
• 2021

A bounded linear operator T on a separable infinite dimensional Banach space X is called strongly hypercyclic if $$X{\backslash}\{0\}{\subseteq}{\bigcup_{n=0}^{\infty}}T^n(U)$$ for all nonempty open sets U ⊆ X. We show that if T is strongly hypercyclic, then so are Tn and cT for every n ≥ 2 and each unimodular complex number c. These results are similar to the well known Ansari and León-Müller theorems for hypercyclic operators. We give some results concerning multiplication operators and weighted composition operators. We also present a result about the invariant subset problem.

• Journal of Applied and Pure Mathematics
• /
• v.4 no.3_4
• /
• pp.151-184
• /
• 2022

In the article, we handle with the existence and controllability results for fractional impulsive neutral functional integro-differential equation in Banach spaces. We have used advanced phase space definition for infinite delay. State dependent infinite delay is the main motivation using advanced version of phase space. The results are acquired using Schaefer's fixed point theorem. Examples are given to illustrate the theory.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.123-135
• /
• 2023

The goal of this article is to introduce the concept of pseudo-weighted Browder spectrum when the underlying Hilbert space is not necessarily separable. To attain this goal, the notion of α-pseudo-Browder operator has been introduced. The properties and the relation of the weighted spectrum, pseudo-weighted spectrum, weighted Browder spectrum, and pseudo-weighted Browder spectrum have been investigated by extending analogous properties of their corresponding essential pseudo-spectrum and essential pseudo-weighted spectrum. The weighted spectrum, pseudo-weighted spectrum, weighted Browder, and pseudo-weighted Browder spectrum of the sum of two bounded linear operators have been characterized in the case when the Hilbert space (not necessarily separable) is a direct sum of its closed invariant subspaces. This exploration ends with a characterization of the pseudo-weighted Browder spectrum of the sum of two bounded linear operators defined over the arbitrary Hilbert spaces under certain conditions.

• Honam Mathematical Journal
• /
• v.45 no.2
• /
• pp.198-214
• /
• 2023

In the present paper, we investigate homothetic motions determined by quaternions, which is a general form of our previous paper [20]. We introduce a transition between homothetic motions in 3D and 4D Euclidean and Lorentzian spaces. In other words, we give a new method that works as a handy tool for obtaining Lorentzian homothetic motions from Euclidean homothetic motions. Moreover, some remarkable properties of homothetic motions, which are given in former studies on this subject, are also examined by dual transformations. Then, we present applications and visualize them with 3D-plots. Finally, we investigate homothetic motions in dual spaces because of the importance in many fields related to kinematics.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.22 no.3
• /
• pp.7-15
• /
• 2016

Purpose: As medicare services have gotten spreaded, clinical laboratory has been dominant position. So, it has been acted for quality control and clinical pathology accreditation. But there has been quite deficient information to evaluate working space and technical standards of medical laboratory for accreditation. This study goals to figure out accreditation standard and design guideline for clinical laboratory, and to give safe and efficient design information. Methods: This study has been searched by literature for accreditation standards and design guidelines of clinical pathology in USA, UK, and Germany. Results: Three countries have accredited based on working lab space, staff space, storage space, patient space and health and safety equipment. Design guidelines of three countries commonly have focused on worktable layout, worktable distance and module, and specific laboratory biosafety level. And USA guidelines stress on the architectural design such as design process and passage distance for escape, UK stress on the efficiency as functional work flow and construction cost, lastly Germany design guidelines stress on the operator's safety distance and workstation. Three countries have not only accreditation standards but also design guidelines for more specific quality management, separating from accrediting institute. Implications: In korea, it has been needed to make clinical laboratory design guideline for the safe and efficient environment and reliable and competitive medical service.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.9 no.1
• /
• pp.1-18
• /
• 2007

This study is about an arrangement method of trapezoidal pre-cast segment lining that can be applied in shield tunnel construction. Trapezoidal segment lining is formed by assembling tapered pre-cast concrete segments taking advantage of the tapered shape of pre-cast segments upon delivery on site. By calculating tapering of the segments manufactured in single type and rotating the segments when putting them together, a variety of tunnel alignments can be arranged in the most efficient way. Once the design criteria and tunnel alignment (straight or curved) is analyzed, the sequence of assembling trapezoidal segments in compliance with tunnel alignment will be computed. On site an operator can utilize the softwareto automatically determine sequential arrangement of trapezoidal segments. When the actual arrangement of segmental lining is different from the computed output, the operator can input the actually measured values to coincide the computerized calculation with the real status of assembly. Then the adjustment will be the basis of subsequent arrangement of segments, thus the continuity of work can be guaranteed.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.3
• /
• pp.39-49
• /
• 2003

The delta operator approach and the singular perturbation technique are introduced. The former reduces the round-off error in the numerical computation. The latter reduces computing time by decoupling the original system into the fast and slow sub-systems. The aircraft dynamics consists of the Phugoid and short-period motions whether its model is longitudinal or lateral. In this paper, an approximated solutions of lateral dynamic model of Beaver obtained by using those two methods in compared with the exact solution. For open-loop system and closed-loop system, and approximated solution gets identical to the exact solution with only one iteration and without iteration, respectively. Therefore, it is shown that implementing those approaches is very effective in the flight dynamic and control.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1555-1566
• /
• 2023

A Hilbert space operator A ∈ B(H) is a generalised n-projection, denoted A ∈ (G-n-P), if A^*n = A. (G-n-P)-operators A are normal operators with finitely countable spectra σ(A), subsets of the set $\{0\}\,{\cup}\,\{\sqrt[n+1]{1}\}.$ The Aluthge transform à of A ∈ B(H) may be (G - n - P) without A being (G - n - P). For doubly commuting operators A, B ∈ B(H) such that σ(AB) = σ(A)σ(B) and ${\parallel}A{\parallel}\,{\parallel}B{\parallel}\;{\leq}\;{\parallel}{\tilde{AB}}{\parallel},$ ${\tilde{AB}}\;{\in}\;(G\,-\,n\,-\,P)$ if and only if $A\;=\;{\parallel}{\tilde{A}}{\parallel}\,(A_{00}\,{\oplus}\,(A_0\,{\oplus}\,A_u))$ and $B\;=\;{\parallel}{\tilde{B}}{\parallel}\,(B_0\,{\oplus}\,B_u),$ where A₀₀ and B₀, and A₀ ⊕ A_u and B_u, doubly commute, A₀₀B₀ and A₀ are 2 nilpotent, A_u and B_u are unitaries, A^*n_u = A_u and B^*n_u = B_u. Furthermore, a necessary and sufficient condition for the operators αA, βB, αà and ${\beta}{\tilde{B}},\;{\alpha}\,=\,\frac{1}{{\parallel}{\tilde{A}}{\parallel}}$ and ${\beta}\,=\,\frac{1}{{\parallel}{\tilde{B}}{\parallel}},$ to be (G - n - P) is that A and B are spectrally normaloid at 0.

• Journal of Biosystems Engineering
• /
• v.26 no.1
• /
• pp.21-28
• /
• 2001

Major deficiencies of current automation scheme including various robots for bioproduction include the lack of task adaptability and real time processing, low job performance for diverse tasks, and the lack of robustness of take results, high system cost, failure of the credit from the operator, and so on. This paper proposed a scheme that could solve the current limitation of task abilities of conventional computer controlled automatic system. The proposed scheme is the man-machine hybrid automation via tele-operation which can handle various bioproduction processes. And it was classified into two categories. One category was the efficient task sharing between operator and CCM(computer controlled machine). The other was the efficient interface between operator and CCM. To realize the proposed concept, task of the object identification and extraction of 3D coordinate of an object was selected. 3D coordinate information was obtained from camera calibration using camera as a measurement device. Two stereo images were obtained by moving a camera certain distance in horizontal direction normal to focal axis and by acquiring two images at different locations. Transformation matrix for camera calibration was obtained via least square error approach using specified 6 known pairs of data points in 2D image and 3D world space. 3D world coordinate was obtained from two sets of image pixel coordinates of both camera images with calibrated transformation matrix. As an interface system between operator and CCM, a touch pad screen mounted on the monitor and remotely captured imaging system were used. Object indication was done by the operator’s finger touch to the captured image using the touch pad screen. A certain size of local image processing area was specified after the touch was made. And image processing was performed with the specified local area to extract desired features of the object. An MS Windows based interface software was developed using Visual C++6.0. The software was developed with four modules such as remote image acquisiton module, task command module, local image processing module and 3D coordinate extraction module. Proposed scheme shoed the feasibility of real time processing, robust and precise object identification, and adaptability of various job and environments though selected sample tasks.

• The Korean Journal of Air & Space Law and Policy
• /
• v.28 no.1
• /
• pp.115-157
• /
• 2013

Some contracting States of the Convention on International Civil Aviation (commonly known as the Chicago Convention) issue FAOC(Foreign AOC and/or Operations Specifications) and conduct various safety audits for the foreign operators. These FAOC and safety audits on the foreign operators are being expanded to other parts of the world. While this trend is the strengthening measure of aviation safety resulting in the reduction of aircraft accident, it is the source of concern from the legal as well as economic perspectives. FAOC of the USA doubly burdens the other contracting States to the Chicago Convention because it is the requirement other than that prescribed by the Chicago Convention of which provisions are faithfully observed by almost all the contracting States. The Chicago Convention in its Article 33 stipulates that each contracting State recognize the validity of the certificates of airworthiness and licenses issued by other contracting States as long as they meet the minimum standards of the ICAO. Consequently, it is submitted that the unilateral action of the USA, China, Mongolia, Australia, and the Philippines issuing the FOAC to the aircraft of other States is against the Convention. It is worry some that this breach of international law is likely to be followed by the European Union which is believed to be in preparation for its own unilateral application. The ICAO established by the Chicago Convention to be in charge of safe and orderly development of the international civil aviation has been in hard work to both upgrade and emphasize the safe operation of aircraft. As the result of these endeavors, it prepared a new Annex 19 to the Chicago Convention with the title of "Safety Management" and with the applicable date 14 November 2013. It is this Annex and other ICAO documents relevant to the safety that the contracting States to the Chicago Convention have to observe. Otherwise, it is the economical burden due to probable delay in issuing the FOAC and bureaucracies combined with many different paperworks and regulations depending on where the aircraft is flown. It is exactly to avoid this type of confusion and waste that the Chicago Convention aimed at when it was adopted in 1944. The State of the operator shall establish a system for both the certification and the continued surveillance of the operator in accordance with ICAO SARPs to ensure that the required standards of operations are maintained. Certainly the operator shall meet and maintain the requirements established by the States in which it operate. The authority of a State stops where the authority of another State intervenes or where the former has yielded its power by an international agreement for the sake of international cooperation. Hence, it is not within the realm of the State to issue FAOC towards foreign operators for the reason that these foreign operators are flying in and out of the State. Furthermore, there are other safety audits such as ICAO USOAP, IATA IOSA, FAA IASA, and EU SAFA that assure the safe operation of the aircraft, but within the limit of their power and in compliance with the ICAO SARPs. If the safety level of any operator is not satisfactory, the operator could be banned to operate in the contracting States with watchful eyes until the ICAO SARPs are met. This time-honoured practice has been applied without any serious problems. Besides, we have the new Annex 19 to strengthen and upgrade with easy reference for contracting States. We don't have no reason to introduce additional burden to the States by unilateral actions of some States. These actions have to be corrected. On the other hand, when it comes to the carriage of the Personal or Pilot Log Book, the Korean regulation requiring it is in contrast with other relevant provisions of USA, USOAP, IOSA, and SAFA. The Chicago Convention requires in its Articles 29 and 34 only the carriage of the Journey Log Book and some other certificates, but do not mention the Personal Log Book at all. Paragraph 5.1.1.1 of Annex 1 to the Chicago Convention even makes it clear that the carriage in the aircraft of the Personal Log Book is not required on international flights. The unique Korean regulation in this regards giving the unnecessary burden to the national flag air carriers has to be lifted at once.