• 한국터널지하공간학회 논문집
• /
• 제9권1호
• /
• pp.1-18
• /
• 2007

본 연구는 쉴드터널 공사시 사용되는 사다리꼴 세그먼트라이닝의 배열방법에 관한 것이다. 사다리꼴 세그먼트라이닝은 공장에서 기제작된 Taper를 가진 콘크리트 세그먼트를 터널내에 반입과 동시에 조립하므로써 형성되는데, 이렇게 형성된 사다리꼴 세그먼트라이닝은 회전조립시 Taper량의 계산에 의하여 단 한가지 타입으로 다양한 터널노선에 맞는 배열을 가능하게 하므로 세그먼트에 의한 터널시공시 가장 효율적인 공법이라 할 수 있다. 본 연구는 사다리꼴 세그먼트라이닝의 설계제원 및 터널 노선의 선형(직선 혹은 곡선)의 조건을 분석하여 터널선형에 맞는 배열방법을 고안하고 실제 터널내에서 작업자가 활용할 수 있는 컴퓨터 프로그램을 제작하여 자동으로 배열순서를 결정하는 원리에 대하여 설명하고자 한다.또한,가변하는 실제 터널내에서 작업자가 세그먼트라이닝의 배치상태를 측정한 값이 컴퓨터 프로그램에서 계산된 결과와 상이할 때 작업자는 측정한 데이터를 컴퓨터 프로그램에 입력하여 프로그램의 계산상태를 실제 세그먼트 조립상태로 일치시킨 후, 다음 세그먼트라이닝의 배열자료로 사용하여 연속된 작업이 되도록 하는 방법을 제공하는 것이 본 연구의 기술적 요지이다.

• 한국항공우주학회지
• /
• 제31권3호
• /
• pp.39-49
• /
• 2003

본 논문에서는 먼저 델타연산자 접근법과 섭동기법을 소개하였다. 전자는 수치연산에 있어서 round-off error를 줄여주고 후자는 시스템을 빠른 종속시스템과 느린 종속시스템으로 분리하여 연산시간을 줄여준다. 항공기의 동력학은 종방향 혹은 횡방향 모두 장주기(Phugoid)와 단주기 운동을 동시에 보여준다. 여기서는 경비행기 Beaver의 횡방향 모델에 섬동기법과 델타접슨법을 적용하여 얻는 근사치 해를 정확한 해와 비교하였다. 그 겨로가 개루프 시스템의 경우는 단 한번의 iteration을 시행하여 얻은 근사치 해가 정확한 해와 일치했고, 페루프 시스템의 경우는 iteration없이도 근사치 값이 정확한 해와 일치하였다. 이로써 제안된 방법들의 적용이 항공기 동력학 및 제어에 있어서 매우 유효함이 검증되었다.

• 대한수학회보
• /
• 제60권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
• /
• 제26권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.

• 항공우주정책ㆍ법학회지
• /
• 제28권1호
• /
• pp.115-157
• /
• 2013

시카고협약 일부 체약국은 자국 항공사에게 AOC(AOC and Operations Specifications)을 승인하여 발행하는 것 이외에 외국 항공사에게도 FAOC(Foreign AOC and Operations Specifications)을 발행하고 있으며 다양한 항공안전평가도 실시하고 있다. 외국 항공사에게 FAOC 승인 발행 및 항공안전평가 실시는 점차 확대되고 있는 추세로 전 세계적으로 항공안전 증진 및 항공기 사고율 감소에 기여한 공로가 크다고 볼 수 있으나, 한편으로는 승인 및 지적사항에 대한 적법성 논란 및 행정 편의를 표방하는 대표적 사례라는 지탄과 함께 감독 당국의 업무수행 능력 차이로 인하여 항공기 운항 상 불편이 초래되고 있다. 항공기 사고방지 및 효율적인 항공기 운항을 위하여 항공 안전 확보는 가장 중요한 요소 중의 하나로 타협할 수 있는 사항이 아니며, 따라서 국제항공사회는 ICAO에서 시카고협약부속서 19 Safety Management를 별도로 제정하여 2013년 말부터 적용하도록 하였다. 국제 항공 질서 확립 및 항공 안전 확보를 위하여 시카고협약 및 부속서는 체약국의 의무 및 '국제표준 및 권고방식(SARPs, Standards and Recommended Practices)'을 규정하고 있으며 각 체약국은 SARPs에 합당한 이행의무를 준수해야 한다. 이와 관련하여 각 체약국은 항공사의 안전운항체계를 확인하고 AOC를 승인하여 발행하며 지속적으로 관리감독 업무를 수행하고 있다. 이러한 AOC 승인 발행에 대한 ICAO 국제 표준은 체약국의 항공당국이 자국의 항공사를 대상으로 허가 및 교부하는 것으로 체약국을 운항하는 외국의 항공사에게까지 발급하도록 규정하고 있지 않으나 미국, 중국, 호주, 뉴질랜드, 몽골 등 일부 체약국은 자국 내 항공사에게 AOC 발행 뿐 아니라 외국의 항공사에게도 AOC(FAOC)를 인가하여 교부하고 있으며 이는 EASA 등으로 확대되고 있는 실정이다. AOC나 FAOC 이외에도 ICAO와 IATA는 항공당국 및 항공사 전반에 대한 항공안전평가가 있으며, 미국 및 유럽도 자국 및 회원국 등을 운항하는 외국 항공 당국 및 항공사에 대한 항공안전평가를 별도로 실시하고 그 평가 결과를 공표하면서 항공 안전 불합격으로 평가된 국가나 항공사에게는 운항 제한 등 불이익을 주고 있다. 이와 관련하여 본 논문에서는 AOC, FAOC 및 항공안전평가제도의 법적 근거 및 동향을 고찰하고 조종사비행기록부 탑재여부 등에 대한 국제 사례연구를 통하여 몇 가지 제언과 개선방안을 제시하였다. 본 논문이 현 제도의 미흡한 부분을 보완하고 불합리한 제한기준이 개선되는데 도움을 주고, 아울러 국제 표준 준수 및 항공안전 발전에 기여하길 기대한다. 항공법규 관련 합리적인 기준 수립 및 이행에 있어 가장 중요한 요소 중 하나는 시카고협약 및 SARPs에 대한 철저한 이해가 선행되어야 한다는 것이다. 법규 제정자, 연구기관, 전문가, 운영자 등 모든 관계자들의 긴밀한 협조 하에 기준 수립이 이루어질 때 항공법규 수립 및 이행에 대한 보다 실질적인 개선 및 질적 향상을 기대할 수 있을 것이다.

• Kyungpook Mathematical Journal
• /
• 제45권2호
• /
• pp.293-299
• /
• 2005

Let ${\cal{L}}$ be a commutative subspace lattice on a Hilbert space ${\cal{H}}$ and X and Y be operators on ${\cal{H}}$. Let $${\cal{M}}_X=\{{\sum}{\limits_{i=1}^n}E_{i}Xf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}$$ and $${\cal{M}}_Y=\{{\sum}{\limits_{i=1}^n}E_{i}Yf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}.$$ Then the following are equivalent. (i) There is an operator A in $Alg{\cal{L}}$ such that AX = Y, Ag = 0 for all g in ${\overline{{\cal{M}}_X}}^{\bot},A^*A=AA^*$ and every E in ${\cal{L}}$ reduces A. (ii) ${\sup}\;\{K(E, f)\;:\;n\;{\in}\;{\mathbb{N}},f_i\;{\in}\;{\cal{H}}\;and\;E_i\;{\in}\;{\cal{L}}\}\;<\;\infty,\;{\overline{{\cal{M}}_Y}}\;{\subset}\;{\overline{{\cal{M}}_X}}$and there is an operator T acting on ${\cal{H}}$ such that ${\langle}EX\;f,Tg{\rangle}={\langle}EY\;f,Xg{\rangle}$ and ${\langle}ET\;f,Tg{\rangle}={\langle}EY\;f,Yg{\rangle}$ for all f, g in ${\cal{H}}$ and E in ${\cal{L}}$, where $K(E,\;f)\;=\;{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Y\;f_{i}{\parallel}/{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Xf_{i}{\parallel}$.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 1996년도 학술대회
• /
• pp.223-227
• /
• 1996

In this paper we propose an adaptive fast image restoration filter, which is suitable for reducing the blocking artifacts in the compressed image in real-time. The proposed restoration filter is based on the observation that quantization operation in a series of coding process is a nonlinear and many-to-one mapping operator. And then we propose an approximated version of constrained optimization technique as a restoration process for removing the nonlinear and space varying degradation operator. We also propose a novel block classification method for adaptively choosing the direction of a highpass filter, which serves as a constraint in the optimization process. The proposed classification method adopts the bias-corrected maximized likelihood, which is used to determine the number of regions in the image for the unsupervised segmentation. The proposed restoration filter can be realized either in the discrete Fourier transform domain or in the spatial domain in the form of a truncated finite impulse response (FIR) filter structure for real-time processing. In order to demonstrate the validity of the proposed restoration filter experimental results will be shown.

• 대한수학회논문집
• /
• 제32권3호
• /
• pp.661-676
• /
• 2017

Let T be a bounded linear operator acting on a complex Hilbert space ${\mathfrak{H}}$. In this paper we introduce the class, denoted ${\mathcal{Q}}(A(k),m)$, of operators satisfying $T^{m{\ast}}(T^{\ast}{\mid}T{\mid}^{2k}T)^{1/(k+1)}T^m{\geq}T^{{\ast}m}{\mid}T{\mid}^2T^m$, where m is a positive integer and k is a positive real number and we prove basic structural properties of these operators. Using these results, we prove that if P is the Riesz idempotent for isolated point ${\lambda}$ of the spectrum of $T{\in}{\mathcal{Q}}(A(k),m)$, then P is self-adjoint, and we give a necessary and sufficient condition for $T{\otimes}S$ to be in ${\mathcal{Q}}(A(k),m)$ when T and S are both non-zero operators. Moreover, we characterize the quasinilpotent part $H_0(T-{\lambda})$ of class A(k) operator.

• 호남수학학술지
• /
• 제31권2호
• /
• pp.259-265
• /
• 2009

Let $\mathcal{L}$ be a subspace lattice on a Hilbert space $\mathcal{H}$. Let x and y be vectors in $\mathcal{H}$ and let $P_x$ be the projection onto sp(x). If $P_xE$ = $EP_x$ for each E ${\in}\;\mathcal{L}$, then the following are equivalent. (1) There exists an operator A in Alg$\mathcal{L}$ such that Ax = y, Af = 0 for all f in $sp(x)^{\perp}$ and A ${\geq}$ 0. (2) sup ${\frac{{\parallel}E^{\perp}y{\parallel}}{{\parallel}E^{\perp}x{\parallel}}:E{\in}\mathcal{L}}$ < ${\infty}$ < x, y > ${\geq}$ 0. Let X and Y be operators in $\mathcal{B}(\mathcal{H})$. Let P be the projection onto $\overline{rangeX}$. If PE = EP for each E ${\in}\;\mathcal{L}$, then the following are equivalent: (1) sup ${\frac{{\parallel}E^{\perp}Yf{\parallel}}{{\parallel}E^{\perp}Xf{\parallel}}:f{\in}\mathcal{H},E{\in}\mathcal{L}}$ < ${\infty}$ and < Xf, Yf > ${\geq}$ 0 for all f in H. (2) There exists a positive operator A in Alg$\mathcal{L}$ such that AX = Y.

• 대한수학회지
• /
• 제34권3호
• /
• pp.731-770
• /
• 1997

We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.