• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.2113-2119
• /
• 1998

The optimization problem of BDDs plays an improtant role in the area of logic synthesis and formal verification. Since the variable ordering has great impacts on the size and form of BDD, finding a good variable order is very important problem. In this paper, a new variable ordering scheme called incremental optimization algorithm is presented. The proposed algorithm reduces search space more than a half of that of the conventional sifting algorithm, and computing time has been greatly reduced withoug depreciating the performance. Moreover, the incremental optimization algorithm is very simple than other variable reordering algorithms including the sifting algorithm. The proposed algorithm has been implemented and the efficiency has been show using may benchmark circuits.

• Annual Conference on Human and Language Technology
• /
• 2016.10a
• /
• pp.33-38
• /
• 2016

수사구조는 텍스트의 각 구성 성분이 맺고 있는 관계를 의미하며, 필자의 의도는 논리적인 구조를 통해서 독자에게 더 잘 전달될 수 있다. 따라서 독자의 인지적 효과를 극대화할 수 있도록 수사구조를 고려하여 단락과 문장 구조를 구성하는 것이 필요하다. 그럼에도 불구하고 지금까지 수사구조에 기초한 한국어 분류체계를 만들거나 주석 코퍼스를 설계하려는 시도가 없었다. 본 연구에서는 기존 수사구조 이론을 기반으로, 한국어 보도문 형식에 적합한 30개 유형의 분류체계를 정제하고 최소 담화 단위별로 태깅한 코퍼스를 구축하였다. 또한 구축한 코퍼스를 토대로 중심문장을 비롯한 문장 구조의 특징과 분포 비율, 신문기사의 장르적 특성 등을 살펴봄으로써 텍스트에서 응집성의 실현 양상과 구문상의 특징을 확인하였다. 본 연구는 한국어 담화 구문에 적합한 수사구조 분류체계를 설계하고 이를 이용한 주석 코퍼스를 최초로 구축하였다는 점에서 의의를 갖는다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.375-378
• /
• 2010

본 논문은 엔지니어링 문서정보를 준구조화된 XML 문서로 변환하고 이를 3차원 교량 모델과 연계하는 방법을 제시한다. 이를 위해 먼저 구조계산서의 세부 목차에 따른 문서구조를 추출하는 기법을 이용하여 3차원 교량모델을 구성하는 각 부재와 매핑되는 구조계산서 문서의 일부를 프로그램 상에서 자동으로 추출하기 위한 모듈을 개발하였다. 또한 3차원 교량모델의 정보를 운영하기 위해 IFC 기반의 교량정보모델을 개발하였다. 개발된 정보모델은 교량요소들의 논리적 구성체계를 공간적 요소, 물리적 요소 및 그룹 요소별로 표현할 수 있도록 지원한다. 이와 같이 개발된 기술을 이용하여 3차원 교량모델 뷰어에서 구조계산서의 정보를 검색하기 위한 시범 툴을 개발하였으며, 4개의 단위 교량으로 구성된 복합형식의 교량에 대한 3차원 모델을 구축하고 각 교량에 대한 구조계산서 또한 XML 문서로 변환하였다. 이와 같이 구축된 두 정보체계에서 사용자가 선택한 임의의 구성요소에 관한 세부 문서정보의 조회가 가능함을 보임으로써 제시된 방법의 적합성을 검증하였다.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.467-480
• /
• 2014

Concepts related to the fraction should be taught with formative thinking activities as well as concrete operational activities. Teaching improper fraction should follow the concept of fraction as a relation of two natural numbers. This concept is also important not to be skipped before teaching the fraction such as "4 is a third of 12". Mixed number should be taught as a sum of a natural number and a proper fraction. Fraction as a quotient of a division is a hard concept to be taught since it requires very high abstractive thinking process. Learning the transformation of division into multiplication of fractions should precede that of fraction as a quotient of a division.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Korean journal of communication and information
• /
• v.30
• /
• pp.121-141
• /
• 2005

Most of the convergence studies argue the reform of the current policy regime of broadcasting and telecommunications in Korea from two perspectives: 1) the media governance perspective and 2) the media industry perspective. The former emphasizes the need of integrity, consistency and efficiency of the regime in the convergence environment, while the latter focuses upon the growth and development of the media industry making the best of economic and industrial opportunities that are spawned by digital convergence. Although their arguments are logical and robust, they are lopsided in terms of legalism and myopic economism due to the linear perception of institutionalism, Bureaucratic administrative practices as well as ostentatious IT policies that have chronically plagued the policy regime in Korea cannot be resolved by simply assimilating distinct regulatory bodies and laws. Unless these two issues are properly addressed, the convergence of media policy institutions would end up a half-success or half-failure contrary to the exportations of existing studies.

• Journal of The Korean Association For Science Education
• /
• v.22 no.3
• /
• pp.571-585
• /
• 2002

This is one of the basic research for inspecting the possibility of the development of logical thinking capability to make possible formal thinking. The 5th grade students (n=306) in the elementary school were participated in this study. Performing the 6 variable-controlling activities in the 'Thinking Science' program for one semester, the SRT II test and the Variable-Controlling test were operated to examine the effects on the development of the variable-controlling ability by treatments, gender, and cognitive levels. Performing of the variable-controlling activities was highly successive on the development of students' variable-controlling ability. Although learning effect on the ability of identifying causal variable was moderate, the abilities of controlling experimental condition, measurement of variable, and identifying result variable were significantly developed. There was statistically significant difference by gender. Girls showed better performance all the time in both groups. Boys in the experimental group were getting better gradually, so the difference by gender was somewhat decreased. Examining the variable-controlling ability by cognitive levels, students in the experimental group show significant increase in all levels, especially the students in early, mid, and mature concrete level show substantial learning effects. The results of this study implied that the variable-controlling activities in the 'Thinking Science' could be effective for learning of variable-controlling and eventually for the development of logical thinking capability to make possible formal thinking.

• Journal of The Korean Association For Science Education
• /
• v.24 no.5
• /
• pp.987-995
• /
• 2004

The purpose of this study was to analyze characteristics of problem solving process with proportional or compensational reasoning of the elementary school students. For this study, 85th grade students were selected and tested with Science Reasoning Task, information processing ability test and proportional and compensational reasoning tasks. This study revealed that students in mid concrete stage could solve the proportionality task and easy compensation task. But, most of the students could not solve difficult compensation task. And as the students got higher score in information processing test, it took them less time to solve the problem. The types of strategy used in solving proportional and compensational problem were categorized as the factor of change, building-up and the cross-product. Most of the students failed in problem solving used incorrect schema knowledge, procedure knowledge and strategy knowledge. Many students tended to use proportionality strategy to solve the difficult compensation task. Result of this study suggested that various task included different structure and the same schema knowledge can be effective for the advancement of students' proportional and compensational reasoning ability.

• Journal of Gifted/Talented Education
• /
• v.22 no.1
• /
• pp.173-196
• /
• 2012

The relationship of the teacher's recommendation and performance in gifted programs for the selected student by teacher's observations and nominations was analyzed in this study. The teacher's recommendation for 9 students selected by teacher's observations and nominations in institute of Science gifted Education of C National University of Education was analyzed for this purpose. The students were categorized into 4 groups depending on the description style and contents of the teacher's recommendation and 1 student was selected from each group for analysis. It was shown that the student, a1 who was described with cognitive characteristics of the gifted in episode style in the teacher's recommendation showed the aggressive task adherence and problem solving ability. The student, a2 who was described with emotional and social characteristics in episode style attended at the class in active attitude, but the student solved the problem by the assistance of the colleagues or the teacher. The student, b1 who was listed superficially in the teacher's recommendation showed the excellent problem solving ability based on the task adherence, experiment design ability and experiment manipulation ability. The student, b2 who was listed in superficially in the teacher's recommendation attended at the class in positive and upright attitude, but the task solving was lagged behind. It is concluded from the above results that the description on the cognitive area is necessary for the teacher's recommendation to have the usefulness in selecting gifted students.

• Journal of Educational Research in Mathematics
• /
• v.15 no.3
• /
• pp.315-334
• /
• 2005

The purpose of this study is to find out the implications on when and how the correlation concept can be taught. we investigate the development time and method of the concept in a statistical perspective those initially have discussed in psychology by Piaget. We first reviewed the 1958 research by Inhelder and Piaget. It was the first one which researched the development of the correlation and has become the foundation of psychological perspective. According to them, the correlation concept needs proportional and probability concept ahead of its development and argued on the coefficient of correlation based on formal and logical position. However, from a statistical perspective, the correlation concept is a part of the distribution concept. So, the level of the correlation concept grows from the comparison of conditional distributions to the conditional probability distribution where the proportional concept and probability concept are applied. As reviewed through the literature, we found that 11-12 years old students in early formal operation stage reasoned about correlation through the comparison of conditional distributions. In our study, we argue that we need to consider the possibility of beginning didactic mediation for correlation concept earlier and the method approaching it in a distribution perspective.