• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제26권3호
• /
• pp.147-166
• /
• 2023

Mathematics is a science of pattern. Mathematics is a subject of inquiring which aims at discovering the models hidden behind the world. Pattern is abstraction and generalization of the model. Mathematical pattern is a higher level of mathematical model. Mathematics patterns are often hidden in pattern similarity. Creation of mathematics lies largely in discovering the pattern similarity among the various components of mathematics. Inquiring is the core and soul of mathematics teaching. It is very important for students to study mathematics like mathematicians' exploring and discovering mathematics based on pattern similarity. The author describes an example about how to guide students to carry out mathematics inquiring based on pattern similarity in classroom.

• 대한공간정보학회지
• /
• 제21권4호
• /
• pp.143-150
• /
• 2013

본 연구의 목적은 상세 레벨의 대규모 도로망 데이터를 대상으로 다양한 축척과 추상화 수준을 가진 상위 레벨의 소축척 도로 선형 사상을 유도하는 가변-축척 기반 네트워크 데이터의 생성 방안을 제시하는 것이다. 이를 위해 우선, 가변-축척 모델 구축을 위해 관련 용어의 정의와 모델 구축시의 이점과 구축 절차에 대해 살펴보았다. 둘째, 가변-축척 모델을 설계하기 위해 지도 표출을 위한 표현 레벨과 레이어 구성요소를 제시하였다. 또한 상위 LoD와 데이터 연계 방법과 인덱스 구조 생성을 위한 규칙을 정의 하였다. 마지막으로 설계된 모델의 구현과 검증을 위해 제시된 알고리즘을 실제적인 연구지역 도로망(제주도)에 적용하여 가변 축척 도로망을 유도하여 구축하고, 공간 데이터베이스(Oracle Spatial)에 저장한 후 성능 분석을 통해 모델의 효율성과 타당성을 검증하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제4권2호
• /
• pp.154-173
• /
• 2010

Database outsourcing is unavoidable in the near future. In the scenario of data stream outsourcing, the data owner continuously publishes the latest data and associated authentication information through a service provider. Clients may register queries to the service provider and verify the result's correctness, utilizing the additional authentication information. Research on On-line Stream Analytics (OLSA) is motivated by extending the data cube technology for higher multi-level abstraction on the low-level-abstracted data streams. Existing work on OLSA fails to consider the issue of database outsourcing, while previous work on stream authentication does not support OLSA. To close this gap and solve the problem of OLSA query authentication while outsourcing data streams, we propose MDAHRB and MDAHB, two multi-dimensional authentication approaches. They are based on the general data model for OLSA, the stream cube. First, we improve the data structure of the H-tree, which is used to store the stream cube. Then, we design and implement two authentication schemes based on the improved H-trees, the HRB- and HB-trees, in accordance with the main stream query authentication framework for database outsourcing. Along with a cost models analysis, consistent with state-of-the-art cost metrics, an experimental evaluation is performed on a real data set. It exhibits that both MDAHRB and MDAHB are feasible for authenticating OLSA queries, while MDAHRB is more scalable.

• 한국지구과학회지
• /
• 제39권4호
• /
• pp.388-400
• /
• 2018

The purpose of this study was to explore the nine components of computational thinking (CT) practices and their operational definitions from the view of science education and to develop a CT practice framework that is going to be used as a planning and assessing tool for CT practice, as it is required for students to equip with in order to become creative problem solvers in $21^{st}$ century. We employed this framework into the earlier developed STEAM programs to see how it was valid and reliable. We first reviewed theoretical articles about CT from computer science and technology education field. We then proposed 9 components of CT as defined in technology education but modified operational definitions in each component from the perspective of science education. This preliminary CTPF (computational thinking practice framework) from the viewpoint of science education consisting of 9 components including data collection, data analysis, data representation, decomposing, abstraction, algorithm and procedures, automation, simulation, and parallelization. We discussed each component with operational definition to check if those components were useful in and applicable for science programs. We employed this CTPF into two different topics of STEAM programs to see if those components were observable with operational definitions. The profile of CT components within the selected STEAM programs for this study showed one sequential spectrum covering from data collection to simulation as the grade level went higher. The first three data related CT components were dominating at elementary level, all components of CT except parallelization were found at middle school level, and finally more frequencies in every component of CT except parallelization were also found at high school level than middle school level. On the basis of the result of CT usage in STEAM programs, we included 'generalization' in CTPF of science education instead of 'parallelization' which was not found. The implication about teacher education was made based on the CTPF in terms of science education.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.757-759
• /
• 2013

수 년 전까지만 해도 Verilog나 VHDL과 같은 하드웨어 기술언어 (HDL)를 사용한 레지스터 전송수준의 설계 기법은 기존의 회로도에 의존했던 방법에 비해 최첨단의 기술로 인식되었고 현재까지도 디지털 회로를 설계하는 방법으로 가장 널리 사용되고 있다. 하지만 공정 기술의 발전으로 반도체 칩의 트랜지스터 집적도가 십억 개 단위를 훌쩍 넘어서는 시대가 열림에 따라, 레지스터 전송 수준에서 회로를 설계하는 것은 너무도 복잡한 일이 되어버려, 더 이상 시대의 요구에 부응하지 못하여 설계 패러다임이 상위수준에서 설계와 합성이 이루어지는 쪽으로 변화하여야 한다. 블루스펙 HDL은 현재까지 개발된 HDL 중 유일하게 시스템 레벨에서 회로를 설계하는 것을 가능하게 함과 동시에 합성이 가능한 코드를 생성해주는 언어이다. 본 고에서는, 아직 많이 알려지지는 않았지만, 진화한 설계 패러다임을 지향하는 블루스펙 HDL에 대해 소개하고 분석하도록 한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제8권3호
• /
• pp.57-64
• /
• 2019

본 논문에서는 이벤트구동 게이트수준 타이밍 시뮬레이션의 성능 향상 및 디버깅 효율성 크게 높일 수 있는 공간적 부분시뮬레이션 전략이 적용된 효율적인 예측기반 병렬 시뮬레이션 기법을 제안한다. 제안된 기법은 병렬 이벤트구동 로컬시뮬레이션들의 입력값과 출력값에 대한 빠르면서도 정확한 예측을 달성하기 위해서, 공간적 부분시뮬레이션 전략을 추상화 상위수준 시뮬레이션에 적용하여 정확한 예측 데이터를 빠르고 즉각적으로 생성해낸다. 공간적 부분시뮬레이션 전략이 적용된 예측기반 병렬 게이트수준 타이밍 시뮬레이션은 성능 평가를 위하여 사용된 6개의 벤치마크 설계들에 대하여 제일 일반적인 순차 이벤트구동 게이트수준 타이밍 시뮬레이션에 비하여 평균 약 3.7배, 상용화된 멀티코어 기반의 병렬 이벤트구동 게이트수준 타이밍 시뮬레이션에 비해서는 평균 9.7배, 그리고 기존의 가장 우수한 예측기반 병렬 이벤트구동 게이트 수준 타이밍 시뮬레이션 결과에 비해서도 평균 2.7배의 시뮬레이션 성능이 향상됨을 확인할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권10호
• /
• pp.1178-1178
• /
• 1999

A spatial join has the property that its execution time exponentially increases in proportion to the number of spatial objects. Recently, there have been many attempts for improving the performance of the spatial join by using parallel processing schemes, In the case of executing parallel spatial join using the parallel machine with shared disk architecture, the disk bottleneck of parallel processing of spatial join worsens in comparison with sequential spatial join. This paper presents the algorithms of task creation and assignment to reduce the disk bottleneck caused by accessing the shared disk at the same time, and to minimize message passing between processors, This paper proposes object caching which is a higher level of abstraction than page caching, and uses it to do creation and assignment of tasks according to temporal and spatial localities for minimizing disk access time. The object caching shows the performance improvement of 50%. The task creation and assignment using localities gives the gain of 30% and 20%. Overall performance evaluation of the proposed algorithms shows 7.2 times speed up than those of sequential execution of spatial joins.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권5호
• /
• pp.536-542
• /
• 2000

본 논문은 제스춰를 이용하여 3차원 인체 모델의 동작을 지시하고 생성하는 시각 스크립트 언어를 제안한다. 인체와 같은 다관절체의 동작 생성을 위해서는 일반적으로 많은 세부적 작업과 전문성을 요구한다. 그러나 동작의 추상적 의미 전달을 통한 동작 생성이 가능하다면 동작 생성을 위한 작업량의 감소와 더불어 동작 시나리오 작성이 보다 용이할 것이다. 본 논문에서 제시하는 시각 스크립트는 실생활에서 손짓을 이용한 제스춰로 의미를 전달하는 것처럼 동작의 종류와 방향, 경로 등을 지시학 위해서 마우스 드래깅으로 입력되는 궤적이다. 따라서 시각 스크립트를 이용하면 동작의 의미적 기술이 가능하며 동작 경로 등의 공간적 속성을 시각적으로 부여할 수 있다. 그리고 동작 대상이 되는 신체 부위나 드래킹 속도 등의 제약 조건을 이용하여 동일한 형태의 시각 스크립트로도 다양한 인체 동작을 지시할 수 있도록 하였다. 이러한 시각 스크립트를 이용한 인체 동작 제어 시스템의 구현을 통해서 보다 직관적인 시각 제스춰를 통한 동작 제어가 가능함을 보인다.

• 한국식품저장유통학회지
• /
• 제10권3호
• /
• pp.376-380
• /
• 2003

본 연구는 쌀에 대한 구입비율이 높을 것으로 추측되는 서울지역 주부를 대상으로 최근 공급이 증가하고 있는 브랜드 쌀에 대한 소비측면의 연구를 수행하였다. 주요한 분석 목적은 브랜드 쌀에 대한 소비경험 띤 재구매 의향 조사를 통하여 주부들의 어떠한 특성요인이 브랜드 쌀 소비에 영향을 미치는가를 분석한 것이다. 분석결과 브랜드 쌀에 대한 주부들의 선호는 고소득 가구, 연령이 높은 계층, 고학력, 아파트 거주 주부들이 높게 나타났다. 또한 브랜드 쌀에 대한 재구매 의향은 고학력, 취업한 주부일수록 선호도가 높게 나타났다. 결론적으로 브랜드 쌀에 대한 장기적 판매전망은 가계의 경제사정과 밀접한 관련이 있는 것으로 추측될 수 있으며, 경제성장과 더불어 브랜드 쌀에 대한 소비는 일반 쌀보다 증가할 가능성이 높다고 추론할 수 있다.

• 과학교육연구지
• /
• 제39권3호
• /
• pp.418-433
• /
• 2015

이 연구는 과학학습 부진을 겪는 중학교 2학년 학생들의 인지적 특성을 한국 웩슬러 아동지능검사-4판 (K-WISC-IV)을 이용하여 심층적으로 분석하고 이를 과학학습 우수아집단 및 일반아 집단과 어떠한 차이를 보이는지 규명하고자 하였다. 과학학습 우수 집단의 FSIQ는 통계적으로 일반집단, 과학학습 부진아 집단 보다 높게 나타났다. 언어이해 지표(VCI)에서는 과학학습 우수 집단과 일반 집단이 과학학습 부진 집단보다 높은 것으로 나타났다. 특히, 하위 요인인 공통성(SI)에서는 과학학습 부진아 집단이 다른 두 집단에 저조한 수행을 보였는데, 이는 과학학습 부진아 집단의 낮은 수준의 추상화 능력은 과학적 추론 능력이 부족한 것에 기인한다고 할 수 있다. 따라서 공통성 소검사는 과학학습 부진아 집단을 가려낼 수 있는 변별력 높은 소검사라고 판단되며, 낮은 수준의 언어 이해 능력, 추상화 능력 및 추론 능력은 과학학습 부진의 가장 큰 요인으로 작용한 다고 볼 수 있다. 작업기억 지표(WMI)에서 과학학습 우수 집단이 일반집단, 과학학습 부진 집단보다 높게 나타났다. 작업기억은 과학의 유추 문제의 해결 과정의 원활한 수행에 깊이 관여하여 과학 학업 성취에 매우 중요한 역할을 하는 것으로 생각된다. 이에 대한 교육학적 함의를 논의하였다.