• The Journal of Natural Sciences
• /
• v.8 no.2
• /
• pp.17-20
• /
• 1996

We show Equivariant Serre Problem in real algebraic category is true when dimension of the fiber is one i.e., we show an equivariant line bundle over a real representation space is isomorphic to a product bundle of a real representation space and some G-module.

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.691-700
• /
• 2004

Let X and Y be operators acting on a Hilbert space and let (equation omitted) be a subspace lattice of orthogonal projections on the space containing 0 and I. We investigate normal interpolation problems in Alg(equation omitted): Given operators X and Y acting on a Hilbert space, when does there exist a normal operator A in Alg(equation omitted) such that AX = Y?

• Journal of applied mathematics & informatics
• /
• v.40 no.3_4
• /
• pp.577-585
• /
• 2022

In this work, we introduced and study vector equilibrium problems for trifunction in measurable space (for short, VEPMS). The existence of solutions of (VEPMS) are obtained by employing Aumann theorem and Fan KKM lemma. As an application, we prove an existence result for vector variational inequality problem for measurable space. Our results in this paper are new which can be considered as significant extension of previously known results in the literature.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.480-485
• /
• 1993

A method for obtaining optimal orbital maneuvers of a space vehicle has been developed by combining feedback linearization method with the elegance of the Lambert's theorem. To obtain solutions to nonlinear orbital maneuver problems. The full nonlinear equations of motion for space vehicle in polar coordinate system are transformed exactly into a controllable linear set in Brunovsky canonical form by using feedback linearization by choosing position vector as fully observable output vector. These equations are used to pose a linear optimal tracking problem with a solutions to Lambert's problem and a linear analytical solution of continuous low thrust problem as reference trajectories.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.93-100
• /
• 2012

In this paper, we present a strongly convergent parallel projection algorithm by introducing some parameter sequences for convex feasibility problem. To prove the strong convergence in a simple way, we transmit the parallel algorithm in the original space to an alternating one in a newly constructed product space. Thus, the strong convergence of the parallel projection algorithm is derived with the help of the alternating one under some parametric controlling conditions.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.1019-1044
• /
• 2022

In this paper, we propose new algorithms for solving equilibrium and multivalued variational inequality problems in a real Hilbert space. The first algorithm for equilibrium problems uses only one approximate projection at each iteration to generate an iteration sequence converging strongly to a solution of the problem underlining the bifunction is pseudomonotone. On the basis of the proposed algorithm for the equilibrium problems, we introduce a new algorithm for solving multivalued variational inequality problems. Some fundamental experiments are given to illustrate our algorithms as well as to compare them with other algorithms.

• Korean Institute of Interior Design Journal
• /
• no.29
• /
• pp.145-152
• /
• 2001

Open education, which has been introduced spontaneous1y to many countries, has been giving some strong influence to the primary education in Korea and has been widely used in Korea itself. This report deals with the ineffectiveness of the learning space which has been divided into common classroom and particular classroom. The division of the learning space sets the problem of defining which is the particular of common subject, and the problem of a child to move around for different subject. For the architectural design of school, it is essential for learning space to be suitable for the characteristics of each subjects. The space needed for individual subjects requires tole learning space that is different to the space needed for basic academic subjects. The introduction of different corners in the classroom can be the solution. Individual corners can be divided into the necessary coner, the standard corner, the elective corner and the corner fur facilities.

• The Bulletin of The Korean Astronomical Society
• /
• v.35 no.1
• /
• pp.30.2-30.2
• /
• 2010

Numerous operational anomalies and satellite failures have been reported since the beginnings of the "space age". Space weather effects on modern spacecraft systems have been emphasized more and more as increasing their complexity and capability. Energetic particles potentially can destroy and degrade electronic components in satellites. We analyzed the geostationary (GEO) satellite anomalies during 1997-2009 to search possible influences of space weather on the satellite anomalies like power problem, control processor problem, attitude control problem, etc. For this we use particle data from GOES and LANL satellites to investigate space weather effects on the GEO satellites' anomalies depending on Kp index, local time, seasonal variation, and high-energy electron contribution. As results, we obtained following results: (1) there is a good correlation between geomagnetic index(Kp) and anomaly occurrences of the GEO satellite; (2) especially during the solar minimum, occurrence of the satellite anomalies are related to electron flux increase due to high speed solar wind; (3) satellite anomalies occurred more preferentially in the midnight and dawn sector than noon and dusk sector; (4) and the anomalies occurred twice more in Spring and Fall than Summer and Winter; (5) the electron with the lowest energy channel (50-75keV) has the highest correlation (cc=0.758) with the anomalies. High association between the anomalies and the low energy electrons could be understand by the facts that electron fluxes in the spring and fall are stronger than those in the summer and winter, and low-energy electron flux is more concentrated in the dawn sector where the GEO satellite anomalies occurred more frequently than high-energy electron flux. While we could not identify what cause such local time dependences, our results shows that low-energy electrons (~100keV) could be main source of the satellite anomaly, which should be carefully taken into account of operating satellites.

• Journal of Advanced Information Technology and Convergence
• /
• v.9 no.1
• /
• pp.77-87
• /
• 2019

The Butterfly model, which aims to solve contradiction problems, defines the type of contradiction for given problems and finds the problem-solving objectives and their strategies. Unlike the ARIZ algorithm in TRIZ, the Butterfly model is based on logical proposition, which helps to reduce trial and errors and quickly narrows the problem space for solutions. However, it is hard for problem solvers to define the right propositional relations in the previous Butterfly algorithm. In this research, we propose a contradiction solving algorithm which determines the right problem-solving strategy just with yes or no simple questions. Also, we implement the Butterfly Chatbot based on the proposed algorithm that provides visual and auditory information at the same time and help people solve the contradiction problems. The Butterfly Chatbot can solve contradictions effectively in a short period of time by eliminating arbitrary alternative choices and reducing the problem space.

• Journal of applied mathematics & informatics
• /
• v.26 no.1_2
• /
• pp.223-233
• /
• 2008

In this paper we give sufficient conditions for a point to be a solution of an optimization problem in complex space.