• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.415-417
• /
• 2000

ATA(Abstract Timed Machine)은 실시간 시스템을 순환공학에서 명세하기 위해 고안된 LTS(Labeled Transition System)이다. ATM은 상태 기반 명세 언어의 문제점이라 할 수 있는 상태폭발을 해결하기 위해 새로운 개념의 모드를 정의하였으며, 아키텍쳐 기반으로구성되어 시스템이 이해를 높일 수 있도록 하였다. 또한 통신, 시간, 예외시간 등의 다양한 실시간 시스템의 속성을 표현한다. 그러나 실시간 시스템은 이 외에도 자원의 한계와 통신 수행의 경쟁 등으로 인해 많은 계약을 가진다. PATM(Probabilistic ATM)은 자원의 사용이나 통신의 수행에 많은 경쟁을 하는 시스템의 동작의 성공과 실패를 확률로써 표현하여 시스템의 동작을 예측하며 내고장성(fault tolerance)을 동적으로 수행할 수 있도록 하기 위해 ATM을 확률의 개념으로 확장한 것이다. 본 논문에서 내고장성은 환경 요소를 파라미터로 하는 확률 함수에 의해 이루어 진다. 본 논문에서는 기존 ATM을 간단히 소개하고, PATM이 필요한 이유와 PATM의 정의, PATM이 동적인 상황에서 어떻게 작용하는지에 대해 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.576-578
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

• 한국위성정보통신학회논문지
• /
• 제11권1호
• /
• pp.16-20
• /
• 2016

본 논문에서는 ATM(Automated Teller Machine: 금융자동화기기) 보안 강화를 위하여 적용할 수 있는 생체인식기술 중 지문인식, 홍채인식, 정맥인식 방식에 대하여 특징과 ATM 적용 사례 및 세부 사양 등을 분석하였다. ATM에서 생체인증을 도입할 경우 중요하게 고려해야 할 요건들을 기술하고, 이 요건들을 기준으로 각 생체인증 방식을 비교, 분석하였다. 분석 결과 인증정확도에 있어 한계를 갖는 지문인식방식과 사용자 편의성에 있어 큰 약점이 있는 홍채인식방식 보다는, 인증정확도 및 은닉성이 우수하면서도 위생적이라는 장점이 있는 정맥 인증 방식이 향후 ATM에 적용 확대 될 것으로 전망된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.607-609
• /
• 2001

본 논문은 ATM(Abstract Time Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 검증을 위한 Ada 코드로의 변환 과정에서 요구되는 DoME/ATM 파스트리 생성과정과 이를 통해 추출되는 정보를 이용하여 ATM을 SRL/ATM으로의 변환방법을 설계 구현한다. 임무 위급 시스템 같은 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 순환공학에서의 실시간 시스템 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형기법이다. 본 논문에서는 DoME을 이용하여 실시간 시스템에서의 특정 요구사항에 대한 DoME/ATM을 생성하고, DoME의 기능을 이용하여 ATM을 스크립트 코드로 저장한 후, DoME/ATM 파스트리 생성기를 통해 명세 정보를 추출하여 SRL/ATM으로의 변환기를 설계 구현한다. 변환기에 의해 생성된 매개언어인 SRL은 명시적인 정의와 효율적 분석 정보를 제공함으로써 Ada, COBOL, C 등과 같은 실행코드를 생성할 수 있도록 하는 기반을 제공한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.193-196
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 개발 및 검증을 위한 코드 변환기를 설계한다. ATM은 모드(mede), 전이(transition), 포트(per)로 구성되는데, 순공학 과정에서 실시간 시스템을 설계, 명세 하는 기존의 정형기법과는 달리 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. ATM은 기존 정형기법이 순공학 과정에서의 특정 물리적 환경에서 실행되는 동적행위에 대한 부적절한 표현에 대해 순환공학에서 실시간 시스템의 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형 기법으로서, 본 논문에서는 DoME을 이용하여 ATM 명세도구를 개발하고 이를 이용하여 실시간 시스템의 특정 요구사항을 위한 ATM을 명세한다. 또한 해당 ATM을 DOME/ATM 스크립트 파일로 저장하고 이에 대한 명세분석을 통해 노드와 관련된 정보를 추출하여 다른 분석도구가 이용할 수 있도록 DB에 저장하거나 매개 언어인 SRL/ATM으로 변환하며, 이러한 SRL/ATM으로부터 실행코드에 대한 관련 정보를 추출하여 실시간 시스템 개발 및 검증을 위한 Ada 코드를 생성할 수 있는 코드 변환기를 설계한다.

• 대한인간공학회지
• /
• 제35권5호
• /
• pp.403-411
• /
• 2016

Objective: This study is concerned with the user interface (UI) design of touch screen based on the reaction time of Automated Teller Machine (ATM) user. Background: Adopting the touch screen technology, the ATM service has recently established a new user interface different from the existing button-type interface. Method: Experiments were conducted by simulating ATM touch screen layouts, and layouts were focused on location of menu buttons (left and right, top and bottom), number of menu buttons (8 and 12 buttons). Results: The results show that there are significant differences in correction ratio and reaction time by user groups, types of menu location, and the number of buttons. Conclusion and Applications: The results of this study can be used to provide baseline information for the interface design of ATM touch screen and the age differences in reaction time.

• 한국소음진동공학회논문집
• /
• 제16권4호
• /
• pp.380-386
• /
• 2006

ATM is a machine that receives and pays money. The gate module of ATM separates forgeries from bills and changes the transfer direction of bills. In this paper, the dynamic behavior of the gate was analyzed numerically and experimentally. The moment of inertia of the gate lever, the driving force of the solenoid and the spring force were measured, respectively. And the displacements of the plunger, the Input voltage and current were measured experimentally. The measured dynamic behaviors were simulated numerically using Maxwell program which can accommodate the electromagnetic problem of the solenoid. Through the analysis, the design factors were found to make a fast and reliable new ATM gate module.

• 한국통신학회논문지
• /
• 제30권4A호
• /
• pp.241-249
• /
• 2005

ATM based MPLS(Multiprotocol Label Switching) is discussed for its provisioning QOS commitment capabilities, Traffic engineering and smooth migration for BcN in Korea. At this time, due to the comprehensive nature of ATM protocol, ATM has been adapted as the backbone system for carrying Internet traffic[1,2,3,4]. This paper presents preventive congestion control mechanisms for detecting HTR(Hard-To-Reach) LSP(Label Switched Path) in ATM based MPLS systems. In particular, we have introduced a HTR LSP detection method using network signaling information in an ATM layer. MPLS related studies can cover LSP failures in a physical layer fault, it can not impact network congestion status. Here we will present the research results for introducing HTR LSP detection methods and control mechanisms and this mechanism can be implementing as SOC for high speed processing a packet header. We concluded that it showed faster congestion avoidance abilities with a more reduced system load and maximized the efficiency of network resources by restricting ineffective machine attempts.

• 한국전기전자재료학회논문지
• /
• 제27권1호
• /
• pp.61-69
• /
• 2014

In this paper, we have researched semiconductor optical filters to solve the problem of the high failure rate that are recognize bad of financial account, jam of financial account and the ATM service interruption due to failure of accurate location information among the operation of the ATM (automatic teller machine) systems. A semiconductor optical filters that have high resolution and less diffuse, high transmittance are able to detect the information of financial account surface accurately. Therefore, it is a stable filter that is able to minimize the incidence of disability. In this paper, we drew the determinants by element for implement an excellent semiconductor optical filters. Based on this, we had to be able to implement the semiconductor optical filter that is able to be mounted on the actual ATM system through future studies.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.359-362
• /
• 2001

본 논문은 순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 생성기 구현과정에서 실시간 시스템에 대한 ATM(Abstract Timed Machine) 명세로부터 생성된 SRL(Software Representation Language) 중간코드로부터 Ada 실행코드 생성방법을 제시한다. 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 기존의 정형기법과는 달리 순환공학 환경에서의 실시간 시스템이 갖는 정적 및 동적 속성은 물론 특정 환경에서의 동적행위도 표현이 가능하므로, DoME/ATM 그래픽 명세 표기와 중간코드로부터 실행코드를 자동 생성함으로써 순환공학 환경에서의 실시간 시스템 개발 및 검증을 가능하게 한다. 따라서, 실행코드 자동 생성기를 구현하기 위하여 본 논문에서는 선행연구에 의한 DoME/ATM으로부터 변환된 SRL/ATM 코드로부터 Ada 실행코드를 생성하기 위하여 SRL/ATM과 Ada의 관계를 분석하고 실행코드 생성을 위한 기본 규칙들을 정의하여, Ada 실행코드 생성기를 설계한다. 실행코드 생성기는 SRL 파스트리 생성기를 이용하여 구문분석을 통해 구문노드와 수식노드, 단말노드 둥과 같은 구문적 요소들을 추출하여 어휘분석을 통해 얻어진 정보들과 추출된 구문 정보들을 기반으로 실제 Ada 실행코드를 생성한다.