• ETRI Journal
• /
• v.39 no.4
• /
• pp.525-534
• /
• 2017

A hardware-acceleration architecture that separates virtual network functions (VNFs) and network control (called HSN) is proposed to solve the mismatch between the simple flow steering requirements and strong packet processing abilities of software-defined networking (SDN) forwarding elements (FEs) in SDN/network function virtualization (NFV) architecture, while improving the efficiency of NFV infrastructure and the performance of network-intensive functions. HSN makes full use of FEs and accelerates VNFs through two mechanisms: (1) separation of traffic steering and packet processing in the FEs; (2) separation of SDN and NFV control in the FEs. Our HSN prototype, built on NetFPGA-10G, demonstrates that the processing performance can be greatly improved with only a small modification of the traditional SDN/NFV architecture.

• ETRI Journal
• /
• v.36 no.3
• /
• pp.469-478
• /
• 2014

RSA signature algorithms using the Chinese remainder theorem (CRT-RSA) are approximately four-times faster than straightforward implementations of an RSA cryptosystem. However, the CRT-RSA is known to be vulnerable to fault attacks; even one execution of the algorithm is sufficient to reveal the secret keys. Over the past few years, several countermeasures against CRT-RSA fault attacks have tended to involve additional exponentiations or inversions, and in most cases, they are also vulnerable to new variants of fault attacks. In this paper, we review how Shamir's countermeasure can be broken by fault attacks and improve the countermeasure to prevent future fault attacks, with the added benefit of low additional costs. In our experiment, we use the side-channel analysis resistance framework system, a fault injection testing and verification system, which enables us to inject a fault into the right position, even to within $1{\mu}s$. We also explain how to find the exact timing of the target operation using an Atmega128 software board.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.4
• /
• pp.15-21
• /
• 1997

Pneumatics is widly used in the industrial implementation, in the operation of air-powered actuators and the control devices needed in their operation. However, there are many empirical factors in pneumatics design, it might cause excessive design of pneumatic components. For that reason, we developed VDES(Vacuum Design Expert System) for the economic design of pneumatic vacuum equipment. VDES is achieved with CLIPS(C Language Integrated Production System) and knowledge base that contains a number of facts and rules for pneumatic vacuum design. Forward chaining and depth first search technique are used in this system. Appling VDES to the actual field, this system is verified to be a good efficiency and could be applied to the field of pneumatic vacuum equipment design.

• Journal of the Korean Society for Precision Engineering
• /
• v.7 no.3
• /
• pp.66-74
• /
• 1990

This paper presents a knowledge-based computer aided process planning system that automatically selects machine tools, machining operations and cutting tools and determines sequences of the machining operations for prismatic parts in die manufacturing. In the proposed system, parts are described by manufacturing features and grouped into part families based on the functions. Each part is repressented by a part frame which consists of basic data and manufacturing features. Knowledge for manufacturing is acquired from the domain expert and represented by frames. A decision model for selection of machine tools, machining operations and cutting tools and for determining sequences of the machining operations are developed by employing the Mealy machine in finite automata with output. The decision procedure and the order of priority which inputs manufacturing features into the Mealy machine are represented by rule for each part family. Backward chaining is used for the proposed system. The proposed system is implemented by using TURBO-PROLOG on the IBM PC/AT. A case study for the slide core is presented to show the function of the proposed system.

• Journal of the Korean Society of Safety
• /
• v.7 no.4
• /
• pp.105-114
• /
• 1992

This paper presents an study on the knowledge based system for diagnosing the fire causes using the Fuzzy Possibility Measure( FPM ) about the electric-fire ignition. The Ignition values needed for causes diagnosis is computed as FPM for electric-fire ignition based on the internal scale technique that assigns numerically the characteristic difference of facts to the-tin-ear scale. For the convinience of inference, ignition sources are classified into seven types : short, ground fault, leakge of electricity, overcurrent, cord junction overheating, bad Insulation and spark. The system for causes diagnosis of electric-fire is composed of Knowledge Acquisition System, Inference Engine and Man-Machine Interface, The diagnosis system is wrritten in an artificial intelligence langusge “PROLOG” which uses depth-first search and backward chaining schemes in reasoning process.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.1
• /
• pp.9-17
• /
• 1992

This paper represents the expert system for selecting the superstructure types of bridges in the part of a preliminary bridge design. The system is implemented with the expert system tool called K-CLIPS which uses the production system for knowledge representation and provides the mechanism of forward chaining. This expert system is composed of a knowledge base, data base and a knowledge module built by the tool which consists of the knowledges on design procedures. During symbolic processing the data base supports the sub system in knowledge base.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.61 no.4
• /
• pp.632-638
• /
• 2012

ZigBee network, based on PHY, MAC layer provides a specification for a suite of high level communication protocols using small, low-power digital radio based on an IEEE 802.15.4 standard. Meshing is a type of daisy chaining from one device to another. This technique allows the short range of an individual node to be expanded and multiplied, covering a much larger area. Each wireless technology that makes it to market serves a special purpose or function. Zigbee provides short-range connectivity in what is called a personal-area network (PAN). Within ZigBee PAN coordinator as manages an entire ZigBee network, the short range of frequency band was only selected because the technology allows typically less than 100 kbp or ZigBee troubles in retransmission processing and delaying data tranmission works to create unproductive condition of work. This research was proposed the method, based on short range frequency of zigBee nodes enable to long range of remote data transmission with specific algorithm tools.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.317-328
• /
• 2014

In Bae et al. [2], we have considered the uniform CLT for the martingale difference arrays under the uniformly integrable entropy. In this paper, we prove the same problem under the bracketing entropy condition. The proofs are based on Freedman inequality combined with a chaining argument that utilizes majorizing measures. The results of present paper generalize those for a sequence of stationary martingale differences. The results also generalize independent problems.

• Communications of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.291-301
• /
• 2010

This paper consists of two main parts. Firstly, we introduce an evolving binomial process from a binomial stock model and consider various types of limiting behavior of the logarithm of the evolving binomial process. Among others we find that the logarithm of the binomial process converges weakly to a Gaussian process. Secondly, we provide new approaches for proving the limit theorems for an integral process motivated by the evolving binomial process. We provide a new proof for the uniform strong LLN for the integral process. We also provide a simple proof of the functional CLT by using a restriction of Bernstein inequality and a restricted chaining argument. We apply the functional CLT to derive the LIL for the IID random variables from that for Gaussian.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.545-549
• /
• 2007

유비쿼터스 환경에서 사용자는 장소의 이동에 상관없이 지속적인 서비스를 제공받아야 한다. 이동 중에 서비스 지속성을 보장하려면 대체 서비스를 검색하는 기술뿐만 아니라, 새로운 대체 서비스의 사용을 위한 서비스 인터페이스 간 불일치를 해결할 수 있는 기술이 필요하다. 인터페이스 불일치 문제를 해결하는 대표적인 방법은 인터페이스 어댑터를 사용하는 것이다. 하지만, 어댑터 개발의 부담이 크다는 단점이 있어, 이를 보완하기 위한 방법으로 어댑터의 반자동 생성이나 어댑터 체인 기법에 대한 연구들이 있다. 본 논문에서는 적응 손실 측면에서 최적의 어댑터 체인을 생성하는 기법을 제안한다. 제안한 기법은 기존의 어댑터 제인 기법에서 고려하지 못했던 단일 인터페이스 내의 메소드 의존성을 고려하여 적응손실을 측정하는 방법과 이를 반영하여 어댑터 체인을 생성하는 어댑터 제인 생성 알고리즘으로 구성된다. 시뮬레이션을 통해 제안한 기법이 비교적 짧은 시간 내에 최적의 어댑터 체인을 생성할 수 있음을 보인다.