• Title/Summary/Keyword: Static Linking

Search Result 18, Processing Time 0.021 seconds

A Recovery Method of External Symbol Information in Statically-Linked ELF Files (정적 링크된 ELF 파일에서의 외부 심볼 정보 복구 기법)

  • Kim, Jung-In
    • Journal of Korea Multimedia Society
    • /
    • v.13 no.2
    • /
    • pp.161-170
    • /
    • 2010
  • ELF, an abbreviation for Executable and Linkable Format, is the basic file format for shared libraries and executable files used in the Linux system, whereas 'Linker' copies the symbol information of static shared libraries into the symbol table in the target file generated by way of static linking. At this time, the symbol table keeps various pieces of debugging-related information including function names provided by the shared libraries, and it can be deleted to avoid debugging for security reasons by utilizing the fact that it does not directly affect the program execution. This paper proposes a method for restoring the symbol information of static shared libraries from the ELF object file in which the symbol table is deleted, and confirms that the symbol information is restored by conducting practical experiments.

A Study on the Library Linking of a Virtual Machine for Embedded System (임 베디드 시스뎀을 위한 가상기계의 라이브러리 링킹에 관한 연구)

  • Ko, Kwang-Man
    • Journal of the Korea Computer Industry Society
    • /
    • v.5 no.9
    • /
    • pp.965-972
    • /
    • 2004
  • This Paper presents the experiences of the static and dynamic library function connection technique for the embedded virtual machines, base on the native function connection methods of the virtual machines such as KVM, Waba VM. For this goals, we implements the new native function table for the static and dynamic library function connection technique base on the native function connection methods of the virtual machines such as KVM, Waba VM. And we presents the variety experiment and analysis results using the implemented technique.

  • PDF

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.

Evaluation on the Behavioral Characteristics of Plastic Greenhouse by Full-scale Testing and Finite Element Analysis (재하시험과 유한요소해석에 의한 플라스틱 필름 온실의 거동특성 분석)

  • Ryu, Hee Ryong;Lee, Eung Ho;Cho, Myeong Whan;Yu, In Ho;Kim, Young Chul
    • Journal of Bio-Environment Control
    • /
    • v.21 no.4
    • /
    • pp.459-465
    • /
    • 2012
  • This study analyzed the effect of semi-rigid rafter-purlin cross-linking connection and driven steel pipe base on the static behavior of plastic greenhouse (PG). To promote the time and cost efficiency of the assembly process, each cross-linking connections of space arch type grid that consists of rafter and purlin is linked with steel-wire buckles, and each end of the rafters was driven directly to the ground to support the PG structure. However, in the design process, cross-linking connections and bases are idealized by being categorized as fully rigid or frictionless pinned, which does not appropriately reflect actual conditions. This study takes a full-scale loading test of PG and analyzes the effect of member cross-linking connections and driven steel pipe base on the behavior of a structure. The analysis provided a basis for determining the rigidity factor of member cross-linking nodes needed for finite element analysis, and the reliability of the result regarding the static behavior of PG.

A Study on the Development of Reference Linking System Based on Digital Object Identifier for Korean Journal Articles (국내 학술지 논문의 DOI 기반 연계시스템 구축에 관한 연구)

  • 한혜영;정동열
    • Journal of the Korean Society for information Management
    • /
    • v.17 no.4
    • /
    • pp.207-227
    • /
    • 2000
  • Recenily, major internalional STM(Science, Trchnical, and Mcdivine) Publichers have been developing prototype systems that can provide the refeence linking of jouinal articles within the scholarly literature on a cross-publisher basis using the URN(Universal Resouree Name). In Korea, it is hard to find the efforts to link the scattered digitalized documents to an individual user through a unified web. In this study, a linking model for an inergrated gatewny fro, bibliographic information to full tcxt has been desugned and 'Electronic Research Resourced Linking system (E3R/LS)' has been developed as a prototype for centralized static reference linking system. There are three major components for constructing refrernce linking systems. The firsl componcnt the Digital Object Identifiet(DO1). is introduced as the public identifier inrended to be applied wherever thr item needs to be identified. For denl~iymg Korean journal articles, llie extended SICI(Serlal Ilem and Conlribut~on Idealifier) has becn newly dehed in 1111s study and is used as a suiiia on DOI. The reierence datubasc conlams the second com~onenl, metadiltil, linkcd to implemenied by all information providers. The CnRI resolution system is used for resolving a DOI into a URL as the third component.

  • PDF

Kinematic Analysis of the Linking Motion from the Swallow Skill to the Nakayama Skill on the Rings (링의 스왈로에서 나까야마 기술로의 연결 동작에 대한 운동학적 분석)

  • Chung, Nam-Ju
    • Korean Journal of Applied Biomechanics
    • /
    • v.14 no.2
    • /
    • pp.1-14
    • /
    • 2004
  • This study was intended to contribute to allowing athletes to raise a technical understanding of two motions of high difficulty such as the Swallow motion and the Nakayama motion and enhance their competitive power by analysing the kinematical factors required to link those two motions on the competitive scene on the rings for current national athletes. For this purpose, the game of the ring event was videotaped for male heavy gymnasts participating in the final elimination match of the 2004 Athens Olympic Games. This study attempted to select the performing motions of the final 1st-and 2nd-place athletes performing the linking motions from the Swallow motion and the Nakayama motion using the DLT(direct linear transformation) method. As a result, it arrived at the following conclusion : A1 properly performed the flexing and extending movements using the angular velocity of the segment and joint as the switching motion using the body at the time of linking the motion from the Swallow skill to the Nakayama skill. A2 was evaluated to perform the skill taking the form of depending on the force at the static state. Therefore, it is thought that A1 should take care of shaking at the time of using the elasticity of the body. It is thought that in case of A2 the proper use of the elasticity of the body take care of shaking at the switching motion while taking advantage of the force will contribute to his competitive power.

Static VAR Compensator Using PWM Voltage type Converter (PWM전압형 콘버어터에 의한 정지형 무효전력 보상장치)

  • 정연택;이훈구;황락훈
    • The Transactions of the Korean Institute of Electrical Engineers
    • /
    • v.39 no.8
    • /
    • pp.836-846
    • /
    • 1990
  • This paper presents a Static Var Compensator (SVC) system compensating the reactive power for power system, which consists of a voltage type Pulse Width Modulation (PWM) converter and a reactance linking the converter to the source. The system drives the four quadrant modes. The system determines the magnitude of the input voltage, and then compares it with the magnitude of the source voltage by regulating the phase of the SVC about the source. Therefore, the system generates leading compensation currents when the input voltage is larger than the source in magnitude, and lagging compensation currents for smaller input voltage. Reactive power about voluntary load in power system is smoothly compensated by those compensation currents, and also power factor of source is improved. Furthermore, the SVC system using PWM method may improve the source current waveforms by eliminating the 5th and 7th harmonic components from the input voltages.

  • PDF

Removal of Uranium in Water by Beads of Chitosan the Graft-Copolymerized with Itaconic Acid (Itaconic acid로 그라프트 공중합한 Chitosan의 beads를 이용한 수계 우라늄의 제거)

  • Kang Soo-Jung;Kim Nam-Ki;Kim Jae-Woo;Han Sang-Mun
    • Journal of environmental and Sanitary engineering
    • /
    • v.20 no.2 s.56
    • /
    • pp.47-55
    • /
    • 2005
  • The World Health Organization(WHO, 1998) and the United States Environmental Protection Agency (USEPA, 1992) recommended $2{\mu}\;guranium/{\ell}$ in drinking water as a guideline. The Korea Institute for Environmental Research recently reported that the radioactive pollution in ground water was almost negligible In Korea$(1999\~2002)$. Cs were cast into beads(2mm in wet form) and treated with hexamethylene diisocyanate for stability in acidic aqueous solution through cross-linking of the beads surfaces. The removal study was carried out in a static batch system and a flow system. In the static system, a certain amount of sample water was confined in a vessel and beads(dry weight 0.5g) were packed into it in order to adsorb uranium for a certain period of time. Afterwards the remaining uranium in water vessel was determined by inductively coupled plasma mass spectrometry. The effective pH range was 4 to 8. The smaller the size of beads, the better the removal efficiency. Furthemore, the lower the flow rates, the higher the removal efficiency. The results showed that chitosan beads can be effectively used for the removal of uranium contained in water.

A CAD-based Software for the Simulation of Lifting and Turnover of Ship Block (선박 블록의 이동 및 반전 시뮬레이션 프로그램 개발)

  • Lee, Soo-Beom;Shin, Sang-Beom;Kwak, Byung-Man
    • Proceedings of the KSME Conference
    • /
    • 2000.04a
    • /
    • pp.714-719
    • /
    • 2000
  • In this paper, an application program is made to simulate the behavior of a ship block under various crane works and to generate data of lu9 reactions and wire tensions. The program is based on a CAD program, Pro/ENGINEER. A ship is composed of more than 100 ship blocks. In order to lift, move, turn, or put a ship block at a convenient location fur assembling, workers in a shipyard use cranes, wires, and lugs temporarily attached to the block. In the procedure of lifting and turning a ship block with a crane, it is important to find suitable lug points and wires to do the handling efficiently and prevent accidents. Evaluation of forces in lugs and wires is necessary, but the problem is rather complex due to nonlinearity and nonuniqueness. In the present development, the nonlinear system of equations for quasi-static equilibriums is derived and a Newton type solution method is adopted to solve the system. The importance of initial estimates to the solution is illustrated and two approaches are utilized and compared. With the program developed, users can assign lug points on the CAD model by mouse and choose various linking devices at each crane point. Users can try to simulate the motion for any prescribed conditions, compare the motion of the block and the reactions and choose appropriate lug points and the type of wires and lugs.

  • PDF

A Study on the Conditions of Apparel Products of Stretch Material(I) (스트레치소재(素材) 의류제품(衣類製品)의 생산실태(生産實態) 硏究(I))

  • Park, Jin-Young;Sohn, Hee-Soon
    • Journal of Fashion Business
    • /
    • v.1 no.3
    • /
    • pp.35-44
    • /
    • 1997
  • The purpose of this study is to the processes and quality of local women's apparel production using the stretch fabric and to address the problems related to production in order to provide useful data for producing competitive apparels. The result of the survey can be summarized as follows; 1. Results of surveying the process for raw materials and notions indicated that most of the workers were ignorant of the properties of stretch fabrics. And most factories were stacking the stretch fabrics across improperly, while being aware of the properties of the fabrics through their experiences or in-company test. 2. The major problem involving spreading fabrics was the uneven tension, followed by static electricity, overlap and warp twist. The problems involving the cutting work were melting of the fabric by cutter and difference of size between upper and lower parts. 3. Most of the businesses were not tempering the fabric before and after its linking works due to lack of working space, short delivery time, ignorance and etc. The majority of the sample businesses were operating their cutters at the speed of 3,000 rpm or higher, which suggests a poor technological guidance.

  • PDF