• Proceedings of The KACE
• /
• 2017.08a
• /
• pp.131-134
• /
• 2017

이 연구에서 엔트리 명령 블록을 이용하여 보편적 프로그래밍 언어를 개발하고 검증하였다. 그래서 이 연구를 통해 블록형 프로그래밍 언어의 접근 수월성을 이용하여 절차적 사고력 향상을 위한 아이디어를 제공하고자 하였다. 새로운 프로그래밍 언어를 만들어 알고리즘을 적용하여 함수화된 사칙연산 프로그램을 만들면서, 다양한 알고리즘을 적용하면 엔트리에서 제시하는 모든 명령 블록을 만들 수 있음을 증명하였다. 이 연구를 통해 1)프로그래밍 언어에 포함된 다양한 기능의 명령어들도 함수화되어 있음을 증명하고 재생산 가능함을 경험할 수 있는 아이디어를 제공하고, 2)초보 프로그래머들이 프로그래밍 언어 개발에 대한 흥미와 관심을 갖게 되는 방안을 제시하며, 3)알고리즘을 경험하면서 절차적 사고력을 향상시킬 수 있는 다른 방향의 SW 교수 학습 방법과, 4)프로그래밍 언어를 미시적으로 탐구하면서 SW 교육 관점을 다양화하는 방법을 제시하였다. 이 연구에서 제시한 방안으로 학생들이 절차적 사고력 향상과 프로그래밍 언어의 다양성 인식, 프로그램을 심층적으로 분석하는 태도 등의 SW 교육에 대한 긍정적 변화를 기대한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.92-96
• /
• 2010

VAN 시스템에서 운영되는 소프트웨어는 개발이 완료한 후에도 업체들의 다양한 요구 사항을 수용해야한다. 소프트웨어 개발 초기에 갖추어진 개발문서들은 오랜 유지보수 기간이 지나면 초기 개발의 내용과 많은 부분이 다르다. 이때 개발자가 각 각의 요구사항을 수용할 때 경험을 토대로 수정하기 때문에 개발문서가 정확하게 반영되지 않는다. 이러한 경우에 개발문서는 그 역할을 수행하지 못하므로 소스 코드에 의지 할 수밖에 없다. 또한 절차식 언어로 개발된 소프트웨어의 경우는 유지보수가 더 어렵다. 절차식 언어를 객체지향 언어로 변경한다면 유지보수성이 높아 질 것이다. 본 논문에서는 이러한 문제를 해결하기 위해 역공학을 이용하여 기존의 절차식 언어를 객체 지향 언어로 변경하기 위한 과정을 제안한다.

• Aerospace Engineering and Technology
• /
• v.8 no.2
• /
• pp.170-178
• /
• 2009

In order to develope a common ground system, a general procedure language that can be used in both EGSE and MCS is primarily needed. As the first step in developing a common test and integration procedure language, KARI's ATS for AIT and MCE for GS were compared to some of the most representative languages such as PLUTO regarded European standard, STOL and ELISA and PIL. Based on the analysis, design features of developing a common test and integration procedure language were presented.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.33.3-33.3
• /
• 2011

위성 사업의 핵심 지상 시스템인 Electrical Ground Support Equipment(EGSE)와 Mission Control System(MCS)는 사용시기와 목적, 개발조직이 달라서 지금까지는 별도로 개발 및 발전되어 왔고, 최근 국내에서는 다목적실용위성사업의 EGSE와 MCS에서 핵심 모듈만 서로 공유하는 형태로 개발되어 각각 성공적으로 위성 시험과 운영에 이용되고 있지만, 가까운 미래에는 하나의 통일된 공통지상시스템을 개발하여 위성 발사전 위성시험에서도 이용하고, 위성 발사후 위성 운영 단계에도 사용될 수 있도록 할 예정이다. 이러한 공통지상시스템에서는 위성 시험과 운영에 동시에 사용 가능한 공통절차서언어 개발이 핵심이다. 공통절차서언어를 이용하게 되면, AIT단계에서 위성운영단계로의 자연스러운 단계 전환이 가능하여 위성운영교육 및 준비에 필요한 비용 절감 뿐만이 아니라, AIT단계에서 시험/운영 절차서, 위성 데이터베이스의 사전 검증이 이루어지며, 아울러 위성 사업 일정 및 위성 개발 위험도 최소화 등의 이점이 있다.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.120-127
• /
• 1990

본 논문은 과학철학을 논의하는데 있어서 AI를 활용하는 가능성을 다루고 있다. AI를 이용한 과학철학은 그것의 논의 절차가 분명하게 표현된다는 점 이외에도 그러한 절차를 테스트할 수 있다는 장점을 갖고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.94-96
• /
• 2005

지금까지 비즈니스 프로세스 관리에 대한 다양한 연구 활동들이 수행되어 왔지만, 아직까지 범용적인 비즈니스 프로세스 언어 표준이 규정되어 있지 않은 상태이다. 본 연구에서는 대표적인 비즈니스 프로세스 언어들(BPEL4WS, BPML, WSCI, WS-CDL, BPSS 등)의 비교 분석을 통해, 협업 비즈니스 환경에서 비즈니스 프로세스 언어가 가져야 할 필수 요소들을 제안한다. 비즈니스 프로세스 언어의 비교는 세 단계로 구성된다. 첫째, 비즈니스 프로세스를 구성하는 애플리케이션에 따라 조직 내외의 비즈니스 프로세스를 비교한다. 둘째, 협업 비즈니스 프로세스의 모델링 절차에 따라 절차에 필요한 필수 비즈니스 엔터티를 제안한다. 마지막으로, 추출된 필수 비즈니스 엔터티를 이용하여 다양한 비즈니스 프로세스 언어들 사이의 특징을 비교 분석한다.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.385-390
• /
• 2005

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely.

• Korean Journal of Child Studies
• /
• v.13 no.1
• /
• pp.5-15
• /
• 1992

아동의 언어습득 과정에서의 모방은 흔히 볼 수 있는 현상이지만 한편 인간의 독특하고 신기한 일면이기도 하다. 이 모방에 관하여 그동안 많은 연구들이 되어왔으나 그 중요성이나 역할에 대한 연구들의 결론이 모두 일치하는 것은 아니다. 본 논문에서는 이 모방현상에 대한 그 동안의 연구들을 이론별로 분류해 보고 각 이론들이 모방의 역할을 밝히기 위하여 사용해 온 연구방법, 절차들을 분석해 보았다. 행동주의와 사회학습이론에서는 언어습득에서의 모방의 역할을 특히 강조하고 있으며 이 모방의 효과를 입증하기 위하여 다른 어떤 이론보다도 훨씬 조직적인 실험연구를 해 왔다. 이와는 대조적으로, 언어 심리학적 접근에서는 언어습득에서의 생득성과 창의성을 강조하므로 모방의 역할은 중시하지 않으며, 모방의 정의를 엄격하게 규정하고 자연적인 관찰 중심의 연구를 주로 하여 언어습득에서의 모방의 역할이 미비하다는 결론을 내리고 있다. Piaget 중심의 인지발달적 접근에서는 모방을 인간의 전체 발달의 한 측면으로 보아 모방은 인지발달과 함께 점진적으로 발달되는 것으로 설명하고 있다. 특히 언어발달에서의 지연모방의 중요성을 강조하고 있으며, 대부분의 연구는 자연적인 관찰연구를 통하여 모방의 발달과정을 밝히고 있다. 언어발달에서의 모방의 역할에 대한 지금까지의 일치하지 않는 연구 결과들은 각각의 이론들이 나름대로 달리 모방을 정의하고, 언어의 다른 측면들을 다루어 왔기 때문으로 밝혀 졌다. 앞으로 언어발달이 아동의 발달 전체의 맥락 속에서 연구되어지고, 언어습득과정에서 보이는 아동들의 개인차까지도 고려되어지는 포괄적인 연구가 이루어지면 모방의 역할도 좀더 명백하고 일관성 있게 밝혀지리라 본다.

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.227-240
• /
• 1993

본 연구의 목적은 한국 현대시 텍스트가 독자에게 전달하는 시적 효과를 담화 텍스트 언어학 및 인지적 화용론의 관점에서 분석하는 것이다. 담화 텍스트 언어학은 텍스트의 언어 자료 자체보다는 이를 생산하고 수용하는 인지 과정에 주목하는 인지과학의 한 분야이며, 적합성 원리로 되는 인지적 화용론은 텍스트 언어학에서 규명하는 바 여러 인지적 조작 절차들의 심리학적 근거가 된다. 많은 인지적 책략 및 조작 절차들이 집약되어 있는 한국 현대시 텍스트를 인지 화용론적 관점에서 분석한 결과, 이제까지 모호하게 개진되어 오던 많은 시적 효과가 텍스트 언어학 및 인지적 화용론의 분석 장치들에 의해서 명쾌하게 설명될 수 있음이 밝혀졌다. 즉, 정보성의 격상 및 격하, 각별한 결속구조의 사용 및 그 수용 과정, 작가의 상황점검과 상황관리 과정에 의한 전국적 인지 패턴의 활성화 및 수정 등의 인지적 절차를 통해서 독자의 맥락이 수정, 확장되는 효과가 일어나고 바로 이것이 궁극적으로는 시적 효과를 낳는다는 점을 설명할 수 있다.

• Proceedings of the KSLP Conference
• /
• 2003.11a
• /
• pp.198-199
• /
• 2003

최근에 음성언어장애에 대한 언어치료사의 평가 및 치료 활동이 활발히 이루어지고 있으나, 음성평가 기준 및 치료 자료가 충분치 않은 것이 현실이다. 음성 평가를 실시할 때에도 각 치료실마다 음성 평가에 사용하는 장비가 달라 결과물의 해석에 다소 차이가 있으며, 또한 같은 장비를 사용함에도 불구하고 음성 자료를 수집하는 방법에 있어서 표준화된 절차 및 자료에 따라 평가를 하지 못하고 있는 실정이다. 이러한 표준화된 측정절차에 대한 요구는 개인적인 기준으로 좌우될 수 있는 주관적인 평가에서는 더욱 절실하다. 음성의 지각적 평가에서 중요한 측면 중에 하나는 음성의 질에 정확한 판단 및 이에 대한 자료공유 및 정보교환이다. 현재 음성의 질에 대한 측정평가를 위해 제일 많이 사용되고 있는 방법 중 하나가 GRBAS 방법이 간편하여 임상적으로 많이 사용하나 음성의 질에 대한 세밀한 평가를 하는 데는 한계가 있다. 따라서 본 연구에서는 음질을 평가하는데 있어서 자주 사용되는 음질 용어에 대한 우리말 용어를 통일의 필요성의 시급한 실정에 기초하여 이를 대표할 수 있는 음성샘플 자료의 구축마련을 위한 일종의 발제이다. 이러한 작업을 통해 각 음성 및 언어치료실에서 음성의 질에 대한 청지각적 평가에 공통 기준을 마련하고, 임상교육 적인 목적으로 청지각적 훈련 자료로 이용이 가능할 수 있으리라 사료된다. (중략)