• 대한수학회지
• /
• 제54권3호
• /
• pp.1049-1061
• /
• 2017

The paper presents a characterization of stable random measures, giving a canonical form of their Laplace transform. Domain of attraction of stable random measures is concerned in a theorem showing that a random measure belongs to domain of attraction of any stable random measures if and only if it varies regularly at infinity.

• 경영과학
• /
• 제12권1호
• /
• pp.19-34
• /
• 1995

The objective of this paper is to present a framework for an expert system for fault diagnosis in an FMS (Flexible Manufacturing Systyem). First, a system is analyzed structurally and functionally, giving the relationships between the system's components. These relationships, represented by strata, are are then stored in a deep knowledge base (DKB). Next, the specific knowledge, represented by echelons, about the symptoms and their probable causes for each component is stored in a shallow knowledge base (SKB) in the form of rule. When the fault diagnosis process begins, it starts to search the DKB and then the SKB, which is called hybrid reasoning in artificial intelligence.

• Journal of applied mathematics & informatics
• /
• 제28권3_4호
• /
• pp.663-677
• /
• 2010

In this paper, the generalized SOR-like methods are presented for solving the saddle point problems. Based on the SOR-like methods, we introduce the uncertain parameters and the preconditioned matrixes in the splitting form of the coefficient matrix. The necessary and sufficient conditions for guaranteeing its convergence are derived by giving the restrictions imposed on the parameters. Finally, numerical experiments show that this methods are more effective by choosing the proper values of parameters.

• 한국공간구조학회논문집
• /
• 제12권1호
• /
• pp.77-85
• /
• 2012

막 구조물은 연성의 막에 초기 장력을 주고 외관의 강성을 늘림으로써 외부하중에 안정된 형태를 유지하는 구조물로 두께를 얇게 하여 대공간 구조에 많이 채택된다. 이러한 막 구조는 자유로운 곡선을 표현할 수 있는 특성이 있어, 구조적 형태의 선정은 매우 중요하다. 이에 본 논문에서는 넙스를 기저함수로 하는 비정형 곡면으로 형상을 표현하고, 최적의 곡면 형상 탐색을 위한 대변형 결과값 도출을 위해 기하학적 비선형을 고려한 유한요소해석법을 제안하였다. 또한, 형상 탐색 결과로 나타난 곡면의 형상 근사화의 최소화를 위해 유한 요소망으로 표현된 최종 형상을 다시 넙스로 구현하는 인터페이스 기법을 제안하여, 비정형 막 구조물의 최적 곡면을 표현하였다.

• 디자인학연구
• /
• 제13권3호
• /
• pp.39-48
• /
• 2000

본 연구는 제품 디자인 프로세스중 아이디어나 디자인의 가능성에 대하여 탐색하는 부분을 중심으로 디자인 목표가 명확하게 정해지지 않은 상황하에서 1. 시각적으로 형태발상 지원시스템을 구축하여 디자이너에게 형태발상 능력의 한계를 극복할 수 있도록 지원하고, 2. 또한 사용자 참여적 형태발상 시스템으로서 웹 상에서 사용자들의 요구에 실시간으로 다이나믹하게 이미지를 생성해주고 사용자들의 선호도를 분석하여 선호도가 높은 이미지에 대한 정보를 디자이너에게 제공하는 즉 디자이너가 사용자들의 의견을 수렴할 수 있도록 하고, 3. 선호도가 낮은 이미지들은 누락시키고 지속적으로 새로운 이미지 조합을 업데이트하여 사용자의 형태 및 칼라에 대한 선호추세를 파악하여 미래에 선호될 수 있는 칼라와 이미지를 생성할 수 있도록 하였다. 이는 제품 디자인 개발 프로세스 중 아이디어발상 또는 형태 발상 지원에 대한 한 방식으로 그 효과가 있으리라 기대된다.

• 건축역사연구
• /
• 제2권2호
• /
• pp.89-106
• /
• 1993

Wherever Buddhism has flourished, there were stupas in the form of monuments which have their origin in the tumulm of prehistoric times. After the death of Buddha, his body was cremated following the Indian funeral custom. His ashes, which long reserved for the remains of nobles and holymen, were enshrined under such artificial hills of earth and brick. The Stupa was in origin a simple burial-mound. The form of the burial-mound was a symbolical or magic reconstruction of the imagined shape of the sky, like a dome covering the earth. The domical form of the earliest tumuli may have been concious replicas of the shape of the Vedic hut. There are relationships which may have originally existed between the stupa and West Asiatic monuments. Buddhist Stupa originally cosisted of an almost hemispherical tumulus(anda) and an altar-like structure (harmika) on its top, surmounted by one or several superimposed honorific umbrellas (hti, catta). This hemispherical form is associated with centralisation, lunar worship, mother earth, and Siva. Anda means a symbol of latent creative power, the harmika symbolizes the sanctuary enthroned aboved the world. The honorific umbrella, as an abstract imitation of the shade-giving tree is one of the chief solar symbols and that of enlightenment.

• 한국영어학회지:영어학
• /
• 제1권2호
• /
• pp.211-225
• /
• 2001

The prepositional object (PO) of an active sentence in English can sometimes be passivized, becoming the subject of the corresponding passive sentence. In particular, the verb (V) and preposition (P) in the English prepositional passive (P-Passive) are assumed to be reanalyzed to form a single structural unit, giving the status of a verbal object to the PO to be passivized. However, not every V+P sequence can undergo reanalysis, permitting the passivization of POs. Thus, we have to explain what licenses the reanalysis of V and p. resulting in an acceptable P-Passive sentence. In this paper, I will identify the factors which determine the passivization possibilities of POs and explain how they interact with one another. The results of this study will illustrate how formal and functional factors work together to form a major syntactic construction and to determine its grammaticality and acceptability.

• 제어로봇시스템학회논문지
• /
• 제9권12호
• /
• pp.1026-1032
• /
• 2003

A biped walking robot which is developed as a platform for researching walking algorithm is briefly introduced. The developed walking robot has 6 degrees of freedom per one leg. The origins of the last three axis do not intersect at a point, so the kinematic analysis is cubmersome with the conventional method. In the former version of the robot, Jacobian-based inverse kinematics method is used. However, the Jacobian-based inverse kinematics method has drawbacks for the application in which knee is fully extended such as stair-case walking. The reason far that is the Jacobian becomes ill-conditioned near the singular points and the method is not able to give adequate solutions. So, a method for giving a closed-form inverse kinematics solution is proposed. The proposed method is based on careful consideration of the kinematic structure of the biped walking robot.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 춘계학술대회 논문집
• /
• pp.165-175
• /
• 2003

Railway route maps including subways is a guide map which offers transport information as well as cartographic diagrams and is not only a way of communication, but it should give also concrete image and pleasing form. The elements of route map should meet satisfaction requirement condition and design attributes with aesthetic principles. To guide passengers by giving geographic information effectively, we need to understanding the following concepts and its application of basic elements such as expressing its structure and value. Therefore it should appear as a diagram with typography, form, symbols and colour. This means the aim of a good visualization should be done by a method that is concrete and a synthesis of well composed elements.

• 노동경제논집
• /
• 제26권3호
• /
• pp.181-207
• /
• 2003

본 연구는 노동시장 이행을 중점적으로 분석할 수 있는 한국노동패널(KLIPS) 자료를 이용하여 출산 후 노동시장으로의 복귀를 결정하는 요인을 콕스 비례재해를 모형(Cox Regression Hazard Model)으로 분석한 연구이다. 분석 결과 출산 후 노동시장으로의 복귀를 결정하는 데 있어 학력이라는 인적자본이 정(+)의 효과가 뚜렷이 나타났으며, 자녀보육 대행자가 있는가의 여부에 따라 출산 후 노동시장으로 복귀할 이행률이 2배 이상 차이가 나는 것으로 밝혀졌다. 또한 출산 전 취업 형태가 임금근로일 경우 노동시장 복귀로의 이행률이 비임금근로자보다 낮은 것으로 나타났다.