• Korean Journal of Mathematics
• /
• 제16권4호
• /
• pp.545-551
• /
• 2008

We investigate the multiple solutions for a parabolic boundary value problem with jumping nonlinearity crossing no eigenvalues. We show the existence of the unique solution of the parabolic problem with Dirichlet boundary condition and periodic condition when jumping nonlinearity does not cross eigenvalues of the Laplace operator $-{\Delta}$. We prove this result by investigating the Lipschitz constant of the inverse compact operator of $D_t-{\Delta}$ and applying the contraction mapping principle.

• East Asian mathematical journal
• /
• 제27권5호
• /
• pp.527-538
• /
• 2011

In this paper, we introduce a new iterative scheme for finding a common element of the set of an equilibrium problem, the set of fixed points of nonexpansive mapping and the set of solutions of the generalized variational inequality for ${\alpha}$-inverse strongly g-monotone mapping in a Hilbert space. Under suitable conditions, strong convergence theorems for approximating a common element of the above three sets are obtained.

• 한국컴퓨터정보학회논문지
• /
• 제17권7호
• /
• pp.87-95
• /
• 2012

본 논문에서는 3차원 공간상에 존재하는 많은 입력노드를 신속하게 연결하는 PTAS 3차원 스타이너 최소트리를 제안한다. 스타이너 최소트리문제는 비 다항 적 문제 영역에 속하며 적절한 휴리스틱을 도입했을 경우 다항 적 문제 영역에서 최단 길이의 해를 생성하는 최소신장트리 방법과 같은 여러 방법에 비해 우수한 성능을 보이나, 입력노드의 수가 클 경우 과도한 실행시간을 요구한다. 본 논문에서는 이 문제를 해결하기 위해 PTAS 기법을 도입한 방법을 제안한다. 3차원 공간상에 존재하는 70,000개의 입력 노드에 대한 실험에서, 본 논문에서 제안된 8개 공간 분할 PTAS 방법은, 순수 3차원 스타이너 최소트리방법에 비해 연결 길이는 0.81% 증가했으나, 실행시간은 86.88%의 단축되었다. 이는 제안된 방법이 시간적 제약이 비교적 큰 문제에서 공간상의 많은 노드들을 신속하게 연결하는 응용에 잘 적용될 수 있음을 나타낸다.

• 한국디지털건축인테리어학회논문집
• /
• 제11권3호
• /
• pp.53-59
• /
• 2011

In creative design, it is necessary to understand the characteristic of architectural design. In the world of design problem, a distinction can be made between those that are well-defined and those that are ill-defined. Well-defined problems are those for which the ends or goal, are already prescribed and apparent, their solution requires the provision of appropriate means. For ill-defined problems, on the other hand, both the ends and the means of solution are unknown at the outset of the problem solving exercise, at least in their entirety. Most of design problems is ill-defined, which is unknown at the beginning of the problem solving exercise. In order to solve the design problem, Designers take advantage of the search methods of problem space, such as global-search-methods(depth-first-methods, breath-first-methods), local-search-methods(generate and test, heuristics, hill-climbing, reasoning) and visual thinking, which is represented through sketching. Sketching is a real part of design reasoning and it does so through a special kind of visual imagery. Also in the design problem solving it have been an important means of problem exploration and solution generation. By sketching, they represent images held in the mind as well as makes graphic images which help generate mental images of entity that is being designed. The search methods of problem space and a visual thinking have been crucially considered in the architectural design. The purpose of this paper is to explore the property of design by means of the pre-existed-experiment data and literature research. The findings will help design the architectural design for more creative results.

• 한국과학교육학회지
• /
• 제13권1호
• /
• pp.31-47
• /
• 1993

This study was intended to find the characteristics of the middle school students' thinking processes and problem spaces when they solved the physics problems. Ten ninth grade students in Chon-Buk Do, Korea were participated in this study. The researcher investigated their thinking processes in solving 5 physics problems on electric circuit. "Thinking aloud" method was used as a research method. The students' thinking processes were recorded using an audio tape recorder and transfered into protocols. The protocols were analyzed by problem solving process coding system which was developed by Lee(1987) on the basis of Larkin's problem solving process model. The results are as follows : (1) On the average 2.85 items were solved among 5 test items, and only one person could solve all of the items correctly. (2) Problems were solved in sequence of understanding the problem, planning, carrying out the plan, and evaluating steps regardless of the problem difficulty. (3) In regard to the thinking process steps, there was no difference between the good solvers and the poor ones. But in the detail performance of problem solving, the former was different from the latter in respect with using the design of general solving procedure. (4) The basic problem spaces by the item analysis were divided into two classes. One was the problem space by using Qualitative approach in problem solving, and the other was one by using Quantitative approach. As novices in physics problem solving, most of the students used the problem space by using the Quantitative approach.

• 한국주거학회논문집
• /
• 제11권3호
• /
• pp.87-98
• /
• 2000

This study derives problems of external space utilization site from on-site observation and questionnaire survey in order to suggest solutions for the problems. The main results are follows. First, fences as visual boundaries of apartment site play some negative roles - separation of space and heterogeneity of circumstance. This study suggests green fences to cure this problem. Second, residents want to change space use - ground to be used as green space or space for relaxation in stead of parking lots, elevator hall as social space, and underground as bike parks or health centers. Third, rooftop space, used as empty space or machine storage space, should be designed to be utilized as relaxation space by making easy to enter and exit.

• 교육시설
• /
• 제17권6호
• /
• pp.23-30
• /
• 2010

Because the effort to solve space shortage in academic libraries has never been successful, the rapid development of digital technology is being considered as a panacea to revolutionize analog libraries and to open a new era for digital libraries. However, this technology is yet to be perfected. Even with the use of digital technology, we are currently still looking for more space to accommodate newly printed materials and at the same time store valuable resources that are seldomly used. In 1985, Harvard adopted the industrial high-density shelving system into their library. No other retrieving system has proven to be more successful as the Harvard model. Presently, more than 50 colleges have built over 70 high-density library storage facilities. Rice University Library Service Center (RLSC) can be examined as an example of the Harvard-model. This paper will focus on assessing the operating system and architectural requirements of the RLSC which may allow for a more efficient, economical, and fundamental resolution to the library space shortage problem.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권9호
• /
• pp.669-675
• /
• 2010

이른 시스템 개발 단계에서 요구사항 에러를 찾기 위해서는 시스템의 행위가 정형 언어로 표현되어야 하고, 도달성 분석이나 싸이클 탐색과 같은 분석 기술로 분석해야 한다. 하지만 이 기술들은 시스템의 상태 공간 순회를 기반으로 하기 때문에 시스템이 복잡해지면 상태 폭발 문제가 발생할 수 있다. 즉, 순회를 위한 메모리와 수행 시간이 큰 상태 공간 때문에 기하 급수적으로 증가한다. 본 논문에서는 병행 시스템에서 이러한 문제가 나타나는 원인을 지적하고 순회에 필요한 메모리를 줄이기 위해서 병행적 상태 공간을 합성하지 않고 순회한다. 또한 수행 시간을 줄이기 위해서 방문 기록을 최소한으로 유지하는 새로운 기술을 제시한다. 마지막으로 이 기법이 효과적임을 실험 결과를 통해 보인다.

• Journal of Astronomy and Space Sciences
• /
• 제37권1호
• /
• pp.1-9
• /
• 2020

Frozen orbit is an attractive option for orbital design owing to its characteristics (its argument of pericenter and eccentricity are kept constant on an average). Solar sails are attractive solutions for massive and expensive missions. However, the solar radiation pressure effect represents an additional force on the solar sail that may greatly affect its orbital behavior in the long run. Thus, this force must be included as a perturbation force in the dynamical model for more accuracy. This study shows the calculations of initial conditions for a lunar solar sail frozen orbit. The disturbing function of the problem was developed to include the lunar gravitational field that is characterized by uneven mass distribution, third body perturbation, and the effect of solar radiation. An averaging technique was used to reduce the dynamical problem to a long period system. Lagrange planetary equations were utilized to formulate the rate of change of the argument of pericenter and eccentricity. Using the reduced system, frozen orbits for the Moon sail orbiter were constructed. The resulting frozen orbits are shown by two 3Dsurface (semi-major, eccentricity, inclination) figures. To simplify the analysis, we showed inclination-eccentricity contours for different values of semi-major axis, argument of pericenter, and values of sail lightness number.

• Journal of Electrical Engineering and Technology
• /
• 제13권4호
• /
• pp.1724-1731
• /
• 2018

The conventional polynomial neural network (PNN) is a classical flexible neural structure and self-organizing network, however it is not free from the limitation of overfitting problem. In this study, we propose a space search-optimized polynomial neural network (ssPNN) structure to alleviate this problem. Ranking selection is realized by means of ranking selection-based performance index (RS_PI) which is combined with conventional performance index (PI) and coefficients based performance index (CPI) (viz. the sum of squared coefficient). Unlike the conventional PNN, L2-norm regularization method for estimating the polynomial coefficients is also used when designing the ssPNN. Furthermore, space search optimization (SSO) is exploited here to optimize the parameters of ssPNN (viz. the number of input variables, which variables will be selected as input variables, and the type of polynomial). Experimental results show that the proposed ranking selection-based polynomial neural network gives rise to better performance in comparison with the neuron fuzzy models reported in the literatures.