• Geomechanics and Engineering
• /
• v.18 no.6
• /
• pp.595-603
• /
• 2019

A modified model combining Kriging and Monte Carlo method (MC) is proposed for probabilistic estimation of tunnel face stability in this paper. In the model, a novel uniform design is adopted to train the Kriging, instead of the existing active learning function. It has advantage of avoiding addition of new training points iteratively, and greatly saves the computational time in model training. The kinematic approach of limit analysis is employed to define the deterministic computational model of face failure, in which the Hoek-Brown failure criterion is introduced to account for the nonlinear behaviors of rock mass. The trained Kriging is used as a surrogate model to perform MC with dramatic reduction of calls to actual limit state function. The parameters in Hoek-Brown failure criterion are considered as random variables in the analysis. The failure probability is estimated by direct MC to test the accuracy and efficiency of the proposed probabilistic model. The influences of uncertainty level, correlation relationship and distribution type of random variables are further discussed using the proposed approach. In summary, the probabilistic model is an accurate and economical alternative to perform probabilistic stability analysis of tunnel face excavated in spatially random Hoek- Brown media.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.140-142
• /
• 2012

리눅스 환경에서는 빠른 개발 및 디버깅을 위한 다양한 시스템 도구들이 존재하는데 라이브러리 함수 호출을 추적할 수 있는 도구로는 ltrace 가 널리 사용되고 있다. 현재 제공되는 ltrace 에는 ARM 리눅스 환경에 대한 지원이 있지만 커널 내부의 기능 미구현으로 정확한 동작을 하지 않는 상태이다. 본 논문에서는 현재 ltrace 가 ARM 리눅스 환경에서 갖는 문제점을 제시하고, 이에 대한 방안을 ltrace 의 내부에 직접 구현하여 문제없이 실행 가능하도록 한다. 이를 통해 실제 ARM 리눅스 환경에서 Parsec 벤치마크의 7개 프로그램을 실행하고, 각 프로그램의 라이브러리 함수 호출을 추적하여 정상적으로 동작함을 보인다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.826-827
• /
• 2011

The selection of optimum parameters in electromagnetic design usually requires optimization of multimodal, non linear functions. This leads to extensive calculations which pose a huge inconvenience in the design process. This paper proposes a novel algorithm for dealing efficiently with this issue. Through the use of contour line concept coupled with Kriging, the algorithm finds out all the peaks in the problem domain with as few function calls as possible. The proposed algorithm is applied to the magnet shape optimization of an axial flux permanent magnet synchronous machine and the cogging torque was reduced to 79.8% of the initial one.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.340-342
• /
• 2002

JNI는 자바와 네이티브 코드간에 상호 연동을 위해서 사용되는 인터페이스이고, JNI를 이용하면 C에서 자바 객체를 사용할 수 있다 C에서 자바 객체에 대한 연산을 하기 위해서는 객체 연산의 종류에 따른 일정한 JNI 함수 호출 패턴을 이용해야 한다. 사용자가 직접 자바에 대한 연산을 기술하는 경우, 사용자는 복잡한 함수 호출 패턴을 익히고 패턴에 필요한 정보를 직접 입력해야 하며, 패턴의 잘못된 기술과 올바르지 않은 정보의 입력에 따른 오류 발생할 가능성이 높은 문제점이 있다. 본 논문에서는 자바에서 점(".") 연산자를 사용하여 객체에 대해 연산하는 것처럼 C에서도 점 연산자를 사용하여 자바 객체에 대한 연산할 수 있는 방법을 제안하고 구현하였다. 제안된 방법은 점 연산자를 사용한 자바 객체에 대한 연산을 같은 의미를 가지는 여러 JNI 함수 호출로 변환하는 것으로, 사용자가 직접 기술해서 발생하는 여러 문제점을 제거하여 사용의 복잡성과 오류 생성의 발생 가능성을 줄이는 장점을 가지고 있다.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 1999.05a
• /
• pp.117-149
• /
• 1999

This paper is to examine the effect of the receiver pays principle (RPP) on the calling price, social welfare and interconnection charge. A significant trouble with introducing this system in telecommunications pricing is the possibility that the receiving party may refuse to receive a call if the charge he has to bear is very high. We find the condition for no calls to be refused and show that the profit maximizing prices charged to the calling party and the receiving party must satisfy this condition. We demonstrate that the calling price under RPP must be lower than the price under the caller pays principle (CPP), that the profit of a firm will be increased under RPP, but that the consumer surplus will not necessarily be increased under RPP despite the lowered calling price. Also, we show that, if the demand function is linear, the reciprocal interconnection charge under RPP is higher than that under CPP.

• English Language & Literature Teaching
• /
• no.4
• /
• pp.15-38
• /
• 1998

The main purpose of this paper is to take a look at a controversial approach to critical discourse analysis for the suggestion of a well-balanced perspective on such a biased presupposition and methodology. Currently linguists, language teachers and even social scientists have shown their strong interests in critical language awareness and its ideological involvements in order to encourage the general public to realize the social function of language in all modes of communication. It seems, however, to me to be increasingly clear that critical language study calls for a careful attempt based on an appropriate combination of textual facts and contextual factors in the interpretation of discourses. From this point, of view, this paper suggests some pedagogic / analytical guidelines for a study on language and its social connotations as a result of examining the cogency of two contrasting argumentations in relation to critical discourse analysis.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.10
• /
• pp.67-76
• /
• 1993

This paper presents the design and implementation of SVSIM (Sogang VHDL SIMulator), a multi-level VHDL simulator, designed for the construction of an integrated VGDL design environment. The internal model of SVSIM is the hierarchical C/DFG which is extended from C/DFG to include the network hierarchy and local/glabal control informations. Hierarchical network is not flattened for simulation, resulting in the reduction of space complexity. The predufined/user-defined types except for the record type and the predefined/user-defined attributes are supported in SVSIM. Algorithmic-level descriptions can be siumlated by the support of recursive procedure/function calls. Input stimuli can be generated by command script in stimuli file or in VHDL source code. Experimential results show SVSIM can be efficiently used for the simulation of the pure behavioral descriptions, structural descriptions or mixture of these.

• The Korean Journal of Ecology
• /
• v.25 no.1
• /
• pp.25-28
• /
• 2002

The advertisement call of anurans functions to attract potential mates. The dominant frequency of an advertisement call is generally getting lower with increased snout-vent length (SVL) of the caller Rana rugosa has an advertisement call tilth a particularly high frequency modulation. We conducted a playback experiment to verify the function of frequency modulation, and investigated the territorial behavior of the frog. The frog has five types of territory defense strategy. Strategy choice depended on the caller's SVL. Small males became satellites or lowered the dominant frequency of their advertisement call, whereas large males actively defended their territory with encounter calls. In response to high frequency (1107 Hz) playback, the frogs lowered their advertisement call frequency, and towered them further in response to the low frequency (1028 Hz) playback. In addition, the number of pulses in a call was increased in response to the playback. These results indicate that the frog avoids physical conflict with competitors by selecting a territory defense strategy suitable for the caller's size, and by lowering its call frequency to disguise its SVL.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.649-650
• /
• 2008

In order to resolve mechanical limit in HDD, recently, the hybrid hard disk combining HDD and a flash memory was launched. In this paper, we propose a simulator for hybrid hard disk which considers redirection, flushing and spin-down function to complement the difference between HDD and hybrid hard disk. The simulator was implemented in linux kernel 2.6.20 by modifying system calls related with file system. The experiment shows that the power consumption of hybrid hard disk is 47% smaller than that of hard disk in laptop PC.

• 한국전산유체공학회:학술대회논문집
• /
• 2004.10a
• /
• pp.187-191
• /
• 2004

The conventional reliability based design optimization(RBDO) methods require high computational cost compared with the deterministic design optimization(DO) methods. To overcome the computational inefficiency of RBDO, single loop methods have been proposed. These need less function calls than that of RBDO but much more than that of DO. In this study, the approximate reliability method is proposed that the computational requirement is nearly the same as DO and the reliability accuracy is good compared with that of RBDO. Using this method, the 3-D viscous aerodynamic shape design optimization with uncertainty is performed very efficiently.