• 한국언어정보학회지:언어와정보
• /
• 제14권2호
• /
• pp.103-129
• /
• 2010

In this paper, I show that anaphora across speakers shows both dynamic and static sides. To capture them all formally, I will adopt semantics based on the assumption that variables range over individual concepts that connect epistemic alternatives. As information increases, a variable can take a different range of possible individual concepts. This is captured by the notion of virtual individual (= vi), a set of individual concepts which are indistinguishable in an information state. The use of a pronoun involves two information states, one for the antecedent, which is always part of the common ground, and the other for the pronoun. Information increase changes vis for variables in the common ground. A pronoun can be used felicitously if there is a unique virtual individual in the information state for the antecedent which does not split in two or more distinctive virtual individuals in the information state for the pronoun. The felicity condition for cross-speaker anaphora can be satisfied in declaratives involving modality, interrogatives and imperatives in a rather less demanding way, because in these cases the utterance does not necessarily require non-trivial personal information for proper use of a pronoun.

• 한국언어정보학회지:언어와정보
• /
• 제12권1호
• /
• pp.1-26
• /
• 2008

This paper proposes a dynamic approach to anaphoric resolution in conjunction phrases, in terms of Discourse Representation Theory. Unlike Kamp, van Genabith, and Reyle (forthcomming)'s analysis, it proposes two different types of discourse representation structures for conjunction phrases; one for coordinate phrases such as and conjunction phrases and the other one for subordination conjunction phrases such as when subordination phrases. Following Chung (1992), Chung (2004), every element is processed in the order of occurrence and conjunction operators in a non-sentence-initial position cause the ongoing DR to split in two with the same index. DRS conditions and accessibility are accordingly modified so that DRs for conjunction clauses can be accessible from DRs for main clauses.

• 한국기계가공학회지
• /
• 제17권4호
• /
• pp.64-69
• /
• 2018

This paper investigates the compressive deformation behavior of direct metal tooling (DMT), processing titanium alloy (Ti-6Al-4V) parts under high strain loading conditions. Split Hopkinson Pressure Bar (SHPB) experiments were performed to determine the flow stress and the coefficients of the Johnson-Cook model. This model is described as a function of strain, strain rate, and temperature. SHPB experiments were performed to characterize the deformation behavior of specimens made with 3D printers, using Ti-6Al-4V material under high temperature and dynamic loading.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2005년도 추계학술대회 논문집
• /
• pp.134-135
• /
• 2005

The responses of nanocrystalline aluminum powder of different grain sizes, prepared by ball milling and consolidated into bulk specimens by hot pressing, were determined under quasi-static and dynamic compression. The experiments demonstrated that the reduction in grain size resulted in several-fold increase in hardness and strength; the responses of nanocrystalline aluminum was found to be strain-rate dependent.

• Design & Manufacturing
• /
• 제2권2호
• /
• pp.1-5
• /
• 2008

Mechanical properties of the materials used for mold and industrial machinery under high strain rate loading conditions such as high impact loading are required to provide appropriate safety assessment to varying dynamically loaded mechanical structures. The Split Hopkinson Pressure Bar(SHPB) technique with a special experimental apparatus can be used to obtain the material behavior under high strain rate loading conditions. In this paper, the dynamic deformation behavior of a brass under high strain rate compressive loading conditions has been determined using the SHPB technique.

• 한국자동차공학회논문집
• /
• 제5권1호
• /
• pp.195-206
• /
• 1997

In this study, a simulation tool is developed in order to investigate non steadystate cornering performance of 4WD/4WS vehicles. The 4WD/4WS vehicles are modeled as a 8-th order dynamic system which includes complex non-linear vehicle dynamics and tire models. The vehicle models are constructed into a modulated simulation tool and are utilized for analyzing cornering performance such as combined braking and steering, cornering on the icy read and $\mu$-split braking, The whole analysis is done with the simulation tool which consists of a number of subsystems and offers graphic environment. Simulation results show that this tool is useful and cost-effective in the dynamic analysis of the combustion-engine vehicles as well as electrically driven vehicles.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1996년도 추계학술대회 논문집 학회본부
• /
• pp.359-362
• /
• 1996

This paper describes a development of traction control algorithm to investigate dynamic behavior of 2-motor driven electric vehicle. A electric vehicle is represented by a nonlinear seven degree of freedom including accelerations of wheels, longitudinal, lateral, and yaw motions. A nonlinear control algorithm is proposed in order to enhance the driveability of the electric vehicle with torque split control system. With the proposed control algorithm, numerical simulations are performed to analyze the dynamic behavior of the electric vehicle.

• 한국멀티미디어학회논문지
• /
• 제25권5호
• /
• pp.670-675
• /
• 2022

This study proposes an improved binarization method to improve image recognition rate. The research goal is to minimize the information loss that occurs during the binarization process, and to transform the object of the original image that cannot be determined through the transformation process into an image that can be judged. The proposed method uses a stepwise segmentation method of an image and divides blocks using prime numbers. Also, within one block, a trapezoidal type of fuzzy is applied. The fuzzy trapezoid is binarized by dividing the brightness histogram area into three parts according to the degree of membership. As a result of the experiment, information loss was minimized in general images. In addition, it was found that the converted binarized image expressed the object better than the original image in the special image in which the brightness region was tilted to one side.

• 융합신호처리학회논문지
• /
• 제10권4호
• /
• pp.267-273
• /
• 2009

본 논문은 WDR(Wide Dynamic Range)의 구현을 위한, 나눗셈기를 사용하지 않은 가변적 평균기의 설계에 관한 것이다. 이전에 제안하였던 평균기 [5]는 나눗셈기를 곱셈기로 대체함으로써 하드웨어의 복잡도 및 하드웨어 자원의 효율성을 향상시켰다. 하지만 기존에 제안한 구조는 가로와 세로의 길이를 측정하고, 사용자에 의해 Mode에 설정되어 있는 기본 영상의 크기와 정확히 일치할 경우에만 동작이 가능하다는 단점이 있었다. 본 논문은 이러한 기존 평균기의 단점을 보완하기 위하여, 영상의 전체 크기를 이용하여 Mode를 선택하도록 하였다. 또한 특정 크기의 영상에만 적용되는 것이 아니라 다양한 크기의 영상에 대해서도 적용 가능하도록 제안한다. 특히, 보다 정확한 평균값을 구하기 위하여 외부 보상 값을 추가하였다. Verilog-HDL을 이용하여 설계하였으며, 합성결과를 통해 Serial multiplier의 구조가 좀 더 하드웨어 크기와 자원의 효율성이 높은 것을 확인하였다.

• Composites Research
• /
• 제35권1호
• /
• pp.38-41
• /
• 2022

고 변형률 속도에서 폴리프로필렌-유리 장섬유 복합재료(PP-LGF)와 열가소성 올레핀(TPO) 소재의 동적 압축 특성을 얻기 위해 홉킨슨바(Split-Hopkinson Pressure Bar (SHPB))를 이용하여 실험을 진행하였다. SHPB는 변형률 속도 100 s^-1~10000 s^-1 범위에서 재료의 동적 기계적 물성을 확인할 수 있는 장치이다. SHPB 시험은 입력봉과 전달봉에서 측정된 탄성파를 이용하여 시편의 응력, 변형률 및 변형률 속도를 얻을 수 있는 탄성파 전달 이론을 기반으로 한다. 또한 SHPB에서 얻은 변형률 데이터의 검증을 위해 시편을 초고속카메라로 촬영하여 DIC 기법을 통해 얻은 변형률 데이터와 비교 진행하였다.