• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.2 no.1
• /
• pp.59-77
• /
• 1992

본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.1307-1310
• /
• 2005

ATM is element that reliability, stability is important in relation with customer by financial agency used device. To embody high reliability and stability, reliability estimation technology development is important. When new product is developed, performance and reliability evaluation of product are essential element. In this paper, is treating contents on reliability estimation of stepping motor, BLDC motor and solenoid that is main driving source of note handling units.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2004.05a
• /
• pp.900-905
• /
• 2004

Development of color printer, postal classification machine, ATM and so on requires higher moving performance of the flat belt. Skew of the flat belt running over misaligned roller has a bad effect on performances of media transport. The vibration of loose side of belt causes the escape of the belt from roller and the drop of velocity of driven roller after the start of driving roller revolution. The skew of flat belt is investigated by FEM and dynamic simulation. FEM results show parameters which affect the skew of belt and match with dynamic results qualitatively. The shape of loose side of belt can be found by dynamic simulation. Increase of the acceleration time and initial tension have diminished the unstable movement of the loose side of belt.

• Vending industry
• /
• v.5 no.1 s.13
• /
• pp.84-88
• /
• 2005

일본 자판기 시장은 최근 위조 500엔 동전 문제가 핫이슈로 대두되고 있다. 과거 한국의 500원 동전을 이용한 자판기 털기 분제가 엄청난 파장으로 확산되어 신500엔 동전 발행으로 이어졌던 게 사실. 500엔 문제는 그 후 잠잠해지는 가 했더니 최근 새로운 위변조 동전이 다량 출몰하여 다시 사회문제화가 되고 있다. 일반 유인 유통은 물론 자판기, ATM등에 막대한 파급력이 예상되고 있기 때문에 일본 정부나 유관단체 등에서는 본격적인 대책강구에 분주해 지고 있다. 또한 500엔 동전 이외에도 1000엔권, 10000엔권 등에서도 위조지폐가 증가하고 있는 추세에 있는 등 일본사회는 ‘위폐와의 전쟁’을 앞으로 불사해야 할 상황이다. 금호 일본뉴스에서는 위폐문제로 골머리를 앓고 있는 현실들을 자세하게 담아봤다. 이외에도 점점 입지가 좁아지는 담배자판기 문제, 수난을 당하는 유해 도서 자판기 등의 뉴수도 다채롭게 준비했다. 일번 일본 뉴스들은 삶에 있어 자판기의 비중이 증대되면 될 수록 사회적인 역할과 책임이 커져야 한다는 것을 시사하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.568-570
• /
• 2001

정형 기법으로 명세된 시스템이 구현되어 실제 물리적 환경에서 실행될 때는 시스템 행위들의 성공과 실패가 다양한 환경 요인에 의해 영향을 받는다. 본 논문에서는 PATM(Probabilistic ATM)을 이용하여 시스템의 행위에 영향을 주는 요인의 정도를 확률로써 명세하고, 명세 단계에서 시스템의 실행을 예측할 수 있는 방법을 제시한다. PATM은 실행시간에 변화하는 요인을 가변 확률로 명세하여 실행 시 발생할 수 있는 상황에 대한 능동적인 분석과 예측을 가능하도록 한다.

• Journal of the Korea Society for Simulation
• /
• v.8 no.3
• /
• pp.77-89
• /
• 1999

Simulating rare events, such as probability of cell loss in ATM networks, machine failure in highly reliable systems, requires huge simulation efforts due to the low chance of occurrence. Importance Sampling (IS) has been applied to accelerate the occurrence of rare events. However, it has a drawback of effective biasing scheme to make the estimator of IS unbiased. Adaptive Importance Sampling (AIS) employs an estimated sampling distribution of IS to the system of interest during the course of simulation. We propose Nonparametric Adaptive Importance Sampling (NAIS) technique which is nonparametrical version of AIS. We test NAIS to estimate a probability of rare event in M/M/1 queueing model. Comparing with classical Monte Carlo simulation, the computational efficiency and variance reductions gained via NAIS are substantial. A possible extension of NAIS regarding with random number generation is also discussed.

• Journal of Powder Materials
• /
• v.11 no.4
• /
• pp.308-313
• /
• 2004

An experimental study on the combustion of superfine aluminum powders (average particle diameter, a$_{s}$: ∼0.1 ${\mu}{\textrm}{m}$) in air is reported. The formation of aluminum nitride during the combustion of aluminum in air and the influence of the combustion scenario on the structures and compositions of the final products are in the focus of this study. The experiments were conducted in an air (pressure: 1 atm). Superfine aluminum powders were produced by the wire electrical explosion method. Such superfine aluminum powder is stable in air but once ignited it can burn in a self-sustaining way due to its low bulk: density (∼0.1 g/㎤) and a low thermal conductivity. During combustion, the temperature and radiation were measured and the actual burning process was recorded by a video camera. Scanning electron microscopy (SEM), X-ray diffraction (XRD) and chemical analysis were performed on the both initial powders and final products. It was found that the powders, ignited by local heating, burned in a two-stage self-propagating regime. The products of the first stage consisted of unreacted aluminum (-70 mass %) and amorphous oxides with traces of AlN. After the second stage the AlN content exceeded 50 mass % and the residual Al content decreased to ∼10 mass %. A qualitative discussion is given on the kinetic limitation for AlN oxidation due to rapid condensation and encapsulation of gaseous AlN.N.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.731-742
• /
• 2017

For all the various cryptographic techniques related to security, social technological attacks such as a shoulder surfing are infeasible to block off completely. Especially, the attacks are executed against financial facilities such as automated teller machine(ATM) which are located in public areas. Furthermore, online financial services whose rate of task management is consistently increasing are vulnerable to a shoulder surfing, smudge attacks, and key stroke inference attacks with google glass behind the convenience of ubiquitous business transactions. In this paper, we show that the security of ATM and internet banking can be reinforced against a shoulder surfing by using One-Time Keypad(OTK) and compare the security of OTK with those of ordinary keypad and One-Time Password(OTP).