• Journal of Internet Computing and Services
• /
• v.8 no.5
• /
• pp.35-43
• /
• 2007

Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2003.05a
• /
• 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.

• Journal of KIISE:Software and Applications
• /
• v.26 no.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
• /
• v.46 no.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.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Journal of Korean Society of Steel Construction
• /
• v.25 no.4
• /
• pp.409-419
• /
• 2013

A T-stub connection with high-strength bolts under tensile force is affected by prying action force and the contact force, among others, between members. If a design equation that does not consider such prying action force and contact force between members is not proposed, the T-stub under tensile force is liable to be fractured under the strength lower than the estimated design strength. To prevent it, many studies have proposed contact force estimation equations between members as well as the prying action force of the T-stub connection with high-strength bolts. However, no design equations based on such research have been proposed in South Korea. Therefore, this study aims to propose an estimation model for more accurate prying action force and contact force, and improve on previously proposed estimation models by implementing the three-dimensional, nonlinear finite element analysis. Throughout the results of three-dimensional, nonlinear finite element analysis, the prediction model proposed in this research for the prying action force and contact force of a T-stub provided much more accurate estimation than that of a existing prediction model previously suggested.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• 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.

• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.111-120
• /
• 2004

In order to increase the productivity of software, the research to reduce the total cost in software development environments is working, Considerable time is wasted waiting for a changed program in program development, however smell the change, to be edited and compiled and executed. In case of partial change, we need incremental interpreter for reexecuting the changed parts and its affected parts, In this paper, we implement the incremental interpreter by using analyzing dynamic semantics at execution time, We define a new IMPLO(IMPerative Language with Object) language using EBNF(Extended Backus Naur Form) notation and then, design and implement the incremental interpreter of this language by using action equations to describe the dynamic semantics.

• The Korean Journal of Ecology
• /
• v.1 no.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.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• 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.