• 대한수학회논문집
• /
• 제11권3호
• /
• pp.725-742
• /
• 1996

In this paper we give some sharp expressions of the weakly convergent sequence coefficient WCS(X) of a Banach space X. They are used to prove fixed point theorems for involution mappings T from a weakly compact convex subset C of a Banach space X with WCS(X) > 1 into itself which $T^2$ are both of asymptotically nonexpansive type and weakly asymptotically regular on C. We also show that if X satisfies the semi-Opial property, then every nonexpansive mapping $T : C \to C$ has a fixed point. Further, some questions for asymtotically nonexpansive mappings are raised.

• 대한수학회지
• /
• 제52권1호
• /
• pp.177-190
• /
• 2015

Let X be a completely regular Hausdorff space, and E and F be Banach spaces. Let $C_{rc}(X,E)$ be the Banach space of all continuous functions $f:X{\rightarrow}E$ such that f(X) is a relatively compact set in E. We establish an integral representation theorem for bounded linear operators $T:C_{rc}(X,E){\rightarrow}F$. We characterize continuous operators from $C_{rc}(X,E)$, provided with the strict topologies ${\beta}_z(X,E)$ ($z={\sigma},{\tau}$) to F, in terms of their representing operator-valued measures.

• Current Optics and Photonics
• /
• 제4권2호
• /
• pp.141-147
• /
• 2020

To understand the cause of the high light transmittance of the human eye, the optical effects of the collagen fibers of the stroma layer, which constitute the majority of the cornea, were analyzed. These collagen fibers, approximately 20 nm in diameter, have a regular arrangement. Accordingly, the optical properties of the collagen fibers and the fiber layer were analyzed by simulation. A standing wave was formed in the incident space by the overlapping incident light and the light reflected by the plate. In addition, it was confirmed that when the collagen fibers are arranged in a layer, the light transmittance periodically changes, depending on the number of fiber layers. The standing wave was formed in the incident space, and the light's intensity distribution was changed by the nanoscale collagen fibers in the section with the collagen layer, which affected the transmittance. To explain this phenomenon, the collagen fiber was defined as a second light source, and an attempt was made to describe the simulation results in terms of overlap of the incident light with the light emitted from the collagen fiber.

• ETRI Journal
• /
• 제25권5호
• /
• pp.305-314
• /
• 2003

In this paper, we present a soft IP compiler for the Reed-Solomon decoder that generates a fully synthesizable VHDL core exploiting characteristic parameters and design constraints that we newly classify for the soft IP. It produces a structural design with an estimable regular architecture based on a finite state machine with a datapath (FSMD). Since characteristic parameters provide different design points on the design space, using one of two simple procedures called the constructive search with area increment (CSAI) and constructive search with speed decrement (CSSD) for design space exploration, the core compiler makes it possible for an IP user to create the Reed-Solomon decoder with appropriate sub-architectures without synthesizing many models. Experimental results show that the IP compiler can apply to several industry standards.

• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1125-1140
• /
• 2018

Let A be a normed space, ${\mathcal{B}}(A)$ the algebra of all bounded operators on A, and V a family of strongly upper semicontinuous functions from a Hausdorff completely regular space X into ${\mathcal{B}}(A)$. In this paper, we investigate some properties of the weighted spaces CV (X, A) of all A-valued continuous functions f on X such that the mapping $x{\mapsto}v(x)(f(x))$ is bounded on X, for every $v{\in}V$, endowed with the topology generated by the seminorms ${\parallel}f{\parallel}v={\sup}\{{\parallel}v(x)(f(x)){\parallel},\;x{\in}X\}$. Our main purpose is to characterize continuous, bounded, and locally equicontinuous weighted composition operators between such spaces.

• 한국조경학회지
• /
• 제27권1호
• /
• pp.11-18
• /
• 1999

The objective of this study are to figure out the physical attributes of the three predictors in the Informational Approach: complexity, coherence, mystery and to investigate the relationships between these attributes and the preference exploratively. Visual inspection of the scenes relative to their rated levels of the predictors revealed the existence of relationship between these variables and the physical attributes. The following are the summary of the relationship between three predictors and the physical attributes: (1) The level of complexity was associated with the pattern of physical attributes which were the amount of facility, line, shape, color plant and arrangement of the visual elements. (2) The level of coherence was related with the regular arrangement of the visual elements. For example, there was certain pattern founded the color, shape, texture was applied to the various space repetitively and symmetrically. (3) The level of mystery had the relationship with the physical attributes of screen, spatial definition, distance of view, physical accessibility, radiant forest, the depth of space.

• Korean Journal of Mathematics
• /
• 제29권1호
• /
• pp.25-40
• /
• 2021

In this article we introduce tribonacci sequence spaces c0(T) and c(T) derived by the domain of a newly defined regular tribonacci matrix T. We give some topological properties, inclusion relations, obtain the Schauder basis and determine ��-, ��- and ��- duals of the spaces c0(T) and c(T). We characterize certain matrix classes (c0(T), Y) and (c(T), Y), where Y is any of the spaces c0, c or ℓ∞. Finally, using Hausdorff measure of non-compactness we characterize certain class of compact operators on the space c0(T).

• International Journal of Aerospace System Engineering
• /
• 제7권2호
• /
• pp.6-12
• /
• 2020

The precise prediction of future position of satellite depends on the accurate determination of orbit, which is also helpful in performing orbit maneuvers and trajectory correction maneuvers. For estimating the orbit of satellite many methods are being used. Some of the conventional methods are based on (i) Differential Correction (DC) (ii) Extended Kalman Filter (EKF). In this paper, Differential Evolution (DE) is used to determine the orbit. Orbit Determination using DC and EKF requires some initial guess of the state vector to initiate the algorithm, whereas DE does not require an initial guess since a wide range of bounds for the design unknown variables (orbital elements) is sufficient. This technique is uniformly valid for all orbits viz. circular, elliptic or hyperbolic. Simulated observations have been used to demonstrate the performance of the method. The observations are generated by including random noise. The simulation model that generates the observations includes the perturbation due to non-spherical earth up to second zonal harmonic term.

• 천문학회보
• /
• 제45권1호
• /
• pp.49.1-49.1
• /
• 2020

In this talk, I will discuss a few different techniques to reconstruct different cosmological functions, such as the primordial power spectrum and the expansion history. These model independent techniques are useful because they can discover surprising results in a way that nested modeling cannot. For instance, we can use the modified Richardson Lucy algorithm to reconstruct a novel primordial power spectra from the Planck data that can resolve the "Hubble tension". This novel primordial power spectrum has regular oscillatory features that would be difficult to find using parametric methods. Further, we can use Gaussian process regression to reconstruct the expansion history of the Universe from low-redshift distance datasets. We can also this technique to test if these datasets are consistent with one another, which essentially allows for this technique to serve as a systematics finder.

• Journal of Astronomy and Space Sciences
• /
• 제28권3호
• /
• pp.183-192
• /
• 2011

The current study analyzes the effects of the scaling parameters of the batch unscented transformation on precision satellite orbit determination. Satellite laser ranging (SLR) data are used in the orbit determination algorithm, which consists of dynamics model, observation model and filtering algorithm composed of the batch unscented transformation. TOPEX/Poseidon SLR data are used by utilizing the normal point (NP) data observed from ground station. The filtering algorithm includes a repeated series of processes to determine the appropriate scaling parameters for the batch unscented transformation. To determine appropriate scaling parameters, general ranges of the scaling parameters of ${\alpha}$, ${\beta}$, k, $\lambda$ are established. Depending on the range settings, each parameter was assigned to the filtering algorithm at regular intervals. Appropriate scaling parameters are determined for observation data obtained from several observatories, by analyzing the relationship between tuning properties of the scaling parameters and estimated orbit precision. The orbit determination of satellite using the batch unscented transformation can achieve levels of accuracy within several tens of cm with the appropriate scaling parameters. The analyses in the present study give insights into the roles of scaling parameters in the batch unscented transformation method.