• The Transactions of the Korea Information Processing Society
• /
• v.1 no.1
• /
• pp.63-72
• /
• 1994

In the last years, several articles have been devoted to the study of the Law of Demeter in the object oriented programming. The Law of Demeter is a style rule that aims at eliminating unnecessary coupling among classes. Although a large number of studies have been made on the informal definitions, little is known about the formulation of the Law of Demeter. In this article, we define three relationships among classes i.e. inheritance, aggregation and association, and formulate the Law of Demeter. We also propose the algorithms to decide whether a given program satisfies the law and to transform an unfulfilled program into a fulfilled one.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.223-233
• /
• 2012

In this paper we establish some limsup results and a generalized uniform law of the iterated logarithm (LIL) for the increments of partial sums of a strictly stationary and linearly positive quadrant dependent (LPQD) sequence of random variables.

• Communications for Statistical Applications and Methods
• /
• v.7 no.1
• /
• pp.291-296
• /
• 2000

Petrov(1996) examined the connection between general moment conditions and the applicability of the strong law lf large numbers to a sequence of pairwise independnt and identically distributed random variables. In this note wee generalize Theorem 1 of Petrov(1996) and also show that still holds under assumption of pairwise negative quadrant dependence(NQD).

• Journal of the Korean Statistical Society
• /
• v.33 no.1
• /
• pp.99-106
• /
• 2004

Let {X, $X_{n}, n\;{\geq}\;1$} be a sequence of identically distributed, negatively associated (NA) random variables and assume that $│X│^{r}$, r > 0, has a finite moment generating function. A strong law of large numbers is established for weighted sums of these variables.

• Journal of Mechanical Science and Technology
• /
• v.18 no.1
• /
• pp.122-131
• /
• 2004

A constraint equation-based control law design for large angle attitude maneuvers of flexible spacecraft is addressed in this paper The tip displacement of the flexible spacecraft model is prescribed in the form of a constraint equation. The controller design is attempted in the way that the constraint equation is satisfied throughout the maneuver. The constraint equation leads to a two-point boundary value problem which needs backward and forward solution techniques to satisfy terminal constraints. An observer-based tracking control law takes the constraint equation as the input to the dynamic observer. The observer state is used in conjunction with the state feedback control law to have the actual system follow the observer dynamics. The observer-based tracking control law eventually turns into a stabilized system with inherent nature of robustness and disturbance rejection in LQR type control laws.

• Ocean and Polar Research
• /
• v.44 no.4
• /
• pp.339-353
• /
• 2022

The purpose of this research is to conduct an empirical analysis regarding Korea's 'Marine Protected Areas (MPA)' from an international comparative perspective. The authors would like to present the policy direction of marine protected areas based on the result of the research. The result of this study can be summarized in the following manner: First, the total designated size of marine protected areas in Korea is very small compared to the sizes of other OECD nations . Second, while some nations have expanded the extent of marine protected areas in accordance with international agreements and criteria, Korea has not done so. Accordingly, we propose the designated dimensions of marine protected areas should be constantly expanded to keep pace with international trends.

• Journal of Science and Technology Studies
• /
• v.15 no.2
• /
• pp.229-262
• /
• 2015

Toxic tort cases have increased dramatically since the 1970s, as large technological systems, such as nuclear power plants and chemical factories, or mass-produced, high-tech products, had exposed citizens and consumers to dangerous substances. It was, however, difficult to establish causal connection between exposure and the alleged harms in many of the environmental, pollution, and product liability cases under the framework of tort law conception of causation and responsibility. Science and law was called upon to resolve such 'late modern' legal cases where true causes are hard to find, where no single explanatory factor is sufficient for explaining diseases like cancer. This article examines how plaintiffs in the Korean tobacco litigation mobilized such late modern tools in science and law, such as epidemiology and the allocation of the burden of proof, in the context of the global circulation of science and law. It further shows how a set of the scientific theories and legal arguments developed in order to cope with late modern risk played a central role in establishing a causation between smoking and cancer in 2011. This article suggests that STS scholars can fruitfully examine the interaction between science and law as a way to understand and engage with social and legal issues engendered by late modern risk.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.29 no.6
• /
• pp.279-285
• /
• 2017

In general, the power law and logarithmic profile are commonly used as flow vertical velocity profile model. However, since the parameters of profile vary with characteristics of coastal environment, it is necessary to estimate these values from measured data using regression analysis. In this paper, we estimated the power law exponent (n), friction velocity ($u^*$) and roughness length ($z_0$) of logarithmic profile by analyzing measured tidal current data that are averaged at a interval of 30 min. In the results of analysis, power law exponent (n) was estimated to be about 10.75 during flood and about 9.3 during ebb. Meanwhile, $u^*$ of logarithmic profile was estimated to be about 0.084 m/s, 0.105 m/s during flood and ebb, respectively. Also, $z_0$ was estimated to be 0.004 m and 0.006 m, respectively.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.1067-1076
• /
• 2017

This paper considers the asymptotic behaviors of the processes generated by the classical ergodic tent map that is defined on the unit interval. We develop a sequential empirical process and get the uniform version of law of iterated logarithm for the tent map by using the bracketing entropy method.

• International Journal of Safety
• /
• v.8 no.2
• /
• pp.15-19
• /
• 2009

The flash point is the most widely used flammability property for the evaluation of the flammability hazard of combustible liquid mixtures. In this paper, the reported flash points for the the binary systems, ethylbenzene+n-butanol and ethylbenzene+n-hexanol were correlated by the optimization method. The optimization method based on the van Laar and Wilson equations were compared with the Raoult's law. The calculated values based on the optimization method were found to be better than those based on the Raoult's law.