• Title/Summary/Keyword: Abstract Machine

Search Result 117, Processing Time 0.027 seconds

Modeling and Interoperability Test Case Generation of a Real-Time QoS Monitoring Protocol

  • Chin, Byoung-Moon;Kim, Sung-Un;Kang, Sung-Won;Park, Chee-Hang
    • ETRI Journal
    • /
    • v.21 no.4
    • /
    • pp.52-64
    • /
    • 1999
  • QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

  • PDF

Modernity and Regionalism of American Art Deco Architecture - Focused on Miami Beach - (미국 아르데코 건축의 근대성과 지역주의 - 마이애미 해변을 중심으로 -)

  • Park, Kyoung-Im
    • Korean Institute of Interior Design Journal
    • /
    • v.20 no.5
    • /
    • pp.125-134
    • /
    • 2011
  • Art Deco is a decorative and eclectic design style, popularized at the interwar period. The term Art Deco derives from the Exposition Internationale des Arts D$\acute{e}$coratils et Industriels Modernes held in Paris in 1925. The aim of the exposition was to create new modern aesthetics. This exposition introduced the modern decorative and industrial art to the world and influenced all designers of area, including architects, interior designers, industrial designers, craftsmen, fashion designers, etc. Art Deco designers applied inspirations from a variety of sources and movements such as the Cubist abstract, the Neoclassical refinement, Egyptian exotic elements, Babylonian and Aztec temples, the machine aesthetic, avant-garde movements, etc to their modern works. Art Deco style rapidly spread all over the design areas nationwide in America. In Art Deco architecture, in particular, its inception was French but its domination was American. Skyscrapers, airplanes, automobiles, ocean liners, jazz, Hollywood film, streamline, and native Indian symbols are the defining features of American Art Deco. This study began from questions on how these features are expressed and stylized to decoration elements as the modern aesthetics in American Art Deco architecture. Thus, the purpose of the study is to find out the ornamental and eclectic factors of Art Deco style and to define a concept of the modernity and the regionalism of Art Deco architecture in America. This article provides an overview of the decoration style of Art Deco architecture in America through the analysis of ornamental and eclectic factors reflecting diverse roots. It also analyzes the wide variety of building examples of American Art Deco which represent regionalism. In addition, this study focuses on Art Deco architecture in Miami, Florida. Miami is one of typical cities that has the most unique regional aspects of 1920's to 1940's in Art Deco architecture. Miami Art Deco architecture reveals the tropical and nautical references such as streamlined and curved walls, exotic animal motifs, flora and fauna motifs, and marine motifs: use of glass block, porthole window, terra-cotta, and pastel color stucco.

A Study of Automatic Code Generation for TMO-based Real-time Object Model (TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구)

  • Seok, Mi-Heui;Ryu, Ho-Dong;Lee, Woo-Jin
    • The KIPS Transactions:PartA
    • /
    • v.19A no.2
    • /
    • pp.101-112
    • /
    • 2012
  • In recently years, distributed real-time software has performed important roles in various areas. Real-time applications should be performed with satisfying strict constraints on response time. Usually real-time applications are developed on the real-time supporting middleware such as TMO(Time-triggered, Message-triggered Object), CORBA/RT, and RTAI. However, it is not easy to develop applications using them since these real-time middleware are unfamiliar to programmers. In this paper, we propose an automatic code generator for real-time application based on TMO in order to reduce development costs. For increasing or reflecting the characteristics of TMO into the design model, SpM and SvM methods are added into the class diagram, which have time constraints as their properties. And behaviors of them are represented as separated regions on state machine diagram in different abstract level. These diagrams are inputted into TMO-based code automatic generator, which generates details of the TMO class. Our approach has advantages for decreasing effort and time for making real time software by automatically generating TMO codes without detailed knowledge of TMO.

The Expressive Characteristics of the Posthuman Body in Fashion Illustration (패션 일러스트레이션에 반영된 포스트휴먼의 신체 표현특징)

  • Choi, Jung-Hwa
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.35 no.9
    • /
    • pp.1085-1098
    • /
    • 2011
  • In the $21^{st}$ century, technology is a tool for the expansion of the five senses and physical ability that works as an element for posthuman identity. This study analyzes and theorizes on the characteristics of the posthuman body in fashion illustration. The method of this study analyzes documentaries about posthuman and fashion illustration. The results are as follow. Posthuman body types are classed as hybrid body, plastic surgery body, and digital body. The characteristics of the posthuman body are categorized as ultra- functional prosthetic, mythical undifferentiated, radical plastic surgery type and post-physical digitization type. The ultra-functional prosthetic type shows a restored body and upgraded functional body through a machine hybrid, cyborg suit and mannequin hybrid. It is a break from classical gender identity to form a nerve sense extension that displays physical and abstract power. The mythical undifferentiated type shows a therianthropic form, parts of an animal body, radical skin and gender bending. It represents the return to an undifferentiated world, the desire of a powerful being and the possibility of radical transformation. The radical plastic surgery type shows a photomontage of an ideal body, transgendered body, grotesque body marking, absence of partial or overall face organ and the expansion of abnormal body organs. It represents the expression of narcissism, unconscious desire, fantasy, fear and suggests an alternative ideality, sexual attachment and ambiguous gender identity. The post-physical digitization type shows an imperfect form or duplicated ego image through the omission of the body silhouette or detailed form, fragmented image using net, representative self like optical illusion using typography, an imperfect vague silhouette and immaterial body outline through the use of virtual light. It represents the lack of desire, narcissism, fluidity in a virtual space, the continued creation of a new self, ambiguous gender identity and the liberation of environment, sex, and race. Likewise, the posthuman in fashion illustration shows the absence of a species boundary, destruction of classical gender identity, a new personality and virtual self image.

Performance Improvement of Parallel Processing System through Runtime Adaptation (실행시간 적응에 의한 병렬처리시스템의 성능개선)

  • Park, Dae-Yeon;Han, Jae-Seon
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.7
    • /
    • pp.752-765
    • /
    • 1999
  • 대부분 병렬처리 시스템에서 성능 파라미터는 복잡하고 프로그램의 수행 시 예견할 수 없게 변하기 때문에 컴파일러가 프로그램 수행에 대한 최적의 성능 파라미터들을 컴파일 시에 결정하기가 힘들다. 본 논문은 병렬 처리 시스템의 프로그램 수행 시, 변화하는 시스템 성능 상태에 따라 전체 성능이 최적화로 적응하는 적응 수행 방식을 제안한다. 본 논문에서는 이 적응 수행 방식 중에 적응 프로그램 수행을 위한 이론적인 방법론 및 구현 방법에 대해 제안하고 적응 제어 수행을 위해 프로그램의 데이타 공유 단위에 대한 적응방식(적응 입도 방식)을 사용한다. 적응 프로그램 수행 방식은 프로그램 수행 시 하드웨어와 컴파일러의 도움으로 프로그램 자신이 최적의 성능을 얻을 수 있도록 적응하는 방식이다. 적응 제어 수행을 위해 수행 시에 병렬 분산 공유 메모리 시스템에서 프로세서 간 공유될 수 있은 데이타의 공유 상태에 따라 공유 데이타의 크기를 변화시키는 적응 입도 방식을 적용했다. 적응 입도 방식은 기존의 공유 메모리 시스템의 공유 데이타 단위의 통신 방식에 대단위 데이타의 전송 방식을 사용자의 입장에 투명하게 통합한 방식이다. 시뮬레이션 결과에 의하면 적응 입도 방식에 의해서 하드웨어 분산 공유 메모리 시스템보다 43%까지 성능이 개선되었다. Abstract On parallel machines, in which performance parameters change dynamically in complex and unpredictable ways, it is difficult for compilers to predict the optimal values of the parameters at compile time. Furthermore, these optimal values may change as the program executes. This paper addresses this problem by proposing adaptive execution that makes the program or control execution adapt in response to changes in machine conditions. Adaptive program execution makes it possible for programs to adapt themselves through the collaboration of the hardware and the compiler. For adaptive control execution, we applied the adaptive scheme to the granularity of sharing adaptive granularity. Adaptive granularity is a communication scheme that effectively and transparently integrates bulk transfer into the shared memory paradigm, with a varying granularity depending on the sharing behavior. Simulation results show that adaptive granularity improves performance up to 43% over the hardware implementation of distributed shared memory systems.

Parallel k-Modes Algorithm for Spark Framework (스파크 프레임워크를 위한 병렬적 k-Modes 알고리즘)

  • Chung, Jaehwa
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.6 no.10
    • /
    • pp.487-492
    • /
    • 2017
  • Clustering is a technique which is used to measure similarities between data in big data analysis and data mining field. Among various clustering methods, k-Modes algorithm is representatively used for categorical data. To increase the performance of iterative-centric tasks such as k-Modes, a distributed and concurrent framework Spark has been received great attention recently because it overcomes the limitation of Hadoop. Spark provides an environment that can process large amount of data in main memory using the concept of abstract objects called RDD. Spark provides Mllib, a dedicated library for machine learning, but Mllib only includes k-means that can process only continuous data, so there is a limitation that categorical data processing is impossible. In this paper, we design RDD for k-Modes algorithm for categorical data clustering in spark environment and implement an algorithm that can operate effectively. Experiments show that the proposed algorithm increases linearly in the spark environment.

Fast Skew Detection of Document Images by Extraction of Center Points of Blank Lines (공백행의 중심점 추출에 의한 고속 문서 기울기 검출)

  • Jeong, Jae-Yeong;Kim, Mun-Hyeon
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.11
    • /
    • pp.1342-1349
    • /
    • 1999
  • 본 논문에서는 문서 내의 인접한 두 행 사이에는 일정한 두께의 공백 행이 존재하며 그 공백 행의 기울기는 실제 문서의 기울어진 정도를 반영한다는 사실에 기반하여, 선형적으로 기울어진 문서 영상의 기울기 추정을 위한 고속의 알고리즘을 제안한다. 먼저, 간단한 모폴로지 연산(dilation)을 이용하여 문자행 영역과 공백행 영역을 분리한 후, 이를 일정 간격으로 수직 샘플링하여 수직선 상에 있는 모든 공백행의 중심점(행간점)을 찾는다. 동일한 공백 행 상에 있는 인접한 두 행간점 간에 기울기를 계산하고, 전체 영상으로부터 이들의 분포를 조사하여 최대 빈도를 가지는 기울기를 입력 문서의 기울기로 추정한다. 실험에서는 제안한 알고리즘을 필기체 및 인쇄체를 포함하는 다양한 형태의 가로쓰기 문서에 적용한 결과를 보인다.Abstract In this paper, we propose a fast algorithm to estimate the skew angle of linearly skewed document images. This paper is based on the fact that there is a blank line with uniform thickness between two adjacent text lines and the slope of the line is the same as that of the document. Firstly, we apply a dilation operation to the image to separate blank lines from text lines, and we detect center points of blank lines along the vertically sampled lines. Then we calculate the slope between neighboring center points in the same blank line. Calculated slopes for the entire image are accumulated on the histogram to display the distribution of them. Finally, the peak in the histogram is detected and estimated as the slope of the document image. In the experiments, we adopted a lot of images of various format with hand-printed or machine-printed document to verify our algorithm.

Model Multiplicity (UML) Versus Model Singularity in System Requirements and Design

  • Al-Fedaghi, Sabah
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.4
    • /
    • pp.103-114
    • /
    • 2021
  • A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.

The Effect of Stress on the Thermal Stability of the TiS$i_2$ Film (TiS$i_2$ 박막의 열안정성에 미치는 막 스트레스의 영향)

  • Kim, Yeong-Uk;Kim, Yeong-Uk;Go, Jong-U;Lee, Nae-In;Kim, Il-Gwon;Park, Sun-O;An, Seong-Tae;Lee, Mun-Yong;Lee, Jong-Gil
    • Korean Journal of Materials Research
    • /
    • v.3 no.1
    • /
    • pp.12-18
    • /
    • 1993
  • Abstract The effect of the film stress on the thermal stability of TiSi, films under the dielectric overcoat was investigated. TiS$i_2$ films with the sheet resistance of 1.2 ohm/sq. were produced by a solid-state reaction between sputtered Ti film and single-crystalline Si in an RTA (rapid thermal anneal) machine. Dielectric overcoats such as the USG (Undoped Silicate Glass, Si$O_2$) film and the PE-SiN(S$i_3$$N_4$) film were deposited by AP-CVD and PE-CVD, respectively, on the TiS$i_2$ film. The thermal stability of the TiSi, film was evaluated by changes in the sheet resistance, film stress and microstructure after furnace anneals at 90$0^{\circ}C$. Agglomeration of the TiSi2 film high temperatures results in the increase of sheet resistance and the decrease of tensile stress of TiSi, film. The stress level of the TiSi" PE-SiN and ~SG films at 90$0^{\circ}C$C was 1.3${\times}{10^{9}}$, 1.25 ${\times}{10^{10}}$, 2.26 ${\times}{10^{10}}$ dyne/c$m^2$ in tensile, respectively. Dielectric films deposited by CVD on TiSi, was effective on preventing agglomeration of TiSi,. The PE-SiN film mproved the thermal stability of TiSi, more effectively than the AP-CVD USG film. It is considered that agglomeration of the TiS$i_2$ film under the stress of dielectric overcoat at high temperature can be caused by a diffusional flow of atom called Nabarro-Herring microcreep.reep.

  • PDF

Design and Implementation of An I/O System for Irregular Application under Parallel System Environments (병렬 시스템 환경하에서 비정형 응용 프로그램을 위한 입출력 시스템의 설계 및 구현)

  • No, Jae-Chun;Park, Seong-Sun;;Gwon, O-Yeong
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.11
    • /
    • pp.1318-1332
    • /
    • 1999
  • 본 논문에서는 입출력 응용을 위해 collective I/O 기법을 기반으로 한 실행시간 시스템의 설계, 구현 그리고 그 성능평가를 기술한다. 여기서는 모든 프로세서가 동시에 I/O 요구에 따라 스케쥴링하며 I/O를 수행하는 collective I/O 방안과 프로세서들이 여러 그룹으로 묶이어, 다음 그룹이 데이터를 재배열하는 통신을 수행하는 동안 오직 한 그룹만이 동시에 I/O를 수행하는 pipelined collective I/O 등의 두 가지 설계방안을 살펴본다. Pipelined collective I/O의 전체 과정은 I/O 노드 충돌을 동적으로 줄이기 위해 파이프라인된다. 이상의 설계 부분에서는 동적으로 충돌 관리를 위한 지원을 제공한다. 본 논문에서는 다른 노드의 메모리 영역에 이미 존재하는 데이터를 재 사용하여 I/O 비용을 줄이기 위해 collective I/O 방안에서의 소프트웨어 캐슁 방안과 두 가지 모형에서의 chunking과 온라인 압축방안을 기술한다. 그리고 이상에서 기술한 방안들이 입출력을 위해 높은 성능을 보임을 기술하는데, 이 성능결과는 Intel Paragon과 ASCI/Red teraflops 기계 상에서 실험한 것이다. 그 결과 응용 레벨에서의 bandwidth는 peak point가 55%까지 측정되었다.Abstract In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two designs, namely, "Collective I/O" and "Pipelined Collective I/O". In the first scheme, all processors participate in the I/O simultaneously, making scheduling of I/O requests simpler but creating a possibility of contention at the I/O nodes. In the second approach, processors are grouped into several groups, so that only one group performs I/O simultaneously, while the next group performs communication to rearrange data, and this entire process is pipelined to reduce I/O node contention dynamically. In other words, the design provides support for dynamic contention management. Then we present a software caching method using collective I/O to reduce I/O cost by reusing data already present in the memory of other nodes. Finally, chunking and on-line compression mechanisms are included in both models. We demonstrate that we can obtain significantly high-performance for I/O above what has been possible so far. The performance results are presented on an Intel Paragon and on the ASCI/Red teraflops machine. Application level I/O bandwidth up to 55% of the peak is observed.he peak is observed.