• Title/Summary/Keyword: Efficient Proof

Search Result 132, Processing Time 0.031 seconds

Design and Implementation of a Mobile Application in Post-Disaster (재난 후 상황에서의 모바일 응용 설계 및 구현)

  • Yoo, DaeHun;Choi, WoongChul
    • Journal of the Korea Society of Computer and Information
    • /
    • v.18 no.3
    • /
    • pp.97-105
    • /
    • 2013
  • All means of communication using base stations are interrupted if the scorched earth environment happens because of a disaster. In order to use the systems of the public protection and disaster relief standards, users have to use the special equipments and need the expertise of the operation. Also, it needs the enormous investment for building an infrastructure. The systems is inadequate for the quick and efficient disaster communication, and the people can be in the chaos before the national resources are committed. For solving this problem, this paper presents the design of the mobile application that general people can use immediately, and implements the android phone's application for the proof of concept.

ID-based signcryption with improved security (안전성을 보완한 ID기반 signcryption 기법)

  • Kwak Byeong-Ok;Jeong Yoon-Su;Lee Sang-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.2 s.40
    • /
    • pp.239-251
    • /
    • 2006
  • Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

  • PDF

Phosphate vs. Silicate Discontinuity Layer Developed at Mid-Depth in the East Sea (동해 중층에 발달하는 인산염 대 규산염 비의 불연속층)

  • Kim, Bong-Guk;Lee, Tong-Sup;Kim, Il-Nam
    • Ocean and Polar Research
    • /
    • v.32 no.3
    • /
    • pp.331-336
    • /
    • 2010
  • The CREAMS (Circulation Research of the East Asian Marginal Sea) survey in 1999 revealed a sharp mid-depth discontinuity of the phosphate:silicate ratio in all basins of the East/Japan Sea. Incidentally, this discontinuity layer corresponds to the oxygen minimum layer. Directly below the discontinuity layer, oxygen concentration is increased. This increase in oxygen concentration is interpreted as a proof of intermediate water formation. Oxygen minimum indicates that the water parcel is old and stable against mixing. So it seems be an efficient barrier to vertical exchange of materials. This means that, once materials enter the lower domain, they rarely return to the upper domain. Therefore, the biogeochemistry of the East/Japan Sea depends heavily on material input through the Korea Strait, and flux is expected to be sensitive to the climate change. As a result, the East/Japan Sea ecosystem seems vulnerable to tipping (regime shift), which occurred on a decadal time scale.

The Effect of Secondary Members on the Behavior of Steel-Concrete Composite Two-Girder Railway Bridges (2거더 강-콘크리트 합성형 철도교의 거동에 대한 2차부재의 영향 평가)

  • Bae Doo-byong;Cho Joon-hee
    • Journal of the Korean Society for Railway
    • /
    • v.8 no.1
    • /
    • pp.41-50
    • /
    • 2005
  • Steel -Concrete Composite two girder railway bridges applying high performance steel with extra thick plate have economic and aesthetic advantages due to the simplification of manufacturing and construction process. However, steel bridges are seldom adopted in domestic railway bridge, since steel bridges are not efficient as R.C bridges considering dynamic characteristics and noise, etc. While highway bridges do not have lower horizontal bracing and larger interval of diaphragm cross beam, railway bridges install lower horizontal bracings to control the torsion due to heavy eccentrical line load. Accurate finite element analysis were performed with the parameters of existence of bracing and bracing shape, with the cross beam interval and stiffness, etc. To find out the effects of secondary members such as horizontal bracings and diaphragms, static md dynamic analysis have been performed by using finite element method. In this study, few member plate-girder bridges are analyzed with variable span lengths to examine the dynamic behavior and limits of damping. And though lateral bracings are members against torsion, but lateral bracing's absence is no big problem. Time history analysis using mode superposition method makes proof of this result.

Digestion efficiency differences of restriction enzymes frequently used for genotype-by-sequencing technology

  • Chung, Yong Suk;Jun, Taehwan;Kim, Changsoo
    • Korean Journal of Agricultural Science
    • /
    • v.44 no.3
    • /
    • pp.318-324
    • /
    • 2017
  • With the development of next-generation sequencing (NGS), a cutting-edge technology, genotype-by-sequencing (GBS) became available at a low cost per sample. GBS makes it possible to customize the process of library preparation to obtain high-quality single nucleotide polymorphisms (SNPs) in the most efficient way. However, a GBS library is hard to construct due to fine-tuning of concentration of each reagent and set-up. The major reason for this is the presence of undigested genomic DNA (gDNA) owing to the efficiency of different restriction enzymes for different species with unknown reasons. Therefore, this proof-concept study is to demonstrate the unpredictable patterns of enzyme digestion from various plants in order to make the reader aware of the caution needed when choosing restriction enzymes for their GBS library preparations. Indeed, no pattern was found for the digestibility of gDNA samples and restriction enzymes in the current study. We suggest that more data should be accumulated on this matter to help researchers who want to apply GBS technologies in a variety of genetic approaches.

A Token Based Protocol for Mutual Exclusion in Mobile Ad Hoc Networks

  • Sharma, Bharti;Bhatia, Ravinder Singh;Singh, Awadhesh Kumar
    • Journal of Information Processing Systems
    • /
    • v.10 no.1
    • /
    • pp.36-54
    • /
    • 2014
  • Resource sharing is a major advantage of distributed computing. However, a distributed computing system may have some physical or virtual resource that may be accessible by a single process at a time. The mutual exclusion issue is to ensure that no more than one process at a time is allowed to access some shared resource. The article proposes a token-based mutual exclusion algorithm for the clustered mobile ad hoc networks (MANETs). The mechanism that is adapted to handle token passing at the inter-cluster level is different from that at the intra-cluster level. It makes our algorithm message efficient and thus suitable for MANETs. In the interest of efficiency, we implemented a centralized token passing scheme at the intra-cluster level. The centralized schemes are inherently failure prone. Thus, we have presented an intra-cluster token passing scheme that is able to tolerate a failure. In order to enhance reliability, we applied a distributed token circulation scheme at the inter-cluster level. More importantly, the message complexity of the proposed algorithm is independent of N, which is the total number of nodes in the system. Also, under a heavy load, it turns out to be inversely proportional to n, which is the (average) number of nodes per each cluster. We substantiated our claim with the correctness proof, complexity analysis, and simulation results. In the end, we present a simple approach to make our protocol fault tolerant.

A Study on RF Communication Stabilization of Security System for Oil Tank-Lorry Truck Based on IoT (IoT 기반의 유류 수송 차량 보안 시스템을 위한 RF 통신 안정화 개선 연구)

  • Kim, Min-Sung;Kim, Hie-Sik;Kim, Hae-Kyun
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.66 no.6
    • /
    • pp.916-922
    • /
    • 2017
  • Security systems for inland cargo truck transportation are mostly limited to route tracking for safe and efficient transportation. With this route tracking system, the status of cargo trucks can be monitored easily within inland boundaries. In case of oil transportation by land, however, security systems ensuring transportation of a designated quantity of products have been subject to extensive research since thefts and substitution by a similar product in the transportation process have emerged as a social problem. Security devices installed in an oil tank truck must meet the explosion-proof performance standards and be applicable to varying types of trucks. Accordingly, a wireless electronic seal with RF communication functions is considered to be the most appropriate method, but e-seals on moving vehicles require such levels of performance and reliability that can overcome certain challenges including changing radio waves and topographical impediments. Considering these characteristics of oil tank trucks, this study proposes an stabilization method to enhance the RF communication performance of e-seals, based on radio simulation and experiment findings.

A multilevel in space and energy solver for multigroup diffusion eigenvalue problems

  • Yee, Ben C.;Kochunas, Brendan;Larsen, Edward W.
    • Nuclear Engineering and Technology
    • /
    • v.49 no.6
    • /
    • pp.1125-1134
    • /
    • 2017
  • In this paper, we present a new multilevel in space and energy diffusion (MSED) method for solving multigroup diffusion eigenvalue problems. The MSED method can be described as a PI scheme with three additional features: (1) a grey (one-group) diffusion equation used to efficiently converge the fission source and eigenvalue, (2) a space-dependent Wielandt shift technique used to reduce the number of PIs required, and (3) a multigrid-in-space linear solver for the linear solves required by each PI step. In MSED, the convergence of the solution of the multigroup diffusion eigenvalue problem is accelerated by performing work on lower-order equations with only one group and/or coarser spatial grids. Results from several Fourier analyses and a one-dimensional test code are provided to verify the efficiency of the MSED method and to justify the incorporation of the grey diffusion equation and the multigrid linear solver. These results highlight the potential efficiency of the MSED method as a solver for multidimensional multigroup diffusion eigenvalue problems, and they serve as a proof of principle for future work. Our ultimate goal is to implement the MSED method as an efficient solver for the two-dimensional/three-dimensional coarse mesh finite difference diffusion system in the Michigan parallel characteristics transport code. The work in this paper represents a necessary step towards that goal.

Bond Graph/Genetic Programming Based Automated Design Methodology for Multi-Energy Domain Dynamic Systems (멀티-에너지 도메인 동적 시스템을 위한 본드 그래프/유전프로그래밍 기반의 자동설계 방법론)

  • Seo, Ki-Sung
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.16 no.6
    • /
    • pp.677-682
    • /
    • 2006
  • Multi-domain design is difficult because such systems tend to be complex and include a mixtures of electrical, mechanical, hydraulic, and thermal components. To design an optimal system, unified and automated procedure with efficient search technique is required. This paper introduces design method for multi-domain system to obtain design solutions automatically, combining bond graph which is domain independent modeling tool and genetic programming which is well recognized as a powerful tool for open-ended search. The suggested design methodology has been applied for design of electric fitter, electric printer drive, and and pump system as a proof of concept for this approach.

Fair Private Block Encryption Protocol with Proactive Secret Sharing for Delegated Node of Public Blockchain (동등한 권한을 가진 대표노드를 위한 능동적 비밀 분산을 이용한 비공개 블록 암호화 기법)

  • Jung, Seung Wook
    • Convergence Security Journal
    • /
    • v.20 no.4
    • /
    • pp.177-186
    • /
    • 2020
  • In current public blockchain, any node can see every blocks, so that public blockchain provider transparent property. However, some application requires the confidential information to be stored in the block. Therefore, this paper proposes a multi-layer blockchain that have the public block layer and the private block for confidential information. This paper suggests the requirement for encryption of private block. Also, this paper shows the t-of-n threshold cryptosystem without dealer who is trusted third party. Moreover, the delegated node who has key information can be withdraw the delegated node group or a new delegated node can join in the delegated node group. Therefore, the paper proposes an efficient key information resharing scheme for withdraw and join. Finally proposed scheme satisfies the requirements for encryption and fairness.