• Journal of Applied and Pure Mathematics
• /
• 제4권3_4호
• /
• pp.151-184
• /
• 2022

In the article, we handle with the existence and controllability results for fractional impulsive neutral functional integro-differential equation in Banach spaces. We have used advanced phase space definition for infinite delay. State dependent infinite delay is the main motivation using advanced version of phase space. The results are acquired using Schaefer's fixed point theorem. Examples are given to illustrate the theory.

• Journal of Applied and Pure Mathematics
• /
• 제4권3_4호
• /
• pp.107-122
• /
• 2022

This manuscript aims to investigate the existence, uniqueness, and stability of non-local random impulsive neutral stochastic differential time delay equations (NRINSDEs) with Poisson jumps. First, we prove the existence of mild solutions to this equation using the Banach fixed point theorem. Next, we demonstrate the stability via continuous dependence initial value. Our study extends the work of Wang, and Wu [16] where the time delay is addressed by the prescribed phase space 𝓑 (defined in Section 3). To illustrate the theory, we also provide an example of our methods. Using our results, one could investigate the controllability of random impulsive neutral stochastic differential equations with finite/infinite states. Moreover, one could extend this study to analyze the controllability of fractional-order of NRINSDEs with Poisson jumps as well.

• Korean Journal of Mathematics
• /
• 제30권2호
• /
• pp.205-229
• /
• 2022

The aim of this paper is to obtain some results which belong to fixed point theory such as strong convergence, rate of convergence, stability, and data dependence by using the new Jungck-type iteration method for a mapping defined in complex-valued Banach spaces. In addition, some of these results are supported by nontrivial numerical examples. Finally, it is shown that the sequence obtained from the new iteration method converges to the solution of the functional integral equation in complex-valued Banach spaces. The results obtained in this paper may be interpreted as a generalization and improvement of the previously known results.

• Nonlinear Functional Analysis and Applications
• /
• 제29권2호
• /
• pp.461-475
• /
• 2024

The concept of an extension α-F-contraction and it's modified counterpart represents an advancement in the theory of metric space contractions. Through our study of the contraction principles and it's relationship to extension and modified extension, we found different conditions somewhat lengthy. In our paper, we create a development of the conditions for the extension of α-F-contraction and a modified α-F-contraction by reducing the conditions and make them easier. Our propose conditions are notably simple and effective. They serve as the foundation for proving theorems and solving examples that belong to our study. Moreover, they have remarkable significance in the condition of mathematical analysis and problem-solving. Thus, we find that these new conditions that we mention in the definitions achieve what is require and through them, we choose λ = 1 and we choose λ ∈ (0, 1) to clarify our ideas.

• Nonlinear Functional Analysis and Applications
• /
• 제29권3호
• /
• pp.739-751
• /
• 2024

In this paper, we study the existence and uniqueness of solutions for a class of fractional differential inclusion including a maximal monotone operator in real space with an initial condition. The main results of the existence and uniqueness are obtained by using resolvent operator techniques and multivalued fixed point theory.

• Journal of Power Electronics
• /
• 제12권1호
• /
• pp.164-171
• /
• 2012

Variable step size maximum power point trackers (MPPTs) are widely used in photovoltaic (PV) systems to extract the peak array power which depends on solar irradiation and array temperature. One essential factor which judges system dynamics and steady state performances is the scaling factor (N), which is used to update the controlling equation in the tracking algorithm to determine a new duty cycle. This paper proposes a novel stability study of variable step size incremental resistance maximum power point tracking (INR MPPT). The main contribution of this analysis appears when developing the overall small signal model of the PV system. Therefore, by using linear control theory, the boundary value of the scaling factor can be determined. The theoretical analysis and the design principle of the proposed stability analysis have been validated using MATLAB simulations, and experimentally using a fixed point digital signal processor (TMS320F2808).

• 논리연구
• /
• 제7권1호
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• Journal of the Korean Statistical Society
• /
• 제31권4호
• /
• pp.415-431
• /
• 2002

A unified framework for statistical inference for the mean of the normal distribution to derive point estimates, confidence intervals and statistical tests is proposed. This optimal design is justified after investigating the basic information and requirements that are possible and impossible to control when specifying practical and statistical requirements. Point estimation is only credible when viewed in the larger context of interval estimation, since the information required for optimal point estimation is unspecifiable. Triple sampling is proposed and justified as a reasonable sampling vehicle to achieve the specifiable requirements within the unified framework.

• Journal of Information Processing Systems
• /
• 제17권5호
• /
• pp.879-891
• /
• 2021

With improvements in living conditions, an increasing number of people are choosing to spend their time traveling. Comfortable tour routes are affected by the season, time, and other local factors. In this paper, the influencing factors and principles of scenic spots are analyzed, a model used to find the available routes is built, and a multi-route choice model based on a game theory utilizing a path recommendation weight is developed. A Monte Carlo analysis of a tourist route subjected to fixed access point conditions is applied to account for uncertainties such as the season, start time, end time, stay time, number of scenic spots, destination, and start point. We use the Dijkstra method to obtain multiple path plans and calculate the path evaluation score using the Monte Carlo method. Finally, according to the user preference in the input path, game theory generates path ordering for user choice. The proposed approach achieves a state-of-the-art performance at the pseudo-imperial palace. Compared with other methods, the proposed method can avoid congestion and reduce the time cost.

• 한국측량학회지
• /
• 제14권2호
• /
• pp.181-188
• /
• 1996

측지학적인 절대측위 방법들은 아직 관측상의 많은 문제점과 어려움을 내포하고 있으며, 국내에서도 정확한 절대측위 성과의 필요성 때문에 GPS를 이용한 절대위치결정에 관한 연구가 일부기관에서 수행되고 있다. 본 연구에서는 2주파 GPS 반송파 맥놀이 위상(carrier bast phase)자료에 의한 절대위치 결정의 기본 이론을 정립하고 각종오차 보정량을 산출하며, 정밀궤도력과 정밀시계상태를 이용해 독립적인 절대위치를 결정하여 이에 대한 정확도를 분석하고자 한다. 또한 독립적인 절대좌표를 상대측위에 의한 상대좌표와 비교함으로써 국내에서도 GPS를 이용한 측지학적인 절대위치 결정의 가능성을 제시하고자 한다.