• Journal of Astronomy and Space Sciences
• /
• v.24 no.3
• /
• pp.197-202
• /
• 2007

We present infrared color-color diagrams of AGB stars from the observations at near and mid infrared bands. We compile the observations for hundreds of OH/IR stars and carbon stars using the data from the Midcourse Space Experiment (MSX), the two micron sky survey (2MASS), and the IRAS point source catalog (PSC). We compare the observations with the theoretical evolutionary tracks of AGB stars. From the new observational data base and the theoretical evolution tracks, we discuss the meaning of the infrared color-color diagrams at different wavelengths.

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 2006.09b
• /
• pp.836-837
• /
• 2006

A CCT diagram for Cr-Mo prealloyed sintered steels suitable for sinter hardening was established by combining dilatometry data, microstructural studies and microhardness measurements of the material. CCT diagrams deepen the understanding of material properties after sinter hardening and support the design of materials on an industrial scale by providing information about required cooling rates for successful sinter hardening of these materials.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.585-598
• /
• 2010

We deal with Matveev complexity of compact orientable 3-manifolds represented via Heegaard diagrams. This lead us to the definition of modified Heegaard complexity of Heegaard diagrams and of manifolds. We define a class of manifolds which are generalizations of Dunwoody manifolds, including cyclic branched coverings of two-bridge knots and links, torus knots, some pretzel knots, and some theta-graphs. Using modified Heegaard complexity, we obtain upper bounds for their Matveev complexity, which linearly depend on the order of the covering. Moreover, using homology arguments due to Matveev and Pervova we obtain lower bounds.

• ETRI Journal
• /
• v.10 no.3
• /
• pp.125-140
• /
• 1988

Computational geometry has wide applications in pattern recognition, image processing, VLSI design, and computer graphics. Voronoi diagrams in computational geometry possess many important properites which are related to other geometric structures of a set of point. In this pater the design of systolic algorithms for the static and the dynamic Voronoi diagrams is considered. The major motivation for developing the systolic architecture is for VLSI implementation. A new systematic transform technique for designing systolic arrays, in particular, for the problem in computational geometry has been proposed. Following this procedure, a type T systolic array architecture and associated systolic algorithms have been designed for constructing Voronoi diagrams. The functions of the cells in the array are also specified. The resulting systolic array achieves the maximal throughput with O(n) computational complexity.

• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

• Journal of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.1001-1015
• /
• 2011

In this article we study the problem to determine all occurring Betti diagrams of varieties $X{\subset}\mathbb{P}^r$ of almost minimal degree, i.e. deg(X) = codim(X; $\mathbb{P}^r$)+2. We describe a realistic picture of how many different kind of Betti diagrams exist at all (Theorem 3.1). By means of the computer algebra system "SINGULAR", we obtain a complete list of all occurring Betti diagrams in the cases where codim$(X,\mathbb{P}^r){\leq}8$.

• Kyungpook Mathematical Journal
• /
• v.51 no.2
• /
• pp.205-215
• /
• 2011

Given a knot diagram D, we construct a semi-threading circle of it which can be an axis of D as a closed braid depending on knot diagrams. In particular, we consider semi-threading circles of minimal diagrams of a knot with respect to overpasses which give us some information related to the braid index. By this notion, we try to give another proof of the fact that, for every nontrivial knot K, the braid index b(K) of K is not less than the minimum number l(K) of overpasses of diagrams. Also, they are the same for a torus knot.

• Korean Institute of Interior Design Journal
• /
• v.14 no.3 s.50
• /
• pp.28-35
• /
• 2005

This study is focused on the characteristics of organization types of activity diagrams for experimental residential design. Diagrams became one of the crucial design methods to rationally generate a definite spatial form that contains indefinite human activities In contemporary architecture. Particularly in residential design, activity diagrams based on the occupants' behavioral patterns have been critically important. 'Scientific Management in the Home' by mathematical calculation and the Archigram's 'Living 1990' equipped with innovative technologies are the representative examples in modern architecture. The study is focused on the experimental residential projects since 2000 and three main types of activity organization were discovered: 'Weaving through Circulation';'Flexible Space by Equipment' and 'Activity Selection by Open-Close System'. Two projects from each type are analyzed in detail to further develop the comparison study. The study is concluded that, although the architect's preconceived . philosophical background has an important role, activity organization should smoothly derive from the unique conditions of the project such as the characteristic of the occupant itself.

• Structural Engineering and Mechanics
• /
• v.39 no.2
• /
• pp.287-301
• /
• 2011

This paper is focused on the residual capacity of steel columns, as a damage criterion. Load-Impulse (P-I) diagrams are frequently used for analysis, design, or assessment of blast resistant structures. The residual load carrying capacity of a simply supported steel column was derived as a damage criterion based on a SDOF computational approach. Dimensionless P-I diagrams were generated numerically with this quantitative damage criterion. These numerical P-I diagrams were used to show that traditional constant ductility ratios adopted as damage criteria are not appropriate for either the design or damage assessment of blast resistant steel columns, and that the current approach could be a much more appropriate alternative.

• Journal of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.967-976
• /
• 2021

We obtain the list of prime knots with arc index 12 up to 16 crossings and their minimal grid diagrams. This is a continuation of the works [5] and [8] in which Cromwell matrices were generated to obtain minimal grid diagrams of all prime knots up to arc index 11. We provide minimal grid diagrams of the prime alternating knots with arc index 12. They are the 10 crossing prime alternating knots. The full list of 19,513 prime knots of arc index 12 up to 16 crossings and their minimal grid diagrams can be found in the arXiv [6].