• 한국정밀공학회지
• /
• 제15권3호
• /
• pp.68-74
• /
• 1998

Performance and efficiency of deep seabed collector is a primary factor for feasibility of commercial deep ocean mining. The efficiency of manganese nodules collector depends on vehicle mobility relative to undulating seafloor and is attributed pickup head to keep altitude and elevation of it against seafloor. For this reason, motion control of pickup head relative to the changing deep-sea topography and other disturbances is of particular importance in design of pickup device. The concept of design axiom is applied to a pickup device of hybrid type in order to evaluate the concept design. Kinematic analysis conducted in absolute Cartesian coordinates gives position, velocity, and acceleration of the hydraulic cylinders which enable the pickup head to keep the preset optimal distance from seafloor. Inverse dynamic analysis provides the driving forces of hydraulic cylinders and the reaction forces at each joint. Design sensitivity analysis is performed in order to investigate the effects of possible design variables on the change of the maximum strokes of hydraulic cylinders. The direct differentiation method is used to obtain the design sensitivity coefficients.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권6호
• /
• pp.530-538
• /
• 2007

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

• 암석학회지
• /
• 제10권3호
• /
• pp.157-171
• /
• 2001

다검출기 유도결합 플라즈마 질량분석기(Multi-Collector Inductively Coupled Plasma Mass Spectrometer; MC/ICP/MS; AXIOM MC 모델)를 이용한 Pb동위원소 분석 시 고려 사항인 Pb/Ti 비율, Pb농도 영향, 기질 원소 영향을 살펴보고, NBS 981 용액을 2001년 3월부터 8월까지 42번 측정하여 정확도 및 재현성 을 검토하였다. 그리고 암석, 청동기 및 퇴적물 시료의 Pb 동위원소를 분석하여 열 이온화 질량분석기(TIMS) 자료와 비교하였다. NBS 981 Pb 200 ng으로 동위원소 비율을 측정하였을 때 $^{206}$ $Pb^{204}$ , $Pb^{207}$ //$Pb^{204}$ , $Pb^{208}$ $Pb^{204}$ Pb 비율은 약 500 ppm(2sd), $^{/}$$207^{206}$ Pb 및 $Pb^{208}$ $Pb^{206}$Pb 비율은 100~200 ppm(2sd)의 재현성을 얻을 수 있었다. Pb등위원소 분석의 정확도 및 재현성 측면에서 최적 조건은 1) Pb/Tl농도 비가 10 이고 2) Pb농도가 100 ng/ml 이상이며 3) 질량 분별 효과는 지수 법칙에 따라 보정하고 이 때 사용된 Tl의 동위원소 비율($^{205}$ $Tl^{203}$ Tl)은 2.3887이며 질량 분별 인자는 측정된 $208^{Pb}$ $^{206}$ 및 $Pb^{205}$ $Tl^{203}$ Tl 비율로부터 경험적으로 구해진 Pb의 인자를 이용하는 것이었다. 시료 중의 기질 원소들(matrix elements)에 의한 Pb 동위원소 비율의 영향은 없는 것으로 판단되며, TIMS와 비교된 시료들에 대하여 Pb 등위원소들은 측정 오차 범위 내에서 잘 일치하였다. 즉, MC/ICP/MS에 의한 Pb 동위원소 분석은 시료 전처리 단계를 줄여도 WS와 유사한 정밀도를 얻을 수 있어 신속한 분석방법이라 할 수 있다.다.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.135-158
• /
• 2012

The ideals of the rings of integers are used to induce rational number system as operators(=group homomorphisms). We modify this inducing method to be effective in teaching rational numbers in secondary school. Indeed, this modification provides a nice model for explaining the equality property to define addition and multiplication of rational numbers. Also this will give some explicit ideas for students to understand the concept of 'field' efficiently comparing with the integer number system.

• 한국지능시스템학회논문지
• /
• 제13권1호
• /
• pp.114-118
• /
• 2003

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 추계학술대회 및 정기총회
• /
• pp.67-70
• /
• 2002

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• 한국언어정보학회지:언어와정보
• /
• 제2권1호
• /
• pp.214-255
• /
• 1998

Close examination of previous constraints on bound anaphora that are designed to directly constrain the distribution of referentially dependent(RD) items shows that no universal structural relation may exist that relates RD items to their antecedents. As an alternative to these constraints, this paper proposes an axiom of semantic interpretation, called the Principle of Referential Autonomy, which dispenses with any pretheoretical notion of grammatical functions or configurational notion like c-command. Together with certain English-specific facts, this principle enables us to infer the ungrammaticality of core examples of strong and weak crossover.

• 충청수학회지
• /
• 제36권1호
• /
• pp.9-11
• /
• 2023

Intuitionistic Zermelo-Fraenkel (IZF) set theory is a set theory without the axiom of choice and the law of excluded middle (LEM). The weak excluded middle law (WEM) states that ¬𝜑∨¬¬𝜑 for any formula 𝜑. In IZF we show that LEM is equivalent to WEM plus the condition that any set not equal to the empty set has an element.

• 한국공간구조학회논문집
• /
• 제11권3호
• /
• pp.125-135
• /
• 2011

본 연구에서는 morphogenesis 기법의 L-system 모델을 사용하여 대공간 구조물의 형태 생성 방안을 제공하고자 한다. 이와 같은 L-system 모델은 일반적으로 식물의 성장 과정을 시각화하기 위해 적용되어 왔으나 본 연구는 이를 건축 분야에 적용하기 위한 프로세스가 제안된다. L-system 모텔은 크게 문자열 생성 단계와 문자열 분석 단계로 구성되어 있다. 문자열 생성 단계에서는 초기문자열로부터 최종 문자열을 생생하며, 문자열을 생성하기 위해서는 alphabet, axiom 및 rule에 대한 정의가 필요하다. 또한 문자열 해석 단계에서는 문자열의 의미 부여에 따라 다양하게 해석될 수 있다. 특히 다양한 적용 예제를 통해 대공간 구조물의 형태 생성 모델을 구현한다.

• 해양환경안전학회지
• /
• 제21권2호
• /
• pp.207-214
• /
• 2015

본 연구에서는 공리적 설계 방법론에서 중요한 2가지 공리 중 독립공리를 시스템 개발에서 설계 기준으로 적용하였다. 기능 요구사항과 대응하는 설계 파라메터는 설계행렬을 구성하고 이를 이용하여 독립공리에 부합하는 설계 파라메터의 순서를 정한 후 블록 레벨링 시스템에서의 독립적 구성요소를 판별하였다. 이러한 공리적 설계의 결과로서 설계 순서에 맞는 블록 레벨링 시스템 구성을 도출하였다. 도출된 블록 레벨링 시스템 구성의 검증과 확인을 위해 블록 조립 현장에서 사용하고 있는 3차원 좌표 측정기인 토털 스테이션을 사용하여 실제 조립이 완료된 블록에 대하여 구현된 블록 레벨링 시스템을 적용하여 데이터를 비교하는 시험을 수행하였다. 토털 스테이션의 측정 데이터와 블록 레벨링 시스템의 수신 데이터를 비교하여 1 mm 이내의 정밀도로 블록 레벨링 시스템이 동작함을 검증하고 확인하였다.