• 한국언어정보학회지:언어와정보
• /
• 제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.

• 정보처리학회논문지D
• /
• 제14D권6호
• /
• pp.633-640
• /
• 2007

실생활과 밀접한 임베디드 시스템들이 인터넷에 연결되어 점차 복잡해지고 시스템 사용 패턴 또한 다양해짐에 따라 임베디드 시스템의 안전성 문제가 대두되고 있다. 임베디드 시스템의 상호작용에 대한 안전성을 분석하기 위서는 시스템 모델을 정형적으로 기술하고 이를 이용하는 체계적인 안전성 분석 방법이 필요하다. 이 연구에서는 Labeled Transition Systems (LTS)를 이용하여 시스템 모델과 속성 모델을 기술하고 안전성 속성이 만족되는지 검사하는 방법을 제공한다. 이 연구에서는 기존 합성적 안전성 분석 방법의 문제점을 해결하기 위해 시스템 모델을 속성모델 관점에서 축약하여 생성한 후에 두 모델 간의 행위 일치 관계를 이용하여 안전성 분석을 수행한다.

• Applied Microscopy
• /
• 제41권2호
• /
• pp.81-88
• /
• 2011

최근 나노 영역에서의 구조분석과 조성분석의 중요성이 증대되고 있으나, 기존의 분석장비들은 한계에 부딪히고 있다. 최근 개발된 APT는 nm 이하의 공간분해능과 수십 ppm수준의 detection limit으로 원소의 3차원분포와 조성정보를 제공해 주는 분석장비로서, 이러한 기존 분석의 한계를 극복할 수 있는 새로운 분석장비이다. 그러나 국내에는 아직 잘 알려지지 않아 활용이 미비한 실정이다. 따라서, 본 논문에서는 APT에 대한 이해를 돕기 위해 APT분석의 원리와 시편준비에 대해 소개하였다.

• Journal of Plant Biotechnology
• /
• 제47권4호
• /
• pp.261-272
• /
• 2020

전세계적으로 유전자변형(GM)작물의 재배와 수입에 대한 승인이 급격히 증가하고 있다. 영양성분 비교평가는 실질적 동등성에 기반하여 GM작물의 안전성 평가에서 중요한 역할을 담당하고 있다. 영양성분 비교평가는 GM작물과 대조작물 사이의 성분함량에서 차이와 유사성을, 그리고 GM작물과 상업품종간의 성분함량의 동등성을 결정하는데 중점을 두고 있다. 분석항목은 일반성분, 주요 영양성분과 항영양소 등이며 일반적으로 OECD 합의문에서 작물별로 제안하고 있는 항목들을 포함한다. 영양성분 비교평가를 위해서는 비교군의 선정, 포장 시험, 분석방법, 데이터 통계 처리 등의 전 과정에 걸쳐 표준화된 방법을 이용하는 것이 중요하다. 본 연구에서는 코덱스와 유럽식품안전청의 식품용 GM작물의 영양성분 비교평가를 위한 가이드라인을 소개하였다. 그리고 국내외의 GM작물 영양성분 비교평가 연구 논문들에 나타난 분석항목과 대조작물, 참조군 품종, 재배연도, 재배지역, 통계방법 등을 검토하였다. 해외의 경우 대두와 옥수수, 면화 GM작물에서 여러 나라 수출을 위한 규제기관의 가이드라인에 따른 연구가 많았다. 반면 국내의 경우는 GM작물 실험연구적 측면에서 비교평가 진행되었으며 주로 GM벼에서의 연구가 많았다. 마지막으로 국내에서 GM작물의 영양성분 비교평가 연구 수행에 적용할 수 있는 참조군 선정과 포장재배에 대한 가이드를 제시하였다.

• 보건교육건강증진학회지
• /
• 제21권4호
• /
• pp.75-97
• /
• 2004

Objectives: To examine whether the socioeconomic characteristics of communities (contextual effects) are related to the self-rated health of community residents after controlling individual characteristics (compositional effects). Methods: A linked data set including information on individuals from raw data of 1998 Korean National Health and Nutrition Survey(KNHNS) and information on the regions where the individuals lived from the socioeconomic statistical indices of Si-Gun-Gu (city-county-ward) in 1998 was established. The contextual factors of communities were generated from these socioeconomic indices through factor analysis. The contextual effects of community over and above the individual characteristics on the self-rated health were investigated using multilevel analysis. Results: The contextual factors of the community expressed as the factor scores have influence on the self-rated health of their residents above the compositional factors. When the communities were categorized into 5 groups (highest, high, middle, low, lowest) according to each of their factor scores, for factor 1 reflecting urbanization reversely, the residents of the communities that had the high, middle, and low factor scores showed significantly poor subjective health status than the residents of the lowest (most urbanized) group. For factor 2 reflecting community services and health resources, the subjective health status of the residents gradually became poorer when the group went from the highest to the lowest, and the low and lowest groups showed a significant difference. For factor 3 reflecting the manufacturing industry, as compared with the communities that have the highest factor scores, the other 4 groups showed significantly poorer subjective health status. And for factor 4 reflecting the scale of the regional government, as compared with the middle group, the rest of the 4 groups showed significantly better self-rated health. Conclusions: There existed regional contextual effects on their residents' health in Korean adults. To make policies tackling these contextual effects possible, more elaborate researches to find more specific factors and to explain the mechanisms of how health is influenced by the contextual factors are needed.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2000년도 추계학술대회논문집
• /
• pp.104-105
• /
• 2000

High quality BSCCO thin films have been fabricated by means of an ion beam sputtering at various substrate temperatures, T$_{sub}$, and ozone gas pressures, PO$_3$. The correlation diagrams of the BSCCO phases appeared against T$_{sub}$ and PO$_3$are established in the 2212 and 2223 compositional films. In spite of 2212 compositional sputtering, Bi2201 and Bi2223 phases as well as Bi2212 one come out as stable phases depending on T$_{sub}$ and PO$_3$. From these results, the thermodynamic evaluations of ΔH and ΔS which are related with Gibbs'free energy change for single Bi2212 or Bi2223 phase are performed.ormed.i2212 or Bi2223 phase are performed.

• 한국전기전자재료학회논문지
• /
• 제14권1호
• /
• pp.64-68
• /
• 2001

High quality BSCCO thin films have been fabricated by means of an ion beam sputtering at various substrate temperatures, T$\_$sub/, and ozone gas pressures, PO$_3$. The correlation diagrams of the BSCCO phases appeared against T$\_$sub/ and PO$_3$ are established in the 2212 and 2223 compositional films. In spite of 2212 compositional sputtering, Bi2201 and Bi2223 phases as well as Bi2212 one come out as stable phases depending on T$\_$sub/ and PO$_3$. From these results, the thermodynamic evaluations of ΔH and ΔS, which are related with Gibbs' free energy change for single Bi2212 or Bi2223 phase are performed.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2000년도 추계학술대회 논문집
• /
• pp.104-107
• /
• 2000

High quality BSCCO thin films have been fabricated by means of an ion beam sputtering at various substrate temperatures, T$\_$sub/, and ozone gas pressures, PO$_3$. The correlation diagrams of the BSCCO Phases appeared against T$\_$sub/ and PO$_3$ are established in the 2212 and 2223 compositional films. In spite of 2212 compositional sputtering, Bi2201 and Bi2223 phases as well as Bi2212 one come out as stable phases depending on T$\_$sub/ and PO$_3$. From these results, the thermodynamic evaluations of ΔH and ΔS which are related with Gibbs' free energy change for single Bi2212 or Bi2223 phase are performed.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.497-502
• /
• 2010

조합형 실시간 스케줄링은 계층적으로 구성된 실시간 시스템에 대해 실시간성을 보장할 수 있는 방법을 제공한다. 조합형 스케줄링 이론을 통해 여러 개의 실시간 태스크를 하나의 실시간 태스크로 묶어 스케줄링 할 수 있으며, 실시간 보장을 위해 필요한 CPU 요구량을 계산하였다. 하지만, 양자화에 대한 고려가 없어, 틱-기반 스케줄링 시스템에서 정확한 CPU 요구량을 계산할 수 없다. 따라서, 본 연구에서는 양자화에 따른 CPU 할당량의 영향을 정량적으로 보여준다.

• 정보처리학회논문지A
• /
• 제10A권6호
• /
• pp.605-614
• /
• 2003

본 논문에서는 멀티패러다임 프로그래밍의 결합 방식(compositional approach)[20]을 프로그래밍 언어에 적용한 새로운 형태의 멀티패러다임 언어인 Argos를 소개한다. Argo는 자바 언어의 수퍼셋이고, Argos 언어의 메소드를 정의하는 문법은 다른 언어의 문법을 사용할 수 있는 확장점을 가지고 있다. 따라서 Argos 클래스의 각 메소드는 자바, C, Prolog, Python 등의 여러 프로그래밍 언어들 중에서 하나를 선택해서 구현할수 있도록 허용함으로써 객체지향과 멀티패러다임 프로그래밍을 동시에 지원한다. Argos의 메소드는 기존의 프로그래밍 언어로 작성할 수 있기 때문에 다른 멀티패러다임 언어에 비해 상대적으로 배우기 쉽고, 라이브러리 재사용성도 높은 장점을 가지고 있다. Argos 컴파일러는 입력 프로그램 을 사용된 언어에 따라 분할하고, 분할된 메소드 코드를 해당 언어의 처리기에 전달해서 컴파일하는 DCO(delegating compiler object) 모델[28,29]에 따라 구현된다.