• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.431-442
• /
• 2010

임베디드 시스템은 하드웨어와 소프트웨어 요소들이 서로 결합된 시스템이기 때문에 설계 시 실시간성(Real-time), 반응성(Reactive), 소규모(Small Size), 경량화(Low Weight), 안전성(Safe), 신뢰성(Reliable), 견고성(Harsh Environment), 저비용(Low Cost) 등의 요소들을 고려하여 설계해야 한다. 그러나 현재 임베디드 시스템 개발에 이러한 요소들을 반영한 설계 기법들이 미비하게 제시되어 있다. 특히 임베디드 시스템 개발에 있어서 프레임워크를 기반으로 임베디드 시스템을 개발하는 형태가 거의 이뤄지고 있지 않다. 이로 인해 현재 개발되어 있는 임베디드 시스템들의 내부 코드들을 살펴보면 시스템 작동과 전혀 상관이 없는 코드들이 무수하게 잔재하고 있으며, 임베디드 시스템 개발에 있어서 재사용성이나 가변성에 대한 고려가 미흡한 실정이다. 따라서 본 연구에서는 임베디드 시스템의 재사용성을 향상시키기 위해 제안했던 재사용 프레임워크 설계에 대한 완전성이나 일관성을 보장하기 위해 Z를 이용하여 프레임워크 설계에 대한 정형 명세 기법을 제시하고자 한다. 또한 Z 언어를 통해 명세한 결과를 Z-Eves Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 1996년도 10월 학술대회지
• /
• pp.574-575
• /
• 1996

The theme of the current study is to study intonation of Taiwanese(Tw.) by comparing the intonation patterns in native language (Ll), target language (L2), and interlanguage (IL). Studies on interlanguage have dealt primarily with segments. Though there were studies which addressed to the issues of interlanguage intonation, more often than not, they didn't offer evidence for the statement, and the hypotheses were mainly based on impression. Therefore, a formal description of interlanguage intonation is necessary for further development in this field. The basic assumption of this study is that native speakers of one language perceive and produce a second language in ways closely related to the patterns of their first language. Several studies on interlanguage prosody have suggested that prosodic structure and rules are more subject to transfer than certain other phonological phenomena, given their abstract structural nature and generality(Vogel 1991). Broselow(1988) also shows that interlanguage may provide evidence for particular analyses of the native language grammar, which may not be available from the study of the native language alone. Several research questions will be addressed in the current study: A. How does duration vary among native and nominative utterances\ulcorner The results shows that there is a significant difference in duration between the beginning English learners, and the native speakers of American English for all the eleven English sentences. The mean duration shows that the beginning English learners take almost twice as much time (1.70sec.), as Americans (O.97sec.) to produce English sentences. The results also show that American speakers take significant longer time to speak all ten Taiwanese utterances. The mean duration shows that Americans take almost twice as much time (2.24sec.) as adult Taiwanese (1.14sec.) to produce Taiwanese sentences. B. Does proficiency level influence the performance of interlanguage intonation\ulcorner Can native intonation patterns be achieved by a non-native speaker\ulcorner Wenk(1986) considers proficiency level might be a variable which related to the extent of Ll influence. His study showed that beginners do transfer rhythmic features of the Ll and advanced learners can and do succeed in overcoming mother-tongue influence. The current study shows that proficiency level does play a role in the acquisition of English intonation by Taiwanese speakers. The duration and pitch range of the advanced learners are much closer to those of the native American English speakers than the beginners, but even advanced learners still cannot achieve native-like intonation patterns. C. Do Taiwanese have a narrower pitch range in comparison with American English speakers\ulcorner Ross et. al.(1986) suggests that the presence of tone in a language significantly inhibits the unrestricted manipulation of three acoustical measures of prosody which are involved in producing local pitch changes in the fundamental frequency contour during affective signaling. Will the presence of tone in a language inhibit the ability of speakers to modulate intonation\ulcorner The results do show that Taiwanese have a narrower pitch range in comparison with American English speakers. Both advanced (84Hz) and beginning learners (58Hz) of English show a significant narrower FO range than that of Americans' (112Hz), and the difference is greater between the beginning learners' group and native American English speakers.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.45-55
• /
• 2008

내장형시스템의 복잡도 증가로 인하여 내장형 소프트웨어의 자동생성 및 하드웨어-소프트웨어 통합설계 방법론등이 크게 이슈화되고 있다. 자동화된 설계 방법론에 있어서 공통적인 요구사항은 시스템 설계를 효과적으로 모호성 없이 기술 할 수 있도록 정형화된 설계 언어를 제공하는 것과 설계 언어로 부터 자동으로 원하는 소프트웨어 코드를 생성하는 방법의 개발이다. 본 논문에서는 시스템 기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제 uC/OS-II에서 수행될 임베디드 C코드를 자동으로 생성하는 자동화된 방법론을 제시한다. 연구 개발된 자동 내장형 C코드 생성기는 하드웨어-소프트웨어 통합설계환경에서 소프트웨어 설계의 한 축으로 이용될 수 있으며 SDL 시뮬레이터나 검증기를 통하여 개발하고자 하는 code의 기능을 초기 모델 수준에서 평가하고 검증 할 수 있다.

• 정보처리학회논문지B
• /
• 제13B권2호
• /
• pp.139-148
• /
• 2006

협업적 제품 설계 환경에서는 여러 설계자가 작업에 참여하기 때문에 설계자간의 원활한 의사 소통이 필수적인 요소이다. 즉, 제품 설계에 내재되어 있는 다른 설계자의 설계의도를 파악할 수 있어야 하고, 각 설계자마다 사용하고 있는 상이한 모델링 용어에 대한 의미적 처리가 필요하다. 시맨틱 웹에서 온톨로지는 의미 정보를 명시적으로 표현할 수 있기 때문에 데이터와 서비스에 대한 통합되고 일관된 접근을 가능하게 한다. 따라서 제품을 여러 설계자가 설계하는 협업적 환경에서 온톨로지를 사용한다면 조립체내의 내포된 공학적 관계들, 공간적 관계들, 그리고 접합 관계들이 명확하게 표현되고, 추론을 통해 설계자의 의도가 파악되어 설계자간의 의사소통이 원활하게 이루어질 수 있다. 본 논문에서 는 조립체를 온톨로지를 이용하여 표현함으로써 협업적 환경에서 조립체 설계정보를 공유할 수 있는 시맨틱 조립체 모델링 프레임워크를 제안한다. 시맨틱 조립체 모델링 프레임워크에서는 조립체 관계 모델(Assembly Relationship Model, ARM)을 OWL(Web Ontology Language)와 SWRL(Semantic Web Rule Language)로 표현한다. 이를 통해 조립체 내에 내포된 공학적 관계들, 공간적 관계들, 그리고 접합 관계들이 명확하게 표현되고, 추론되어 설계 의도가 파악된다.

• 한국어교육
• /
• 제28권4호
• /
• pp.337-366
• /
• 2017

이 연구는 미국 대학에서 제2외국어로 한국어를 배우는 영어권 학습자의 부사형 조사 '-에'의 다양한 의미론적 뜻의 습득을 고찰한다. 이 연구는 초급반, 중급반, 고급반의 45명 참가자들을 대상으로, 한국어 학습 첫 학기 교실에서 이 조사가 가르쳐 졌을 때 각 단계의 학습자들이 어떻게 그 의미를 해석하며 실제로 어떻게 사용하는가에 대한 수행능력을 중심으로 이루어졌다. 이 연구 결과는 다양한 의미론적 뜻에 대해 서로 다른 발달 과정을 보여주고 있다. 통계 분석 결과에 따르면 초급반과 중급반에서는 이 연구 과제 '-에'의 의미 중 시간과 목표, 정적인 위치적 의미의 습득이 접촉의 의미나, 개별의 의미보다 좀 더 쉽게 습득 된다는 것을 보여주고 있다. 반면에 고급반에서는 개별의 의미를 제외하고는 모든 의미론적인 의미가 거의 목표점까지 도달하였다. 이 연구는 의미론적 복합성과 다른 언어권 간의 영향과 같은 요인과 함께, 제2 언어 빈도수, 언어학적 입력, 습득 방식과 같은 다양한 요인이 '-에'의 습득에 영향을 미친다는 것을 제시하고 있다.

• 비교문화연구
• /
• 제19권
• /
• pp.251-270
• /
• 2010

The subject of the paper is to discern the validity of the translation theory put forward by the ESIT(Ecole Sup?rieur d'Interpr?tes et de Tranducteurs, Universit? Paris III) and how it differentiates from the other translation theories. First, the paper will analyze the theoretical aspects put forward by examining the equivalence that may be discerned between the french and korean translation in relation to the original english text that is being translated. Employing the equivalence in translation may shed new insights into the unterminable discussions we witness today between the literal translation and the free translation. Contrary to the formal equivalence the dynamic equivalence by Nida suggests that the messages retain the same meanings whether it be the original or a translated text to the/for the reader. In short, the object of the dynamic equivalence is to identify the closest equivalence to the suggested source language. The concept of correspondence and equivalence defined by theoriticians of translation falls to the domain of dynamic equivalence suggested by Nida. In translation theory the domain of usage of language and the that of discourse is denoted separately. by usage one denotes the translation through symbols that make up language itself. In contrast to this, the discourse is suggestive of defining the newly created expressions which may be denoted as being a creative equivalence which embodies the original message for the singular situation at hand. The translator will however find oneself incorporating the two opposing theories in translating. Translation falls under the criteria of text and not of language, thus one cannot regulate or foresee any special circumstances that may arise in translation of discourse, the translation to reflect this condition should always be delimited. All other translation should be subject to translation by equivalence. The interpretation theory in translation (of ESIT) in effect is relative to both the empirical and philosophical approach and is suggestive of new perspective in translation. In conclusion, the above suggested translation theory is different from the skopos theory and the polysystem theory in that it only takes in to account the elements that are in close relation to the original text, and also that it was developed for educational purposes opening new perspectives in the domain of translation theories.

• 디자인학연구
• /
• 제17권3호
• /
• pp.335-342
• /
• 2004

최근 한국의 전통조형에 관련되는 연구가 활발하게 이뤄지고 있다. 그러나 그간 이뤄졌던 선행연구의 대부분이 극히 개인적이고 부분적이며 산발적으로 이뤄졌기에, 그 내용이 단편적이고, 체계화되지 못한 경향이 있다. 따라서 이러한 선행연구들을 체계적 틀로 종합하여 객관적으로 정리할 필요가 있다. 대체적으로 인간의 모든 행위(조형행위 또한)는 목표와 절차와 수단을 갖고 있다. 즉 인간은 어떤 사상을 구현하기 위해서는 세 가지 요소가 필요한데, 이 세 가지 요소는 내용적, 형식적, 그리고 실질적 요소로 구분하는 것이 보편화되어 있다. 내용적 요소는 사상의 가치, 관념, 의미, 그리고 목적으로서 이루고자 하는 목표이며, 형식적 요소는 목표를 이루기 위해 그 사상의 단위들을 구성하는 방법, 원리, 규범, 절차, 형태 그리고 양식이며, 실질적 요소는 형식을 통하여 내용을 구체화시킬 수 있는 구체적인 수단, 도구, 매체, 재료 그리고 기술 등을 가리킨다. 이 세 가지는 상호연관 되어 있어 이중 한 가지라도 결여되면 완벽한 구현을 이룰 수 없다. 인간이 표현코자 하는 사상과 의미는 거의 언어로 이뤄지고 있다. 문장의 주성분에는 주어(생략가능), 목적어(목적), 서술어(방법), 보어(수단)가 있으며, 그것의 구성요소를 층위별로 규칙을 갖고 체계화시켜놓은 것이 문장이므로 위의 내용들을 언어와 비교 연구하여 디자인(조형)과의 상관관계를 살펴 전통조형의 체계에 관련된 분석의 틀을 만들었다. 또한 위의 방법으로 분석ㆍ정리된 결과를 갖고 전통 조형정신을 시대에 적합하게 실현하기 위한 방안을, 단계별로 정리하였다. 터미널에 상호 호환적 형태로 소비될 수 있는 터미널 구조 및 구현, 그리고 실험 결과를 처음으로 제시 하였다는데 의미가 있다고 할 수 있겠다.있을 것이다. for business transactions, which is composed by ′Classify Phase′ that classify transactions. We called this model "3-Phase Commit Method Applied by Classify Phase", we design this model to manage an resource of enterprise efficiently. The proposed method is compared by the method based on 2-Phase commit that could be a problem of management the resource of enterprise, and the advantage of this method is certified to propose the solution of that problem.should be more cautious in interpreting data obtained from so-called "in vivo counter-transport" experiments.d in many countries now. Especially, development of high power/quality diode laser will be accelerate the introduction of this magnificent

• 한국산학기술학회논문지
• /
• 제16권12호
• /
• pp.8147-8156
• /
• 2015

본 논문은 가로 활성화를 위한 가로환경디자인 분석으로 인사동길의 패턴 언어를 분석한 것이다. 보행자 가로, 공원, 광장과 같은 도시 공공공간은 급속한 도시화와 산업화로 인하여 증가하고 있다. 그러나 실제로 사용자의 행동 패턴을 만족하는 공간은 많지 않다. 이는 사람과 공공공간의 공간적 질에 대한 충분한 고려없이 형식적인 공급과 관리 방향에만 치중했기 때문이다. 본 연구의 목적은 크리스토퍼 알렉산더의 패턴 언어를 적용하여 인사동길의 분석을 통하여 활력이 넘치고 다양한 거리를 만들고, 지역의 특성을 부여하는 요소들을 찾는 것이다. 그러므로 시대별로 변화되어온 도시 가로환경의 가치인식 변화를 통하여 공공공간의 공간적 특성을 선별하고, 각각의 공간적 특성에 적합한 패턴 언어를 선별하여 가로환경디자인 분석을 위한 기준을 마련한다. 연구결과, 인사동길을 중심으로 패턴 언어와의 관계를 살펴보면 거리 활성화에 영향을 미치는 패턴 언어는 보행자 거리(100), 건물의 정면(122), 활동의 결절점(30) 등 16개로 분석되었다. 따라서 본 논문은 패턴 언어를 통하여 인사동길의 가로환경디자인 분석에 초점을 맞추고 가로활성화에 도움이 되는 가이드라인과 평가 기준을 제안하고자 한다.

• 영어어문교육
• /
• 제9권spc호
• /
• pp.79-98
• /
• 2003

This article reports that a testee's content schemata have detrimental effects on the validity of standardized reading comprehension tests. in case that the reading passages constitute his prior background knowledge framed by regular academic pursuits focused on a major field of study. The empirical research findings on such a reliability issue have shown that the Korean subjects' familiarity with the content domain of the reading materials may substantially enhance their test performance, operated as unfair advantages over the other participants at the same level of English proficiency who do not possess technical knowledge closely related to the contents of the test passages. Based on these results, it may be argued that the reading text should be composed of maximally neutral contents to every testee to avoid the possible overlapping between a test-taker's content schemata and the content domain of the materials. Therefore, this article claims that the tenets of schema theory with its long-standing foundation on culturally predetermined content and formal schemata need to be expanded to cover professional knowledge structures, like those acquired by higher education, as the hard-wired framework of an individual's original culture-specific background knowledge.