• 대한수학회보
• /
• 제21권2호
• /
• pp.99-106
• /
• 1984

J. Yeh has recently introduced the concept of conditional Wiener integrals which are meant specifically the conditional expectation E$^{w}$ (Z vertical bar X) of a real or complex valued Wiener integrable functional Z conditioned by the Wiener measurable functional X on the Wiener measure space (A precise definition of the conditional Wiener integral and a brief discussion of the Wiener measure space are given in Section 2). In [3] and [4] he derived some inversion formulae for conditional Wiener integrals and evaluated some conditional Wiener integrals E$^{w}$ (Z vertical bar X) conditioned by X(x)=x(t) for a fixed t>0 and x in Wiener space. Thus E$^{w}$ (Z vertical bar X) is a real or complex valued function on R$^{1}$. In this paper we shall be concerned with the random vector X given by X(x) = (x(s$_{1}$),..,x(s$_{n}$ )) for every x in Wiener space where 0=s$_{0}$ $_{1}$<..$_{n}$ =t. In Section 3 we will evaluate some conditional Wiener integrals E$^{w}$ (Z vertical bar X) which are real or complex valued functions on the n-dimensional Euclidean space R$^{n}$ . Thus we extend Yeh's results [4] for the random variable X given by X(x)=x(t) to the random vector X given by X(x)=(x(s$_{1}$).., x(s$_{n}$ )).

• 한국항공우주학회지
• /
• 제36권4호
• /
• pp.393-398
• /
• 2008

본 논문에서는 소형 인공위성에 탑재 가능한 GPS/INS 항법 컴퓨터의 구조를 제안한다. GPS/INS 항법 시스템을 소형 인공위성에 적용하기 위해서는 우선 우주의 방사능, 미세 중력, 진공 상태 등의 극한 환경을 고려해야 한다. 또한 소형 인공위성에서 GPS/INS 항법 시스템의 궁극적인 목표는 소형 인공위성의 편대 비행이므로 실시간 처리 능력이 필요하다. 제작된 항법 보드에는 우주환경에 대한 헤리티지가 있는 PowerPC계열의 MPC860T와 KAUSAT-2의 환경시험에서 우주환경에 대한 검증을 마친 ATmega128을 사용하였다. 항법 알고리즘은 MPC860T에 포팅된 VxWorks 환경에서 동작하도록 구현하였다.

• 대한수학회논문집
• /
• 제12권2호
• /
• pp.275-285
• /
• 1997

Let E be a uniformly convex Banach space with a uniformly G$\hat{a}teaux differentiable norm, C a nonempty closed convex subset of $E, T : C \to E$ a nonexpansive mapping, and Q a sunny nonexpansive retraction of E onto C. For $u \in C$ and $t \in (0,1)$, let $x_t$ be a unique fixed point of a contraction $R_t : C \to C$, defined by $R_tx = Q(tTx + (1-t)u), x \in C$. It is proved that if ${x_t}$ is bounded, then the strong $lim_{t\to1}x_t$ exists and belongs to the fixed point set of T. Furthermore, the strong convergence of ${x_t}$ in a reflexive and strictly convex Banach space with a uniformly G$\hat{a}$teaux differentiable norm is also given in case that the fixed point set of T is nonempty.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1994년도 한국우주과학회보 제3권2호
• /
• pp.23-23
• /
• 1994

No Abstract. See Full-text

• 대한수학회보
• /
• 제34권1호
• /
• pp.19-28
• /
• 1997

Let $H$ and $K$ be separable, complex Hilbert spaces and $L(H, K)$ denote the space of all linear, bounded operators from $H$ to $K$. If $H = K$, we write $L(H)$ in place of $L(H, K)$. An operator $T$ in $L(H)$ is called hyponormal if $TT^* \leq T^*T$, or equivalently, if $\left\$\mid$ T^*h \right\$\mid$ \leq \left\$\mid$ Th \right\$\mid$$ for each h in $H$. In [Pu], M. Putinar constructed a universal functional model for hyponormal operators.

• 호남수학학술지
• /
• 제24권1호
• /
• pp.35-41
• /
• 2002

The solutions of a homogeneous system in state space form $\dot{x}=Ax$ are to the form $x=e^{At}x_0$ and the solutions of an inhomogeneous system $\dot{x}=Ax(t)+f(t)$ are to the form $x=e^{At}x_0+{{\int}_0^t}\;e^{A(t-{\tau})}f({\tau})d{\tau}$. In this note we show that the solution of descriptor systems under some conditions exists, and is unique, moreover it is interesting to know the solutions of descriptor system are schematically like the solutions as in the state space form. Also we will give some algorithms to compute these solutions.

• 대한수학회보
• /
• 제60권2호
• /
• pp.541-560
• /
• 2023

Let T be an m-linear Calderón-Zygmund operator. $T_{{\vec{b}S}}$ is the generalized commutator of T with a class of measurable functions {b_i}^∞_i=1. In this paper, we will give some new estimates for $T_{{\vec{b}S}}$ when {b_i}^∞_i=1 belongs to Orlicz-type space and Lipschitz space, respectively.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.597-602
• /
• 1997

Let H be a separable complex Hilbert space and L(H) be the *-algebra of all bounded linear operators on H. For $T \in L(H)$, we construct a pair of semi-positive definite operators $$ $\mid$T$\mid$_r = (T^*T)^{\frac{1}{2}} and $\mid$T$\mid$_l = (TT^*)^{\frac{1}{2}}. $$ An operator T is called a semi-hyponormal operator if $$ Q_T = $\mid$T$\mid$_r - $\mid$T$\mid$_l \geq 0. $$ In this paper, by using a technique introduced by Berberian [1], we show that the approximate point spectrum $\sigma_{ap}(T)$ of a semi-hyponomal operator T is empty.

• 대한치과교정학회지
• /
• 제47권6호
• /
• pp.344-352
• /
• 2017

Objective: The purpose of this study was to compare the changes induced in the pharyngeal airway space by orthodontic treatment with bodily retraction of the mandibular incisors and mandibular setback surgery without extraction. Methods: This retrospective study included 63 adult patients (32 men and 31 women). Thirty-three patients who had been treated via four-bicuspid extraction and bodily retraction of the mandibular incisors (incisor retraction, IR group) were compared with 30 patients who had been treated via mandibular setback surgery (MS group) without extraction. Lateral cephalograms were acquired and analyzed before (T1) and after treatment (T2). Results: The superior pharyngeal airway space did not change significantly in either group during treatment. The middle pharyngeal airway space decreased by $1.15{\pm}1.17mm$ and $1.25{\pm}1.35mm$ after treatment in the IR and MS groups, respectively, and the decrease was comparable between the two groups. In the MS group, the inferior pharyngeal airway space (E-IPW) decreased by $0.88{\pm}1.67mm$ after treatment (p < 0.01). The E-IPW was larger in the MS group than in IR group at T1, but it did not differ significantly between the two groups at T2. No significant correlation was observed between changes in the pharyngeal airway space and the skeletal and dental variables in each group. Conclusions: The middle pharyngeal airway space decreased because of the posterior displacement of the mandibular incisors and/or the mandibular body. The E-IPW decreased only in the MS group because of the posterior displacement of only the mandibular body.

• 대한임베디드공학회논문지
• /
• 제13권4호
• /
• pp.187-194
• /
• 2018

The operating system for IoT should have a small memory footprint and provide low power state, real-time, multitasking, various network protocols, and security. Although the Zephyr kernel, an operating system for IoT, released by the Linux Foundation in February 2016, has these features but errors generated by the user code can generate fatal problems in the system because the Zephyr kernel adopts a single-space method that both the user code and kernel code execute in the same space. In this research, we propose a space separation method, which separates kernel space and user space, to solve this problem. The space separation that we propose consists of three modifications in Zephyr kernel. The first is the code separation that kernel code and user code execute in each space while using different stacks. The second is the kernel space protection that generates an exception by using the MPU (Memory Protection Unit) when the user code accesses the kernel space. The third is the SVC based system call that executes the system call using the SVC instruction that generates the exception. In this research, we implemented the space separation in Zephyr v1.8.0 and evaluated safety through abnormal execution of the user code. As the result, the kernel was not crashed by the errors generated by the user code and was normally executed.