• Honam Mathematical Journal
• /
• v.31 no.4
• /
• pp.559-578
• /
• 2009

In this work, we obtain intersection theorem, analytic alternative and von Neumann type minimax theorem in G-convex spaces. We also generalize Ky Fan minimax inequality to acyclic versions in G-convex spaces. The result is applied to formulate acyclic versions of other minimax results, a theorem of systems of inequalities and analytic alternative.

• Journal for History of Mathematics
• /
• v.15 no.2
• /
• pp.161-168
• /
• 2002

We show that if the Stone-Cech compactification of $\textit{AX}$ and the minimal basically disconnected cove. of $\beta$Χ we homeomorphic and every real $\sigma$$Z(X)^#$-ultrafilter on X has the countable intersection property, then there is a covering map from $\nu$(ΛΧ) to $\nu$Χ and every real $\sigma$$Z(X)^#$-ultrafilter on Χ has the countable intersection property if and only if there is a homeomorphism from the Hewitt realcompactification of ΛΧ to the minimal basically disconnected space of $\nu$Χ.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.203-209
• /
• 2014

We assume that the existence and termination conjecture for flips holds. A complex projective manifold is said to be of almost general type if the intersection number of the canonical divisor with every very general curve is strictly positive. Let f be an algebraic fiber space from X to Y. Then the manifold X is of almost general type if every very general fiber F and the base space Y of f are of almost general type.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2003.10a
• /
• pp.211-218
• /
• 2003

The purpose of this study is to analyze the interior orientation, relative orientation, absolute orientation, space intersection, space resection, computing the orientation parameter, 3-dimensional coordinates by using the EXCE for educational purpose.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.2D
• /
• pp.121-127
• /
• 2012

One of the traffic problems has been caused by the illegal parking because of the lack of parking space. Especially, the illegal occupancy of the road near an intersection makes an serious reduction of road capacity. The current illegal parking and stop-prohibited areas have been designated for less than 5 meters from the edge or the corner of the 4-leg intersection. However, in reality, the cars parked at the place over 5 meters have had a significant impact on the intersection traffic. In addition, many variables such as intersection type, size, and service levels should be considered as factors which influence on the traffic condition at the intersection. It was assumed that through and right-turn traffic rate have a significant impact on the 4-leg intersection with the illegal parking or stop near it. This study tried to verify the impact through the simulation implementation with MOE and LOS. It shows a guideline to designate the parking or stop-prohibited area near the 4-leg intersection under various traffic conditions.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.3 no.2
• /
• pp.39-47
• /
• 1985

This study analyzes space resection and space intersection for terrestrial convergent photos taken on the straight line and the circular line by collinearity condition. The purpose is to investigate the properties of convergent case, and to suggest the optimum angle of convergence. Accuracies at convergent angles less than 20$^\circ$ are lower than those in normal photos, but by changing from 20$^\circ$to 90$^\circ$ the accuracy is improving with the highest at 90$^\circ$ convergence. Also, convergent photos on circular line is far higher than those on straight line in accuracies of results, therefore it is expected to apply this results effectively for precise analysis of various facilities.

• Journal of the Korean Institute of Educational Facilities
• /
• v.14 no.3
• /
• pp.27-35
• /
• 2007

The purpose of this research is to analyzing the welfare function of the senior citizen with similar type of compounding the school facility, to analyze the problematical point of present condition. And also propose the spatial constitution which the student and the regional senior citizen are easy to utilize on the basis of the result. In a type of educational facility composition, it became clear that a ratio and the inflection order that elderly welfare facilities occupied of vacant class room were low. In other words, in composition of a school facilities, elderly welfare facilities can be said to be an important problem. As a result of having analyzed an existing compound facilities, there was limited interchange of student and a the aged. In addition, there were problems such as learning environment by an intersection of circulation. Therefore, composition of educational facility and elderly welfare facilities is not space composition that is intersection of simple specification function. In other words, a program of the common space which is necessary for the local community formation is necessary. Setting of semi-public area proposes the function of the existing facility and actual condition of spatial use in prerequisite.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.25-36
• /
• 2013

By using some existence theorems of maximal elements for a family of set-valued mappings involving a better admissible set-valued mapping under noncompact setting of FC-spaces, we present some non-empty intersection theorems for a family $\{G_i\}_{i{\in}I}$ in product FC-spaces. Then, as applications, some new existence theorems of equilibrium for a system of generalized vector equilibrium problems are proved in product FC-spaces. Our results improve and generalize some recent results.

• Korean Journal of Computational Design and Engineering
• /
• v.4 no.1
• /
• pp.43-51
• /
• 1999

Producing the relevant information (features) from the CAD models of CAM, called feature recognition or extraction, is the essential stage for the integration of CAD and CAM. Most feature recognition methods, however, have problems in the recognition of intersecting features because they do not handle the intersection geometry properly. In this paper, we propose a machining feature recognition algorithm, which has a solid model consisting of orthogonal primitives as input. The algorithm calculates candidate features and constitutes the Intersection Geometry Matrix which is necessary to represent the spatial relation of candidate features. Finally, it recognizes machining features from the proposed candidate features dividing and growing systems using half space and Boolean operation. The algorithm has the following characteristics: Though the geometry of part is complex due to the intersections of design primitives, it can recognize the necessary machining features. In addition, it creates the Maximal Feature Volumes independent of the machining sequences at the feature recognition stage so that it can easily accommodate the change of decision criteria of machining orders.

• Journal of information and communication convergence engineering
• /
• v.1 no.2
• /
• pp.82-87
• /
• 2003

We are able to work on the shared virtual space in Web-based Collaborative Design System using only Internet and Web browser. Then the users will share 3D objects and must be able to pick the objects effectively which they want to manipulate. In this paper, picking is implemented not only by computing intersection of mouse pointer with the objects of the virtual world, but also by using capabilities and attributes of scene graph node, by setting bounds intersection testing instead of geometric intersection testing, by limiting the scope of the pick testing, using Java 3D. These methods can reduce the computation of picking and can pick 3D objects effectively and easily using the system of hierarchy.