• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제20권2호
• /
• pp.207-214
• /
• 2006

수학의 논증수학과 실용수학으로 나누어 볼 수 있다. 우리나라의 수학은 실용수학에서 논증수학으로 그 성질이 변해 왔다고 볼 수 있는데 그 계기가 된 것이 개화기이다. 개화기에 새로운 수학이 등장하면서 겪게 된 변화를 살펴 본 결과, 첫째, 수학서의 내용과 형식은 서구의 방식을 따랐으나 수학을 대하는 태도는 전통적인 방식을 그대로 따랐다는 것, 둘째, 결과를 중요시하는 방식에 익숙해 과정을 중요시하는 증명을 어렵게 생각한다는 것, 셋째, 수학 그 자체를 즐기는 수학 문화가 필요하다는 결론에 이르게 되었다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.130-134
• /
• 2005

This research describes the comparison broker's role and its effectiveness measurement using a developed logical framework of comparison shopping service. And verifies that seller-led comparison challenge method provide comparison information of products to buyers more efficiently. In electronic commerce, buyer's satisfaction of purchase (S) can be defined as an interactive function between seller's competitiveness vector (P) of products that supplied to the market, and buyer's informed level vector (B) of products that is known from a lot of sources. Then the buyer's informed level can be changed through the information analysis among products by transformation process using comparison matrix (C). So the role of comparison shopping is to construct a comparison matrix and to serve it to the buyers, and to change the buyer's informed level. The changed informed level influences a buyer's satisfaction, that improved satisfaction of purchase is defined as the effectiveness of comparison shopping. As a perfect provision and usage of comparison matrix is impossible cause of cognitive limit, the most efficient method for improving the comparison effectiveness is the comparison challenge that detects the comparison elements of the largest buyer's information efficiency, and then to be compared between elementary products selectively. This research verifies the substantial superiority of comparison challenge through television market data experiments.

• 건축역사연구
• /
• 제17권1호
• /
• pp.29-46
• /
• 2008

This study is to present Chinese character notation for common use through investigation of examples and graphonomy related literature with beam and purlin of wooden members and its conclusions are as follows. It suggests two commonly used Chinese characters of beam and purlin. The first method of indicating them is Riyang(樑) for beam and Hang(桁) for purlin and the second method is Bo(保) for beam and Hang(桁) for purlin. Riyang(樑) as the first method was already used in the Joseon period and was profitable to convey limited meaning as wooden term compared to Riyang(樑) with wider meaning and Bo(保) as the second method contained logical association and hieroglyphic connection of Bo(保) as the Korean character. Hang(桁) for purl in was presented by both the first and second methods and it was already used in the Koryeo age, also commonly used as the term of purlin in China and Japan and it was also presented as letter containing logical and hieroglyphic connection with Hyeng(行).

• 컴퓨터교육학회논문지
• /
• 제17권1호
• /
• pp.97-105
• /
• 2014

공교육 현장에서 일어나고 있는 각종 정량적 평가의 문제점을 고려하고, 학생들의 교과목 점수 외의 개별 특성을 반영하여 평가에 적용 할 수 있는 정성적 평가 기법을 제안하기 위해 지능형 퍼지논리 추론의 적응성과 가능성을 이용하는 방법론적 고찰을 연구하였다. 각 급 학교의 평가에서 정량적 점수에 추가하여 평어평가를 활용하여 개인의 정성적 특징을 반영하는 기법을 제안하고, 한편으로, 교육정책 관련 사안으로서의 실제적인 실혐 환경구축 및 구현의 어려움으로 인해 가상적인 환경에서의 실험결과를 제시하였다.

• 대한전자공학회논문지
• /
• 제27권6호
• /
• pp.910-920
• /
• 1990

This paper presents a method of constructing an Arithmetic Operation Unit Systems (A.O.U.S.) over Galois Field GF(2**m) for the purpose of the four arithmetical operation(addition, subtraction, multiplication and division between two elements in GF(2**mm). The proposed A.O.U.S. is constructed by following procedure. First of all, we obtained each four arithmetical operation algorithms for performing the four arithmetical operations using by mathematical properties over GF(2**m). Next, for the purpose of realizing the four arithmetical unit module (adder module, subtracter module, multiplier module and divider module), we constructed basic cells using the four arithmetical operation algorithms. Then, we realized the four Arithmetical Operation Unit Modules(A.O.U.M.) using basic cells and we constructd distributor modules for the purpose of merging A.O.U.M. with distributor modules. Finally, we constructed the A.O.U.S. over GF(2**m) by synthesizing A.O.U.M. with distributor modules. We prospect that we are able to construct an Arithmetic & Logical Operation Unit Systems (A.L.O.U.S.) if we will merge the proposed A.O.U.S. in this paper with Logical Operation Unit Systems (L.O.U.S.).

• 한국컴퓨터정보학회논문지
• /
• 제17권7호
• /
• pp.23-32
• /
• 2012

프로그램 검증을위해 사용되는방법으로 프로그램을 검증조건으로 변환하여정리증명기를 통해 프로그램의유효성을 확인하는 방법이 있다. 검증조건 생성을 통한 프로그램의 검증의 경우 검증조건은 프로그램을 검증하기 위한 충분하고 정확한 정보를 가지고 있어야한다. 하지만 프로그램의 변환을 통해 생성된 검증조건의 경우 논리식만으로 구성되어 있어 사용자가 쉽게 그 내용을파악할 수 없다. 본 논문에서는 가독성이 떨어지는 검증조건을 시각화하는 프로그램을 구현하였다. 프로그램을 통해 검증조건을 구성하고 있는 논리식간의 관계 등을 비롯한 정보를 보다 쉽게 확인할 수 있다.

• 한국가정과교육학회지
• /
• 제14권3호
• /
• pp.51-64
• /
• 2002

The Purposes of This Study is to investigate the relationships among Multiple Intelligence(MI). Creativity and Home Economics achievements of the middle & high school students. The research of this study are performed as follows Subject of this study were 142 middle school student & 127 girls' high school. And The “Creativity Test” developed by Korean Creativity Research Institute(1998). Multiple Developmental Assesment scale were administrated as data gathering tools And end-term exam scores on 9 subject were collected as the measure of academic achievement. Especially the Home Economics achievement were collected with Written test and performance assesment. The data were analysed by pearson's correlation. The findings of this study were as follows: 1) A statistically significant correlation among the MI and Home Economics achievements in middle school students(linguistic, Logical-mathematical. Musical. Interpersonal, Intrapersonal) and high school students(linguistic, Logical-mathematical, Interpersonal) were found. But There were not statistical difference between another 8 subjects. 2) In middle school students. a statistically significant correlation among the creativity and Home Economics achievements were found But in high school students, statistically significant correlation among the creativity and Home Economics achievements were not found 3) In MI and Home Economics achievements correlation. there were not difference between written test and performance assesment.

• 한국과학교육학회지
• /
• 제16권3호
• /
• pp.278-285
• /
• 1996

High school students' achievements in algorithmic problems, and figure-formatted and textual-formatted conceptual problems concerning stoichiometry, gaseous state, and solution, were measured by the Chemistry Problem Solving Ability Test. The relationships among the achievement scores in the three types of problems and cognitive variables such as logical thinking ability, mental capacity, and field dependence/field independence were examined. The portion of variance of explanation for each achievement score was also studied by a multiple regression analysis. The results showed that logical thinking ability was significantly correlated with the achievement score in the algorithmic problems, and accounted for the significant portion of the variance of the score. Mental capacity accounted for the significant portion of the variance of the score in the figure-formatted conceptual problems. Although field dependence/field independence was significantly correlated with all the achievement scores, it did not significantly account for any scores in multiple regression analyses. However, the magnitudes of correlation coefficients among the achievement scores were higher than those between the achievement scores and cognitive variables. The best predictor for each score was also found to be one of the other achievement scores. Educational implications are discussed.

• 정보교육학회논문지
• /
• 제11권4호
• /
• pp.497-504
• /
• 2007

본 연구는 컴퓨터 과학의 내용을 보다 쉽게 초등학생에게 이해하여 논리적 사고력을 신장시킬 수 있는 언플러그드 수업의 전략을 제시하였다. 컴퓨터 과학의 내용 중 자료구조의 수업 내용을 재구성하여 실제 수업을 실시하였으며, 사고력 검사지로 수업의 가능성을 확인하였다. 그리고 언플러그드 학습을 적용하여 컴퓨터실이 아니라 일반 교실에서 아동의 구체적 경험과 실생활의 예를 토대로 학습을 하였으며 학습지를 해결하도록 하였다. 적용한 결과 초등학생의 발달 단계에 알맞게 조직화된 컴퓨터과학의 학습방법을 제시했을 때 초등학생이 컴퓨터 과학을 이해하는데 많은 도움이 되었다. 본 연구를 통하여 초등학교 정보교육의 내용에 컴퓨터 과학을 적용할 수 있으며 초등학생들이 논리적 사고력을 신장시키는데 많은 기여를 할 수 있을 것이다.

• 한국정보과학회논문지:정보통신
• /
• 제31권2호
• /
• pp.224-232
• /
• 2004

최선의 전송(best-effort) 방식을 택하는 멀티캐스트 전송에서 신뢰성을 제공하기 위한 연구 중 데이타 채널과는 독립적인 계층적 제어 트리를 통하여 신뢰성을 제공하는 연구는 높은 확장성을 보장하는 것으로 알려져 있다. 그러나 하위 네트워크 계층의 트리에서 토폴로지 형성에 관한 명시적 정보를 제공하지 않는 상태에서 형성된 전송계층의 논리적 제어트리는 네트워크 계층의 트리 토폴로지와 일치하지 않아서 링크를 비효율적으로 사용할 가능성이 있다. 본 논문에서 제안한 라우터의 지원을 받아 제어트리를 구성하는 기법은 중복되는 데이타를 없애고 링크의 효율성을 향상시키는데 그 목적이 있으며, 제어트리에 사용되는 메시지 타입을 검사하는 기능 확장만을 요구함으로써 사용의 용이성을 증가시켰다.