• Education of Primary School Mathematics
• /
• v.4 no.1
• /
• pp.43-49
• /
• 2000

The purpose of this paper is to address the theory of counting and the development of number concepts. Leslie Steffe and his colleagues developed the theory of children's counting types using the teaching experiment. As the results of their research, they published two books： "Children's counting types" (Steffe, von Glasersfeld, Richards, '||'&'||' Cobb, 1983) and "Construction of arithmetic meanings and strategies" (Steffe, Cobb, ＆ von Glasersfeld, 1988). They classified children's counting types into five categories： Perceptual Counting Stage, Figural Counting Stages, Initial Number Sequence Stage, Tacitly Nested Number Sequence Stage, and Explicitly Nested Number Sequence Stage. The meaning of this theory is added in the last part of this paper. this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.519-521
• /
• 1999

Message Sequence Charts는 요구 사항 및 설계 단계에서 시스템의 시나리오 정보를 명세하는 수단으로 많이 사용되어 왔다. 하지만, 그 정형 시멘틱에 대한 연구가 미흡하여, 자신의 완결성 및 다른 명세와의 일치성 등의 검증이 힘든 상황이다. 본 논문에서는 Message Sequence Charts의 오토마타 기반 정형적 시멘틱을 정의한다. 제안된 오토마타 기반 정형적 시멘틱은 MSC에서의 모든 경로에 대한 행위를 유지하고, 그 오토마타는 MSC에서 발생할 수 있는 이벤트의 연속과 일치한다. 또한 본 논문에서는 오토마타의 추출을 위한 알고리즘을 제공한다. 이를 통하여 오토마타 추출과정이 자동화 됨으로써 다를 상태 기반 언어와의 검증 등이 용이하게 되고, MSC의 자체 검증에도 도움을 준다.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.5
• /
• pp.76-84
• /
• 1997

A process sequence in precision press forming of electrnic components is investigated by the finite element method. Aperture, a key component of electronic gun, is formed through a sequence of about 15 operation, among which the beading & bending, the first piercing, the first coining, and the second coining operations are expected to be most critical in view of industrial experts opinions. Thus, the analysis per- formed by a commercial code MARC focuses on the three operations, and comparisons are made between the results of the analysis and the measurements of experimental forming of the component.

• Journal of the Korean Society for Railway
• /
• v.11 no.5
• /
• pp.433-440
• /
• 2008

Virtual construction methodology enables to construct project facility from design phase to construction phase in 3D virtual environment. It is a technique that can solve problems of construction in virtual construction process. This study suggests some methodologies of virtual construction and developed a system for a railway station in Honam express railway project based on suggested methodologies. This study developed layout review and layer simulation functions. Those functions can improve the effectiveness of 3D simulation and the virtual construction system can be used as a verification tool for construction process of various construction projects.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.8B
• /
• pp.736-744
• /
• 2006

For the handhold devices, minimizing repetitive CPU operations such as multiplications is a major factor for their performances. In this paper, we propose efficient algorithms for finding similar sequences from streaming time-series data such as stock prices, network traffic data, and sensor network data. First, we formally define the problem of similar subsequence matching from streaming time-series data, which is called the stream sequence matching in this paper. Second, based on the window construction mechanism adopted by the previous subsequence matching algorithms, we present an efficient window-based approach that minimizes CPU operations required for stream sequence matching. Third, we propose a notion of window MBR and present two stream sequence matching algorithms based on the notion. Fourth, we formally prove correctness of the proposed algorithms. Finally, through a series of analyses and experiments, we show that our algorithms significantly outperform the naive algorithm. We believe that our window-based algorithms are excellent choices for embedded stream sequence matching in handhold devices.

• Journal of the Korea Concrete Institute
• /
• v.20 no.2
• /
• pp.249-256
• /
• 2008

With consideration of the ongoing construction of high-rise buildings, it is becoming increasingly important to be able to accurately predict the behavior of them on the stage of design, construction and service. Even though many researchers have developed the analysis method to predict the behavior of high-rise buildings, their studies were based on the two dimensional frame structures composed of line elements such as beams and columns. Recently the high-rise buildings with flat-plate system is widely used because of its advantages. In this study a three dimensional analysis method is developed to analyze the behavior of the high-rise buildings with flat-plate system since it is difficult to model the structural systems reasonably with the existing two dimensional analysis method. The analysis method considered the construction sequence including the temporary work such as installation of form, removal of form, installation of shore, and removal of shore. Line elements were used to describe columns, beams, and shores and plate elements were used to model slabs. The creep and drying shrinkage of concrete were also considered to account for the inelastic behavior of concrete.

• Journal of the Korea Concrete Institute
• /
• v.11 no.3
• /
• pp.59-67
• /
• 1999

The mass concrete structures are generally constructed in an incremental manner by deviding the whole structures by a series of many blocks. The temperature and stress distributions of any specific block are continuously affected by the blocks placed before and after the specific block. For an accurate analysis of mass concrete structures, the sequence of all the blocks must be accordingly considered including the change of material properties with time for those blocks considered. The purpose of this study is to propose a realistic analysis method which can take into account not only the influence of the sequence, time interval and size of concrete block placement on the temperatures and stresses, but also the change of material properties with time. It is seen from this study that the conventional simplified analysis, which neglects material property changes of some blocks with time and does not consider the effect of adjacent blocks in the analysis, may yield large discrepancies in the temperature and stress distributions of mass concrete structures. This study gives a method to choose the minimum number of blocks required to obtain reasonably accurate results in analysis. The study provides a realistic method which can determine the appropriate size and time interval of block placement, and can be efficiently used in the design and construction of mass concrete structures.

• Journal of Construction Engineering and Project Management
• /
• v.7 no.1
• /
• pp.37-49
• /
• 2017

The Jinshanling section of the Great Wall of China is a series of fortifications in northern China that was constructed for strategic military defenses. This section was first built in the beginning of the Ming Dynasty in AD 1368 and then underwent major construction, reconstruction and renovation during the late Ming Dynasty, approximately in AD 1569. The Jinshanling section is 10.5 km long, a very short section compared with the entire 21,200 km wall. The wall section is located in Luanping County, Hebei province, China. This research paper focuses on the construction methods and materials of the wall and the towers in the area. The research methodology includes site visits, knowledge acquisition of experts and 3D graphic modeling. This study reveals that the materials selected for the structure include rubbles and rammed earth, bricks, stones, timber, and mortar. The erection sequence of the wall and the towers was a bottom-up fashion using various ancient construction techniques, such as the fire-setting rock blasting techniques and the surveying techniques from the Sea Island Mathematical Manual.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.975-983
• /
• 2022

This paper presents an innovative way of integrating scheduling and project controls with the environmental impact of a construction project to track, monitor, and manage environmental emissions at the activity level. As a starting point, scheduling and project controls help monitor the status of a project to provide an assessment of the duration and sequence of activities. Additionally, project schedules can also reflect resource allocation and costs associated with various phases of a construction project. Owners, contractors and construction managers closely monitor tasks or activities on the critical path(s) and/or longest path(s) calculated through network based scheduling techniques. However, existing industry practices do not take into account environmental impact associated with each activity during the life cycle of a project. Although the environmental impact of a project may be tracked in various ways, that tracking is not tied to the project schedule and, as such, generally is not updated when schedules are revised. In this research, a Cradle to Gate approach is used to estimate environmental emissions associated with each activity of a sample project schedule. The research group has also investigated the potential determination of scenarios of lowest environmental emissions, just as project managers currently determine scenarios with lowest cost or time. This methodology can be scaled up for future work to develop a library of unit emissions associated with commonly used construction materials and equipment. This will be helpful for project owners, contractors, and construction managers to monitor, manage, and reduce the carbon footprint associated with various projects.

• Journal of the Korean Society of Safety
• /
• v.14 no.4
• /
• pp.148-157
• /
• 1999

Dynamic structural behavior in long span bridges, especially cable structures, is very sophisticated due to their flexibility and structural members are sequentially erected in each construction step. In this study, the consistent mass matrix for dynamic analysis is formulated and computational program considering construction sequences is developed where structural members can be builded or removed by command language and automatically reanalyzed in the moment when structural system is changed. The dynamic analysis, i.e. eigenvalue and time series analysis and the geometrically nonlinear analysis considering construction sequence are conducted to the Namhae Bridge. The analytical results are satisfactory compared with measuring values and the developed computational program can successfully be applied to design and safety check.