• Title/Summary/Keyword: 전이시스템

Search Result 583, Processing Time 0.032 seconds

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.

Context-Aware Workflow Language based on Web Services for Ubiquitous Computing Environments (유비쿼터스 컴퓨팅 환경을 위한 웹 서비스 기반의 상황인지 워크플로우 언어)

  • Han Joohyun;Kim Eunhoe;Choi Jaeyoung;Cho Weduke
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.32 no.11_12
    • /
    • pp.617-628
    • /
    • 2005
  • The services for ubiquitous computing environments have to provide automatically user-specific adaptive services in dynamically changed environments with many informations provided by both a user and his/her environment. Workflows used in business and distributed computing environments support service automation by connecting many tasks with rules or orderings of tasks. Therefore we must specify context information on transition condition to support context-aware services by adapting a workflow to ubiquitous computing environments. In this paper, we present a structural context model to specify context information on transition constraints of the workflow. And we propose an uWDL Ubiquitous Workflow Description Language) based on web services, which provides web service interfaces which are standardized and independent on heterogeneous and various platforms, protocols, and languages. The uWDL tan be interpreted and executed by a workflow engine, and provide users autonomic services based on context-awareness.

Influence of Oxidation Inhibitor on Carbon-Carbon Composites: 9. Studies on Impact Properties of the Composites (산화억제제 첨가에 의한 탄소/탄소 복합재료의 물성에 관한 연구: 9. 복합재료의 충격특성에 관한 연구)

  • 박수진;서민강;이재락
    • Composites Research
    • /
    • v.16 no.3
    • /
    • pp.41-48
    • /
    • 2003
  • In this work, the effect of molybdenum disilicide(MoSi$_2$) content on the impact properties of carbon-carbon composites(C/C composites) was investigated in the presence of MoSi$_2$. The content of MoSi$_2$ was varied in 0, 4, 12 and 20 wt% on the basis of resin matrix for anti-oxidation properties of the composites under high temperature. As a result, the composites made with MoSi$_2$ resulted in an increase of interfacial adhesion between fibers and matrix, which could improve the impact properties of the composites. Especially, 12 wt% Mosi$_2$ composites showed the highest impact properties in the present system. This was probably due to the existence of brittle-to-ductile transition(BDT) properties of MoSi$_2$ in the vicinity of 90$0^{\circ}C$, resulting from increasing the interfacial adhesion force among fibers, filler, and matrix in the composites.

Synthesis and Characterization of Polyamides and Polyester Prepareds by Palladium-catalyzed CO Insertion Reaction (고강도 엔지니어링 플라스틱재료의 합성 - I. Palladium-catalyzed CO Insertion 반응에 의한 전방향족 Polyamides와 Polyester의 합성 -)

  • Jun, Chang Lim;Park, Sang Bok;Park, Nae Joung;Yum, Sung Bai
    • Applied Chemistry for Engineering
    • /
    • v.3 no.4
    • /
    • pp.694-700
    • /
    • 1992
  • Aromatic polyamides and polyesters with fexible spacers are prepared by Heck reaction with palladium catalysts In presence of carbon monoxide gas. Dichlorobis(triphenyl phosphine) plladium(II) ($PdCl_2(PPh_3)_2$) and palladium chloride ($PbCl_2$) are used as catalysts. Polyamides and polyesters prepared by his polymerization system have similar transition temperatures. Flexible spacer substituted on phenylene units are varied from hexyl to hexadecyl, the length of spacers effected on transition temperatures of substituted polymers.

  • PDF

Optimization of bioactive isorhamnetin 3-O-glucoside production in Escherichia coli (대장균에서 isorhamnetin 3-O-glucoside의 생합성 최적화)

  • Kim, Bong-Gyu
    • Journal of Applied Biological Chemistry
    • /
    • v.62 no.4
    • /
    • pp.361-366
    • /
    • 2019
  • Isorhamnetin 3-O-glucoside, a member of the flavonol group, has been reported to be effective for inflammatory and ulcer, as well as to alleviate diabetic complications such as neuropathy, nephropathy and retinopathy. Isorhamnetin 3-O-glucoside has been extracted from several plants. Biotransformation is a valuable tool, which is used to produce value-added chemicals with inexpensive compounds. To synthesis isorhamnetin 3-O-glucoside from quercetin, two genes (PGT E82L and ROMT-9) were introduced into Escherichia coli, respectively. In order to synthesis isorhamnetin 3-O-glucoside from quercetin, a co-culture fermentation system was developed by optimizing the medium and temperature for biotransformation, the cell mix ratio, Isopropyl-β-ᴅ-thiogalactoside induction time, and quercetin feed concentration. Finally, isorhamnetin 3-O-glucoside was biosynthesized up to 181.2 mg/L under the optimized biotransformation condition, which was higher 4.7 times than previously reported (39.6 mg/L).

Race State Transition for Detecting Unaffected Race Conditions in Message-Passing Programs (메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법)

  • Park Mi-Young;Kang Hyun-Syug;Jun Yong-Kee
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.8
    • /
    • pp.495-504
    • /
    • 2006
  • Detecting unaffected race conditions is important to debugging message-passing programs effectively, because such a message race can affect other races to occur or not. The previous technique to detect efficiently unaffected races detects racing messages by halting at the receive event of the first race to occur in each process. However this technique does not guarantee that all of the detected races are unaffected, because halting such processes does disconnect some chain of affects-relations among those races. In this paper, we present a novel technique that manages the state of the detected race by examining if every received message is affected until the execution terminates. Our technique therefore guarantees to detect efficiently the unaffected races, because it maintains affects-relations of the races all along the execution of program.

Study on Morphology Control of Polymeric Membrane with Clathrochelate Metal Complex (Clathrochelate계 금속 착물을 이용한 고분자 멤브레인 구조 제어)

  • Kim, Nowon;Jung, Boram
    • Membrane Journal
    • /
    • v.24 no.6
    • /
    • pp.472-483
    • /
    • 2014
  • This study is preparation of microporous membranes by using macrocyclic metal ion complexes and extended cage complexes. It is a more favorable way to existing methods because polymer and metal ion-ligand complex system provides a fine control over the phase transition behavior. Chemical functionalization of the polar surface can be obtained. Metal-templated condensation of cyclohexanedione dioxime, hydroxyphenylboronic acid in the presence of metal salts proceeds cleanly in methanol to furnish the metal clathrochelate complexes. Organic/inorganic hybrid membranes were prepared with polyethersulfone (PES), polyvinylpyrrolidone (PVP), ethyleneglycol butyl ether (BE), metal clathrochelate s and DMF by using nonsolvent induced phase inversion method. The structure of membranes was characterized with scanning electron microscopy (SEM) and microflow permporometer. The addition of Fe(II) clathrochelate complex with p-hydroxyphenyl group leads to changes of membrane morphology such as narrow mean pore size distribution, increase of surface pore density and decrease of the largest pore size.

A Molecular Dynamics Study on the Liquid-Glass-Crystalline Transition of Lennard-Jones System (한 Lennard-jones 시스템의 액체-유리-결정 전이에 관한 분자동역학 연구)

  • Chang, Hyeon-Gu;Lee, Jong-Gil;Kim, Sun-Gwang
    • Korean Journal of Materials Research
    • /
    • v.8 no.8
    • /
    • pp.678-684
    • /
    • 1998
  • By means of constant- pressure molecular dynamics simulations, we studied the liquid- glass- crystalline transition of a system composed of Lennard- Jones particles with periodic boundary conditions. Atomic volume and enthalpy were calculated as functions of temperature during heating and cooling processes. The Wendt- Abraham ratio derived from radial distribution function and the angular distribution function characterizing short range order were analyzed to distinguish between liquid, glass and crystalline states. A liquid phase resulting from a slow heating of an initial fee crystal amorphized on fast quench, but it crystallized on slow quench. When slowly heated, the amorphous phase from fast quench crystallized into an fee structure. A system with free surface was shown to melt from the surface inward at a lower temperature than bulk system and to have a strong tendency for crystallization even during a fast quench from a liquid state.

  • PDF

A Study of the Relation between Learning Outcomes and Learning Transfer in Engineering Design Programs (공학설계교육에서 학습과 학습전이간의 관계성 연구)

  • Yoon, Gwan-Sik;Lee, Byoung-Chul
    • Journal of Engineering Education Research
    • /
    • v.12 no.3
    • /
    • pp.3-12
    • /
    • 2009
  • The recent development of engineering design education has brought enormous influence in many engineering educations. But, most studies in this area have focused only on the system or curriculum development rather than on the effect of the program to the real situation, the transfer. The purpose of this study is to identify the effects of learning and learning transfer in engineering design program at the university level. Transfer is defined as the use of trained knowledge and skill back on the job. The results of the study are as follows. First, learner characteristics and curriculum design had a significant influence on learning effectiveness. Second, learner characteristics had a significant influence an learning transfer. Also, the learning had a significant influence an learning transfer.

Design of Key Sequence Generators Based on Symmetric 1-D 5-Neighborhood CA (대칭 1차원 5-이웃 CA 기반의 키 수열 생성기 설계)

  • Choi, Un-Sook;Kim, Han-Doo;Kang, Sung-Won;Cho, Sung-Jin
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.16 no.3
    • /
    • pp.533-540
    • /
    • 2021
  • To evaluate the performance of a system, one-dimensional 3-neighborhood cellular automata(CA) based pseudo-random generators are widely used in many fields. Although two-dimensional CA and one-dimensional 5-neighborhood CA have been applied for more effective key sequence generation, designing symmetric one-dimensional 5-neighborhood CA corresponding to a given primitive polynomial is a very challenging problem. To solve this problem, studies on one-dimensional 5-neighborhood CA synthesis, such as synthesis method using recurrence relation of characteristic polynomials and synthesis method using Krylov matrix, were conducted. However, there was still a problem with solving nonlinear equations. To solve this problem, a symmetric one-dimensional 5-neighborhood CA synthesis method using a transition matrix of 90/150 CA and a block matrix has recently been proposed. In this paper, we detail the theoretical process of the proposed algorithm and use it to obtain symmetric one-dimensional 5-neighborhood CA corresponding to high-order primitive polynomials.