• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.689-701
• /
• 2019

We study the recovery results of ${\ell}_p$-constrained compressive sensing (CS) with $p{\geq}1$ via robust width property and determine conditions on the number of measurements for standard Gaussian matrices under which the property holds with high probability. Our paper extends the existing results in Cahill and Mixon from ${\ell}_2$-constrained CS to ${\ell}_p$-constrained case with $p{\geq}1$ and complements the recovery analysis for robust CS with ${\ell}_p$ loss function.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.13 no.1
• /
• pp.208-222
• /
• 2021

Managing with the presence of sea ice is the primary challenge in the operation of floating platforms in the Arctic region. It is widely accepted that offshore structures operating in Arctic conditions need station-keeping methods as well as ice management by icebreakers. Dynamic Positioning (DP) is one of the station-keeping methods that can provide mobility and flexibility in marine operations. The presence of sea ice generates complex external forces and moments acting on the vessel, which need to be counteracted by the DP system. In this paper, an icevaning control algorithm is proposed that enables Arctic offshore vessels to perform DP operations. The proposed icevaning control enables each vessel to be oriented toward the direction of the mean environmental force induced by ice drifting so as to improve the operational safety and reduce the overall thruster power consumption by having minimum external disturbances naturally. A mathematical model of an Arctic offshore vessel is summarized for the development of the new icevaning control algorithm. To determine the icevaning action of the Arctic offshore vessel without any measurements and estimation of ice conditions including ice drift, task and null space are defined in the vessel model, and the control law is formulated in the task space. A backstepping technique is utilized to handle the nonlinearity of the Arctic offshore vessel's dynamic model, and the Lyapunov stability theory is applied to guarantee the stability of the proposed icevaning control algorithm. Experiments are conducted in the ice tank of the Korea Research Institute of Ships and Ocean Engineering to demonstrate the feasibility of the proposed approach.

• Journal of the Korean Statistical Society
• /
• v.30 no.2
• /
• pp.179-192
• /
• 2001

When a statistical model has a hierarchical structure such as multilayer perceptrons in neural networks or Gaussian mixture density representation, the model includes distribution with unidentifiable parameters when the structure becomes redundant. Since the exact structure is unknown, we need to carry out statistical estimation or learning of parameters in such a model. From the geometrical point of view, distributions specified by unidentifiable parameters become a singular point in the parameter space. The problem has been remarked in many statistical models, and strange behaviors of the likelihood ratio statistics, when the null hypothesis is at a singular point, have been analyzed so far. The present paper studies asymptotic behaviors of the maximum likelihood estimator and the Bayesian predictive estimator, by using a simple cone model, and show that they are completely different from regular statistical models where the Cramer-Rao paradigm holds. At singularities, the Fisher information metric degenerates, implying that the cramer-Rao paradigm does no more hold, and that he classical model selection theory such as AIC and MDL cannot be applied. This paper is a first step to establish a new theory for analyzing the accuracy of estimation or learning at around singularities.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.12 no.1
• /
• pp.19-26
• /
• 1987

In analyzing time series, estimating the level or the current mean of the process plays an important role in understanding its structure and in being able to make forecasts. The studies the class of time series models where the level of the process is assumed to follow a random walk and the deviation from the level follow an ARMA process. The estimation and forecasting problem in a Bayesian framework and uses the Kalman filter to obtain forecasts based on estimates of level. In the analysis of time series, we usually make the assumption that the time series is generated by one model. However, in many situations the time series undergoes a structural change at one point in time. For example there may be a change in the distribution of random variables or in parameter values. Another example occurs when the level of the process changes abruptly at one period. In order to study such problems, the assumption that level follows a random walk process is relaxed to include a major level change at a particular point in time. The major level change is detected by examining the likelihood raio under a null hypothesis of no change and an alternative hypothesis of a major level change. The author proposes a method for estimation the size of the level change by adding one state variable to the state space model of the original Kalman filter. Detailed theoretical and numerical results are obtained for th first order autoregressive process wirth level changes.

• ETRI Journal
• /
• v.38 no.2
• /
• pp.291-301
• /
• 2016

In this paper, we study an optimized block-diagonal zero-forcing (BD-ZF) precoder in a two-tiered cognitive network consisting of a macro cell (MC) and a small cell (SC). By exploiting multiuser multiple-input and multiple-output Vandermonde-subspace frequency-division multiplexing (VFDM) transmission, a cognitive SC can coexist with an MC. We first devise a cross-tier precoder based on the idea of VFDM to cancel the interference from the SC to the MC. Then, we propose an optimized BD-ZF intra-tier precoder (ITP) to suppress multiuser interference and maximize the throughput in the SC. In the case where the dimension of a provided null space is larger than that required by the BD-ZF ITP, the optimized BD-ZF ITP can collect all limited channel gain by optimizing rotating and selecting matrices. Otherwise, the optimized BD-ZF ITP is validated to be equivalent to the conventional BD-ZF ITP in terms of throughput. Numerical results are presented to demonstrate the throughput improvement of the proposed optimized BD-ZF ITP and to discover the impact of imperfect channel state information.

• BMB Reports
• /
• v.49 no.8
• /
• pp.443-448
• /
• 2016

The arginylation branch of the N-end rule pathway is a ubiquitin-mediated proteolytic system in which post-translational conjugation of Arg by ATE1-encoded Arg-tRNA-protein transferase to N-terminal Asp, Glu, or oxidized Cys residues generates essential degradation signals. Here, we characterized the ATE1^−/− mice and identified the essential role of N-terminal arginylation in neural tube development. ATE1-null mice showed severe intracerebral hemorrhages and cystic space near the neural tubes. Expression of ATE1 was prominent in the developing brain and spinal cord, and this pattern overlapped with the migration path of neural stem cells. The ATE1^−/− brain showed defective G-protein signaling. Finally, we observed reduced mitosis in ATE1^−/− neuroepithelium and a significantly higher nitric oxide concentration in the ATE1^−/− brain. Our results strongly suggest that the crucial role of ATE1 in neural tube development is directly related to proper turn-over of the RGS4 protein, which participate in the oxygen-sensing mechanism in the cells.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.8
• /
• pp.53-60
• /
• 2013

In this paper, the new multi-beamforming is proposed for Multiple-input multiple-output (MIMO) Multicarrier-Code division multiple access(MC-CDMA) systems to overcome the decrease of performance due to multiuser interference and multiple-antenna interference. Installing the number of multi-beamformer which is equal to the number of multi-transmitter antennas and exploiting the proposed approach at the receiver of MIMO MC-CDMA, the multi-beams are formed toward each multi-antenna of desired user and null beam are formed to other interference. Therefore, the performance of MIMO MC-CDMA system is improved as removing the interference signal. BER performance improvement is investigated through computer simulation by the proposed approach to MIMO MC-CDMA system.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.4
• /
• pp.451-458
• /
• 2015

This paper handles self-collision avoidance for a rescue robot with redundant manipulators. In order to detect all available self-collisions in advance, minimum distances between arbitrary robot parts should be monitored in real-time. For the minimum distance estimation, we suggest a modified method from a previous skeleton algorithm which has less computation burden and realize collision avoidance based on a potential function using the proposed algorithm. The resultant command by collision avoidance should not disturb a given primary task, so null-space of joint solution from a CLIK is utilized for collision avoidance by a gradient projection method.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.1
• /
• pp.79.3-79.3
• /
• 2019

Observational evidence for intrinsic galaxy alignments in isolated spiral pairs is presented. From the catalog of the galaxy groups identified by Tempel et al. in the flux-limited galaxy sample of the Sloan Digital Sky Survey Data Release 10, we select those groups consisting only of two spiral galaxies as isolated spiral pairs and investigate if and how strongly the spin axes of their two spiral members are aligned with each other. We detect a clear signal of intrinsic spin alignment in isolated spiral pairs, which leads to the rejection of the null hypothesis at the 99.9999% confidence level via the Rayleigh test. It is also found that those isolated pairs comprising two early-type spiral galaxies exhibit the strongest signal of intrinsic spin alignment and that the strength of the alignment signal depends on the angular separation distance as well as on the luminosity ratio of the member galaxies. Using the dark matter halos consisting of only two subhalos resolved in the EAGLE hydrodynamic simulations, we repeat the same analysis but fail to find any alignment tendency between the spin angular momentum vectors of the stellar components of the subhalos, which is in tension with the observational result. Several possible sources of this apparent inconsistency between the observational and the numerical results are discussed.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.1
• /
• pp.35.2-35.2
• /
• 2019

Observational evidence for intrinsic galaxy alignments in isolated spiral pairs is presented. From the catalog of the galaxy groups identified by Tempel et al. in the flux-limited galaxy sample of the Sloan Digital Sky Survey Data Release 10, we select those groups consisting only of two spiral galaxies as isolated spiral pairs and investigate if and how strongly the spin axes of their two spiral members are aligned with each other. We detect a clear signal of intrinsic spin alignment in isolated spiral pairs, which leads to the rejection of the null hypothesis at the 99.9999% confidence level via the Rayleigh test. It is also found that those isolated pairs comprising two early-type spiral galaxies exhibit the strongest signal of intrinsic spin alignment and that the strength of the alignment signal depends on the angular separation distance as well as on the luminosity ratio of the member galaxies. Using the dark matter halos consisting of only two subhalos resolved in the EAGLE hydrodynamic simulations, we repeat the same analysis but fail to find any alignment tendency between the spin angular momentum vectors of the stellar components of the subhalos, which is in tension with the observational result. Several possible sources of this apparent inconsistency between the observational and the numerical results are discussed.