• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
• /
• pp.483-503
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로서 대수 연산자를 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• Genomics & Informatics
• /
• 제1권1호
• /
• pp.1-6
• /
• 2003

In conclusion, the seemingly fuzzy and disorganized data of biology with thousands of different layers ranging from molecule to the Internet have refused so far to be mapped precisely and predicted successfully by mathematicians, physicists or computer scientists. Genomics and bioinformatics are the fields that process such complex data. The insights on the nature of biological entities as complex interaction networks are opening a door toward a generalization of the representation of biological entities. The main challenge of genomics and bioinformatics now lies in 1) how to data mine the networks of the domains of bioinformatics, namely, the literature, metabolic pathways, and proteome and structures, in terms of interaction; and 2) how to generalize the networks in order to integrate the information into computable genomic data for computers regardless of the levels of layer. Once bioinformatists succeed to find a general principle on the way components interact each other to form any organic interaction network at genomic scale, true simulation and prediction of life in silico will be possible.

• 대한수학회보
• /
• 제50권2호
• /
• pp.559-581
• /
• 2013

This paper is motivated by a 2001 paper of Choie and Kim and a 2006 paper of Bump and Choie. The paper of Choie and Kim extends an earlier result of Bol for elliptic modular forms to the setting of Siegel and Jacobi forms. The paper of Bump and Choie provides a representation theoretic interpretation of the phenomenon, and shows how a natural generalization of Choie and Kim's result on Siegel modular forms follows from a natural conjecture regarding ($g$, K)-modules. In this paper, it is shown that the conjecture of Bump and Choie follows from work of Boe. A second proof which is along the lines of the proof given by Bump and Choie in the genus 2 case is also included, as is a similar treatment of the result of Choie and Kim on Jacobi forms.

• 대한수학교육학회지:학교수학
• /
• 제4권1호
• /
• pp.29-47
• /
• 2002

The purpose of this study is to investigate various perspectives on the approaching to school algebra. School algebra plays an important role in school mathematics, but many students have been in difficulties for the loaming of school algebra. This problem has been continued for the long time. This paper supposed that this problem may be caused by the approaching stage to the school algebra. In order to investigate this problem, we first described the definition of algebra in chapterII. And in chapterIII, we divided the perspectives of approaching to the school algebra into the two parts. The one is the intrinsic nature of algebra, i.e. generalization, abstraction, and structural aspects. The other is the extrinsic representation of algebra, i.e. problem solving, modelling, functions. Each perspectives are investigated through various research studies. We hope that this works on each perspectives help a teacher prepare school algebra.

• 한국통신학회논문지
• /
• 제21권1호
• /
• pp.251-268
• /
• 1996

In this paper, a higher-order feedforward neural network called ridge polynomial network (RPN) which shows good approximation capability for nonlnear continuous functions defined on compact subsets in multi-dimensional Euclidean spaces, is presented. This network provides more efficient and regular structure as compared to ordinary higher-order feedforward networks based on Gabor-Kolmogrov polynomial expansions, while maintating their fast learning property. the ridge polynomial network is a generalization of the pi-sigma network (PSN) and uses a specialform of ridge polynomials. It is shown that any multivariate polynomial can be exactly represented in this form, and thus realized by a RPN. The approximation capability of the RPNs for arbitrary continuous functions is shown by this representation theorem and the classical weierstrass polynomial approximation theorem. The RPN provides a natural mechanism for incremental function approximation based on learning algorithm of the PSN. Simulation results on several applications such as multivariate function approximation and pattern classification assert nonlinear approximation capability of the RPN.

• 대한수학회논문집
• /
• 제12권4호
• /
• pp.881-893
• /
• 1997

E. M. Silvia introduced the class $S^\lambda_\alpha$ of $\alpha$-spirallike functions f(z) satisfying the condition $$ (A) Re[(e^{i\lambda} - \alpha) \frac{zf'(z)}{f(z)} + \alpha \frac{(zf'(z))'}{f'(z)}] > 0, $$ where $\alpha \geq 0, $\mid$\lambda$\mid$ < \frac{\pi}{2}$ and $$\mid$z$\mid$ < 1$. We will generalize Silvia class of functions by formally replacing f(z) in the denominator of (A) by a spirallike function g(z). We denote the new class of functions by $Y(\alpha,\lambda)$. In this note we obtain some results for the class $Y(\alpha,\lambda)$ including integral representation formula, relations between our class $Y(\alpha,\lambda)$ and Ziegler class $Z_\lambda$, the radius of convexity problem, a few coefficient estimates and a covering theorem for the class $Y(\alpha,\lambda)$.

• 대한수학회지
• /
• 제54권2호
• /
• pp.575-598
• /
• 2017

This paper introduces and studies a generalization of the classical Struve function of order p given by $$_aS_{p,c}(x):=\sum\limits_{k=0}^{\infty}\frac{(-c)^k}{{\Gamma}(ak+p+\frac{3}{2}){\Gamma}(k+\frac{3}{2})}(\frac{x}{2})^{2k+p+1}$$. Representation formulae are derived for $_aS_{p,c}$. Further the function $_aS_{p,c}$ is shown to be a solution of an (a + 1)-order differential equation. Monotonicity and log-convexity properties for the generalized Struve function $_aS_{p,c}$ are investigated, particulary for the case c = -1. As a consequence, $Tur{\acute{a}}n$-type inequalities are established. For a = 2 and c = -1, dominant and subordinant functions are obtained for the Struve function $_2S_{p,-1}$.

• 한국수학사학회지
• /
• 제26권5_6호
• /
• pp.389-400
• /
• 2013

The article makes a discussion to conceptualize a histo-genetic principle in the real historical view point. The classical histo-genetic principle appeared in 19th century was founded by the recapitulation law suggested by biologist Haeckel, but recently it was shown that the theory on it is no longer true. To establish the alternative rationale, several metaphoric characterizations from the history of mathematics are suggested: among them, problem solving, transition of conceptual knowledge to procedural knowledge, generalization, abstraction, circulation from phenomenon to substance, encapsulation to algebraic representation, change of epistemological view, formation of algorithm, conjecture-proof-refutation, swing between theory and application, and so on.

• 대한수학회보
• /
• 제54권5호
• /
• pp.1757-1771
• /
• 2017

Let K be a field and G be a group of its automorphisms. It follows from Speiser's generalization of Hilbert's Theorem 90, [10] that any K-semilinear representation of the group G is isomorphic to a direct sum of copies of K, if G is finite. In this note three examples of pairs (K, G) are presented such that certain irreducible K-semilinear representations of G admit a simple description: (i) with precompact G, (ii) K is a field of rational functions and G permutes the variables, (iii) K is a universal domain over field of characteristic zero and G its automorphism group. The example (iii) is new and it generalizes the principal result of [7].

• Child Studies in Asia-Pacific Contexts
• /
• 제2권2호
• /
• pp.77-90
• /
• 2012

The present study investigated infants' ability to form a category of a support relation (i.e., "on") when the objects depicting the relation were perceptually simple versus more complex. Twenty Korean infants of 14 months were habituated to dynamic support events with objects that were either simple or more complex in appearance. They were then tested with events that differed from the habituation events in the specific objects, spatial relation, or both. Infants formed a support category whether familiarized to simple or complex objects, looking significantly longer at test events with a novel than familiar relation. The results indicate that at 14 months of age, object features do not impact infants' ability to form a categorical representation of support.