• Journal of KIISE:Information Networking
• /
• v.30 no.5
• /
• pp.641-648
• /
• 2003

In this paper, we propose a general analysis tool that derives guaranteed delay bounds for real-time sessions when those sessions pass through heterogeneous schedulers in general packet networks. This tool characterizes each different scheduler by a homogeneous service curve server. We show that service curve servers can characterize a strictly larger class of schedulers than LR servers. That is, we can characterize not only all LR servers but also RC-EDF and SC scheduler by service curve servers. Even with such advantage over LR servers, service curve servers provide accurate analysis results. We prove mathematically that if we analyze a network that can be analyzed by both LR servers and service curve servers,,both cases yield the same delay bound.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.256-256
• /
• 2021

Saint-Venant 방정식은 수평규모가 수심규모보다 큰 천수흐름을 기술하는 수리동역학 모형으로 지난 수십년간 공학적 분야에서 널리 이용되어 왔다. 최근에도 기후변화에 따른 도시 홍수의 위기 증대로 홍수위기관리의 관심이 높아짐에 따라 홍수파(flood wave), 도시침수(urban inundation), 돌발홍수(flash flood) 등의 신속한 예측을 위한 Saint-Venant 방정식의 연구가 활발히 진행되고 있다. 그러나 도시와 같은 인공구조물이 즐비한 상황에서 천수흐름을 해석하는 고전적인 수치해법들은 다양한 불연속 지형들의 존재로 인하여 불안정하며 지배방정식의 정해로 수치해가 잘 수렴하지 않는 문제가 있다. 지난 수년간 이를 해결하기 위해 불연속한 지형을 안정적으로 해결할 수 있는 수치기법의 연구가 진행되어 왔으나, 정해로의 수렴성, 정확성에 관하여 연구가 부족한 실정이다. 본 연구는 수치해법의 주요 구조를 구성하는 Saint-Venant 방정식의 불연속한 지형조건에 대한 리만 문제의 정해를 연구하였다. 쌍곡선형 시스템의 특징을 고려하여 요소파들(elementary waves)의 공식을 유도하였는데, 질량과 에너지의 보존법칙에 위배되지 않으며 운동량이송부의 비선형성과 지형의 불연속에 의한 비엄격성을 고려할 수 있는 조건을 제시하였다. 또한, 유도된 요소파들을 바탕으로 L-M & R-M 커브이론(Han et al. 2014)을 사용할 수 있는 조건과 당위성을 증명하였고, 이를 바탕으로 Saint-Venant 방정식의 정해법을 구성하였다. 리만문제의 다양한 초기조건들을 바탕으로 모든 경우의 정해 구조를 조사하였고, 이를 통해 불연속 지형에 대한 Saint-Venant 지배방정식의 정해가 다수해를 갖을 수 있음을 보였으며, 이를 근사할 수 있는 수치기법의 전략을 소개하였다.

• The Journal of Society for e-Business Studies
• /
• v.17 no.4
• /
• pp.57-68
• /
• 2012

As the functions and technology of IT security solution has been diversified and complicated, it is necessary to make the functions standardized. The common criteria (CC) evaluation and certification scheme was introduced with this background in 2000. For over 10 years after the introduction of CC evaluation and certification scheme, many security solution vendors have developed functions following the security functional requirement in CC. Most of CC evaluators and developers think that CC has helped to enhance the security of the solution. So, it is a right time to prove the affirmative effects of CC in quantity. In this research, we compare two cases, the security status of the solution before and after the experience of CC evaluation, and analyze the results. We made the questionnaire for the domestic solutions vendors. We show that CC has made positive effects on the security of the solution quantitatively using statistical analysis. This research is meaningful security enhancement of domestic security solutions.

• Information Systems Review
• /
• v.25 no.4
• /
• pp.47-65
• /
• 2023

In this paper, we investigate how the online voting system can be a trust-based system from a technical perspective. Under four principles of voting, we finely evaluate the existing belief that offline voting is safer and more reliable than online voting based on procedural processes, technical principles. Many studies have suggested the ideas for implementing online voting system, but they have not attempted to strictly examine the technologies of online voting system from the perspective of voting requirements, and usually verification has been insufficient in terms of practical acceptance. Therefore, this study aims to analyze how the technologies are utilized to meet the demanding requirements of voting based on the technologies proven in the field. In addition to general data encryption, online voting requires more technologies for preventing data manipulation and verifying voting results. Moreover, high degree of confidentiality is required because voting data should not be exposed not only to outsiders but also to managers or the system itself. To this end, the security techniques such as Blind Signature, Bit Delegation and Key Division are used. In the case of blockchain-based voting, Mixnet and Zero-Knowledge Proof are required to ensure anonymity. In this study, the current status of the online voting system is analyzed based on the field system that actually serves. This study will enhance our understanding on online voting security technologies and contribute to build a more trust-based voting mechanism.

• Journal of radiological science and technology
• /
• v.36 no.4
• /
• pp.291-297
• /
• 2013

This study is aimed to evaluate the effect of $T_{1/2}$ upon count rates in the analysis of dynamic scan using NaI (Tl) scintillation camera, and suggest a new quality control method with this effects. We producted a point source with $^{99m}TcO_4^-$ of 18.5 to 185 MBq in the 2 mL syringes, and acquired 30 frames of dynamic images with 10 to 60 seconds each using Infinia gamma camera (GE, USA). In the second experiment, 90 frames of dynamic images were acquired from 74 MBq point source by 5 gamma cameras (Infinia 2, Forte 2, Argus 1). There were not significant differences in average count rates of the sources with 18.5 to 92.5 MBq in the analysis of 10 to 60 seconds/frame with 10 seconds interval in the first experiment (p>0.05). But there were significantly low average count rates with the sources over 111 MBq activity at 60 seconds/frame (p<0.01). According to the second analysis results of linear regression by count rates of 5 gamma cameras those were acquired during 90 minutes, counting efficiency of fourth gamma camera was most low as 0.0064%, and gradient and coefficient of variation was high as 0.0042 and 0.229 each. We could not find abnormal fluctuation in $x^2$ test with count rates (p>0.02), and we could find the homogeneity of variance in Levene's F-test among the gamma cameras (p>0.05). At the correlation analysis, there was only correlation between counting efficiency and gradient as significant negative correlation (r=-0.90, p<0.05). Lastly, according to the results of calculation of $T_{1/2}$ error from change of gradient with -0.25% to +0.25%, if $T_{1/2}$ is relatively long, or gradient is high, the error increase relationally. When estimate the value of 4th camera which has highest gradient from the above mentioned result, we could not see $T_{1/2}$ error within 60 minutes at that value. In conclusion, it is necessary for the scintillation gamma camera in medical field to manage hard for the quality of radiation measurement. Especially, we found a tendency that count rate changes over time at this study, and we proved that it can effect $T_{1/2}$. And also, there is need of appropriate phantoms and the method of quality management like this study, because there are not any advice or limitation degrees for domestic medical purpose scintillation camera.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.1
• /
• pp.107-116
• /
• 2009

Quantum-dot Cellular Automata (QCA) is one of the most promising next generation nanoelectronic devices which will inherit the throne of CMOS which is the domineering implementation technology for large scale low power digital systems. In late 1990s, the basic operations of the QCA cell were already demonstrated on a hardware implementation. Also, design tools and simulators were developed. Nevertheless, its design technology is not quite ready for ultra large scale designs. This paper proposes a new approach which enables the QCA designs to inherit the verification methodologies and tools of CMOS designs, as well. First, a set of disciplinary rules strictly restrict the cell arrangement not to deviate from the predefined structures but to guarantee the deterministic digital behaviors is proposed. After the gate and interconnect structures of. the QCA design are identified, the signal integrity requirements including the input path balancing of majority gates, and the prevention of the noise amplification are checked. And then the digital logic is extracted and stored in the OpenAccess common engineering database which provides a connection to a large pool of CMOS design verification tools. Towards validating the proposed approach, we designed a 2-bit adder, a bit-serial adder, and an ALU bit-slice. For each design, the digital logic is extracted, translated into the Verilog net list, and then simulated using a commercial software.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.37 no.1
• /
• pp.76-84
• /
• 2019

This study was conducted for the purpose of examining the Outstanding Universal Value, World Heritage Values, in Suzhou classical gardens and the operational method of the protection management of historic gardens, and the results of the study are as follows; The first, as a world heritage, Suzhou gardens proved OUV by showing the taste and lifestyle of the literati, the unique class of Chinese history, to the natural environment of the East Yangtze Delta region. In addition, it showed the exchange of international culture with unique Chinese garden techniques. Second, a authentic reconstruction of garden have original value because it exist records of the near past. The 20th-century archives described by the contemporary language and describing the heritage through images using such media as photography and drawing played a decisive role in restoring gardens. Third, the protection management of Suzhou gardens, which began in the 1950s, was carried out in detail, including the reconstruction of components such as buildings, the restoration of plant materials and horticulture technique, the creation of a list through the records of trees, the maintenance of props such as plaque, furniture, and the project to improve water quality and restore waterscape. The last, after the World Heritage inscribing, Garden's protection management was proceeded in two directions. One is that through the reorganization of the administrative management system and the enactment of laws related to Suzhou classical Gardens, the listing heritage is strictly protected and managed, and the other is that the historical gardens are used to establish urban masterplan and urban identity in Suzhou. The range of garden properties greatly expanded by distinguishing the principle of conservation from protection to rational use and the grade of protection, such as whole protection, maintenance protection and protection of historical sites.

• The Korean Journal of Air & Space Law and Policy
• /
• v.28 no.2
• /
• pp.3-35
• /
• 2013

Air transport today is a means of transport that is optimized for exchanges between nations. Around the world, has experienced an increase in operating and the number of airline route expansion that has entered into the international aviation agreements in order to take advantage of the air transport efficient, but the possibility of the occurrence of air transport accidents increased. When compared to the accident of other means of transport, development of air transport accidents, not high, but it leads to catastrophe aviation accident occurs. Air Transport accident many international transportation accident than domestic transportation accident, in the event of an accident, the analysis of the legal responsibility of the shipper or the like is necessary or passenger air carrier. Judgment of the legal order of discipline of air transport accident is a classification of the type of air transport agreement. Depending on the object, air transport agreements are classified into the contract of carriage of aviation of the air passenger transportation contract. For casualties occurs, air passenger transportation accident is a need more discussion of legal discipline for this particular. Korean Commercial Code, it is possible to reflect in accordance with the actual situation of South Korea the contents of the treaty, which is utilized worldwide in international air transport, even on the system, to control land, sea, air transport and welcoming to international standards. However, Korean Commercial Code, the problem of the Montreal Convention has occurred as it is primarily reflecting the Montreal Convention. As a cause of liability for damages, under the Commercial Code of Korea and the contents of the treaty precedent is reflected, the concept of accident is necessary definition of the exact concept for damages of passengers in particular. Cause of personal injury or death of passengers, in the event of an accident to the "working for the elevation" or "aircraft" on, the Montreal Convention is the mother method of Korea Commercial Code, liability for damages of air carrier defines. The Montreal Convention such, continue to be a matter of debate so far in connection with the scope of "working for the lifting of" the concepts defined in the same way from Warsaw Convention "accident". In addition, it is discussed and put to see if you can be included mental damage passenger suffered in air transport in the "personal injury" in the damage of the passenger is in the range of damages. If the operation of aircraft, injury accident, in certain circumstances, compensation for mental damage is possible, in the same way as serious injury, mental damage caused by aviation accidents not be able to live a normal life for the victim it is damage to make. So it is necessary to interpret and what is included in the injury to the body in Korea Commercial Code and related conventions, non-economic damage of passengers, clearly demonstrated from the point of view of prevention of abuse of litigation and reasonable protection of air carrier it must compensate only psychological damage that can be. Since the compensation of delay damages, Warsaw Convention, the Montreal Convention, Korea Commercial Code, there are provisions of the liability of the air carrier due to the delayed arrival of passenger and baggage, but you do not have a reference to delayed arrival, the concept of delay arrangement is necessary. The strict interpretation of the concept of delayed arrival, because it may interfere with safe operation of the air carrier, within the time agreed to the airport of arrival that is described in the aviation contract of carriage of passenger baggage, or, these agreements I think the absence is to be defined as when it is possible to consider this situation, requests the carrier in good faith is not Indian or arrive within a reasonable time is correct. The loss of passenger, according to the international passenger Conditions of Carriage of Korean Air, in addition to the cases prescribed by law and other treaties, loss of airline contracts, resulting in passengers from a service that Korean Air and air transport in question do damage was is, that the fact that Korean Air does not bear the responsibility as a general rule, that was caused by the negligence or intentional negligence of Korean Air is proof, negligence of passengers of the damage has not been interposed bear responsibility only when it is found. It is a clause in the case of damage that is not mandated by law or treaty, and responsible only if the negligence of the airline side has been demonstrated, but of the term negligence "for" intentional or negligent "Korean Air's Terms" I considered judgment of compatibility is required, and that gross negligence is appropriate. The "Korean Air international passenger Conditions of Carriage", airlines about the damage such as electronic equipment that is included in the checked baggage of passengers does not bear the responsibility, but the loss of baggage, international to arrive or depart the U.S. it is not the case of transportation. Therefore, it is intended to discriminate unfairly passengers of international flights arriving or departure to another country passengers of international flights arriving or departure, the United States, airlines will bear the responsibility for the goods in the same way as the contents of the treaty it should be revised in the direction.

• Journal of the korean veterinary medical association
• /
• v.44 no.9
• /
• pp.803-818
• /
• 2008

동물의 결핵은 Mycobacterium bovis의 감염에 의한 만성 소모성 질병이며 인수공통전염병이다. 동물로부터 사람으로의 결핵 전염은 생유 섭취하던 시대에 상당히 많이 보고되었다. 우유의 살균처리와 소에서 피내진단에 의한 양성우 살처분 및 보상금 지급 정책을 전개하면서 M. bovis의 사람전염은 급격히 감소하였다. 소 결핵은 우리나라에서 연간 0.15% 내외의 발생을 보이고 있으며, 발생의 주원인으로는 외부입식소, 인근발생농장, 과거발생농장의 사후관리소홀 등이다. 사람 결핵의 주원인균인 M. tuberculosis와 M. bovis는 유전체가 99.9% 유사하며, M. bovis를 M. tuberculosis의 아종으로 분류하기도 한다. 두 세균은 M. tuberculosis complex에 속하며, M. tuberculosis와 M. bovis이외에도 M. africanum, M. canettii, M. microti, M. pinnipedii 등이 있다. M. bovis는 M. tuberculosis complex중에서 가장 넓은 숙주범위를 가진다. M. bovis의 대표적인 숙주는 종이름에도 나타나 있듯이 소이다. 소결핵 전파원으로서는 M. bovis에 감염된 소가 가장 중요하다. 소 이외에도 면양, 산양, 말, 돼지, 사슴, 엘크, 영양 (antelope, kudus, elands, sitatungas, oryxes, addaxes), 개, 고양이, 흰족제비 (ferrets), 낙타, 여우, 밍크, 오소리, 쥐, 영장류, 라마, 맥 (tapirs), 코끼리, 코뿔소 (rhinoceroses), 주머니쥐, 땅다람쥐 (ground squirrels), 수달 (otters), 물개, 산토끼 (hares), 두더쥐 (moles), 너구리 (raccoons), 코요테, 사자, 호랑이, 표범, 살쾡이 (lynx) 등에 감염될 수 있으나, 대부분 종결숙주 (spillover host)로 가축의 결핵방제가 유지되고 있는 국가에서는 야생동물 결핵의 가축 전염이 문제시되고 있다. M. bovis는 주로 호흡기와 소화기를 통하여 감염되며, 결핵결절이 형성되는 부위를 관찰하면 감염경로를 추정할 수 있다. 결핵에 감염되면, 초기에는 뚜렷한 임상증상을 보이지 않으나, 아침, 추운 날씨, 또는 운동 중에 심한 기침을 하며, 호흡곤란을 일으킬 수 있다. 결핵은 감염되어도 대부분 무증상이기 때문에 피내진단, 결핵결절 병리소견, 원인균 분리 등에 의해 진단하여야 한다. 감염된 결핵균은 탐식세포에 탐식되어 특징적인 육아종성 결절 병변으로 진행된다. 현재 결핵은 피내진단과 결핵결절 병리소견 등에 의해 판정하고 있다. 최신 진단법으로는 피내진단을 대체할 수 있는 인터페론 감마 검사법과 우군의 결핵 스크리닝과 말기 결핵 검사에 우수한 항체진단법이 개발되어 있다. 그러나, 소 결핵 근절을 위해서는 일관성있는 진단법과 진단기준을 적용하는 것이 중요한 성공요인중 하나이다. 소결핵 청정국인 호주와 캐나다에서는 피내진단과 도축장 결절검사를 결핵 양성우 색출방법의 근간으로 삼고 있으며, 소결핵 근절의 최종단계에 이르러서는 특이적인 검사법을 적용하였지만, 근절목적상 민감성이 높은 피내진단법을 사용하였다. 이와 더불어, 피내진단 양성우의 부검소견과 원인균 분리를 통해 결핵을 확진하여 출처농장의 역추적 검사를 통하여 결핵 양성소를 제거하였다. 한편, 결핵의 농장간 및 지역간 전파방지를 위해 결핵 청정농장과 결핵 오염농장, 결핵 청정지역과 결핵 오염지역 구분을 통하여 결핵 오염농장과 결핵 오염지역으로부터 결핵 청정농장과 결핵 청정지역으로의 이동전 결핵 검진을 통해 개체 이동에 따른 결핵 전파를 근본적으로 차단하는 시스템을 엄격히 적용한 것이 주요한 성공 요인중 하나였다. 호주 결핵 근절정책 성공요인을 요약하면, 일관성 있는 결핵진단법 적용, 양성우 출처농장의 철저한 역추적 검사, 개체 이동전 결핵 음성증명 확인, 농가단체의 경제적 및 방역상 적극적인 지원 및 협조 결핵의 지속적인 모니터 링과 현장요구에 부응하는 방제신기술의 지속적인 연구개발 등을 들 수 있다. 최근 들어 국내 동물 결핵은 소, 특히, 한우의 결핵발생이 증가하고 있으며, 사슴 결핵발생도 증가하고 있다. 농장간 및 지역간에 결핵 감수성 가축, 특히, 소와 사슴의 거래가 아주 복잡하게 이루어지고 있는 현실을 고려할 때, 결핵전파의 주원인인 결핵감염 소나 사슴의 농장내 반입을 철저히 차단해야 할 것이다. 이때, 개체 검사는 물론이고, 출처농장에 대한 결핵 음성을 확인한 후 입식하여야 할 것이며, 입식 후에도 60일정도 격리사육하면서 피내진단등 결핵검진 후 음성인 경우에만 합사하여야 할 것이다. M. bovis는 사람을 비롯한 거의 모든 온혈동물에서 결핵을 일으킬 수 있기 때문에, 결핵 감염소로 판정된 농장 종사자는 각 시도 보건소의 협조를 받아 결핵검진을 받도록 해야 한다. 농장 가축에 접촉할 수 있는 야생동물의 접촉을 차단하여야 하며, 특히, 농장 사료의 야생동물에 의한 오염을 방지할 수 있는 사료창고관리를 철저히 해야 한다. 결핵 감염소를 다룰 때는 분비물 또는 가검물에 의해 감염될 수 있기 때문에 개인방역장비 - 방역복, 마스크, 비닐장갑, 비닐장화 - 를 착용한 상태에서 다루어야 한다. 특히, 결핵 감염소를 매몰 또는 소각하는 과정에서 결핵 감염소의 배설물 및 분비물 처리를 철저히 하여야 한다. 모든 작업을 마친 후에는 개인방역장비, 매몰 또는 소각에 사용하였던 장비 등을 청소 및 소독하고 필요시 소각 또는 매몰하여야 하며, 개인감염위험과 타인 감염위험을 방지하기 위해 노출부위를 세척하여야 한다.