• Nonlinear Functional Analysis and Applications
• /
• v.29 no.1
• /
• pp.209-224
• /
• 2024

The goal of this study is to instigate various new and novel optimum proximity point theorems using the notion of implicit relation type ℶ-proximal contraction for non-self mappings. An illustrated example is used to demonstrate the validity of the obtained results. Furthermore, some uniqueness results for proximal contractions are also furnished with partial order and graph. Various well-known discoveries in the present state-of-the-art are enhanced, extended, unified, and generalized by our findings. As an application, we generate some fixed point results fulfilling a modified contraction and a graph contraction, using the profundity of the established results.

• Korean Institute of Interior Design Journal
• /
• v.18 no.4
• /
• pp.97-104
• /
• 2009

This thesis analyzed arrangement and mixture method of function elements, which are getting more important in museum planning. It used quantitative method, Space Syntax and Visibility Graph Analysis tool to analyze five case museums. Through this analysis, advantages and disadvantages of two methods were derived and case museums' arrangement and mixture attributes were grasped. Results of the analysis were derived differently by two kinds of plan form which were room to room type and open type. Open typed museum recorded similar graphs of Integration, Visual Integration and Visual Connectivity. Since whole space structures were relatively simple and structure of exhibition halls were opened, the results of Space Syntax and Visibility Graph Analysis had similar graphs. Room to room typed museum showed differences in Integration, Visual Integration and Visual Connectivity. In the result, the most accessible space was lobby and Mediation Space became the center of visibility. Also, the exhibition hall, where the opening of room to room typed exhibition hall was penetrated visually, became a center of visibility. Lobby space, which was close to entrance, had the highest Visibility Connectivity. As Space Syntax could analyze the museum as whole space structure, Space Syntax showed strength in room to room typed museum analysis compared to open typed museum analysis which has relatively simple structure. Visibility Graph Analysis could expect the flow of exhibit distance including visibility analysis unlike the flow of exhibit distance with space arrangement. The exhibition hall, which secures the sight to penetration of an opening, couldn't be analyzed in existing Space Syntax. However, it became the biggest advantages in Visibility Graph Analysis of room to room typed museum. Visibility Graph Analysis derived detailed results in exhibit arrangement so it will be the useful method not only for architecture but also for planning of exhibit arrangement in open typed museum. Through this study, various possibilities on Quantitative Analysis Method of Museum Architecture could be verified. However, the analysis still has limitation of second dimension. Therefore, diverse and liberal following study will be expected to accomplish.

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.757-774
• /
• 2022

Let a and b be positive even integers. An even [a, b]-factor of a graph G is a spanning subgraph H such that for every vertex v ∈ V (G), d_H(v) is even and a ≤ dH(v) ≤ b. Let κ(G) be the minimum size of a vertex set S such that G - S is disconnected or one vertex, and let σ₂(G) = min_uv∉E(G) (d(u)+d(v)). In 2005, Matsuda proved an Ore-type condition for an n-vertex graph satisfying certain properties to guarantee the existence of an even [2, b]-factor. In this paper, we prove that for an even positive integer b with b ≥ 6, if G is an n-vertex graph such that n ≥ b + 5, κ(G) ≥ 4, and σ₂(G) ≥ ${\frac{8n}{b+4}}$, then G contains an even [4, b]-factor; each condition on n, κ(G), and σ₂(G) is sharp.

• Journal of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.959-986
• /
• 2023

Zhai and Lin recently proved that if G is an n-vertex connected 𝜃(1, 2, r + 1)-free graph, then for odd r and n ⩾ 10r, or for even r and n ⩾ 7r, one has ${\rho}(G){\leq}{\sqrt{{\lfloor}{\frac{n^2}{4}}{\rfloor}}}$, and equality holds if and only if G is $K_{{\lceil}{\frac{n}{2}}{\rceil},{\lfloor}{\frac{n}{2}}{\rfloor}}$. In this paper, for large enough n, we prove a sharp upper bound for the spectral radius in an n-vertex H-free non-bipartite graph, where H is 𝜃(1, 2, 3) or 𝜃(1, 2, 4), and we characterize all the extremal graphs. Furthermore, for n ⩾ 137, we determine the maximum number of edges in an n-vertex 𝜃(1, 2, 4)-free non-bipartite graph and characterize the unique extremal graph.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.1
• /
• pp.175-182
• /
• 2013

The digitalization of sea level measurement recording which is recorded as analog type is useful for many related oceanology. In this paper, we propose a method which separates the graph area from a sea level measurement recording image. At first, a pixel that is regarded as the pixel which is included in the graph area is selected. Then, many background pixels are separated using the color of the selected pixel. In each vertical line, a pixel is determined as the pixel within the graph area and the graph area is separated from the image using that pixels. Experimental results show that the proposed method in this paper overcome drawbacks of the previous research and can separate the graph area which similar to the graph area of the original image.

• The KIPS Transactions:PartD
• /
• v.9D no.3
• /
• pp.337-344
• /
• 2002

Recently, there has been a lot of research on graph-type data because it can model seamless the application domains such as GIS, network, WWW, multimedia presentations etc., and domain in which the data sequence is important. In this paper, an efficient code system, called node code system, is proposed to evaluate paths of DAG in a multimedia presentation graph. The node code system assigns a unique binary string to each node of a graph. The comparison of node codes of two nodes tells the connectivity between the nodes without actual traversal of a graph. The method using the property of the node code system allows us to construct the paths between two nodes more efficiently than the method using conventional graph traversals. The algorithms to construct paths using the node code system are provided.

• Journal of The Korean Association For Science Education
• /
• v.39 no.5
• /
• pp.655-668
• /
• 2019

In this study, we investigated the middle school students' processes of scientific graph construction from the perspective of the problem solving process. Ten 9th graders participated in this study. They constructed a scientific graph based on pictorial data depicting precipitation reaction. The think-aloud method was used in order to investigate their thinking processes deeply. Their activities were videotaped, and semi-structured interviews were also conducted. The analysis of the results revealed that their processes of scientific graph construction could be classified into four types according to the problem solving strategy and the level of representations utilized. Students using the structural strategy succeeded in constructing scientific graph regardless of the level of representation utilized, by analyzing the data and identifying the trend based on the propositional knowledge about the target concept of the graph. Students of random strategy-higher order representation type were able to succeed in constructing scientific graph by systematically analyzing the characteristics of the data using various representations, and considering the meaning of the graph constructed in terms of the scientific context. On the other hand, students of random strategy-lower order representation type failed to construct correct scientific graph by constructing graph in a way of simply connecting points, and checking the processes of graph construction only without considering the scientific context. On the bases of the results, effective methods for improving students' ability to construct scientific graphs are discussed.

• The Journal of Information Systems
• /
• v.5
• /
• pp.149-173
• /
• 1996

This paper focus on the development of object-oriented model bases for Structured Modeling. For the model base organization, object modeling techniques and model typing concept which is similar to data typing concept are used. Structured modeling formalizes the notion of a definitional system as a way of dscribing models. From the object-oriented concept, a structured model can be represented as follows. Each group of similar elements(genus) is represented by a composite class. Other type of genera can be represented in a similar manner. This hierarchical class composition gives rise to an acyclic class-composition graph which corresponds with the genus graph of structured model. Nodes in this graph are instantiated to represent the elemental graph for a specific model. Taking this class composition process one step further, we aggregate the classes into higher-level composite classes which would correspond to the structured modeling notion of a module. Finally, the model itself is then represented by a composite class having attributes each of whose domain is a composite class representing one of the modules. The resulting class-composition graph represent the modular tree of the structured.

• Korean Institute of Interior Design Journal
• /
• v.23 no.2
• /
• pp.166-173
• /
• 2014

This study analyzed visual-perceptual centrality as a measure to solve the confusion that might occur in visitor's movement in analyzing contemporary museums that have recently expand. Also, this study proposed a new methodology to understand the relationships of the occurrence and convergence of visual-perceptual power. The existing visibility graph analysis mostly ends up in identifying nodes corresponding to the physical environment of museums while the newly proposed visibility graph analysis is a methodology that can analyze the landmark on which the visual-perceptual power occurs and converges, by setting visible space elements as analysis variables, which showed a possibility to draw more reliable results in parallel to the existing analysis, and the results of this analysis are as follows. A public museum located in downtown has a limitation that it cannot but be multi-layered as a way to enlarge for the accommodation of a variety of programs on a limited site. Also, this study found that the problem of visitor orientation occurring in the multi-layer process was solved by a major space which was visual-perceptually void. Also, its types can be summarized into two types: One is setting parameter spaces (ramps, staircases, hallways) linked visual-perceptually to the major space and the other is solving the confusion of the visitor's movement by composing a simple exhibition space. In particular, it is judged that the type solving the confusion of the visitor's movement by composing a simple exhibition space also had a relationship with changes in the characteristics of the exhibited works by period. In addition, it was found that the entrance also appeared in two types: dependent type and independent type in the major space according to the characteristics of the major space.

• East Asian mathematical journal
• /
• v.26 no.3
• /
• pp.423-427
• /
• 2010

In this paper, we give an upper bound for dominations of Steinhaus graphs, and the domination numbers of the bipartite Steinhaus graphs. Also, we give an upper bound for Nordhaus-Gaddum type result for the bipartite Steinhaus graphs.