• 인터넷정보학회논문지
• /
• 제8권5호
• /
• pp.35-43
• /
• 2007

의미 기반 표기법은 새로운 프로그래밍 언어를 명세하여 그 언어를 구현하기 위한 정적이고 동적인 의미를 명세하는데 필요한 것이다. 프로그래밍 언어에 대한 의미를 보다 실제적으로 정의하면 그 의미에 따라 언어를 구현함으로써 번역기를 쉽게 만들 수 있다. 본 논문에서는 번역기를 쉽게 만들 수 있는 정적이고 동적인 의미를 명세 하고자 한다. 객체 지향 언어를 위한 정적이고 동적인 의미를 적절하게 명세 할 수 있도록 속성 문법을 확장하고 변형하여 실제적인 의미 기반의 작용식을 제시하였고 기존의 연구 방법과 비교하여 제시된 작용식의 의미 명세가 우월함을 알 수 있었다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2003년도 봄 학술발표회 논문집
• /
• pp.878-883
• /
• 2003

To modify some problems of ACI shear provisions, ultimate shear strength equation considering size effect and arch action to compute shear strength in high-strength concrete beams without stirrups is presented in this research. Three basic equations, namely size reduction factor, rho factor, and arch action factor, are derived from crack band model of fracture mechanics, analysis of previous some shear equations for longitudinal reinforcement ratio, and concrete strut described as linear function in deep beams. Constants of basic equations are determined using statistical analysis of previous shear testing data. To verify proposed shear equation for each variable, namely d, , ρ, f/sub c/' and aid, about 250 experimental data are used and proposed shear equation is compared with ACI 318-99 code, CEB-FIP Model code, Kim & Park's equation and Zsutty's equation. While proposed shear equation is simpler than other shear equations, it is shown to be economical predictions and reasonable safety margin. Hence proposed shear strength equation is expected to be applied to practice shear design.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권8호
• /
• pp.1018-1027
• /
• 1999

속성 문법은 언어의 정적인 의미구조를 표현하는 형식적인 표기법으로 동적인 의미구조를 표현하기는 부적절하다. 동적 의미구조를 잘 명세하고 명세된 언어를 구현하기 위해서 기존의 속성 문법을 확장하여 언어 구현에 필요한 동적인 작용들(actions)을 잘 표현해야 한다. 본 논문에서는 속성 문법을 확장하여 정적이고 동적인 의미구조를 잘 표현할 수 있는 새로운 작용 식(action equation)을 제시한다. 제시된 작용 식(action equation)의 동적인 의미 구조로 부터 SIMP 언어의 점진 해석기(incremental interpreter)를 설계하고 구현한다. 점진 해석기는 언어 기반의 프로그래밍 환경에서 수정된 부분만을 번역하여 프로그램의 전체 실행 결과를 얻는 해석기를 의미한다. 본 해석기는 SUN 1000에서 Lex와 Yacc을 사용해서 C 언어로 설계하고 구현하였다. 예제 프로그램을 실행시켰을 때 배정 문이나 IF문의 경우는 매우 효율적이었고 Loop의 경우는 재실행될 필요가 있는 영향받는 명령문들이 적을수록 점진 해석이 더 효율적으로 수행된다.Abstract Attribute grammars are a formal notation which expresses the static semantics of programming languages, but they are not suitable for expressing dynamic semantics. To describe dynamic semantics and implement a specified language, we extend attribute grammars and present new action equations which describe static and dynamic semantics. The incremental interpreter of a SIMP language is designed and implemented from the dynamic semantics of presented action equations. The incremental interpreter is to translate only modified part in the language-based programming environments and have results of whole program.Our interpreter is implemented in C with Lex and Yacc on SUN 1000. When we execute example programs, the incremental evaluation of any assignment and IF statements executes efficiently. But in the case of loop, we execute efficiently when the effected statements to be reexecuted in the loop are of small number.

• Kyungpook Mathematical Journal
• /
• 제46권3호
• /
• pp.329-336
• /
• 2006

In the category of the group theoretic methods using invertible discrete group transformation, we give a useful relation between Emden-Fowler equations and nonlinear heat equation. In this paper, by means of appropriate transformations of discrete group analysis, the nonlinear hate equation transformed into the class of the Emden-Fowler equations. This approach shows that, under the group action, the solution of reference equation can be transformed into the solution of the transformed equation.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.173-180
• /
• 2010

프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 한국강구조학회 논문집
• /
• 제25권4호
• /
• pp.409-419
• /
• 2013

인장력을 받는 고력볼트로 체결된 T-stub는 지레작용력과 부재 사이의 접촉력 등의 영향을 받는다. 이러한 지레작용과 부재 사이의 접촉력 등이 고려된 설계식이 제안되지 않는 경우, 인장력을 받는 T-stub는 예측한 설계강도 보다 더 작은 강도에도 파괴될 가능성이 있다. 이를 방지하기 위하여 지금까지 많은 연구를 통하여 고력볼트로 체결된 T-stub의 지레작용력과 부재 사이의 접촉력 예측모델이 제안되었다. 그러나 아직도 우리나라에서는 이를 반영한 설계식의 제안이 이루어지고 있지 않다. 따라서 이 연구는 3차원 비선형 유한요소해석법을 적용하여 그동안 제안된 예측모델을 개선한 보다 정확한 지레작용력 및 접촉력 예측모델을 제안하고자 진행하였다. 3차원 비선형 유한요소 해석 결과, 이 연구에서 제안한 지레작용력 및 접촉력 예측모델은 기존의 예측모델보다 더 근사적인 예측값을 제공하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.444-447
• /
• 1995

The satellite in a circular orbit about a planet with disturbances and a three-degree-of-freedom (3DOF) structure under seismic excitations are modeled by the linear stochastic differential equations. Then the risk-sensitive optimal control method is applied to those equations. The mean and the variance of the cost function varies with respect to the risk-sensitivity parameter, .gamma.$_{RS}$ . For a particular risk-sensitivity parameter value, risk-sensitive control reduces to LQG control. Furthermore, the derivation of the mean square value of the state and control action are given for a finite-horizon full-state-feedback risk-sensitive control system. The risk-sensitive controller outperforms a classical LQG controller in the mean square sense of the state and the control action.

• 인터넷정보학회논문지
• /
• 제5권6호
• /
• pp.111-120
• /
• 2004

소프트웨어의 생산성을 향상시키기 위해 소프트웨어 개발 단계에서 소요되는 비용을 최소화하려는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서는 프로그램을 부분적으로 수정하게 되고 프로그램의 부분 수정인 경우에도 프로그램을 편집하여 다시 실행하는데 많은 시간이 소요된다. 프로그램을 수정할 경우 수정한 부분과 이에 영향 받는 부분만을 재실행하기 위한 점진 해석기가 필요하다. 본 논문에서는 프로그램 실행 시 동적 의미 분석 방법에 의해 점진 해석기를 구현하고자 한다. IMPLO(IMPerative Language with Object) 언어를 EBNF(Extended Backus Naur Form) 표기법으로 정의하고 동적 의미 구조를 표현하기 위해 작용식(action equation)을 사용하여 IMPLO 언어에 대한 점진 해석기(incremental interpreter)를 설계하여 구현하고자 한다.

• The Korean Journal of Ecology
• /
• 제1권1호
• /
• pp.3-10
• /
• 1977

The sigmoiod kinetics of mass-action in a biosystem have been studied by theoretical bases on the carrier hypothesis of influx and efflux of substrates. The sigmoid kinetic equations of assimilation and dissimilation rates indicate that each trophicfactor and each bio-factor behave according to the sigmoid kinetic equation and the bell shape case, and all of them are multiplicative. The general sigmoid kinetics of mass-action is given by the equation (30) which is determined by the total of the equation (28) of the assimilation rate and the equation (29) of the dissimilation rate. The sigmoid kinetic model of photosynthesis has been derived from the general equation of the sigmoid kinetics of mass-action.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.749-756
• /
• 2006

Because of the orthotropic elastic properties and significant two-way bending action, orthotropic plate theory may be suitable for describing the behavior of concrete filled grid bridge decks. Current AASHTO LRFD Bridge Design Specification(2004) has live load moment equations considering flexural rigidity ratio between longitudinal and transverse direction, but the Korea highway bridge design specification(2005) doesn't. The Korea highway bridge standard specification LRFD(1996) considers an orthotropic plate model with a single load to estimate live load moments in concrete filled grid bridge decks, which may not be conservative. This paper presents live load moment equations for truck and passenger car, based on orthotropic plate theory. The equations of truck model use multiple presence factor, impact factor, design truck and design tandem of the Korea highway bridge standard specification LRFD(1996). The estimated moments are verified through finite-element analyses.