• Korean Journal of Plant Tissue Culture
• /
• v.26 no.1
• /
• pp.65-69
• /
• 1999

Effect of chemo- and thermotherapy on LSV elimination was investigated in Lilium Oriental Hybrid cv. Casa Blanca which was infected by LSV. Either 20 mg/L ribavirin or the treatment of 35$^{\circ}C$/$25^{\circ}C$ (day/night) thermotherapy resulted in the desired growth rate and high percentage (86%, 80% respectively) of LSV elimination. When we combinated those application, the rate of LSV elimination was increased with the time of heat treatment, and was 100% by all heat treatment of 16 weeks. After all of the LSV-free plants transferred into the soil, the number of LSV-free plants was 8 plants out of 12 plants and the efficiency of LSV elimination was best in the combination of 20 mg/L ribavirin and 8 weeks of heat treatment. About 21 % of plants kept LSV-free after transferred all of the LSV-free plants into the soil, the others became LSV-infected again.

• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.9-16
• /
• 2010

Web service mashup bacomes one of the important web application development methods. This paper considers a client based mashup, where a page interfaces many service methods asynchronously. Browser systems execute callbacks when the corresponding reply arrives, possibly concurrent to user interface actions. In this case, callbacks and user interface actions share data memory and screen. Moreover, when the user is able to send another request before the previous ones have replied, the shared resource problem becomes more complicated. In order to solve the multiple requests problem, our contributions are as follows. First, we modeled a mashup page with user actions and callbacks, and we presented several types of callbacks. Secondly, concurrency condition is defined between callbacks and user actions in terms of shared resources, and the test method is presented. Also, we proposed the serialization approach to guarantee the safe execution of callbacks. Finally, we applied the proposed concurrency condition on XForms language and extended the XForms browser to implement the proposed approach. The prototype implementation showed that the proposed approach helps enhancing user experience on mashup pages.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.10a
• /
• pp.569-570
• /
• 2017

Bitcoin-based blockchain technology provides an infrastructure that enables anonymous smart contracts, low-cost remittances, and online payments. However, the block-chain technology that implements the bitcoin has scalability constraints in tradeoffs between throughput and latency. To solve these problems, the Byzantine fault tolerant block-chain technique has been proposed. This technique improves throughput without increasing latency by selecting a leader and constructing many microblocks that do not contain proofs of work within the existing block by the leader. However, this technique may be less secure than existing techniques in selecting the reader. In this paper, we propose a technique for scalability of the blockchain technology by using microblock technology and parallel execution technique. Within one microblock there is information about several transactions. In the proposed scheme, the throughput of the microblocks can be increased by performing concurrently.

• Korean Journal of Medicinal Crop Science
• /
• v.12 no.4
• /
• pp.273-278
• /
• 2004

The anticancer activities of the extracts from Acanthopanax senticosus Harms, Ephedra sinica Stapf, Rubus coreanus Miq and Artemisia capillaris Thunb were compared according to extract systems. About 70% of the growth of human hepatocarcinoma cancer cell was inhibited in adding 1.0 mg/ml of the water extract from Rubus coreanus Miq with ultrasonification at $60^{\circ}C$. The growth of human normal lung cell was limited to 25% in adding the extracts with ultrasonification at $60^{\circ}C$. The effect of extracts obtained by only water and with ultrasonification on different of human promyelocytic leukemia cells was also observed.

• Journal of Embryo Transfer
• /
• v.11 no.3
• /
• pp.317-321
• /
• 1996

본 연구는 수정능획득유기물질로 알려진 카페인 헤파린을 병행처리하여 한우 정자의 첨체 반응율과 생존율을 알아보고 수정능획득과정 중에 단백질의 변화상을 전기영동방법으로 조사하였다. 동결융해후 정자의 생존율은 90%이상이었으나 전배양처리후 0.5시간에 70%로 감소하고 2시간 이후에는 35%로 감소하였다. 정자의 첨체반응율은 동결융해후 정상정자가 85.7%였으나 전배양시간에 따라 53.4%에서 14.3%로 감소하였다. 동결융해후 첨체가 소실된 생존정자는 9.4%였으나 전배양시간에 따라 17.2%에서 46.8%로 증가하였다. 원정액에서는 분자량 20,000정도에서 동결융해후 전자보다 특이적으로 많은 단백질량을 나타내었으나 동결융해 후 정자를 0.5에서 2.0시간으로 전배양하였을 때 전배양시간에 따른 단백질상의 변화는 대조구와 큰 차이가 없었다.

• 전기의세계
• /
• v.38 no.7
• /
• pp.19-27
• /
• 1989

슈퍼컴퓨터의 범주에 속하는 다양한 병렬 처리기에 대한 병렬 알고리즘이 지니는 기본적 의미와 특성 및 알고리즘 디자인시의 고려사항 등을 소개하였다. 또한 많은 병렬처리 모델에서의 개발된 알고리즘들을 간단하게 소개하고 앞으로의 연구분야를 정리해 보았다. 이러한 병렬알고리즘은 본지에서 소개된 하드웨어 기술이나 컴퓨터 구조에 관한 연구와 병행하여 연구되어져 그 현실성을 지니는 것이 중요하다 하겠다.

• Korean Journal of Food Science and Technology
• /
• v.31 no.3
• /
• pp.631-637
• /
• 1999

An investigation was carried out to study the effects of aging time, storage temperature, and drying type on the physical, chemical and sensory properties of Korean rice cake. Water content and cooking properties were significantly influenced by aging time and storage temperature. However, aging time did not affect the soup turbidity. Difference in water content was noticeable by drying type. The microwave treated rice cake (MW) showed a higher water content than the other ones. The lightness (L-value) was not affected by the aging time and drying type. Rice cake storaged at 4oC showed the highest L-value. The textural properties of rice cake were influenced by the all sources of variables. There was a significant difference in hardness between microwave and hot air treated rice cake (MWH), and microwave and vacuum treated rice cake (MWV). In the sensory properties, mean intensities of all attributes except chewiness were significantly different among drying types. The MWV showed a higher acceptability than the MW and the MWH. Scanning electron photomicrographs revealed that the MWV has more porous structure. The MWV was the most desirable one as determined by the physical, chemical and sensory evaluation.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.40 no.10
• /
• pp.1469-1473
• /
• 2011

The efficacy of antimicrobial agents and heat treatments on spore inactivation was investigated. Grapefruit seed extract (GFE) and ethylenediaminetetraacetic acid (EDTA) were used and as antimicrobial agents, and heat treatments were conducted at $70^{\circ}C$, $80^{\circ}C$, and $90^{\circ}C$ for 30 minutes. Heat treatments at $90^{\circ}C$ were the most effective on spore inactivation as a single treatment and caused a 2.3 log reduction. When combined with a single treatment to discover synergistic effects, 1% GFE with $80^{\circ}C$ heat treatments and 0.5 mM EDTA with $80^{\circ}C$ heat treatments resulted in 2.1 log and 3.2 log reductions, respectively, though they did not show reductions at each single treatment (GFE 1% (v/v), EDTA 0.5 mM, $80^{\circ}C$). So it was concluded that by combining GFE, EDTA in low concentration treatment, and heat treatment, B. cereus spores can be effectively inactivated.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.293-294
• /
• 2008

In ubiquitous environment, using of IPv6 address is essential. In this paper, we study about the network entry procedure based on IEEE 802.16 and discuss the mechanism of IP version negotiation during the procedure for IPv4/IPv6 dual stack service in WiBro.