• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제26권4호
• /
• pp.349-368
• /
• 2023

본 연구의 목적은 수학적 모델링 수업에서 학생들이 개념적 지식과 절차적 지식을 연결하는 방안을 탐색하는 것이다. 이에, 초등학생들이 개념적 지식과 절차적 지식을 연결하는 데 어려움을 보이는 학습 내용 중 최대공약수를 선정하고. 개념적 지식과 절차적 지식을 연결하면서 최대공약수 관련 문제를 해결할 수 있도록 수학적 모델링 수업을 설계하여 실행하였다. 분석 결과, 해당 수학적 모델링 수업은 학생들이 개념적 지식과 절차적 지식을 연결하여 문제를 해결하는 데 긍정적인 영향을 미친 것으로 나타났다. 또한 실제 수업 적용을 통해 수학적 모델링 수업에서 개념적 지식과 절차적 지식을 의미 있게 연결하기 위한 교수학습 방안을 도출하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권10호
• /
• pp.603-609
• /
• 2004

절차적(procedural) 텍스쳐는 다양한 해상도로 텍스쳐 공간을 표현할 수 있으며, 매우 적은 저장 공간을 사용하는 장점을 가지고 있다. 그러나 절차적 표현을 위한 암시적(implicit) 방법을 이해하기 어렵고 프로그래밍에 익숙하지 않은 일반 사용자가 다루기 힘들다. 본 논문에서는 사용자의 직관적인 디자인작업을 통해 절차적 패턴을 자동으로 생성하는 인터랙티브 시스템이 제안된다. 전체 디자인 과정은 다중레이어(layer)를 기반으로 하며 데이타, 연산 및 출력 노드 등으로 구성된 그래프 구조로 표현된다. 제안된 시스템은 일반 사용자에게 유연한 인터페이스를 제공하여 프로그래밍 작업 없이 절차적 텍스쳐 쉐이더를 자동으로 생성하도록 한다. 시뮬레이션 결과로부터 제안된 방법이 다양한 패턴을 효과적으로 제작할 수 있음을 확인하였다.

• 디지털융복합연구
• /
• 제19권3호
• /
• pp.137-149
• /
• 2021

본 연구는 지방공기업을 대상으로 절차적 공정성이 개인 및 조직 차원의 조직시민행동에 미치는 영향과 이러한 관계에 있어서 내재적 동기부여의 매개역할을 분석하였다. 본 연구는 PLS를 기반으로 한 구조방정식 모형을 통해 설정한 가설을 검증하였다. 연구자료는 지방공기업에 근무하는 269명의 직원을 대상으로 설문지법을 통해 수집되었다. 연구결과를 살펴보면, 절차적 공정성은 내재적 동기부여, 개인차원 조직시민행동(OCBI), 조직차원 조직시민행동(OCBO)에 긍정적인 영향을 미치며, 내재적 동기부여는 OCBI와 OCBO에 긍정적인 영향을 미치는 것으로 나타났다. 그리고 내재적 동기부여는 절차적 공정성-OCBI 관계와 절차적 공정성-OCBO 관계 각각에서 부분매개 효과가 있는 것으로 밝혀졌다. 마지막으로, 본 연구는 조직에서 절차적 공정성의 향상을 통해 구성원들이 자발적인 조직시민행동을 유도할 수 있도록 내재적 동기부여를 활성화할 필요가 있다는 실무적 시사점을 제시하였다.

• 정보처리학회논문지A
• /
• 제10A권1호
• /
• pp.75-81
• /
• 2003

소프트웨어의 개발, 유지보수 및 확장을 용이하기 하기 위하여 프로그래밍 언어에 여러 추상화 기법이 도입되었다. 그러나 추상화와 연관된 여러 개념과 용어가 통일성이 있게 정의되지 못하므로 인하여 관점에 따라 다르게 설명되기도 한다. 특히 추상화를 가장 강력한 기반으로 하여 태동된 객체 지향 패러다임에서 이러한 혼란은 아직도 계속되고 있는 실정이다. 본 논문에서는 프로그래밍 언어에서 가장 중요한 추상화의 하나인 절차적 추상화를 분석하고 이에 대한 유형을 살펴본다. 이를 통하여 절차적 추상화가 지금까지 일반적으로 인식되어온 '처리과정을 기능으로 바꾸는 추상화'라는 기본적인 추상화의 개념 외에도 '추상화에 대한 추상화'의 개념이 내포된 고수준의 추상화도 포함되어 있음을 밝힌다. 또한 절차적 추상화와 관련된 다형성을 추상화의 관점에서 설명한다. 이러한 분석과 고찰을 통하여 절차적 추상화에 대한 수준 높은 이해가 이루어질 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.154-157
• /
• 2011

본 연구는 2인의 전문의와 함께 의료 문헌의 초록을 분석하여 의료문서에서의 절차적 지식을 모델링하고 텍스트 마이닝 기법을 적용하여 절차적 지식을 추출하는 방법론에 대해 기술한다. 절차적 지식은 목적과 해법의 묶음으로, 해법은 다시 단위 절차 지식의 네트워크로 정의 하였고, 목적과 해법 정보 추출과 단위 절차 지식의 구성요소인 대상/행위/방법 개체를 인식하기 위해, 품사태깅, 구문분석, 술어-논항구조(Predicate-Argument Structure), 온톨로지 용어 매핑 정보 등에 기반한 기계학습 방법을 사용하였다. 실험을 위해 전문의와 함께 위함과 척추질환에 대한 1309 문서에 절차적 지식 태깅을 수행하였고, 이 문서 집합을 기반으로 목적/해법 추출 작업과 단위 절차 지식(대상질병/행위/적용방법) 추출 실험을 수행하여, 각각 82% 와 63%의 F-measure 값을 얻을 수 있었다.

• 대한수학교육학회지:수학교육학연구
• /
• 제22권4호
• /
• pp.517-534
• /
• 2012

이 논문에서 연구자는 중학생들의 수학 학습을 삼 년간에 걸쳐 관찰하면서 그들이 유리수 범위에서 형성한 개념적 지식과 절차적 지식 사이의 발달 관계에 대하여 조사하였다. 특히, 아래의 두 상황에서 학생들의 개념적 지식과 절차적 지식 사이의 불균형한 발달이 이후의 지식 발달에 어떤 영향을 미치는 지에 관하여 조사하였다: (a) 상대적으로 강한 개념적 지식과 약한 절차적 지식을 가진 경우; (b) 상대적으로 약한 개념적 지식과 강한 절차적 지식을 가진 경우. 연구 결과는 개념적 지식과 절차적지식이 균형적인 방식으로 (즉, 아주 근접하게 되풀이되거나 동시에) 발달될 때 가장 생산적이라는 것을 시사하며 또한 어느 한 가지 유형의 지식이 다른 유형의 지식보다 우위에 있다는 가정에 의문에 제시한다.

• 대한기계학회논문집A
• /
• 제37권5호
• /
• pp.693-705
• /
• 2013

절차적 모델은 모델링 명령어의 매개변수 값을 변경하여 쉽게 수정을 할 수 있는 장점이 있다. 이전 연구에서 저자들은 ISO 10303 국제 표준에서 절차적 2D CAD 모델을 표현하는 방법을 제안하고 절차적 2D CAD 모델 교환을 위한 ISO 10303-112 를 개발하였다. 이 논문에서는 ISO 10303-112를 지원하는 절차적 2D CAD 데이터 번역기의 개발 방법을 제안한다. 그리고 번역기에 적용된 핵심 기술에 대해서 설명한다. 제안하는 방법의 유효성은 프로토타입 번역기를 사용한 데이터 교환 시험을 통해 검증하였다.

• 한국컴퓨터교육학회 학술대회
• /
• 한국컴퓨터교육학회 2017년도 하계학술대회
• /
• pp.131-134
• /
• 2017

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

• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 2003년도 추계 학술논문발표회 논문집
• /
• pp.237-242
• /
• 2003

원자력발전소(이하, 원전)에서는 운전, 보수, 점검, 검사, 변경 등 모든 활동을 절차서 형태로 정의하고 있으므로, 절차서는 원전운영의 안전성을 유지하기 위한 핵심적인 수단이다. 따라서, 원전에서 절차서는 신기술 및 설계, 설비 변경 결과를 반영하여 주기적으로 검토 보완되고 있다. 절차서의 내용은 안전성 측면에서 철저한 확인을 거쳐 작성된다. 그러나, 절차 및 절차서의 인적요소는 그러한 기술적인 측면을 무력화시킬 수 있으므로 별도로 관리되어야 한다. 절차서의 평가에서는 절차 내용의 기술적인 타당성과 함께 인적요소를 평가하여 안전성에 부정적인 영향이 없는지를 확인하고 있다.(중략)

• 대한수학교육학회지:학교수학
• /
• 제19권4호
• /
• pp.639-661
• /
• 2017

본 연구는 미분계수를 절차적 지식(거리함수 f(x)에서 a초에서 k초까지의 평균속력을 식으로 구성하여, 분모에 있는 인수를 약분한 다음 a에 k를 대입하여 속력함수를 구하는 방식)으로 구성한 고등학교 1학년 학생 세 명과의 교수실험 내용을 분석한 연구이다. 특히 본 연구에서는 분모에 있는 인수가 약분되기 어려운 거리함수(무리함수, 지수함수)에서 속력함수를 구성하는 과정을 중심으로 학생들이 구성한 절차적 지식에 대하여 학생 스스로의 고민과 표현이 어떠한지를 중심으로 분석하였다. 이 과정에서 학생들은 최초 구성한 절차적 지식에 대하여 다양한 고민과 표현의 변화를 보여주었다. 특히 학생B는 이 과정에서 기존에 자신이 알고 있는 지식을 모두 설명하지 못할 경우 자신이 구성한 미분계수를 구하는 절차에 대하여 고민하고 반성하는 모습을 보여주었다. 본 연구는 미분계수 학습에서 학생들의 계산 방식에 대한 이해를 더해주고, 미분계수를 구할 때 절차적 지식을 구성한 학생들에게 어떻게 자신들이 구성한 절차에 대하여 반성할 수 있는 기회를 제공할 것인지에 대하여 고민하였다는 점에서 의미를 갖는다.