• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.11-20
• /
• 1999

기존의 공간 데이터베이스는 오직 현재 시점에서 유효한 정보만을 대상으로 처리하기 때문에 과거로부터 현재에 이르기까지 시간의 흐름에 따른 이력 정보를 효율적으로 관리하기 어려운 문제점이 있다. 최근에는 이를 해결하기 위한 관심이 고조되고 있으며, 이를 통해 현실 세계에 존재하는 객체에 대하여 효율적인 공간 관리뿐만 아니라 시간의 흐름에 따라 변화해온 이력 정보를 제공하라는 시공간 데이터베이스 연구가 시작되고 있다. 이러한 시공간 데이터베이스는 다양한 응용 분야에 적용된다. 데이터베이스엣 정형의미는 데이터 구조와 연산에 대한 명확한 결과를 표현하고 이를 수학적으로 검증하기 위한 도구로서 사용된다. 아울러 시공간 정형의미는 시공간 데이터베이스와 시공간 데이터베이스 관리 시스템을 설계하기 위한 중요한 역할을 수행한다. 따라서 이 논문에서는 시공간 영역과 객체 및 자료 구조는 물론 시공간 기하 연산자와 위상 연산자를 제안한다. 또한 이들을 포함하는 시공간 모델에 대한 정형의미를 통해서 관계 수식을 정립하고 그 연산식을 실제적인 예로서 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권5_6호
• /
• pp.335-346
• /
• 2004

톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세 되어 질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다.

• Progress in Superconductivity
• /
• 제3권2호
• /
• pp.183-187
• /
• 2002

In this paper we analyzed the electromagnetic behavior of high $-T_{c}$ superconductor under the quench state using finite element method. Poisson equation was used in finite element analysis as a governing equation and was solved using algebra equation using Gallerkin method. We first investigate d the electromagnetic behavior of U-type superconductor. Finally we applied our analysis techniques to 5.5 kVA meander-line superconducting fault current limiters (SFCL) which are currently developed by many power-system researcher in the world. Meshes of 14,600 elements were used in analysis of this SFCL. Analysis results show that the distribution of current density was concentrated to inner curvature in meander-line type-superconductors and maximum current density 14.61 $A/\m^2$ and also maximum Joule heat was 6,420 W/㎥. We concluded that this meander line-type SFCL was not pertinet fur uniform electromagnetic field distribution.n.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 D
• /
• pp.2787-2789
• /
• 2000

In this paper. the constructive modeling procedure of nonholonomic mobile robot system is carried out with the help of controllability Lie algebra used in differential geometry field. and their geometrical properties are also analyzed. And, a new trajectory controller is suggested to guarantee its convergence to reference trajectory. Design procedure of the suggested trajectory controller is back-stepping scheme which was introduced recently in nonlinear control theory. The performance of the proposed trajectory controller is verified via computer simulation. In the simulation the trajectory controller is applied to differentially driven robot system on the assumption that the trajectory planner be given.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권2호
• /
• pp.85-90
• /
• 2007

Arguably the most important internet technology of today is RIA (rich internet application), whose prime advantage is in improving the user experience on the web. However, the scope and variety of the RIA technology demand an eclectic guideline to build the mathematical services such as mathematical text, graphs, and animations. This paper sorts out and simplifies the complicated roadmap of the RIA technologies by presenting three design patterns for exposing the functionality of the CAS (computer algebra system) with the web browser as the user interface platform.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.321-332
• /
• 1999

컴퓨터를 활용한 수학 교수-학습 자료 및 방법에 대한 다양한 접근이 시도되어지고 있다. 그러나 최근 복합 매체 기술의 접목으로 개인 사용자를 위한 매체가 주를 이루면서 '누가 제어를 하는가\ulcorner' 라는 문제에 부딪히게 되었다. 본 논문에서는 이러한 문제를 해결하기 위해 집단 사용자들이 실시간 직,간접으로 연결 된 대화형 매체에 접속하여 실시간으로 과정을 실행할 수 있을 뿐만 아니라, 제한적이나마 변화를 통한 학습정보의 재구성을 기할 수 있는 컴퓨터 대수 체계기반(CASME)과 연계한 응용 프로그램의 개발모형에 대해 알아보고,이를 사용하여 작성된 대화형 실행 매체를 통한 수학 학습의 모형을 제시하고자 한다.

• Journal of applied mathematics & informatics
• /
• 제33권5_6호
• /
• pp.545-557
• /
• 2015

A vague graph is a generalized structure of a fuzzy graph that gives more precision, flexibility and compatibility to a system when compared with systems that are designed using fuzzy graphs. In this paper, we define two new operation on vague graphs namely normal product and tensor product and study about the degree of a vertex in vague graphs which are obtained from two given vague graphs G₁ and G₂ using the operations cartesian product, composition, tensor product and normal product. These operations are highly utilized by computer science, geometry, algebra, number theory and operation research. In addition to the existing operations these properties will also be helpful to study large vague graph as a combination of small, vague graphs and to derive its properties from those of the smaller ones.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.886-889
• /
• 2004

A simple macro triangle with drilling d.o.f.'s is proposed for plane stress problems based on IET(Individual element test) and finite element template. Three-node triangular element has geometrical advantages in preprocessing but suffers from bad performance comparing to other shapes of elements -especially quadrilateral. Main purpose of this study is to construct a high-performance linear triangular element with limited supplementary d.o.f.'s. A triangle is divided by three sub-triangles with drilling d.o.f.'s. The sub-triangle stiffness come from IET passing force-lumping matrix, so this assures the consistency of the element. The macro element strategy takes care of the element‘s stability and accuracy like higher-order stiffness in the F.E. template. The resulting element fits on the uses of conventional three-node. Benchmark examples show proposed element in closed form stiffness from CAS (Computer algebra system) gives the improved results without more computational efforts than others.

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.35-48
• /
• 2005

An architectural framework is developed for integrating geospatial and temporal data with relational information from which a spatio-temporal data warehouse (STDW) system is built. In order to implement the STDW, a generic conceptual model was designed that accommodated six dimensions: spatial (map object), temporal (time), agent (contractor), management (e.g. planting) and tree species (specific species) that addressed the 'where', 'when', 'who', 'what', 'why' and 'how' (5W1H) of the STDW information, respectively. A formal algebraic notation was developed based on a triplet schema that corresponded with spatial, temporal, and relational data type objects. Spatial object structures and spatial operators (spatial selection, spatial projection, and spatial join) were defined and incorporated along with other database operators having interfaces via the generic model.

• 대한수학회지
• /
• 제48권5호
• /
• pp.1001-1015
• /
• 2011

In this article we study the problem to determine all occurring Betti diagrams of varieties $X{\subset}\mathbb{P}^r$ of almost minimal degree, i.e. deg(X) = codim(X; $\mathbb{P}^r$)+2. We describe a realistic picture of how many different kind of Betti diagrams exist at all (Theorem 3.1). By means of the computer algebra system "SINGULAR", we obtain a complete list of all occurring Betti diagrams in the cases where codim$(X,\mathbb{P}^r){\leq}8$.