• Title/Summary/Keyword: regularity theory

Search Result 64, Processing Time 0.02 seconds

A study on the construction of multiple-valued logic functions and full-adders using by the edge-valued decision diagram (에지값 결정도에 의한 다치논리함수구성과 전가계기설계에 관한 연구)

  • 한성일;최재석;박춘명;김흥수
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.35C no.3
    • /
    • pp.69-78
    • /
    • 1998
  • This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently using in constructing the digital logic systems based on the graph theory. We discussed the function minimization method of the n-variables multiple-valued functions and showed that the algorithm had the regularity with module by which the same blocks were made concerning about the schematic property of the proposed algorithm. We showed the EMVDD of Full Adder by module construction and verified the proposed algorithm by examples. The proposed method has the visible, schematical and regular properties.

  • PDF

The Importance of Smoking Definitions for the Study of Adolescent Smoking Behavior

  • Park Sun-Hee;June Kyung-Ja
    • Journal of Korean Academy of Nursing
    • /
    • v.36 no.4
    • /
    • pp.612-620
    • /
    • 2006
  • Purpose. Smoking is the leading cause of death and smoking initiation rarely occurs after adolescence. Thus research on adolescent smoking is crucial. A consistent definition of smoking is important because inconsistent definitions make comparisons across studies an arduous task. Thus, the aim of the study was to suggest future research directions for smoking definitions after examining pitfalls in the literature. Methods. In this study the literature on adolescent smoking in the U.S. and South Korea was examined, and three types of smoking definitions were identified. Limitations in the studies are identified and future research directions are suggested. Results. In the U.S. literature, smoking definitions can be categorized into three groups: definitions based on stage models, smoking trajectories, and definitions derived from specific data. In the South Korean literature, various levels of smoking have not been differentiated. Conclusions. While the literature does not provide a definitive answer regarding the definition of smoking, it suggests three issues to consider for future research. First, multiple measures of smoking are more desirable than a one-time measure. Second, theory- or trajectory-based smoking definitions are more desirable than definitions derived from available data. Finally, regularity and amount of cigarette use should be incorporated in defining smoking behavior.

Design of a Pipelined High Performance RSA Crypto_chip (파이프라인 구조의 고속 RSA 암호화 칩 설계)

  • Lee, Seok-Yong;Kim, Seong-Du;Jeong, Yong-Jin
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.28 no.6
    • /
    • pp.301-309
    • /
    • 2001
  • 본 논문에서는 RSA 암호 시스템의 핵심 과정인 모듈로 멱승 연산에 대한 새로운 하드웨어 구조를 제시한다. 본 방식은 몽고메리 곱셈 알고리즘을 사용하였으며 기존의 방법들이 데이터 종속 그래프(DG : Dependence Graph)를 수직으로 매핑한 것과는 달리 여기서는 수평으로 매핑하여 1차원 선형 어레이구조를 구성하였다. 그 결과로 멱승시에 중간 결과값이 순차적으로 나와서 바로 다음 곱셈을 위한 입력으로 들어갈 수 있기 때문에 100%의 처리율(throughput)을 이룰 수 있고, 수직 매핑 방식에 비해 절반의 클럭 횟수로 연산을 해낼 수 있으며 컨트롤 또한 단순해지는 장점을 가진다. 각 PE(Processing Element)는 2개의 전가산기와 3개의 멀티플렉서로 이루어져 있고, 암호키의 비트수를 k비트라 할 때 k+3개의 PE만으로 파이프라인구조를 구현하였다. 1024비트 RSA데이터의 암호 똔느 복호를 완료하는데 2k$^2$+12k+19의 클럭 수가 소요되며 클럭 주파수 100Mhz에서 약 50kbps의 성능을 보인다. 또한, 제안된 하드웨어는 내부 계산 구조의 지역성(locality), 규칙성(regularity) 및 모듈성(modularity) 등으로 인해 실시간 고속 처리를 위한 VLSI 구현에 적합하다.

  • PDF

Modular Multiplier based on Cellular Automata Over $GF(2^m)$ (셀룰라 오토마타를 이용한 $GF(2^m)$ 상의 곱셈기)

  • 이형목;김현성;전준철;유기영
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.1_2
    • /
    • pp.112-117
    • /
    • 2004
  • In this paper, we propose a suitable multiplication architecture for cellular automata in a finite field $GF(2^m)$. Proposed least significant bit first multiplier is based on irreducible all one Polynomial, and has a latency of (m+1) and a critical path of $ 1-D_{AND}+1-D{XOR}$.Specially it is efficient for implementing VLSI architecture and has potential for use as a basic architecture for division, exponentiation and inverses since it is a parallel structure with regularity and modularity. Moreover our architecture can be used as a basic architecture for well-known public-key information service in $GF(2^m)$ such as Diffie-Hellman key exchange protocol, Digital Signature Algorithm and ElGamal cryptosystem.

Robust Controller Design for Flexible Robot Arm Manipulator (유연한 로봇팔의 선단 위치 제어를 위한 강인한 제어기의 설계)

  • 신봉철;이형기;최연욱;안영주
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.3 no.2
    • /
    • pp.76-82
    • /
    • 2002
  • The objective of this paper is to design a robust controller for a flexible robot arm manipulator using LMI(Linear Matrix Inequality) theory, and confirm its effectiveness through experimentation. We first describe a modeling Process of the flexible arm in order to get a mathematical model, and then discuss how to approximately obtain the uncertainty of the model for robust control. As to the control system design, we adopt the LMI-based H$_{\infty}$ synthesis algorithm which has the merits of eliminating the regularity restrictions attached to the Riccati-based methods. As a result of this, we can cope with the parameter variation (that is, modeling uncertainty) due to the tip-load variation. Finally we confirm the effectiveness of the controller through experiment and simulation.

  • PDF

An Efficient Bit-serial Systolic Multiplier over GF($2^m$) (GF($2^m$)상의 효율적인 비트-시리얼 시스톨릭 곱셈기)

  • Lee Won-Ho;Yoo Kee-Young
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.1_2
    • /
    • pp.62-68
    • /
    • 2006
  • The important arithmetic operations over finite fields include multiplication and exponentiation. An exponentiation operation can be implemented using a series of squaring and multiplication operations over GF($2^m$) using the binary method. Hence, it is important to develop a fast algorithm and efficient hardware for multiplication. This paper presents an efficient bit-serial systolic array for MSB-first multiplication in GF($2^m$) based on the polynomial representation. As compared to the related multipliers, the proposed systolic multiplier gains advantages in terms of input-pin and area-time complexity. Furthermore, it has regularity, modularity, and unidirectional data flow, and thus is well suited to VLSI implementation.

Image Enhancement Techniques Based on Wavelets (웨이블릿을 이용한 영상개선 기법)

  • 이해성;변혜란;유지상
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.25 no.8B
    • /
    • pp.1400-1412
    • /
    • 2000
  • In this paper, we propose a technique for image enhancement, especially for denoising and deblocking based on wavelets. In this proposed algorithm, frame wavelet system designed as a optimal edge detector was used. And our theory depends on Lipschitz regularity, spatial correlation, and some important assumptions. The performance of the proposed algorithm was compared with three popular test images in image processing area. Experimental results show that the performance of the proposed algorithm was better than other previous denoising techniques like spatial averaging filter, Gaussian filter, median filter, Wiener filter, and some other wavelet based filters in the aspect of both PSNR and human visual system, The experimental results also show approximately the same capability of deblocking as the previous developed techniques

  • PDF

a Study on the Characteristics of Spatial Organization of Korean Detached Houses by the Analyses of Connecting Methods between Rooms (실의 연계관계 분석에 의한 우리나라 단독주택의 공간구성적 특성에 관한 연구)

  • 전경화
    • Korean Institute of Interior Design Journal
    • /
    • no.18
    • /
    • pp.96-102
    • /
    • 1999
  • This study is about the spatial organization of Korean houses designed by architects. It is focused on the characteristics and transformation of spatial organization of houses designed since 1970. The variety and regularity of organization existed at the spatial structure of Korean houses are analysed through typological theory. In this study, the connecting methods between rooms appeared in the plans of 190 detached houses are analysed and classified chronologically. The connecting methods of space between L-D-K, between living room and master bedroom are analysed. And the methods of spatial division inside of master bedroom are also analysed. As a result of the analyses, it is clear that the spatial organization of architects' houses turns its direction from the concept of 'unifying and clustering' to that of 'dividing and segregating' . In contrast to the 70s, there shows a strong diversity in the connecting methods after the 80s with adaptation of the 'language of linear plan' using many forms of intermediary elements between spaces. This result would be relative to the changing trend of design philosophy and the changing tendency in the relationship between the inside and outside space of house.

  • PDF

A Construction of the Linear Digital Switching Function over Finite Fields (유한체상에서의 선형디지털스위칭함수 구성)

  • Park, Chun-Myoung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.12 no.12
    • /
    • pp.2201-2206
    • /
    • 2008
  • This paper presents a method of constructing the Linear Digital Switching Function(LDSF) over finite fields. The proposed method is as following. First of all, we extract the input/output relationship of linear characteristics for the given digital switching functions, Next, we convert the input/output relationship to Directed Cyclic Graph(DCG) using basic gates adder and coefficient multiplier that are defined by mathematical properties in finite fields. Also, we propose the new factorization method for matrix characteristics equation that represent the relationship of the input/output characteristics. The proposed method have properties of generalization and regularity. Also, the proposed method is possible to any prime number multiplication expression.

A Study on the Development of Geometry as the Natural Laws and the Concepts of Space - Focus on the Whitehead's theories of natural laws - (자연법칙으로서 기하학과 공간 개념의 전개에 관한 연구 - 화이트헤드의 자연법칙 학설을 중심으로 -)

  • Hwang, Tae-Joo
    • Korean Institute of Interior Design Journal
    • /
    • v.19 no.2
    • /
    • pp.90-98
    • /
    • 2010
  • The concepts of laws like regularity or persistence or recurrence those are discovered in nature, became the essential elements in speculative philosophy, study and scientific technology. Western civilization was spread out by these natural laws. As this background, this study is aimed to research the theories of natural laws and the development of geometry as the descriptive tools and the development aspects of the concepts of space. According to Whitehead's four theories on the natural laws, the result of this study that aimed like that as follows. First, the theories on the immanence and imposition of the natural laws were the predominant ideas from ancient Greek to before the scientific revolution, the theory on the simple description like the positivism made the Newton-Cartesian mechanism and an absolutist world view. The theory on the conventional interpretation made the organicism and relativism world view according to non-Euclidean geometry. Second, the geometrical composition of ancient Greek architecture was an aesthetics that represented the immanence of natural laws. Third, in the basic symbol of medieval times, the numeral symbol was the frame of thought and was an important principal of architecture. Fourth, during the Renaissance, architecture was regarded as mathematics that made the order of universe to visible things and the geometry was regarded as an important architectural principal. Fifth, according to the non-Euclidean geometry, it was possible to present the natural phenomena and the universe. Sixth, topology made to lapse the division of traditional floor, wall and ceiling in contemporary architecture and made to build the continuous space. Seventy, the new nature was explained by fractal concepts not by Euclidean shapes, fractal presented that the essence of nature had not mechanical and linear characteristic but organic and non-linear characteristic.