• 대한수학회지
• /
• 제38권2호
• /
• pp.283-296
• /
• 2001

The Heisenberg inequality associated with the uncertainty principle is extended to an infinite dimensional abstract Wiener space (H, B) with an abstract Wiener measure p$_1$. For $\phi$ $\in$ L$^2$(p$_1$) and T$\in$L(B, H), it is shown that (※Equations, See Full-text), where F(sub)$\phi$ is the Fourier-Wiener transform of $\phi$. The conditions when the equality holds also discussed.

• 한국컴퓨터정보학회논문지
• /
• 제9권4호
• /
• pp.61-69
• /
• 2004

인간과 컴퓨터 사이의 복잡한 상호작용을 지원하기 위해서는 사용자 인터페이스의 설계가 중요하다. 고객의 요구사항을 수집하고 설계하기 위하여 매우 포괄적인 다방면의 지식이 요구된다. 사용자 인터페이스 설계자는 그래픽 전문가, 요구사항 분석가, 시스템 설계자, 프로그래머, 기술 전문가, 사회 행동과학자, 그리고 업무분야에 따라서 그 분야의 전문가를 필요로 한다. 따라서 다방면의 전문성을 만족시킬 수 있는 사용자 인터페이스를 설계하기 위하여 더 많은 연구가 요구되고 있다. 본 논문에서는 필드 추상화 객체, 태스크 추상화 객체, 트랜잭션 추상화 객체, 폼 추상화 객체 등의 4단계의 가시화 기법을 제안한다. 이 모델링 단계는 사용자 인터페이스에서 가시적 응집도를 향상시켜주고, 초보 설계자도 양질의 사용자 인터페이스를 개발할 수 있도록 지원한다.

• 한국컴퓨터정보학회논문지
• /
• 제12권1호
• /
• pp.25-32
• /
• 2007

본 논문은 다양한 모션캡처 하드웨어 장비에 독립적인 응용 프로그램을 작성할 수 있도록 단일화된 추상 레이어를 설계하고 구현하였다. 설계한 추상레이어의 기능을 테스트하고 검증하기 위하여 광학식 모션캡처 시스템과 기계식 모션 캡처 시스템을 각각 AOA 파일과 BVH 파일을 이용하여 에뮬레이션 하였다. 응용 프로그램에서 추상레이어 함수의 호출에 의해 광학식 및 기계식 모션캡처 시스템을 각각 구동하고 시간에 따른 프레임 데이터를 Direct3D를 이용하여 애니메이션 하였다.

• East Asian mathematical journal
• /
• 제31권1호
• /
• pp.135-144
• /
• 2015

In this paper we establish several formulas for multiple integral transform of functionals defined on abstract Wiener space. We then use the these results to establish several basic formulas involving multiple convolution products.

• 대한수학회보
• /
• 제59권5호
• /
• pp.1131-1144
• /
• 2022

In this paper, we establish several basic formulas among the double-integral transforms, the double-convolution products, and the inverse double-integral transforms of cylinder functionals on abstract Wiener space. We then discuss possible relationships involving the double-integral transform.

• 충청수학회지
• /
• 제23권4호
• /
• pp.793-800
• /
• 2010

We investigate the existence and uniqueness of almost automorphic mild solutions of the semilinear abstract differential equations.

• 대한수학회보
• /
• 제49권6호
• /
• pp.1147-1161
• /
• 2012

In this paper, a coincidence theorem for a compact ${\Re}\mathfrak{C}$-map is proved in an abstract convex space. Several more general coincidence theorems for noncompact ${\Re}\mathfrak{C}$-maps are derived in abstract convex spaces. Some examples are given to illustrate our coincidence theorems. As applications, an alternative theorem concerning the existence of maximal elements, an alternative theorem concerning equilibrium problems and a minimax inequality for three functions are proved in abstract convex spaces.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1034-1044
• /
• 2017

본 연구에서는 추상 도달가능성 그래프(ARG) 기반의 소프트웨어 모델체킹에서 그래프 탐색전략을 설정할 수 있는 새로운 방법을 제시한다. ARG의 여러 실행 경로를 하나로 묶어 모델체킹 성능을 향상시키는 기법인 블록 인코딩(Block Encoding) 기법을 활용하는 경우 기존의 기법들은 인코딩 전의 ARG에서 인코딩을 효과적으로 수행할 수 있는 탐색전략만을 고려하였을 뿐 실제 모델체킹의 성능을 좌우할 수 있는 인코딩 후의 ARG에 대한 탐색전략을 고려하지 못하는 문제가 있었다. 본 연구에서는 기존 연구에서 제시된 탐색 기법을 사용하여 블록 인코딩을 효과적으로 수행하는 동시에 인코딩된 후의 ARG에 대한 탐색 순서를 고려할 수 있는 이중 탐색전략 기법을 제시한다. 또한 탐색 순서의 변화가 모델체킹의 성능에 미치는 영향을 확인하기 위하여 제시하는 기법을 오픈소스 모델체킹 도구에 구현하고 벤치마크 실험을 수행하였으며 탐색전략이 달라지면 모델체킹의 성능이 달라지는 현상을 확인하였다.

• 한국실내디자인학회논문집
• /
• 제22권1호
• /
• pp.239-246
• /
• 2013

This study is aimed at understanding the color extendibility of color-field abstract through Mark Rothko's paintings. Color extendibility is a structure applied by Mark Rothko. He simplifies it and by pursuing autonomy and immediacy of the color itself, including surface color and the front of color-field, Rothko creates value through motions in his square paintings of non-fixed shapes. Chapter 2 revisits the meaning of color in abstract expressionism and explains the principle of color-field by applying the concept of ergon and parergon. In chapter 3, the principle, processes, methods, techniques of expression were studied as a basis to understand color extendibility and color-field abstract. In chapter 4, the works of Mark Rothko were analyzed based on his multiform paintings(1946-1948), number and untitled(1949-1957), and black paintings(1958-1970) in order to identify, in the final chapter, the features of color extendibility in Rothko's works. According to the above research, the thesis successfully concludes that the artist's reconstruction of reality and readjustment of transcendent reality are reproduced via color extendibility, the movement of color-field.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권4호
• /
• pp.599-620
• /
• 2005

There can be two different approaches to introducing Abstract Algebra to undergraduate students: One is to introduce group concept prior to ring concept, and the other is to do the other way around. Although the former is almost conventional, it is worth while to take the latter into consideration in the viewpoint that students are already familiar to rings of integers and polynomials. In this paper, we investigated 16 most commonly used Abstract Algebra undergraduate textbooks and found that 5 of them introduce ring theory prior to group theory while the rest do the other way around. In addition, we interviewed several undergraduate students who already have taken an Abstract Algebra course to look into which approach they prefer. Then we compare pros and cons of two approaches on the basis of the results of the interview and the historico-genetic principle of teaching and learning in Abstract Algebra and suggest that it certainly be one of alternatives to introduce ring theory before group theory in its standpoint.