• Title, Summary, Keyword: 어셈블리 시스템

Search Result 77, Processing Time 0.039 seconds

Ship block assembly modeling based on the graph theory (그래프 이론을 기반으로 한 선박의 블록 어셈블리 모델링)

  • Hag-Jong Jo;Kyu-Yeul Lee
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.38 no.2
    • /
    • pp.79-86
    • /
    • 2001
  • This study shows an attempt to generate an assembly sequence and its model for a ship block assembly using the graph theory and graph algorithms. To generate the ship block assembly, we propose four levels of the ship block assembly model such as "geometry mode1", "relational model", "sequential mode1", and "hierarchical model". To obtain the relational model, we used surface and surface intersection algorithm. The sequential model that represents a possible assembly sequence is made by using several graph algorithms from the relational model. The hierarchical model will be constructed from the sequential model in order to represent the block assembly tree and so forth. The purpose of the hierarchical model is to define an assembly tree and to generate the Bill Of Material(BOM). Lastly, the validity of the method proposed in this study is examined with application to ship block assembly models of a single type and double type according to four models mentioned above.

  • PDF

Web Assembly System Architecture Model (웹 어셈블리 시스템 아키텍처 모델)

  • Park, Jin-Tae;Moon, Il-Young
    • Journal of Advanced Navigation Technology
    • /
    • v.23 no.4
    • /
    • pp.328-332
    • /
    • 2019
  • Advances in web technology have enabled technical convergence in various system environments to be carried out through the web interface. The Web can be categorized from the Web 1.0 to the 4.0, depending on its role, it has the characteristics of connects information, connects people, connects knowledge, and connects intelligence. In addition, various technological needs occurred through the mobile app during the 4th Industrial Revolution, and functions such as 3D, virtual reality, augmented reality, video/audio processing were enabled on the web, which was a simple means of providing information. Technical standards have been studied to support these period needs. In this paper, I would like to mention one of the Web assembly. We will explore ways to link and fuse Web assembly with existing web systems (or platforms) and analyze their technical implications through a variety of examples. In addition, we will conduct a study on the architecture that can fuse the existing javascript with the web assembly, and discuss the future direction of the study.

Assembly Language for Virtual Machine (가상기계를 위한 어셈블리 언어)

  • Nam, Dong-Keun;Yun, Sung-Lim;Oh, Se-Man
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • /
    • pp.783-786
    • /
    • 2003
  • 가상기계란 하드웨어로 이루어진 물리적 시스템과는 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 프로세서이다. 가상기계 기술은 기계의 프로세서나 운영체제가 바뀌더라도 응용프로그램을 변경하지 않고 사용할 수 있다는 장점이 있다. 최근에는 GVM, KVM 등 모바일 단말기를 위한 가상기계들이 개발되면서 그 중요성이 더욱 부각되고 있으며 특히, 임베디드 시스템을 위한 가상기계 기술은 모바일 디바이스와 디지털 TV 등의 다운로드 솔루션에 꼭 필요한 소프트웨어 기술이다. 본 논문에서는 바이트코드, MSIL 등 기존의 가상기계를 위한 어셈블리 언어들의 분석을 기반으로 하여 임베디드 시스템을 위한 가상기계의 표준 중간 언어인 STL(Standard Intermediate Language)을 제안하고 니모닉(Mnemonic)을 정의한다. SIL은 SIL Assembler에 의해 EVM의 실행 파일인 *.evm의 형태로 번역되며 객체지향 프로그래밍 언어와 순차적인 프로그래밍 언어를 모두 수용할 수 있는 특징을 지닌다.

  • PDF

Sentry: a Binary-Level Interposition Mechanism for Kernel Extension (Sentry: Kernel Extension을 위한 바이너리 수준의 인터포지션 기법)

  • Kim Se-Won;Hwang Jae-Hyun;Yoo Hyuck
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.325-327
    • /
    • 2006
  • 현재 사용되고 있는 운영체제들은 그들의 기능을 확장하거나 교체하기 위해서 kernel extension을 사용해 왔다. 일반적으로 이러한 kernel extension들은 커널과 같은 주소공간에서 실행하기 때문에, 그것에서 발생하는 오류(fault)로 인해 전체 시스템이 망가지는 결과를 초래할 위험이 있다. 그래서 kernel extension의 안전한 실행에 관한 연구들은 kernel extension에서 발생한 오류를 전체 시스템으로부터 고립시키는 것이 주목적이었다. 하지만 이러한 방법들은 kernel extension의 어셈블리어로 된 코드를 분석하거나 사용하고 있는 커널의 소스 코드를 수정을 필요로 한다. 본 논문은 Sentry라는 kernel extension을 감시하기 위한 인터포지션 서비스를 제안한다. Sentry를 사용하기 위해서 별도의 커널 코드를 수정할 필요도 없으며, 이미 사용하고 있는 리눅스와 호환될 수 있는 특징을 지니고 있다. 그리고 kernel extension의 소스코드 및 어셈블리 코드에 대한 분석 없이 바이너리 파일을 직접 수정하여 kernel extension을 모니터링 할 수 있도록 한다. 게다가 Sentry는 재구성이 가능하기 때문에 얼마든지 kernel extension에 대한 보호정책을 동적으로 바꿀 수 있다.

  • PDF

Performance Analysis for Fine-Grained SW Offloading in Intelligent Memory System (Intelligent한 메모리 시스템에서의 Fine-Grained SW Offloading을 위한 성능 분석)

  • Heo, Ingoo;Kim, Yongjoo;Lee, Jinyong;Lee, Jihoon;Lee, Jongwon;Paek, Yunheung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • /
    • pp.29-32
    • /
    • 2012
  • 전통적으로 컴퓨터의 성능은 중앙 연산 장치 (CPU)의 성능에 따라 좌지우지 되어 왔다. 하지만 CPU의 성능이 지속적인 발전을 거듭하여 무어의 법칙을 비교적 충실히 따라가고 있는 반면, 메모리의 성능은 근래 들어 더디게 발전되는 형국이다. 때문에, CPU와 메모리 간의 성능격차로 인해 메모리의 낮은 성능이 전체 시스템의 성능을 저하시키는 "Memory Wall Problem"은 점점 큰 문제로 대두되고 있다. 이러한 문제를 해결하기 위해 많은 연구에서 메모리 자체의 성능을 발전시키는 것은 물론 메모리 내부에 연산 처리 능력을 추가하여 시스템 전체의 성능을 향상 시키는 시도들을 해왔다. 이 논문에서는 이러한 Intelligent한 메모리 시스템에서의 SW Off-loading을 위한 성능 분석을 다룬다. 이전의 연구들이 주로 큰 단위의 Off-load를 다뤘던 것에 비해 이 논문에서는 작은 단위의 Off-load, 더 정확히는 어셈블리 수준의 Off-load의 효과에 대해 분석한다. 또한 현재의 어셈블리 수준의 Off-load의 한계를 지적하고 이를 극복하기 위한 루프 레벨 Off-load, 새로운 Technology와 아키텍쳐에 대해서도 소개한다.

  • PDF

Development of Automated Non-Destructive Ultrasonic Inspection Equipment for Welding Crack Inspection (용접크랙검사용 비파괴 초음파탐상 자동화검사장비 개발)

  • Chai, Yong-Yoong
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.15 no.1
    • /
    • pp.101-106
    • /
    • 2020
  • This research is related to a development of the ultrasonic detector for an internal defect detection of various assembly part's welding zone. In this research, measurement S/Ws including system's motion control, S/W ultrasonic transmitter/receiver control, defect judgment standard setting, etc. have been designed for ultrasonic detection, and welding defects sample network, etc. were also designed for comparison between products in good condition and defective products. Through this kind of system, automatic detection function can be performed for the depth and the defect location of the assembly parts welding zone, and the system is able to make a judgment of internal defect detection which is used to be performed by an expert in the past.

Fast Software Implementation of Public key Systems (공개키 암호시스템의 고속 구현)

  • 황효선;임채훈
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • /
    • pp.232-247
    • /
    • 1997
  • 공개키 암호시스템의 구현을 위해서는 큰 수들 간의 모듈라 연산 라이브러리를 구축해야 한다. 본 논문에서는 C 언어 및 부분적인 어셈블리어를 사용하여 구축된 모듈라 연산 라이브러리를 이용하여 모듈라 멱승 연산에 바탕을 둔 대표적인 공개키 암호시스템인 RSA, Diffie-Hellman및 한국 디지탈서명 표준(안)인 KCDSA 등을 다양한 컴퓨터 기종에서 구현한 결과를 제시한다.

  • PDF

Detection of Potential Memory Access Errors based on Assembly Codes (어셈블리어 코드 기반의 메모리 오류 가능성 검출)

  • Kim, Hyun-Soo;Kim, Byeong-Man;Bae, Hyun-Seop;Chung, In-Sang
    • The KIPS Transactions:PartD
    • /
    • v.18D no.1
    • /
    • pp.35-44
    • /
    • 2011
  • Memory errors can cause not only program malfunctions but also even unexpected system halt. Though a programmer checks memory errors, some memory errors with low occurrence frequency are missed to detect. In this paper, we propose a method for effectively detecting such memory errors using instruction transition diagrams through analyzing assembly codes obtained by disassembling an executable file. Out of various memory errors, local memory return errors, null pointer access errors and uninitialized pointer access errors are targeted for detection. When applying the proposed method to various programs including well-known open source programs such as Apache web server and PHP script interpreter, some potential memory errors are detected.

Secure Component Composition for Practical Systems (실용적인 시스템을 위한 안전한 소프트웨어 컴포넌트 조합)

  • Lee Eun-Young
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.16 no.4
    • /
    • pp.43-57
    • /
    • 2006
  • When building a software system out of software components, the composition is not simple because of the complexity caused by diverse versions, digital signatures, static type information, and off-the-shelf components from various vendors. Well-established linking policies are one of the best solutions to solve the complexity problem at linking time. Secure Linking (SL) enables users to specify their linking policies which can be enforced at link time. Secure Linking framework is a framework based on a higher-order logic in order to help build a SL system. This paper shows that the Secure Linking logic is expressive enough to describe a real-world component composition system, the linking protocol of.NET. The paper also demonstrates the advantage of the logic-based linking framework by discussing the weakness of the code signing protocol in.NET which was found while we encoded the assembly linking system of.NET.