• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.245-261
• /
• 1999

Proof is an essential characteristic of mathematics and as such should be a key component in mathematics education. But, teaching proof in school mathematics have been unsuccessful for many students. The traditional approach to proofs stresses formal logic and rigorous proof. Thus, most students have difficulties of the concept of proof and students' experiences with proof do not seem meaningful to them. However, different views of proof were asserted in the reassessment of the foundations of mathematics and the nature of mathematical truth. These different views of justification need to be reflected in demonstrative geometry classes. The purpose of this study is to characterize the types of students' justification in demonstrative geometry classes taught using dynamic software. The types of justification can be organized into three categories : empirical justification, deductive justification, and authoritarian justification. Empirical justification are based on evidence from examples, whereas deductive justification are based logical reasoning. If we assume that a strong understanding of demonstrative geometry is shown when empirical justification and deductive justification coexist and benefit from each other, then students' justification should not only some empirical basis but also use chains of deductive reasoning. Thus, interaction between empirical and deductive justification is important. Dynamic geometry software can be used to design the approach to justification that can be successful in moving students toward meaningful justification of ideas. Interactive geometry software can connect visual and empirical justification to higher levels of geometric justification with logical arguments in formal proof.

• Journal of Korean Society of Archives and Records Management
• /
• v.8 no.2
• /
• pp.127-152
• /
• 2008

This article focuses on analyzing the cases of on-line archival contents services of the national archives' web-sites and explaining their types and characteristics. This study defines the concept of on-line archival contents services through literature review. Then, it examines the cases of on-line archival contents provided by web-sites of the USA, the UK, Australian and Korean national archives. The types of on-line archival contents services are classified in accordance with the main purpose of use, the structure, and the way of interaction between contents and users. Lastly, it summarizes their structural and thematic characteristics by type and country.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.9
• /
• pp.2181-2193
• /
• 1995

The effective elasticity and conduction of composite materials containing arbitrarily oriented multiple phases has been analyzed using the concept of orientation-dependent average fields and concentration factors. The analysis provided closed form expressions for the effective stiffnesses and conductivities. Under the prescribed boundary conditions, the concentration factors were evaluated by the equivalent inclusion principle, through which the interaction between various phases is approximated by the Mori-Tanaka mean-field approximation. SiC particulate(SiC$_{p}$) reinforce aluminum(Al) matrix composites were fabricated and their elastic constants and electrical conductivities were measured together with a careful study of their microstructure. The measured properties showed a systematic anisotropy and this behavior could be attributed to the preferred orientation of SiC$_{p}$. The theoretical model developed was applied to the computation of the anisotropic properties of these composites. Both two-phase and three-phase composites were considered based on the microstructural information. The SiC$_{p}$ was modeled as an ellipsoid with planar random orientation distribution in the extruded Al/SiC$_{p}$ composites. The effect of extraneous phase such as intermetallic compounds was also investigated.tigated.

• The Journal of Korea Robotics Society
• /
• v.13 no.2
• /
• pp.92-96
• /
• 2018

In this paper, a soft robotic arm which can prevent impact injury during human-robot interaction is introduced. Two degrees of freedom joint are required to realize free movement of the robotic arm. A robotic joint concept with a single degree of freedom is presented using simple inflatable elements, and then extended to form a robotic joint with two degrees of freedom joint using similar manufacturing methods. The robotic joint with a single degree of freedom has a joint angle of $0^{\circ}$ bending angle when both chamber are inflated at equal pressures and maximum bending angles of $28.4^{\circ}$ and $27.1^{\circ}$ when a single chamber if inflated. The robotic joint with two degrees of freedom also has a bending angle of $0^{\circ}$ in both direction when all three chambers are inflated at equal pressures. When either one or two chambers were pressurized, the robotic joint performed bending towards the uninflated chambers.

• Proceedings of the IEEK Conference
• /
• summer
• /
• pp.421-426
• /
• 2004

Analyzing adaptive possibilities of agents in multi-agents system, we have discovered new aspects of ambient intelligence in distributed modular systems using intelligent building blocks (I-BLOCKS) [1]. This paper describes early scientific researches related to technical design, applicable experiments and evaluation of adaptive processing and information interaction among I-BLOCKS allowing users to easily develop ambient intelligence applications. The processing technology presented in this paper is embedded inside each DUPLO1 brick by microprocessor as well as selected sensors and actuators in addition. Behaviors of an I-BLOCKS modular structure are defined by the internal processing functionality of each I-Blocks in such structure and communication capacities between I-BLOCKS. Users of the I-BLOCKS system can do 'programming by building' and thereby create specific functionalities of a modular structure of intelligent artefacts without the need to learn and use traditional programming language. From investigating different effects of modem artificial intelligence, I-BLOCKS we have developed might possibly contain potential possibilities for developing applications in ambient intelligence (AmI) environments. To illustrate these possibilities, the paper presents a range of different experimental scenarios in which I-BLOCKS have been used to set-up reconfigurable modular systems. The paper also reports briefly about earlier experiments of I-BLOCKS in different research fields, allowing users to construct AmI applications by a just defined concept of modular artefacts [3].

• The Journal of Society for e-Business Studies
• /
• v.22 no.2
• /
• pp.79-98
• /
• 2017

Understanding the consumer-brand relationship in the IT market from the "emotional" or "love" perspective requires an urgent research effort to fully comprehend IT consumers beyond brand loyalty. This study introduces and attempts to empirically validate the concept and measurement of "Lovemarks," which capture the emotional relationship between consumers and IT brands, especially smartphone brands. Having a second-order confirmatory factor analysis for three different smartphone brands, this study extracted 18 final items with six constructs of mysteriousness, sensuality, intimacy, performance, trust, and reputation. The results indicate that the Lovemarks are psychometrically valid and reliably measure the emotional interaction of consumers and IT brands beyondbrand loyalty.

• Structural Engineering and Mechanics
• /
• v.19 no.6
• /
• pp.679-705
• /
• 2005

This paper presents a practical method to evaluate the effective length factors for columns in multi-storey unbraced frames based on the concept of storey-based elastic buckling by means of decomposing a multi-storey frame into a series of single-storey partially-restrained (PR) frames. The lateral stiffness of the multi-storey unbraced frame is derived and expressed as the product of the lateral stiffness of each storey. Thus, the stability analysis for the multi-storey frame is conducted by investigating the lateral stability of each individual storey, which is facilitated through decomposing the multi-storey frame into a series of single-storey PR frames and applying the storey-based stability analysis proposed by the authors (Xu and Liu 2002) for each single-storey PR frame. Prior to introducing decomposition approaches, the end rotational stiffness of an axially load column is derived and rotational stiffness interaction between the upper and lower columns is investigated. Three decomposition approaches, characterized by means of distributing beam-to-column rotational-restraining stiffness between the upper and lower columns, are proposed. The procedure of calculating storey-based column effective length factors is presented. Numerical examples are then given to illustrate the effectiveness of the proposed procedure.

• Interaction and multiscale mechanics
• /
• v.6 no.2
• /
• pp.137-156
• /
• 2013

In this paper, a meshfree shell adaptive procedure is developed for the applications in the sheet metal forming simulation. The meshfree shell formulation is based on the first-order shear deformable shell theory and utilizes the degenerated continuum and updated Lagrangian approach for the nonlinear analysis. For the sheet metal forming simulation, an h-type adaptivity based on the meshfree background cells is considered and a geometric error indicator is adopted. The enriched nodes in adaptivity are added to the centroids of the adaptive cells and their shape functions are computed using a first-order generalized meshfree (GMF) convex approximation. The GMF convex approximation provides a smooth and non-negative shape function that vanishes at the boundary, thus the enriched nodes have no influence outside the adapted cells and only the shape functions within the adaptive cells need to be re-computed. Based on this concept, a multi-level refinement procedure is developed which does not require the constraint equations to enforce the compatibility. With this approach the adaptive solution maintains the order of meshfree approximation with least computational cost. Two numerical examples are presented to demonstrate the performance of the proposed method in the adaptive shell analysis.

• Geomechanics and Engineering
• /
• v.21 no.1
• /
• pp.73-84
• /
• 2020

In the seismic design of bridges, formation of plastic hinges plays an important role in the dissipation of seismic energy. In the case of conventional fixed-base bridges, the plastic hinges are allowed to form in the superstructure alone. During seismic event, such bridges may be safe from collapse but the superstructure undergoes significant plastic deformations. As an alternative design approach, the plastic hinges are guided to form in the soil thereby utilizing the inevitable yielding of the soil. Rocking foundations work on this concept. The formation of plastic hinges in the soil reduces the load and displacement demands on the superstructure. This study aims at evaluating the seismic response of bridge pier supported on rocking shallow foundation. For this purpose, a BNWF model is implemented in OpenSees platform. The capability of the BNWF model to capture the SSI effects, nonlinear behavior and dynamic loading response are validated using the centrifuge and shake table test results. A comparative study is performed between the seismic response of the bridge pier supported on the rocking shallow foundation and conventional fixed-base foundation. Results of the study have established the beneficial effects of using the rocking shallow foundation for the seismic response analysis of the bridge piers.

• Journal of Aerospace System Engineering
• /
• v.9 no.4
• /
• pp.31-36
• /
• 2015

The fatigue analysis for cutout panel used for the weight reduction of aircraft has been conventionally performed through the open hole concept using the reference stress and stress concentration factor (Kt). However, in the actual structure cases, the goal of weight reduction might be less meaningful due to the conservative approach induced by the difficulties of extracting the confident reference stress from FE-Analysis in the complicated loading behavior. Therefore a new approach is proposed in order to secure the effectiveness of weight reduction and validate the confidence of the analysis results using the interaction of max-min principal stress at the critical location of open hole edge line.