• 한국항공우주학회지
• /
• 제38권6호
• /
• pp.620-628
• /
• 2010

소형위성은 저비용으로 단기간에 개발이 가능하기 때문에 이를 통해 폭 넓은 우주 연구를 수행할 수 있고 다양한 분야의 활용 가능하다. 소형위성은 빠른 개발이 가능한 이점이 있다. 따라서 신속 대응 우주 구현이 주목됨에 따라 소형위성의 역할이 급속히 증가하고 있다. 하지만 소형위성은 기존의 위성에 비해 크기나 전력의 제약이 많기 때문에 고성능의 안정적인 시스템을 기대하기는 어렵다. 이러한 문제점을 해결하고 빠른 개발을 위해 표준화와 모듈화 설계가 필요하다. 모듈화는 플러그 앤 플레이(Plug-and-Play)를 지원하여 수일 내에 인공위성 제작 및 시험을 가능하게 한다. 이러한 모듈 간의 원활한 데이터 통신을 위해서는 데이터 버스의 표준이 요구된다. CAN 통신 방식은 플러그 앤 플레이에 가장 효과적으로 대처 할 수 있는 통신방식으로 꼽힌다. CAN은 높은 신뢰성을 가지며 분산 시스템을 지원하여 위성의 호환성을 높여준다. 따라서 시험이 용이해지고 짧은 기간에 고성능의 안정적인 위성 개발이 가능하게 된다. 본 논문에서는 모듈화 방식의 소형위성 개발 방안에 대해 제안하고, CAN을 데이터 버스로 적용하여 소형위성 내부 데이터 인터페이스 버스를 설계하고 시험을 통해 적합성을 분석하여 기술하였다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2018년도 춘계 학술논문 발표대회
• /
• pp.183-184
• /
• 2018

Recent construction projects have now regenerated the existing city rather than reconstruction or redevelopment to create a new paradigm. While the aged houses are reviewed to distinguish between the repair, reinforcement and reconstruction stages, the modular construction system makes the most of space using the modular system, and the projection mapping system is combined with the existing space. Therefore, we will proceed with the research so that improvement and correction of future issues can be made.

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

In this paper, a pair of ω-compatible self mappings in the setting of modular G-metric space is defined. We prove the existence and uniqueness of common fixed point of pairs of ω-compatible self mappings in a G-complete modular G-metric space. Furthermore, we give an example to justify our claims. The results established in this paper extend, improve, generalize and complement some existing results in literature.

• 대한임베디드공학회논문지
• /
• 제9권5호
• /
• pp.253-260
• /
• 2014

European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification reduces the space by integrating a system composed of many electronic devices into a computer. recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished.

• Kyungpook Mathematical Journal
• /
• 제55권2호
• /
• pp.313-326
• /
• 2015

In this paper, we present a fixed point method to prove generalized Hyers-Ulam stability of the systems of quadratic-cubic functional equations with constant coefficients in modular spaces.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제26권1호
• /
• pp.49-58
• /
• 2019

In this paper, I prove the stability problem for a quadratic-cubic functional equation $$f(x+ky)-k^2f(x+y)-k^2f(x-y)+f(x-ky)+f(kx)-{\frac{k^3-3k^2+4}{2}}f(x)+{\frac{k^3-k^2}{2}}f(-x)=0$$ in modular spaces by applying the direct method.

• Nonlinear Functional Analysis and Applications
• /
• 제27권3호
• /
• pp.641-648
• /
• 2022

Fixed point theory has been a flourishing area of mathematical research for decades, because of its many diverse applications. In this paper, we present a fixed point theorem for s - 𝜌-contractive type multi-valued mappings in modular spaces which will generalize some old results.

• Korean Journal of Mathematics
• /
• 제31권2호
• /
• pp.123-131
• /
• 2023

In this paper, we prove existence of best proximity points for 2-convex contraction, 2-sided contraction, and M-weakly cyclic 2-convex contraction mappings in the setting of complete strongly regular generalized modular metric spaces that generalize many results in the literature.

• Korean Journal of Mathematics
• /
• 제32권1호
• /
• pp.15-25
• /
• 2024

In this paper, we obtain common fixed point theorems for three mappings of contractive type in the setting of generalized modular metric spaces. Our results generalize many results available in the literature including common fixed point theorems.

• 대한수학회논문집
• /
• 제20권1호
• /
• pp.107-116
• /
• 2005

We show an algorithm to draw the famous picture of Kleinian modular group PSL(2, $\mathbb{Z}$), which appears in describing the moduli space of elliptic curves.