• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제12권5호
• /
• pp.157-164
• /
• 2023

자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.

• 인지과학
• /
• 제11권3_4호
• /
• pp.23-32
• /
• 2000

과거 서술 연구 중심의 주구조와 부구조의 차이는 적절하고 형식적인 정의가 부족하다. 본 연구는 주구조, 하위 구조, 부구조를 구성하는 담화 단위사이에 계층구조가 존재함을 주장한다. 본 연구의 목적은 두 가지로 요약된다. 첫째, Kuppevelt가 제안한 주구조를 하위구조나 부구조와 구별하는 식별기준을 나타내는 형식적 정의를 제시한다. 둘째, 지식 표현 언어인 Sowa의 개념구조론의 체계 내에서 담화의 계층구조와 그 구조를 나타내는 언어적 표시인 담화표시의 예를 기술하는 방법을 제시한다. 개념관계로 일탈, 화제 전환, 틀의 관계를 설정하여 담화 내 계층구조와 담화부분과의 화용적인 관계를 규명하였다. 기존의 개념구조론은 선택적 제약, 조응 등의 의미론적인 개념들을 간결하고 정확하게 기술할 수 있었는데 화용론적인 측면의 기술도 가능함을 보여준다.

• 가정과삶의질연구
• /
• 제12권1호
• /
• pp.181-199
• /
• 1994

이연구의 목적은 공공가정이 사적이 개별가정과 마찬가지로 가정관리학의 주된 연 구의 대상으로 인식되어야 한다는 것을 소개하고 가정관리학에 있어서 공공가정론이 갖는 의미와 그 전개의 방향성에 대하여 모색하는데 있다. 또한 공공가정론 연구의 도입과 적용 을 통하여 공공가정을 관리하는 전문가를 양성함으로써, 가정관리학과 연구영역이 확대되고 취업에의 가능성이 증대도며 동시에 변화하는 사회적 요구를 충족시킬수 있다는 면에서 공공가정론의 중요성을 제시하고자 한다.

• 가정과삶의질연구
• /
• 제13권1호
• /
• pp.189-198
• /
• 1995

이 연구는 공공가정의 개념을 정립하고, 공공가정론의 기본구성가 내용을 살펴봄으로써 가정관리학에서 공공가정론을 도입, 전개시킬수 있는 실천적 토대를 제시하고자 한다. 특히 공공가정이 가정복지의 한 실천수단이 된다는 의미에서, 기존의 가정복지에 대한 논의와 관련하여 공공가정의 정체성을 파악하고, 공공가정론의 연구방향성을 중심으로 공공가정이라 는 연구대상에 대하여 집중적으로 고찰하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제29권2호
• /
• pp.169-177
• /
• 2024

본 연구는 실업육상선수들의 재능기부에 대한 태도를 탐색하는 데 목적을 두고 인간의 주관성을 탐색하기에 적합한 Q-방법론을 활용하였다. Q-방법론의 연구 절차를 거쳐 분석한 결과, Type I은 '기부 신중형'으로, 기부의 필요성에 대한 이해와 기부를 위한 자신의 준비 기간의 필요, 재능기부에 대한 신중한 태도 등에 두드러진 의미를 나타냈다. Type II는 '기부 진정성형'으로, 선한 마음에서의 출발, 기부에 대한 진정성의 전제, 기부활동에 대한 프로그램의 필요성 등에 두드러진 의미를 나타냈다. Type III은 '기부기관신뢰요구형'으로, 기부하려는 대상 기관에 대한 신뢰와 기부 관련 사건·사고에 대한 관심 갖기, 스포츠 분야에서의 다양한 기부 방법의 필요성 제기등에 두드러진 의미를 나타냈다.

• 논리연구
• /
• 제7권1호
• /
• pp.85-100
• /
• 2004

이 논문은 부사어에 의해서 수신되는 행위 문장이 어떻게 논리적으로 분석되어야 하는가에 대한 데이빗슨의 주장을 비판적으로 검토하고자 한다. 데이빗슨은 행위 문장이 부사어에 수식될 때, 그 문장은 원래의 행위 문장에 의해서 함축됨을 보일 수 있도록 해석되어야 한다는 데 착안하여 자신의 사건 존재론을 근거로 행위 문장을 사건을 양화하는 문장으로 해석되어야 한다고 주장한다. 그러나 그러한 해석은 데이빗슨 자신이 의도한 목적을 충분히 충족시키지 못하고, 또한 행위 문장이 양화하는 사건이 문장 전체가 아닌 일부가 가리킨다는 반직관적인 주장이라는 점에서 불만스럽다. 그러나 무엇보다 데이빗슨의 해석이 갖는 문제점은 행위 문장을 수신하는 부사어의 용법이 다양함에도 불구하고 그러한 사실을 간과한 것이다. 따라서 이 글은 바와이즈와 페리에 의해서 제시된 상황 존재론에 의거하여 다양한 부사어에 대한 해석의 가능성을 제시하여, 부사어에 의해서 수식되는 행위 문장을 해석하는 몇 가지 방법을 제시한다.

• 한국정보처리학회논문지
• /
• 제7권11호
• /
• pp.3556-3565
• /
• 2000

가상 프로토타입(Virtual Prototyping: VP) 방법론을 이용하면 내장형 시스템을 설계하고 구현할 때에 비용을 절감하면서 제품의 개발기간을 단축할 수 있다. VP는 S/W component, H/W component 그리고 S/W 와 H/W를 연결하는 Interface component로 구성되어 진다. VP의 구성 요소중 H/W component를 구현하는 방법은 여러 가지가 있었으나 시스템 명세 언어로부터는 하드웨어 컴포넌트로 구현하는 방법을 고려하고자한다. 그러나 시스템 명세 언어로부터 생성된 H/W component 용 VHDL 코드는 항상 합성 가능한 코드라고 할 수 없다. 본 논문에선 시스템 명세 언어로부터 검증을 용이하게 하는 하드웨어 구현을 위하여 명세언어로써 SpecCharts를 이용하고 이로부터 동기적 의미론을 만족하는 합성 가능한 VHDL 코드를 생성하는 방법론을 제시한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.22-27
• /
• 2000

이산사건 시뮬레이션 기법이 최근 들어 통신망, 각종 제조시스템 등 다양한 분야에 응용되고 있으며 군사용 시뮬레이터 개발을 위한 방법론으로도 활용이 증가하고 있다. 그러나, 군사용 전략 시뮬레이터는 모델간 대규모 상호 작용을 요구하는 속성을 가지고 있으므로 모델간의 사건 전달 방법을 적용한 시뮬레이터를 구현하는 경우에 시뮬레이션을 위한 계산량이 과도하게 요구되어 대규모의 시나리오를 시뮬레이션하는데 어려움이 있다. 본 논문에서는 이산사건 시뮬레이션을 위한 이론적 기반을 모두 갖춘 DEVS 형식론을 개선하여 군사용 전략 시뮬레이터를 개발하기 위한 Framework을 소개한다. 개발되는 시뮬레이션 환경을 DEVS 의미론에 기반한 모델링 환경을 제공하지만 시뮬레이션 속도 개선을 위해 여러가지 방법들을 고려한다. 또한, GIS 기반의 시뮬레이션 애니메이션을 위한 모델 관리 방법 및 데이터 전송 방법을 기술한다.

• 중국학논총
• /
• 제71호
• /
• pp.23-40
• /
• 2021

'过' and '了' are the key points, as well as difficult ones, in the academic study of Chinese grammar and language teaching. This article analyzes this language use by taking two sentence structures as example, namely 'Pao le.' and 'Pao guo le.'. As the semantic meanings of 'V+了2' and 'V+过1+了2' are very similar. Therefore, it can be confusing for non-native speakers to master this usage. This article attempts to sort out and analyze the usage environment and pragmatic characteristics of 'V+过1+了2' by employing the examples from the data of Corpus of the Chinese Linguistics Research Center of Peking University. By focusing on the usage environment and pragmatic characteristics of '过' and it is desirable for teachers to combine semantics, syntax and pragmatics while explaining the grammar point, in order for learners to understand accurate information quickly and learn how to use it.

• 인지과학
• /
• 제14권4호
• /
• pp.65-70
• /
• 2003

나는 이 글에서 인지적 자살 논변이 제거주의를 논박하는 데에 성공하지 못함을 지적한다. 그 논변은 제거주의의 중요한 핵심을 제대로 짚어내지 못하고 있다. 마지막 절인 3절에서는 내가 생각하는 제거주의의 핵심을 지적하고 이러한 지적의 토대 위에서 제거주의에 대해 내가 가지고 있는 비판논변을 전개하겠다.