• The KIPS Transactions:PartB
• /
• v.13B no.5 s.108
• /
• pp.547-552
• /
• 2006

There have been various cohesion measurements studied considering reference relation among attributes and methods in a class. Generally, these cohesion measurement are camed out in one class. If the range of reference relation considered are extended from one class to two classes, we could find out the reference relation between two classes. Tn this paper, we proposed a neural network to determine the method location. Neural network is effective to predict output value from input data not to be included in training and generalize after training input and output pattern repeatedly. Learning vector is generated with 30-dimensional input vector and one target binary values of method location in a constraint that there are two classes which have less than or equal to 5 attributes and methods The result of the proposed neural network is about 95% in cross-validation and 88% in testing.

• Journal of The Korean Astronomical Society
• /
• v.38 no.2
• /
• pp.43-57
• /
• 2005

The authors have assembled a sample of 80 W UMa binary systems (42 W-subtype and 38 A-subtype) whose light curves have all been solved by means of the recent W-D code and combined with up-to-date radial velocity solutions. The absolute parameters (masses, radii and luminosities) have been derived (without any constraint on the physical parameters). The main results of this paper are: (1) the mass-luminosity relations for both W&A-subtypes. as well as for all W UMa contact binaries have been shown, (2) the mass-radius relations have been found for both subtypes, (3) some remarks on the evolution status have been presented.

• Proceedings of the KIEE Conference
• /
• 1991.11a
• /
• pp.201-204
• /
• 1991

In this paper the method of representing the document image by the quadtree data structure, and extracting each character seperately from the constructed quadtree are described. The document image is represented by a binary encoded quadtree and the segmentation is performed according to the information of each leaf node of the quadtree. Then, each character is extracted by the relation of positions of segments. This method enables to extract characters without examining every pixel in the image and the required storage of document image is decreased.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.37
• /
• pp.241-249
• /
• 1996

In this paper, a 0-1 integer programming model for solving vertical partitioning problem minimizing the number of disk accesses is formulated and a branch-and-bound method is used to solve the binary vertical partitioning problem. In relational databases, the number of disk accesses depends on the amount of data transferred from disk to main memory for processing the transactions. Vertical partitioning of the relation can often result in a decrease in the number of disk accesses, since not all attributes in a tuple are required by each transactions. The algorithm is illustrated with numerical examples and is shown to be computationally efficient. Numerical experiments reveal that the proposed method is more effective in reducing access costs than the existing algorithms.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.7-13
• /
• 2012

In this paper we consider pseudo-BCK/BCI-algebras. In particular, we consider properties of minimal elements ($x{\leq}a$ implies x = a) in terms of the binary relation $\leq$ which is reflexive and anti-symmetric along with several more complicated conditions. Some of the properties of minimal elements obtained bear resemblance to properties of B-algebras in case the algebraic operations $\ast$ and $\circ$ are identical, including the property $0{\circ}(0{\ast}a)$ = a. The condition $0{\ast}(0{\circ}x)=0{\circ}(0{\ast}x)=x$ all $x{\in}X$ defines the class of p-semisimple pseudo-BCK/BCI-algebras($0{\leq}x$ implies x = 0) as an interesting subclass whose further properties are also investigated below.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1017-1029
• /
• 2010

In this paper we obtain a very general theorem of $\rho$-compatibility for three multivalued mappings, one of them from the class $\mathfrak{B}$. More exactly, we show that given a G-convex space Y, two topological spaces X and Z, a (binary) relation $\rho$ on $2^Z$ and three mappings P : X $\multimap$ Z, Q : Y $\multimap$ Z and $T\;{\in}\;\mathfrak{B}$(Y,X) satisfying a set of conditions we can find ($\widetilde{x},\;\widetilde{y}$) ${\in}$ $X\;{\times}\;Y$ such that $\widetilde{x}\;{\in}\;T(\widetilde{y})$ and $P(\widetilde{x}){\rho}\;Q(\widetilde{y})$. Two particular cases of this general result will be then used to establish existence theorems for the solutions of some general equilibrium problems.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.306-306
• /
• 2011

Three dimensional(3D) topological insulators(TIs) of Bi binary alloys are characterized by a bulk energy gap with strong spin-orbit coupling and metallic surface states protected by time-reversal symmetry. It was reported that film forms of such materials were advantageous over bulk forms due to less defect density and better crystallinity. So far, the films have been prepared on several substrates including semiconductors and graphene. But, there were no studies on metal substrates. For electronic transport experiments and device applications, it is necessary to know epitaxial relation between TIs and metal electrodes. In this study, Atomically flat films of Bi2Se3 were grown on a Au(111) metal substrate by in-situ molecular beam epitaxy. Using home-built scanning tunneling microscope, we observed hexagonal atomic structures which corresponded to the outmost selenium atomic layer of Bi2Se3. Triangular-shaped defects known as Selenium vacancy were also found.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.4
• /
• pp.1059-1065
• /
• 1998

It is very crucial to make the phase holograms have the exact phase difference in the fabrication process. We have developed a fabrication criterion of obtaining the exact phase difference of the holograms by using the relation between the zeroth order intensity of diffected beam and the relative phsse difference of the fabricaated holograms. We have fabricated holograms having phaes of .pi. and .pi./2, respectively, and we could get multi-phase holograms by combining these two binary thase holograms.

• Journal of Astronomy and Space Sciences
• /
• v.9 no.1
• /
• pp.89-96
• /
• 1992

UBV observations of VV Cep were made in 1988-1992 as a part of the Ten-year Observing Program for Long Period Eclipsing Binary Stars(1982-1992) at Yonsei University Observatory. In addition to these the observations in the longer passbands in R and I are also made in the 1991-1992 season at the same observatory. Atmospheric extinction coefficinets determined by a comparison star 20 Cap for B and V each night have been deduced a linear relation, $K_B$=0.159+1.066kV. In this paper, light curves of this star in BVRI passbands for the 1991-1992 season only are presented. Two periodic light variations of both long-term and short-term are found as for 90 days and 20 days, respectively.

• Journal of Korean Institute of Industrial Engineers
• /
• v.14 no.2
• /
• pp.53-61
• /
• 1988

Games such as baseball, soccer are scheduled by a given game type such as tournament, league or their mixed form. The objective of this paper is to find an efficient game-scheduling method with respect to traveling distance, break-time and other conditions. In this paper we first present two models which minimize traveling distance. The first model that a match is played once each other is solved by a heuristic method. In the second model that a match is played more than once, teams are paired by a modified 0 - 1 programming, and the pairs are rearranged in order to generate a number of workable schedules. Then Expert Systems is applied to solve breake-time and other conditions. In order to represent expertise's knowledge effectively, we present a new design of knowledge-base and data-base, inference engine including many rules and meta-rules which controls the global system. In knowledge-base, binary relation among various attributes is used to ease not only knowledge acquisition but also system execution.