• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.1247-1249
• /
• 2023

스마트 컨트랙트는 블록체인 상에서 실행되는 프로그램으로 복잡한 비즈니스 논리를 처리할 수 있다. 그러나 블록체인의 무결성과 조건에 따라 실행되는 특성을 이용한 악의적 사용으로 인하여 블록체인 보안에서 시급한 문제가 되고있다. 따라서 스마트 컨트랙트 취약성 탐지문제는 최근 많은 연구가 이루어지고 있다. 그러나 기존 연구의 대부분이 단일 유형의 취약성 여부에 대한 탐지에만 초점이 맞춰져 있어 여러 유형의 취약성에 대한 동시 식별이 어렵다. 이 문제를 해결하고자 본 연구에서는 스마트 컨트랙트 소스코드 제어 흐름 그래프를 기반으로 그래프의 forward edge와 backward edge를 고려한 신경망으로 그래프 구조를 학습한 후 그래프 multi-label classification을 진행하여 다중 취약성을 탐지할 수 있는 모델을 제안한다.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.5
• /
• pp.1789-1797
• /
• 2017

It is necessary to charge electric vehicles in order to drive them. Thus, it is essential to have electric vehicle charging facilities in place. In the case of a household battery charger, the power similar to that consumed by a household with a basic contract power of 3kW is consumed. In addition, many consumers who own an electric vehicle will charge their vehicles at the same time. The simultaneous charging of electric vehicles will cause the load to increase, which then will lead to the imbalance of supply and demand in the distribution system. Thus, a smart charging scheme for electric vehicles is an essential element. In this paper, simulated conditions were set up using real data relating to Korea in order to design a smart charging technique suitable for the actual situation. The simulated conditions were used to present a smart charging technique for electric vehicles that disperses electric vehicles being charged simultaneously. The EVs and Smart Charging Technique are modeled using the Electro Magnetic Transients Program (EMTP).

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.30
• /
• pp.91-120
• /
• 2006

An Arbitration agreement is one kind of contracts between two or more contracting parties; any possible disputes that arise concerning a contract will be settled by arbitration. Contracting parties who have made a valid arbitration agreement will submit a dispute for settlement to private persons(arbitrators) instead of to a court. Arbitration may depend upon the agreement of the private parties, but it is also a system which has been built on the law and which relies upon that law in order to make it effective both nationally and internationally. That is to say, arbitration is wholly dependent on the underlying support of the court. The complementarity of the courts and of the arbitrators is a well-established fact; they seek for the common purpose, the efficacy of international commercial arbitration. Most states' laws contain the provisions which have been set for the supportive role of the courts relating to arbitration; (1) the enforcement of the arbitration agreement(rulings on validity of the arbitration agreement), and the establishment of the tribunal at the beginning of the arbitration, (2) challenge of arbitrators, interim measures, and intervention during evidence in the middle of the arbitral proceedings, (3) filing of the award, challenge of the arbitral award, and recognition and enforcement of the arbitral award at the end of the arbitration. Most international instruments and national laws concerning arbitration believe that authoritative courts should play their power not to control and supervise arbitration but to support and develop the merits of arbitration at most. 1985 UNCITRAL Model Law also expressly limit the scope of court's intervention to assist arbitration, not to control it.

• Journal of Agricultural Extension & Community Development
• /
• v.11 no.1
• /
• pp.175-189
• /
• 2004

There are many assertions related to biotechnology and genetically modified organisms(GMOs). Some experts have asserted that GM foods could be dangerous and that there is no reliable evidence that have been demonstrated safe through appropriate tests, and the others asserted these foods are as safe and nutritions as their conventional counterparts. The objectives of this study was to study an societal implications of biotechnology and GMOs in agriculture. To keep the balance in mind the researcher examined not only usefulness but also harmfulness of GMOs, along with the developmental process of biotechnology industry. It was observed that basically, multinational corporations developed GMOs to maximize their profit, and strengthened their control on agriculture and food through GMOs, as observed in alliance among big multinational corporations' food chain cluster and systems. Under the situation, farmers were losing their status as independent producer and were becoming propertied labor for multinational corporation through contract farming. If these trends continuous in the future, multinational corporations will have the control of genetic resources, these may bring about reduction of bio-diversity, thus may lead the opposite direction to eco-friendly agriculture. If multinational corporations' tendency to suppress the latent harmfulness for the profit continuous further, this may lead the degradation phase of farming and agriculture, thus leading negative socio-economic effects as well as culture and religion.

• Journal of Advanced Marine Engineering and Technology
• /
• v.19 no.2
• /
• pp.1-9
• /
• 1995

The processing paper has devoted to the theory of the flow equations, the basic derivative procedure, the meaning of a valve flow coefficient $C_v$, the valve Reynolds R$R_{ev}$ and its application for liquid control valves, which applicable under the condition of a non-critical flow and the case of piping geometry factor $F_p$=1.0. However there is no information on the effects of fittings, a critical flow and the flow resistance coefficient of a valve equivalent to that of pipe which is conveniently used in the piping design. Since the piping systems of plants or ships generally contain various fittings such as expanders and reducers due to different size between pipes and valves and there may occur a critical flow, that a mass flowrate is maintained to be constant, due to the pressure drop in a piping when a liquid is initially maintainder ar a saturated temperature or at nearby corresponding to upstream pressure, system designer should have a knowledge of the effect to flow due to fittings and the critical flow phenomenon of a liquid. This study is performed to inform system designers with the critical flow phenomenon of a liquid, a valve resistance coefficient, a valve geometry factor and their applications.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.12
• /
• pp.49-55
• /
• 2018

In this paper, we propose schemes of blockchain utilization in tactical communication environment. The military tactical communication environment has similar characteristics with blockchain network such as distributed architecture, decentralization, and the need for data integrity. A communication node constituting a tactical communication network is constituted by a system capable of configuring and connecting a network for each node. When a communication node, having such capabilities, is configured as a node of blockchain network, various functions could be performed. In this paper, we propose utilization schemes of authentication, integrity, record management, and privilege control based blockchain technology. Functions for authentication, integrity verification, and record management need to ensure the stored data and could track history. The requirement of function's characteristics are matched to blockchain which is storing data sequentially and difficult to hack data, so that it could perform functionally and sufficiently well. Functions for authority control should be able to assign different privileges according to the state of the requestor. Smart contract will function when certain conditions are satisfied and it will be able to perform its functions by using it. In this paper, we will look over functions and utilization schemes of blockchain technology which could reliably share and synchronize data in a tactical communication environment composed of distributed network environment.

• Microbiology and Biotechnology Letters
• /
• v.48 no.4
• /
• pp.569-573
• /
• 2020

Brucellosis is a zoonotic disease caused by Brucella infections and humans usually contract this disease from close contact with infected animals or their products, usually via the ingestion of cheese or crude milk. Macrophage migration inhibitory factor (MIF) and Pro- and anti-inflammatory cytokines play an important role in susceptibility/resistance and the immunopathogenesis of Brucella infection. These cytokines are crucial factors in the initiation and progression of protective immunity against Brucella infection but the role of MIF has not been well studied in the human response to intracellular microbes. This study was designed to investigate the effect of MIF expression on Brucella susceptibility. A total of 85 positive rose Bengal tests and 24 samples from healthy individuals were collected for this study and subjected to polymerase chain reaction assays (PCR) of the bcsp31 diagnostic gene. MIF concentrations were evaluated using Enzyme-Linked immunosorbent assay (ELISA) and the results showed that 46 (54%) of the rose Bengal test samples were positive and 39 (46%) were negative for bcsp31 (p ≤ 0.05) and used as the gold standard for all of the comparisons in this study. The ELISA results indicate that the mean concentration of MIF was significantly higher in patients with positive rose Bengal tests when compared to the control groups and that its concentration increases with increasing age in both the patient and control groups (p ≤ 0.05).

• Journal of the Korean Institute of Intelligent Systems
• /
• v.23 no.2
• /
• pp.172-177
• /
• 2013

With Brain Computer Interface (BCI) system, a person with disabled limb could use this direct brain signal like electroencephalography (EEG) to control a device such as the artifact arm. The precise force control for the artifact arm is necessary for this artificial limb system. To understand the relationship between control EEG signal and the gripping force of hands, We proposed a study by measuring EEG changes of three grades (25%, 50%, 75%) of hand grip MVC (Maximal Voluntary Contract). The acquired EEG signal was filtered to obtain power of three wave bands (alpha, beta, gamma) by using fast fourier transformation (FFT) and computed power spectrum. Then the power spectrum of three bands (alpha, beta and gamma) of three classes (MVC 25%, 50%, 75%) was classified by using PCA (Principal Component Analysis) and LDA (Linear Discriminant Analysis). The result showed that the power spectrum of EEG is increased at MVC 75% more than MVC 25%, and the correct classification rate was 52.03% for left hand and 77.7% for right hand.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2004.11a
• /
• pp.20-25
• /
• 2004

On July $18^{th}$, 2003, Incheon International Airport Corporation(lIAC) signed the Construction Management Service Contract with KIDS consortium (composed of Kun-Won Eng., ITM Corp, Do-Hwa Eng, Space Croup) for the $2^{nd}$ phase construction protect consists of landfill, $\#3$ runway, remote Concourse, IAT, BHS, cargo terminal, etc scheduled to be finished by the end of 2008. KIDS dispatched qualified engineers to the Construction Management Division of IIAC for providing technical assistance to IIAC members to pursue project goals in tulle. within budget with appropriate quality level to build one of leading hul] airports for the Northeast Asia legion in the $21^{st}$ century. The work scope covers upgrading various project procedures and related computer programs, cost and schedule control, design supervision for building design including support systerns such as HVAC, fire protection, elevators and escalators, boarding bridges, electrical and communication systems, and technical support for IAT/BHS, QA/QC, field test and inspection, start-up and commissioning, etc. The purpose of this paper is to introduce the major activities of the Construction Management Services performing at the IIA project for your reference.

• Journal of muscle and joint health
• /
• v.8 no.1
• /
• pp.109-121
• /
• 2001

The purpose of this study was to find out the long-term effects of the self-help program through the follow-up with peer group meetings of arthritis patients. In order to fulfil the purposes, the follow-up program with peer group meetings was developed by researchers with consisting of monthly health contract, group discussion, group counseling, recreation, and exercise. This program was carried out 2-3 hours once in a month for 5 months (1999-2000) and evaluated in a nonequivalent control group pretest-posttest quasi-experimental design. The subjects were 34 patients of experimental group and 24 of control group. The measurement tools of this study are pain rating scale(Lee & Song), KHAQ(Bae), rating scale of fatigue, and goniometer. The results of this study revealed no significant differences on number of pain site, fatigue, physical functioning, flexibility of the shoulder joints, and level of the extension of the knee joints between experimental group and control group. Whileas pain reaction of the control group was significantly high. However, the peers expressed very much their satisfaction and appreciations with the follow-up program with Peer group meetings. Actually, they wanted to have this peer group meeting continuously. This results suggested that the follow-up program with peer group meeting could be recommended as good nursing intervention to help the arthritis patients after having the Self Help Program in the community setting.