• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.349-351
• /
• 2002

XML문서를 작성하는데 있어서 그 규칙이나 DTD에 익숙하지 않은 개발자에게 구문 지향 편집기는 효율적인 환경을 제공해 준다. 이러한 구문 지향 편집기를 생성하는 도구로서 Synthesizer Generator등이 잘 알려져 있는데, 사용자는 Synthesizer Generator를 위해 구문 지향 편집기 생성 정보 표현 언어인 SSL(Syntheizer Specification Language)을 직접 작성해야 한다. 본 연구는 웹 문서 표준인 XML 구문 지향 편집기를 자동 생성하기 위한 방법을 제안한다. 제안된 방법은 입력된 XML DTD를 AST 형태로 변경하여DAG(Directed Acyclic Graph)를 추출하는 DAG 변환기, 생성된 DAG를 SSL로 변환하기 위한 DAG 핸들러와 SSL 변환기 모듈 그리고 변환된 SSL을 이용해 XML 구문 지향 편집기를 자동 생성하기 위한 Synthesizer Generator 사창을 포함한다. SSL 변환기는 SSL문서를 자동 생성하기 위한 모듈로서 추상 구문변환 모듈 역 파싱(Unparsing scheme)모듈 변형 규칙(Transformation rule) 표현 모듈로 구성된다. 사용자는 SSL변환기와 Synthesizer Generator의 사용을 통해 SSL을 직접 코딩해야 하는 노력과 불필요한 학습시간을 줄이고 빠르고 정확한 XML 구문 지향 편집기를 생성하므로 효율적인 XML 문서 작성할 수 있다.

• 한국통신학회논문지
• /
• 제21권12호
• /
• pp.3109-3120
• /
• 1996

SDL has been standardized to specify behavioral aspects of communication systems based on the formal description technique, and it is powerful and user friendly in the sense of supporting human communication and understanding, formal analysis andcomparison of behaviors, alternative implementations and design optimization, and its structural decomposition. However, SDL is not sufficient for an efficient handing of entrire system descriptions because the communication systems are generally very complex, and composed from the various interactions among sub-systems. Also, it is very difficult to explicitly verify dynamic views such as liveness and reachability. it leads the demands on analysis scheme to verify dynamic behaviros of specified systems. This paper presents modeling concepts of Petri Nets from SDL and transformation rules to Numerical Petri Nets to provide efficient technqiques for verification of dynamic behaviors, and proposes the reachability garaph that is able to trace all reachable states of a modeled system and reduce an information loss on the reachability tree.

• 호남수학학술지
• /
• 제30권4호
• /
• pp.589-602
• /
• 2008

As a survey-type article, the paper reviews various digital topological utilities from digital covering theory. Digital covering theory has strongly contributed to the calculation of the digital k-fundamental group of both a digital space(a set with k-adjacency or digital k-graph) and a digital product. Furthermore, it has been used in classifying digital spaces, establishing almost Van Kampen theory which is the digital version of van Kampen theorem in algebrate topology, developing the generalized universal covering property, and so forth. Finally, we remark on the digital k-surface structure of a Cartesian product of two simple closed $k_i$-curves in ${\mathbf{Z}}^n$, $i{\in}{1,2}$.

• 대한원격탐사학회지
• /
• 제23권3호
• /
• pp.221-227
• /
• 2007

We present an analysis of urban development and growth with reconnaissance satellite photographs of Columbus metropolitan area acquired by the Corona program in 1965. A two-dimensional polynomial linear transformation was used to rectify the photos against United State Geological Survey (USGS) Large-scale Digital Line Graph (DLG) data georeferenced to Universal Transverse Mercator (UTM) coordinates. The boundaries of the Columbus metropolitan area were extracted from the rectified Corona image mosaic using a Bayesian approach to image segmentation. The inferred 1965 urban boundaries were compared with 1976 USGS Land Use and Land Cover (LULC) data and boundaries derived from 1988 and 1994 Landsat TM images. The urban area in and around Columbus approximately doubled from 1965 to 1994 (${\sim}110%$) along with population growth from 1960 to 1998 (${\sim}50%$). Most of the urban expansion results from development of residential units.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1166-1169
• /
• 2011

In this paper, we design a Circle dot Code, In our scheme, we design a dot patterns for increasing maximum capacity and also for increasing robustness to Affine Transformation. Our code Can be extended according number of data circle. We use three data circle vision code. In this type code, after acquiring camera images for the Circle dot Codes, and perform error correction decoding using four position symbols and six CRC symbols. We perform graph based dot code analysis which determines the topological distance between dot pixels. Our code can be bridged the real world and ubiquitous computing environment.

• 한국산학기술학회논문지
• /
• 제14권11호
• /
• pp.5827-5833
• /
• 2013

과학기술의 발전으로 인해서 현대의 시스템은 과거에 비해 대형화되고 복잡화되었다. 복잡한 시스템 개발에서 복잡도를 줄이기 위한 방법으로 모델기반 시스템엔지니어링(MBSE)이 다양한 분야에서 적용되고 있다. 하지만 다양한 언어를 통하여 모델링이 이루어지고 있으므로, 개발 프로세스에 따른 산출물의 일관성 및 이해관계자간의 의사소통에 문제가 발생하고 각 MBSE 도구의 지원 다이어그램의 차이에 따라 산출물의 표현이 제한되기 때문에 그 효과성이 부족하다. 본 논문에서는 전통적 다이어그램의 하나인 데이터흐름도(DFD)를 SysML의 다이어그램으로 변환하는 법칙을 연구함으로써 이미 구축된 모델들을 재사용하여 SysML로 구축될 수 있도록 한다. 특히, 각 다이어그램의 메타모델(Meta Model)을 분석하고, 이분그래프를 통해 각 구성요소의 연결 관계를 확인하여 변환의 근거를 마련하고 무결성을 확인하며 보다 효과적인 변환 법칙을 제시하고 있다. 또한 위 내용을 함정전투체계설계에 적용해 봄으로써 그 효과성을 확인한다. 본 연구의 결과를 기반으로 향후 추가연구를 수행하면, 이미 구축된 시스템 개발과정에서 산출된 모델들을 SysML 을 이용하여 일관성 있게 표현할 수 있을 것 이다. 그리하여 산출물의 일관성을 높이고 이해관계자간의 의사소통을 원활하게 함으로써, SysML을 이용한 효과적인 모델기반시스템엔지니어링(MBSE)에 도움이 될 것으로 기대된다.

• 정보처리학회논문지D
• /
• 제11D권5호
• /
• pp.1021-1030
• /
• 2004

데이터 중심의 XML 문서를 관계형 데이터베이스에 저장하고 관리할 경우에 XML 스키마로부터 관계형 스키마를 추출하는 것이 보다 시급한 일이다. 또한 생성된 테이블에 XML 문서를 분할하여 저장할 경우에 많은 널 값을 초래하거나 조인 비용의 증가를 가져오기 때문에 이에 대한 해결책이 필요하다. 이 논문에서는 XML 스키마로부터 관계형 스키마를 생성하는 Schema Hybrid Inlining 기법을 제안하였다. 제안된 기법은 XML 스키마 그래프를 바탕으로 관계형 스키마를 생성하게 되는데, 기존의 Inlining 방식을 확장하여 출현 지시자와 진입 차수에서의 테이블 생성 방법을 휴리스틱하게 매뉴얼 처리를 하며, 유도 관계에서 최종 노드인 조상 노드는 새로운 테이블을 생성한다. 또한 DTD 종속적인 저장 방식의 단점인 조인 연산 비용을 줄이기 위하여 중복을 활용한 분할 저장과 구조적 검색 기법을 개선한 관계 경로 요소 정보를 이용하였다.

• Journal of Information Processing Systems
• /
• 제3권1호
• /
• pp.26-32
• /
• 2007

Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadvantages, a bytecode analysis and optimization must be performed. The control flow of the bytecode should be analyzed; next, information is required regarding where the variables are defined and used to conduct a dataflow analysis and optimization. There may be cases where variables with an identical name contain different values at different locations during execution, according to the value assigned to a given variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to achieve this, variables can be expressed using a static single assignment form. After transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform a static analysis and optimization. Based on the basic type information, this paper proposes a method for finding the related equivalent nodes, setting nodes with strong connection components, and efficiently assigning each node type.

• The Korean Journal of Ecology
• /
• 제13권2호
• /
• pp.83-92
• /
• 1990

Two-dimensional analysis provides a comprehensive description of the structure, scales of pattern and directional components in a spatial data set. In spectral analysisi, four functions are illustrated,; the autocorrelation, the periodogram, the R-spectrum and the $\theta$ -spectrum. The R-spectrum and $\theta$ -spectrum function respectively summarize the periodogram in term of scale of pattern and directional components. Sampling is measured in the Naejang National Park area where the Daphniphyllum trees grow. 320 contiguous (15$\times$15)m plots are located along the transect and density of all trees over DBH 3 cm recorded respectively. 12 species of vascular plant are recorded in this survey area. The trend surface of density of all plant are estimated using polynomial regression and are exhibited in 3-dimensional graph and density contour map. Transformation to the corresponding polar spectrum from the periodogram emphasized the directional components and the scales to pattern. R-spectrum corresponding to the scale of pattern of periodogram showed a large peak 15.47 in the interval 9$\theta$-spectrum corresponding to directional components have two peaks 8.28 and 11.05 in the interval $35^{\circ}\theta <45^{\circ}and 125^{\circ}\theta< <135^{\circ}, respectively. Programs to compute all the analyses described in this study was obtained from Dr. Ranshow and was translated to BASIC by the author.

• 대한수학교육학회지:학교수학
• /
• 제10권1호
• /
• pp.43-61
• /
• 2008

현 교육과정에서 이차함수 그래프에 관한 교수-학습은 대수적 조작에 의한 완전제곱형식으로의 변환을 강조하고 이미 선행한 일차함수의 그래프와는 무관하게 다루어지고 있다. 본 논문은 이차함수 그래프의 구조적 특성이라 할 수 있는 대칭성, 꼭지점 및 합동에 대한 기하적인 근거를 일차함수의 그래프에 기초하여 분석하고 이것의 결과를 구체적 이차함수에 대해 그 꼭지점의 좌표 및 절편을 찾는 데 적용한다. 본 연구는 이차함수 그래프의 구조적 특성을 일차함수의 그래프와 기하적으로 연결시키는 데 의의가 있으며 그 기하적인 과정은 완전제곱형식의 대수적 절차로 연결된다. 이러한 연결은 일차함수의 그래프에 대한 이해가 이차함수의 그래프에 대한 이해로 전이되어 이차함수에 대한 기하적인 이해를 넓히는 교수-학습방법이 될 수 있을 것이다.