• 대한수학회논문집
• /
• 제32권1호
• /
• pp.55-64
• /
• 2017

For -2 < ${\alpha}$ < ${\infty}$ and 0 < p < ${\infty}$, the $\mathcal{Q}_K$-type space is the space of all analytic functions on the open unit disk ${\mathbb{D}}$ satisfying $$_{{\sup} \atop a{\in}{\mathbb{D}}}{\large \int_{\mathbb{D}}}{{\mid}f^{\prime}(z){\mid}}^p(1-{{\mid}z{\mid}^2})^{\alpha}K(g(z,a))dA(z)<{\infty}$$, where $g(z,a)=log\frac{1}{{\mid}{\sigma}_a(z){\mid}}$ is the Green's function on ${\mathbb{D}}$ and K : [0, ${\infty}$) [0, ${\infty}$), is a right-continuous and non-decreasing function. For 0 < s < ${\infty}$, the space $\mathcal{Q}_s$ consists of all analytic functions on ${\mathbb{D}}$ for which $$_{sup \atop a{\in}{\mathbb{D}}}{\large \int_{\mathbb{D}}}{{\mid}f^{\prime}(z){\mid}}^2(g(z,a))^sdA(z)<{\infty}$$. Boundedness and compactness of composition operators $C_{\varphi}$ acting on $\mathcal{Q}_K$-type spaces and $\mathcal{Q}_s$ spaces is characterized in terms of the norms of ${\varphi}^n$. Thus the author announces a solution to the problem raised by Wulan, Zheng and Zhou.

• East Asian mathematical journal
• /
• 제33권2호
• /
• pp.199-216
• /
• 2017

A rational number as operator is eventually that it is considered a mapping. Depending on how selecting domain (the target of operation by rational number) and codomain (including the results of operations by rational number), it is possible to see the rational in two aspects. First, rational numbers can be deal with functions if we choose the target of operation by rational number as a number field containing rationals. On the other hand, if we choose the target of operation by rational number as integral domain $\mathbb{Z}$, then rational numbers can be regarded as partial functions on $\mathbb{Z}$. In this paper, we regard the rational numbers with a view of partial functions, we investigate the theoretical background of the relationship between the multiplication of rational numbers and the composition of rational numbers as operators.

• 대한수학회지
• /
• 제42권1호
• /
• pp.111-127
• /
• 2005

Let B and S be the unit ball and the unit sphere in $\mathbb{C}^n$, respectively. Let ${\sigma}$ be the normalized Lebesgue measure on S. Define the Privalov spaces $N^P(B)\;(1\;<\;p\;<\;{\infty})$ by $$N^P(B)\;=\;\{\;f\;{\in}\;H(B) : \sup_{0 where H(B) is the space of all holomorphic functions in B. Let ${\varphi}$ be a holomorphic self-map of B. Let ${\mu}$ denote the pull-back measure ${\sigma}o({\varphi}^{\ast})^{-1}$. In this paper, we prove that the composition operator $C_{\varphi}$ is metrically bounded on $N^P$(B) if and only if ${\mu}(S(\zeta,\delta)){\le}C{\delta}^n$ for some constant C and $C_{\varphi}$ is metrically compact on $N^P(B)$ if and only if ${\mu}(S(\zeta,\delta))=o({\delta}^n)$ as ${\delta}\;{\downarrow}\;0$ uniformly in ${\zeta}\;\in\;S. Our results are an analogous results for Mac Cluer's Carleson-measure criterion for the boundedness or compactness of $C_{\varphi}$ on the Hardy spaces $H^P(B)$.

• Nuclear Engineering and Technology
• /
• 제52권1호
• /
• pp.78-86
• /
• 2020

The operation and monitoring (OM) interface is the digital medium between nuclear power system and operators. The cognitive load of OM interface has an important effect on the operation errors made by operator during OM task between operator and computer. The cognitive load model of OM interface is constructed for analysing the composition and influencing factors of OM interface cognitive load. And to study the coping strategies and methods for cognitive load of nuclear power system. An experiment method based on eye movement is proposed to measure the cognitive load of OM interface. Experiment case is carried out with 20 subjects and typical OM interface of a nuclear power system simulator. The OM interface is optimized based on the experiment results. And the results comparison between the original OM interface and the optimized OM interface shows that the cognitive load model and proposed method is valuable contributions in reducing the cognitive load and improving the interaction efficiency of OM tasks.

• 한국초전도ㆍ저온공학회논문지
• /
• 제11권3호
• /
• pp.26-30
• /
• 2009

Korea Superconducting Tokamak Advanced Research(KSTAR) device is composed of 30 superconducting magnets, magnet structure, vacuum vessel, cryostat, current feeder system, and etc. KSTAR device is operated in the cryogenic temperature and high magnetic field. We install about 800 sensors - temperature sensors, stain gages, displacement gages, hall sensors - to monitor the thermal, mechanical, electrical status of KSTAR during operation. As a tremendous numbers of sensors should be installed for monitoring the KSTAR device, the method of effective installation was developed. The sensor test was successfully carried out to check its reliability and its reproduction in the cryogenic temperature. The sensor signal is processed by PXI-based DAQ system and communicated with central control system via machine network and is shown by Operator Interface(OPI) display in the main control room. In order to safely operate the device, any violations of mechanical & superconductive characteristic of the device components were informed to its operation system & operator. If the monitored values exceed the pre-set values, the protective action should be taken against the possible damage. In this paper, the system composition, operation criteria, operation result were presented.

• The Journal of Advanced Prosthodontics
• /
• 제13권4호
• /
• pp.258-267
• /
• 2021

PURPOSE. The purpose of this study was to compare the surface roughness, phase transformation, and surface topography of dental zirconia with three different yttrium oxide compositions under same grinding and polishing conditions. MATERIALS AND METHODS. Three zirconia disks (IPS e.max ZirCAD LT, MT, MT multi, Ivoclar Vivadent AG, Schaan, Liechtenstein) were selected for experimental materials. Sixty-nine bar-shaped specimens were fabricated as 12.0 × 6.0 × 4.0 mm using a milling machine and glazing was conducted on 12.0 × 6.0 mm surface by same operator. With a custom polishing device, 12.0 × 6.0 mm surfaces were polished under same condition. Surface roughness (Ra[㎛]) was measured before grinding (C), after grinding (G), and at every 3 steps of polishing (P1, P2, P3). X-ray diffraction and FE-SEM observation was conducted before grinding, after grinding, and after fine polishing (P3). Statistical analysis of surface roughness was performed using Kruskal-Wallis test and Mann-Whitney-U test was used as a post hoc test (α = .05). RESULTS. There were no significant differences of surface roughness between LT, MT, and MM groups. In LT, MT, and MM groups, P3 groups showed significantly lower surface roughness than C groups. X-ray diffraction showed grinding and polishing didn't lead to phase transformation on zirconia surface. In FE-SEM images, growths in grain size of zirconia were observed as yttrium oxide composition increases. CONCLUSION. Polished zirconia surface showed clinically acceptable surface roughness, but difference in yttrium oxide composition had no significant influence on the surface roughness. Therefore, in clinical situation, zirconia polishing burs could be used regardless of yttrium oxide composition.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.677-696
• /
• 2004

컴포넌트 기반 소프트웨어 공학(CBSE)은 재사용 가능한 컴포넌트를 조립하여 시스템을 개발하는 방법이다. CBSE는 소프트웨어 개발비용과 기간을 단축할 수 있는 새로운 패러다임으로 평가되고 있다. 정형 명세를 사용하면 컴포넌트 구성 요소들 사이의 일관성과 정확성을 판단할 수 있기 때문에 컴포넌트 설계의 품질을 높일 수 있다. 현재까지 제안된 컴포넌트 정형 명세 언어들은 인터페이스간의 계약, 컴포넌트의 구조적인 측면과 동적인 측면, 컴포넌트 기반 시스템, 컴포넌트간의 결합, 가변성 중 일부만을 명세에 반영한다. 따라서 지금까지 발표된 정형 명세 언어를 컴포넌트 설계 과정의 모든 단계에서 사용하는 것은 적절치 않다. 본 논문에서는 컴포넌트 정형 명세 언어인 Component-Z를 제안한다. Component-Z는 Object-Z를 확장하여 컴포넌트 명세를 위한 새로운 표기법을 추가하고 의미론을 확장한다. Component-Z를 사용하여 인터페이스, 컴포넌트 내부 구조, 컴포넌트 내부 워크플로우와 인터페이스간의 워크플로우를 명세 할 수 있다. 또한 가변점(variation point), 가변치(variant), customization 인터페이스를 사용하여 가변성을 명세 할 수 있다. 인터페이스와 컴포넌트 사이의 관계는 매핑 스키마(mapping schema)를 사용하여 정의한다. 또한 병렬 연산자(parallel operator)를 사용하여 컴포넌트간의 결합을 명세 할 수 있고 컴포넌트 기반 시스템을 명세하여 컴포넌트가 배포된 상황을 표현할 수 있다. 따라서 본 논문에서 제안된 정형 명세 언어를 사용하여 컴포넌트 설계에 필요한 모든 요소를 표현 할 수 있다. 사례연구에서는 은행 계좌 관리 시스템을 명세하여 Component-Z가 컴포넌트 설계의 전 단계에서 사용될 수 있음을 보인다.

• 충청수학회지
• /
• 제21권2호
• /
• pp.269-278
• /
• 2008

Let ${\partial}D$ be the boundary of the open unit disk D in the complex plane and $L^p({\partial}D)$ the class of all complex, Lebesgue measurable function f for which $\{\frac{1}{2\pi}{\int}_{-\pi}^{\pi}{\mid}f(\theta){\mid}^pd\theta\}^{1/p}<{\infty}$. Let P be the orthogonal projection from $L^p({\partial}D)$ onto ${\cap}_{n<0}$ ker $a_n$. For $f{\in}L^1({\partial}D)$, ${\hat{f}}(z)=\frac{1}{2\pi}{\int}_{-\pi}^{\pi}P_r(t-\theta)f(\theta)d{\theta}$ is the harmonic extension of f. Let ${\hat{P}}$ be the composition of P with the harmonic extension. In this paper, we will show that if $1, then ${\hat{P}}:L^p({\partial}D){\rightarrow}H^p(D)$ is bounded. In particular, we will show that ${\hat{P}}$ is unbounded on $L^{\infty}({\partial}D)$.

• 대한수학회지
• /
• 제58권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.

• 한국전자통신학회논문지
• /
• 제11권2호
• /
• pp.165-170
• /
• 2016

본 논문은 $NCV-{\mid}v_1$ > 라이브러리의 새로운 쌍대 구조의 특성과 그 응용에 대한 연구이다. 상태벡터가 고유벡터인 임의 n개 qudit 상의 모든 유니터리 연산은 1개와 2개의 $NCV-{\mid}v_1$ > 라이브러리 들의 합성으로 표현할 수 있다. 본 연구는 입력 상태벡터가 PP로 제한적인 Barenco의 n비트 U(2n) 연산자를 전역 극성의 입력 상태벡터로 확장 실현하는 것이다. 이와 같이 보강된 확장 실현은 유니터리 연산자의 제어게이트 합성 시에 $NCV-{\mid}v_1$ > 과 이의 쌍대인 $NCV^{\dag}-{\mid}v_1$ > 라이브러리 모두를 사용할 경우에 이들이 대칭적 쌍대 성질을 갖고 있어 모든 극성의 상태벡터 입력에 대해 AND 지배적 종속 합성이 가능하기 때문이다.