• 천문학회보
• /
• 제42권2호
• /
• pp.55.1-55.1
• /
• 2017

HectoMAP is a dense redshift survey of red galaxies covering a 53 square degree strip of the northern sky, and Horizon Run 4 is one of the densest and largest cosmological simulations based on the standard Lambda cold dark matter model. We use HectoMAP and Horizon Run 4 to compare the physical properties of observed large-scale structures with simulated ones in the redshift range 0.22

• 천문학회지
• /
• 제44권6호
• /
• pp.217-234
• /
• 2011

We present two large cosmological N-body simulations, called Horizon Run 2 (HR2) and Horizon Run 3 (HR3), made using $6000^3$ = 216 billions and $7210^3$ = 374 billion particles, spanning a volume of $(7.200\;h^{-1}Gpc)^3$ and $(10.815\;h^{-1}Gpc)^3$, respectively. These simulations improve on our previous Horizon Run 1 (HR1) up to a factor of 4.4 in volume, and range from 2600 to over 8800 times the volume of the Millennium Run. In addition, they achieve a considerably finer mass resolution, down to $1.25{\times}10^{11}h^{-1}M_{\odot}$, allowing to resolve galaxy-size halos with mean particle separations of $1.2h^{-1}$Mpc and $1.5h^{-1}$Mpc, respectively. We have measured the power spectrum, correlation function, mass function and basic halo properties with percent level accuracy, and verified that they correctly reproduce the CDM theoretical expectations, in excellent agreement with linear perturbation theory. Our unprecedentedly large-volume N-body simulations can be used for a variety of studies in cosmology and astrophysics, ranging from large-scale structure topology, baryon acoustic oscillations, dark energy and the characterization of the expansion history of the Universe, till galaxy formation science - in connection with the new SDSS-III. To this end, we made a total of 35 all-sky mock surveys along the past light cone out to z = 0.7 (8 from the HR2 and 27 from the HR3), to simulate the BOSS geometry. The simulations and mock surveys are already publicly available at http://astro.kias.re.kr/Horizon-Run23/.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.231-244
• /
• 2007

In this paper, we use measure theory for considering asymptotically stable of an autonomous system [1] of first order nonlinear ordinary differential equations(ODE's). First, we define a nonlinear infinite-horizon optimal control problem related to the ODE. Then, by a suitable change of variable, we transform the problem to a finite-horizon nonlinear optimal control problem. Then, the problem is modified into one consisting of the minimization of a linear functional over a set of positive Radon measures. The optimal measure is approximated by a finite combination of atomic measures and the problem converted to a finite-dimensional linear programming problem. The solution to this linear programming problem is used to find a piecewise-constant control, and by using the approximated control signals, we obtain the approximate trajectories and the error functional related to it. Finally the approximated trajectories and error functional is used to for considering asymptotically stable of the original problem.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2471-2473
• /
• 2005

We present a receding horizon control [RHC] algorithm for compensation of backlash at the input of a stable linear system under control rate constraints. The problem is posed as a receding horizon optimal control [RHOptC] problem for a piecewise affine [PWA] system by modelling the backlash nonlinearity as a PWA system with a state space partition consisting of three regions. The RHC problem involves solving, at each step, $3^N$ quadratic programmes[QP], where N is the optimization horizon. This strategy leads, at the cost of some performance degradation, to much smaller computational load since a feasible rather than optimal solution has to be obtained at each step.

• International Journal of Control, Automation, and Systems
• /
• 제1권3호
• /
• pp.282-288
• /
• 2003

It is known that HIV (Human Immunodeficiency Virus) infection, which causes AIDS after some latent period, is a dynamic process that can be modeled mathematically. Effects of available anti-viral drugs, which prevent HIV from infecting healthy cells, can also be included in the model. In this paper we illustrate control theory can be applied to a model of HIV infection. In particular, the drug dose is regarded as control input and the goal is to excite an immune response so that the symptom of infected patient should not be developed into AIDS. Finite horizon optimal control is employed to obtain the optimal schedule of drug dose since the model is highly nonlinear and we want maximum performance for enhancing the immune response. From the simulation studies, we found that gradual reduction of drug dose is important for the optimality. We also demonstrate the obtained open-loop optimal control is vulnerable to parameter variation of the model and measurement noise. To overcome this difficulty, we finally present nonlinear receding horizon control to incorporate feedback in the drug treatment.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1951-1956
• /
• 2003

It is known that HIV (Human Immunodeficiency Virus) infection, which causes AIDS after some latent period, is a dynamic process that can be modeled mathematically. Effects of available anti-viral drugs, which prevent HIV from infecting healthy cells, can also be included in the model. In this paper we illustrate control theory can be applied to a model of HIV infection. In particular, the drug dose is regarded as control input and the goal is to excite an immune response so that the symptom of infected patient should not be developed into AIDS. Finite horizon optimal control is employed to obtain the optimal schedule of drug dose since the model is highly nonlinear and we want maximum performance for enhancing the immune response. From the simulation studies, we find that gradual reduction of drug dose is important for the optimality. We also demonstrate the obtained open-loop optimal control is vulnerable to parameter variation of the model and measurement noise. To overcome this difficulty, we finally present nonlinear receding horizon control to incorporate feedback in the drug treatment.

• 보건의료기술평가
• /
• 제6권2호
• /
• pp.156-161
• /
• 2018

Objectives: To evaluate results and workloads of the horizon scanning of the emerging health technology since 2014 to 2016. Methods: In order to analyze the results of the emerging health technology, we identified the number of research procedure between 2014 and 2016. The sixteen findings were calculated annual workload by person, and categorized by medical phase, classification of disease, and healthcare technology. Results: An average of 5.67 personnel were involved over three years, assessment of each emerging healthcare technology was performed for each person of identifying 54 cases, filtering 2.4 cases, prioritizing 0.9 cases were performed. According to the mapping by healthcare technologies, nine medical devices (56.3%), six drugs (37.5%), and one material of the medical treatment (6.3%) were assessed. Among sixteen findings, fifteen cases were health technologies for treatment and only one case for diagnosis. Conclusion: Future plans of the horizon scanning of the emerging health technology is required appropriate manpower in charge each target number of assessment. And a legal basis should be provided for policy reflection rate. Furthermore, an evaluation criteria and procedures should be transparent to avoid a conflict of interest.

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

Recent integral field spectroscopy observations have found that about 11% of galaxies show star-gas misalignment. The misalignment possibly results from external effects such as gas accretion, interaction with other objects, and other environmental effects, hence providing clues to these effects. We explore the properties of misaligned galaxies using Horizon-AGN, a large-volume cosmological simulation, and compare the result with the result of the Sydney-AAO Multi-object integral field spectrograph (SAMI) Galaxy Survey. Horizon-AGN can match the overall misalignment fraction and reproduces the distribution of misalignment angles found by observations surprisingly closely. The misalignment fraction is found to be highly correlated with galaxy morphology both in observations and in the simulation: early-type galaxies are substantially more frequently misaligned than late-type galaxies. The gas fraction is another important factor associated with misalignment in the sense that misalignment increases with decreasing gas fraction. However, there is a significant discrepancy between the SAMI and Horizon-AGN data in the misalignment fraction for the galaxies in dense (cluster) environments. We discuss possible origins of misalignment and disagreement. This presentation is mainly based on the published work Khim et al. 2020, ApJ, 894, 106 (17pp).

• International Journal of Control, Automation, and Systems
• /
• 제2권1호
• /
• pp.15-22
• /
• 2004

Some recent advances in stability and optimality for the nonlinear receding horizon control (NRHC) or the nonlinear model predictive control (NMPC) are assessed. The NRHCs with terminal conditions are surveyed in terms of a terminal state equality constraint, a terminal cost, and a terminal constraint set. Other NRHCs without terminal conditions are surveyed in terms of a control Lyapunov function (CLF) and cost monotonicity. Additional approaches such as output feedback, fuzzy, and neural network are introduced. This paper excludes the results for linear receding horizon controls and concentrates only on the analytical results of NRHCs, not including applications of NRHCs. Stability and optimality are focused on rather than robustness.

• 전기의세계
• /
• 제29권7호
• /
• pp.471-477
• /
• 1980

This paper deals with a modified Kalman filter. An approaching horizon with a suitable initial condition will be considered, which is a little different from the classical Kalman filter. It will be shown in this paper that the new filter with approaching horizons is not only easy to computer but also possesses asymptotic stability properties. Thus this new estimatoris an excellent compromise between the ease of computation and the strict sense of optimality. When this estimator is used for the standard problem, the error covariance bound has been obtained. It is shown that the new estimator can be used as a suboptimal estimator which has a stability property. It is also demonstrated that the steady state Kalman filter can be obtained from the moving horizon estimator by taking the horizon parameter as infinity.