• 한국언어정보학회지:언어와정보
• /
• 제18권2호
• /
• pp.123-140
• /
• 2014

The aim of this paper is twofold: to identify two types of even if concessive conditionals, standing-ifs and introduced-ifs (Bennett 1982) in terms of whether the truth of the consequent is 'entailed' (the consequent-entailment problem in terms of Lycan 2001); and to analyze these two types of concessive conditionals in a compositional way. Here we argue that, following Guerzoni and Lim (2007), even if conditionals can be analyzed as the cases where even gets its focus in conditionals. We also argue that the consequent-entailment problem can be accounted for in a compositional way if we identify the focus as well as the scope of even in conditionals correctly. We further argue that the analysis presented in this paper supports the scope theory of even, among two theories of even previously proposed in various works. We also consider the possibility where concessive conditionals without even can be analyzed as an extension of the analysis proposed in this paper.

• Journal of Korean Dental Science
• /
• 제13권1호
• /
• pp.21-27
• /
• 2020

Purpose: The aim of this study was to investigate the types and frequency of the various incidental findings (IFs) on magnetic resonance images (MRI) taken from the patients with temporomandibular disorder (TMD) symptoms. Materials and Methods: Temporomandibular joint (TMJ) MRI taken from 1,013 patients with TMD symptoms were evaluated retrospectively. IF was defined as imaging features that were accidentally or unexpectedly found, rather than degenerative bony changes of TMJ complex or disc derangement. They were classified into two groups as TMJ site-specific findings and unexpected findings at other regions. The frequency of the sub groups was analyzed. Result: A total of 26 (2.57%) cases with IFs were classified into 13 cases with TMJ site-specific findings and 13 cases with unexpected findings at other region. TMJ site-specific findings included synovial chondromatosis in 6 cases, synovial cyst in 6 cases and osteochondroma in one case. Unexpected findings included salivary gland tumor in 3 cases, developmental cyst in 3 cases, vascular malformation in 2 cases, mastoiditis in 4 cases and sialadenitis on parotid gland in one case. Conclusion: When diagnosing TMD through TMJ MRI, clinicians should carefully read the image, considering the possibility of IFs because TMJ MRI can provide pathologic information in TMJ region and other oral and maxillofacial region.

• 생명과학회지
• /
• 제21권11호
• /
• pp.1526-1531
• /
• 2011

신경세포의 연접후 위치에서 단백질합성은 국소적 연접가소성의 조절에 중요한 역할을 한다. 본 연구에서는 연접후 위치에 eIF들이 존재하는지를 배양한 흰쥐해마신경세포의 면역세포화학적 염색과 immunoblot, 그리고 세제세척실험으로 알아보았다. 단백질해석 시작단계의 초기에 중요한 역할을 하는 eIF4E와 eIF4G, 개시코돈을 찾는 단계에서 중요한 eIF5, 외부자극에 의하여 합성을 시작하게 하는 eIF6, 그리고 불리한 환경에서 해석의 효율을 높여주는 eIF5A 들은 모두 해마신경세포의 연접후에 위치함을 배양한 해마신경세포를 다중초점형광현미경으로 관찰할 수 있었다. 또한 Immunoblot 실험에서도 이들은 연접후치밀질(PSD) 분획에서 검출되었으며, 여러 가지 세제에 의하여 PSD로부터 잘 떨어지지 않는 것으로 보아 PSD와 강하게 결합하고 있음을 알 수 있었다. 본 연구결과는 여러 가지 eIF들이 연접후에 위치하여 다양한 상황에서 단백질합성을 시작하게 할 수 있음을 시사한다.

• 한국지능시스템학회논문지
• /
• 제17권3호
• /
• pp.322-327
• /
• 2007

심리학 분야의 연구자들은 Electroencephalographic(EEG)을 오래전부터 인간 두뇌의 활동을 측정 기록하는데 사용하였다. 과학이 발달함에 따라 점차적으로 인간의 두뇌에서 감정을 조절하는 기본적인 영역들이 밝혀지고 있다. 그래서 인간의 감정을 조절하는 인간의 두뇌 활동 영역들을 EEG를 이용하여 측정하였다. 손짓이나 고개의 움직임은 사람들 사이에 대화를 위한 인간의 몸 언어로 사용된다. 그리고 그것들의 인식은 컴퓨터와 인간 사이에 유용한 회화수단으로 매우 중요하다. 몸짓에 관한 연구들은 주로 영상을 통한 인식 방법이 주를 이루고 있다. 많은 연구자들의 기존 연구에서는 생체신호나 몸짓중 한 가지만을 이용하여 감정인식 방법 연구를 하였다. 본 논문에서는 EEG 신호와 몸짓을 같이 사용해서 사람의 감정을 인식하였다. 그리고 인식의 대상자를 운전자라는 특정 대상자를 설정하고 실험을 하였다. 실험 결과 생체신호와 몸짓을 같이 사용한 실점의 인식률이 둘 중 한 가지만을 사용한 것보다 높은 인식률을 보였다. 생체신호와 몸짓들의 특징 신호들은 강화학습의 개념을 이용한 IFS(Interactive Feature Selection)를 이용하여 특징 선택을 하였다.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.111-117
• /
• 2018

영상탐색기가 적용된 유도무기체계의 경우 영상 추적 성능이 체계 성능에 큰 영향을 미치기 때문에 유도탄 비행 중 강인한 영상 추적 성능을 확보하는 것이 필수적이다. 유도탄의 실사격 비행시험이 실제 영상 추적 성능을 확인하기 위한 가장 확실한 방법이나, 실사격 시험만으로 영상 추적기법을 실험 및 수정/보완할 경우 매우 큰 비용 손실이 발생하게 된다. 따라서 영상탐색기를 유도탄 비행 궤적을 모의할 수 있는 비행체에 탑재 후 추적 성능을 시험하는 탑재비행시험(CFT; Captive Flight Test)을 수행하게 된다. 하지만 탐색기를 탑재하는 항공기가 유도탄의 완벽한 거동을 모의하는 것은 불가능하기 때문에 탑재 비행시험만으로 체계 성능을 확인할 수는 없다. 본 논문에서는 기존 영상추적기법 단독 성능 확인에만 한정되어 있던 탑재비행시험 영상을 통합비행 시뮬레이션에 적용하여 체계 성능 확인이 가능하도록 한 기법 연구 결과에 대하여 기술하였다. 이 연구는 탑재비행시험 영상의 활용도를 증대시킬 뿐만 아니라, 기존 합성영상 기반의 통합비행 시뮬레이션 기법의 사실성을 보완할 수 있어 다양한 측면에서 체계 성능 검증을 가능하게 하였다.

• 한국응용곤충학회지
• /
• 제53권1호
• /
• pp.27-34
• /
• 2014

자연 감염된 담배가루이로부터 곤충병원성진균을 분리 동정하고, 이 균주에 대하여 배양특성, 자연발병 요인, 그리고 주요 온실해충인 담배가루이, 점박이응애, 대만총채벌레에 대한 살충력을 검정하였다. 분리 균주의 형태적 특성은 직립한 분생자병에 윤생으로 호리병 형태의 4-6개 phialide를 지녔고, 분생포자의 크기는 $3.0-3.4{\mu}m$ 이었다. 분리 균주의 rDNA의 ITS영역 염기서열 분석에서 Isaria fumosorosea (AF461747)와는 99%의 높은 염기서열 유사도를 보였다. Potato dextrose agar, Sabouraud maltose agar+yeast extract 그리고 Sabouraud dextrose agar+yeast extract 배지에서 IFs 균주는 $24^{\circ}C$의 SDAY 배양에서 균사 성장이 가장 양호하였으며, $15^{\circ}C$보다는 $35^{\circ}C$의 고온에서 균사 성장이 좋았다. I. fumosorosea IFs-08, -09 균주는 담배가루이에 대하여 각각 96.7, 93.9%의 높은 살충율을 보였으며, 점박이응애(92.0, 84.9%) 그리고 대만총채벌레(84.4, 81.5%)에서도 80-90%정도의 살충율을 보인 반면 KACC로부터 분양받은 Isaria tenuipes, Isaria farinosa, Isaria fumosorosea 균주들은 10-20% 내외의 낮은 살충율을 나타내었다.

• 한국화재조사학회지
• /
• 제7권1호
• /
• pp.55-68
• /
• 2005

• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.491-500
• /
• 2006

In this paper, we define intuitionistic fuzzy subalgebras of B-algebras which is related to several classes of algebras such as BCI/BCK-algebras. We could obtain some important results for the homomorphic image and equivalence relations on IFS(X).

• 천문학회보
• /
• 제40권1호
• /
• pp.74.2-74.2
• /
• 2015

Strong outflows from active galactic nuclei (AGNs) may play a crucial role in galaxy evolution. Integral-field spectroscopy (IFS) is the most powerful tool to study the detailed kinematics of AGN outflows. We present the on-going optical 3D spectroscopic survey of ionized gas outflows. Type 2 AGN sample is uniquely selected from SDSS DR7 with a luminosity-limit (i.e., L[O III] > $10^{41.5}erg/s$) as well as strong kinematic signatures of ionized gas outflows ([O III] velocity shift > ~200 km/s or [O III] velocity dispersion (FWHM) > 1000 km/s), defining an extremely rare population (< ~0.5%). Thus, these AGNs with strong outflow signatures are one of the best suites for investigating AGN feedback. The IFS observations cover several kpc scales for the central region of the host galaxies, providing a detailed information of the kinematics and geometry of the gas outflows. In this contribution, we report the current status of the survey and the preliminary results on gas kinematics of 18 AGNs, based on the Magellan/IMACS-IFU and the VLT/VIMOS data.

• 제어로봇시스템학회논문지
• /
• 제17권1호
• /
• pp.54-60
• /
• 2011

The flight control law designed for prototype aircraft often leads to degraded stability and performance, although developed control law verify by non-real time simulation and pilot based evaluations. Therefore, the proper evaluation methods should be applied such that flight control law designed can be verified in real flight environment. The one proposed in this paper is IFS (In-Flight Simulator). Currently, this system has been implemented into the F-18 HARV (High Angle of Attack Research Vehicle), SU-27 and F-16 VISTA (Variable stability In flight Simulation Test Aircraft) programs. The IFS necessary switching control law such as fader logic and integrator stand-by mode to reduce abrupt transient and minimize the integrator effect for each flight control laws switching. This paper addresses the concept of switching mechanism with fader logic of "TFS (Transient Free Switch)" and stand-by mode of "feedback type" based on SSWM (Software Switching Mechanism). And the result of real-time pilot evaluation reveals that the aircraft is stable for inter-conversion of flight control laws and transient response is minimized.