• 대한수학교육학회지:수학교육학연구
• /
• 제17권3호
• /
• pp.253-270
• /
• 2007

18세기 프랑스의 수학자 A.C. Clairaut는 역사발생적 원리에 근거하여 기하 교재에 이어 대수 교재 <대수학 원론>을 집필하였다. 본 논문은 <대수학 원론>을 분석함으로써 대수 지도를 위해 Clairaut가 의도한 원리 및 구체적인 방식의 특징들을 고찰하고, 학교 수학에서 대수 영역의 교수-학습과 비교, 논의함으로써 적용 가능한 교수학적 시사점을 찾는 것을 목표로 한다. 이를 위해 <대수학 원론>의 구성 및 내용에 대해 개관하고 초보자의 정신에 자연스럽게 전개한다는 Clairaut의 의도에서 비롯된 대수 지도 원리의 여섯 가지 특징을 추출한다. 이 중에는 <기하학 원론>에서의 특징과 공통적인 것도 있고 대수라는 내용 영역상의 구별에서 비롯되는 독특한 것도 있다. 그리고 학교 수학의 대수 영역 중 특정 주제-방정식 세우기, 문자식의 계산과 문자의 부호, 곱셈의 부호 규칙, 이차방정식의 해법, 근과 계수와의 일반적 관계-와 관련하여 논의하고 시사점을 찾는다.

• Steel and Composite Structures
• /
• 제28권5호
• /
• pp.559-571
• /
• 2018

In current engineering practice, circular concrete-filled steel tubular (CFST) columns have been used as effective structural components due to their significant structural and economic benefits. To apply these structural components into steel-concrete composite moment resisting frames, increasing number of research into the column-base connections of circular CFST columns have been found. However, most of the previous research focused on the strength, rigidity and seismic resisting performance of the circular CFST column-base connections. The present paper attempts to investigate the demountability of bolted circular CFST column-base connections using the finite element method. The developed finite element models take into account the effects of material and geometric nonlinearities; the accuracy of proposed models is validated through comparison against independent experimental results. The mechanical performance of CFST column-base connections with both permanent and demountable design details are compared with the developed finite element models. Parametric studies are further carried out to examine the effects of design parameters on the behaviour of demountable circular CFST column-base connections. Moreover, the initial stiffness and moment capacity of such demountable connections are compared with the existing codes of practice. The comparison results indicate that an improved prediction method of the initial stiffness for these connections should be developed.

• Steel and Composite Structures
• /
• 제22권2호
• /
• pp.429-448
• /
• 2016

This paper presents a finite element (FE) model for predicting the behaviour of steel column-column connections under axial compression and tension. A robustness approach is utilised for the design of steel column-column connections. The FE models take into account for the effects of initial geometric imperfections, material nonlinearities and geometric nonlinearities. The accuracy of the FE models is examined by comparing the predicted results with independent experimental results. It is demonstrated that the FE models accurately predict the ultimate axial strengths and load-deflection curves for steel column-column connections. A parametric study is carried out to investigate the effects of slenderness ratio, contact surface imperfection, thickness of cover-plates, end-plate thickness and bolt position. The buckling strengths of steel column-column connections with contact surface imperfections are compared with design strengths obtained from Australian Standards AS4100 (1998) and Eurocode 3 (2005). It is found that the column connections with maximum allowable imperfections satisfy the design requirements. Furthermore, the steel column-column connections analysed in this paper can be dismantled and reused safely under typical service loads which are usually less than 40% of ultimate axial strengths. The results indicate that steel column-column connections can be demounted at 50% of the ultimate axial load which is greater than typical service load.

• Journal of Communications and Networks
• /
• 제10권3호
• /
• pp.316-330
• /
• 2008

This paper proposes a novel method for transporting various types of user traffic effectively over the next generation network called integrated services digital network 3 (ISDN3) (or quantum network) using quantum packets. Basically, a quantum packet comprises one or more 53-byte quanta as generated by a "quantumization" process. While connection-oriented traffic is supported by fixed-size quantum packets each with one quantum to emulate circuit switching, connectionless traffic (e.g., IP packets and active packets) is carried by variable-size quantum packets with multiple quanta to support store-and-forward switching/routing. Our aim is to provide frame-like or datagram-like services while enabling cell-based multiplexing. The quantum packet method also establishes a flexible and extensible framework that caters for future packetization needs while maintaining backward compatibility with ATM. In this paper, we discuss the design of the quantum packet method, including its format, the "quantumization" process, and support for different types of user traffic. We also present an analytical model to evaluate the consumption of network resources (or network costs) when quantum packets are employed to transfer loss-sensitive data using three different approaches: cut-through, store-and-forward and ideal. Close form mathematical expressions are obtained for some situations. In particular, in terms of network cost, we discover two interesting equivalence phenomena for the cut-through and store-and-forward approaches under certain conditions and assumptions. Furthermore, analytical and simulation results are presented to study the system behavior. Our analysis provides valuable insights into the. design of the ISDN3/quantum network.

• 산업경영시스템학회지
• /
• 제12권20호
• /
• pp.123-138
• /
• 1989

The primary objective of the agency research in the game theory lives in the maintenance of Pareto is optimal condition for the optimal incentive contract. The basic concepts which are related to this objective are reviewed in connection with the general assumptions to model it, the moral hazard and adverse selection which arised from the information asymmetry, and finally the problem of risk distribution. The demand for auditing and the role of auditor have been addressed by ASOBAC. Issues which an auditor is explicitly introduced in a principal-agent framework have been addressed in this paper. These issues must be confronted to appropriately with the auditor, and to achieve an adequate understanding of optimal confronting arrangement with the auditor. The first step in introducing an auditor into this analysis is to examine the game-theoretic foundation of such a expended agency model. The Mathematical program formulated may not yield solution that are resonable. This arises because the program may call for the auditor and manager to play dominated Nash equilibra in some subgame. The nontrivial natures of the subgame implies that randomized strategies by the auditor and manager nay be of crucial importance. The possibilities for overcoming the randomized strategy problem were suggested; change the rule of the game and or impose covexity condition. The former seems unjustifiable in on auditing context, and the latter promising but difficult to achieve. The discussion ended with an extension of the revelation principle to the owner manager-auditor game, assuming strategies. An examination of the restriction and improvement direction of the basic concept of agency theory was addressed in the later part of this paper. Many important aspects of auditor incentives are inherently multiple-agent, multiple-period, multiple-objectine, phenomena and require further analyses and researches.

• 한국응용곤충학회지
• /
• 제56권1호
• /
• pp.1-18
• /
• 2017

곤충의 온도발육모형은 해충의 발생예찰모형을 비롯한 개체군모형에서 기본이 되는 요소이다. 본고에서는 곤충의 온도의존적 비선형 발육모형에 대하여 고찰하였다. 모형의 종류를 크게 경험모형과 생물리적 모형으로 구분하였으며, 수식의 유사성 내지 기원에 대한 유연관계에 따라 세분하였다. 발육률 곡선의 형태적 묘사에 적합한 수식을 적용하는 경험모형은 Stinner-계열, Logan-계열, 수행모형, 그리고 베타 분포모형으로 세분화하여 고찰하였다. 촉매반응을 바탕으로 하고 있는 생물리적 모형은 Eyring-모형, SM-모형, SS-모형, SSI-모형으로 이어지는 단계통으로 분류하였다. 본 연구에 포함된 각 모형의 개발과정과 형태적합 특성에 대하여 기술하였다.

• 대한수학교육학회지:학교수학
• /
• 제13권3호
• /
• pp.447-468
• /
• 2011

고등학교 수학교과과정에서 이차곡선에 관련된 단원의 지도는 다른 어떤 단원보다도 연결성이 고려된 지도가 필요한 단원이다. 다시 말해 대수적 접근 방식과 기하적 접근 방식이 동시에 병렬적으로 지도되어야 한다. 특히 대수적 조작력이 미흡한 하위권 학생들에게는 이차곡선에 대한 성질을 역동적으로 표현하는 시각적 표상을 심어주는 기하적 접근 방식이 더욱 중요하다. 이를 위하여 본 연구는 이차곡선의 지도에 있어서 GeoGebra에 기반한 역동적인 시각적 표상의 중요성을 제안하고자 현행 고등학교 '기하와 벡터' 10종의 교과서와 익힘책의 이차곡선 단원 중 포물선에 관련된 부분을 분석하여 시각적 표상을 극대화할 수 있는 지도 방안을 제안하는 실험적 수업을 진행하고 학생들의 표상의 변화를 분석하였다.

• 대한수학교육학회지:학교수학
• /
• 제12권3호
• /
• pp.371-388
• /
• 2010

이 논문의 목적은 소수(素數, prime number) 개념을 처음 배우는 학생들이 소수와 그 관련 개념들을 어떻게 이해하고 있는지를 탐구하기 위한 것이다. 이를 위하여 소수와 합성수 개념을 학습한 직후의 중학교 1학년 학생들에게 설문조사를 중심으로 자료를 수집하고 분석하였다. 연구 결과, 학생들은 주어진 자연수의 소수성을 판정하기 위한 소수의 기능적인 정의를 선호하며, 주어진 자연수의 약수를 찾는 것에만 주목하여 소수와 합성수를 곱셈적 관계로 이해하는데 어려움을 나타내었다. 이러한 결과는 학생들이 자연수의 곱셈적 기본 단위로서 소수 개념의 본질적인 중요성을 인식하고 산술의 기본 정리가 보장하는 자연수의 곱셈적 구조를 이해할 수 있도록 하는 교수학적 전략의 필요성을 제안한다.

• Structural Engineering and Mechanics
• /
• 제26권6호
• /
• pp.673-685
• /
• 2007

Reinforced concrete beams can be strengthened in a structural retrofit process by attaching steel plates to their sides by bolting. Whilst bolting produces a confident degree of shear connection under conditions of either static or seismic overload, the plates are susceptible to local buckling. The aim of this paper is to investigate the local buckling of unilaterally-restrained plates with point supports in a generic fashion, but with particular emphasis on the provision of the restraints by bolts, and on the geometric configuration of these bolts on the buckling loads. A numerical procedure, which is based on the Rayleigh-Ritz method in conjunction with the technique of Lagrange multipliers, is developed to study the unilateral local buckling of rectangular plates bolted to the concrete with various arrangements of the pattern of bolting. A sufficient number of separable polynomials are used to define the flexural buckling displacements, while the restraint condition is modelled as a tensionless foundation using a penalty function approach to this form of mathematical contact problem. The additional constraint provided by the bolts is also modelled using Lagrange multipliers, providing an efficacious method of numerical analysis. Local buckling coefficients are determined for a range of bolting configurations, and these are compared with those developed elsewhere with simplifying assumptions. The interaction of the actions in bolted plates during buckling is also considered.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1998년도 춘계 학술대회논문집
• /
• pp.15-28
• /
• 1998

As an alternative for solving the incompressible Navier-Stokes equations, we present a vorticity-based integro-differential formulation for vorticity, velocity and pressure variables. One of the most difficult problems encountered in the vorticity-based methods is the introduction of the proper value-value of vorticity or vorticity flux at the solid surface. A practical computational technique toward solving this problem is presented in connection with the coupling between the vorticity and the pressure boundary conditions. Numerical schemes based on an iterative procedure are employed to solve the governing equations with the boundary conditions for the three variables. A finite volume method is implemented to integrate the vorticity transport equation with the dynamic vorticity boundary condition . The velocity field is obtained by using the Biot-Savart integral derived from the mathematical vector identity. Green's scalar identity is used to solve the total pressure in an integral approach similar to the surface panel methods which have been well-established for potential flow analysis. The calculated results with the present mettled for two test problems are compared with data from the literature in order for its validation. The first test problem is one for the two-dimensional square cavity flow driven by shear on the top lid. Two cases are considered here: (i) one driven both by the specified non-uniform shear on the top lid and by the specified body forces acting through the cavity region, for which we find the exact solution, and (ii) one of the classical type (i.e., driven only by uniform shear). Secondly, the present mettled is applied to deal with the early development of the flow around an impulsively started circular cylinder.