• Journal of Information Processing Systems
• /
• 제8권1호
• /
• pp.175-190
• /
• 2012

Shuffling is an effective method to build a publicly verifiable mix network to implement verifiable anonymous channels that can be used for important cryptographic applications like electronic voting and electronic cash. One shuffling scheme by Groth is claimed to be secure and efficient. However, its soundness has not been formally proven. An attack against the soundness of this shuffling scheme is presented in this paper. Such an attack compromises the soundness of the mix network based on it. Two new shuffling protocols are designed on the basis of Groth's shuffling and batch verification techniques. The first new protocol is not completely sound, but is formally analyzed in regards to soundness, so it can be applied to build a mix network with formally proven soundness. The second new protocol is completely sound, so is more convenient to apply. Formal analysis in this paper guarantees that both new shuffling protocols can be employed to build mix networks with formally provable soundness. Both protocols prevent the attack against soundness in Groth's scheme. Both new shuffling protocols are very efficient as batch-verification-based efficiency-improving mechanisms have been adopted. The second protocol is even simpler and more elegant than the first one as it is based on a novel batch cryptographic technique.

• 한국재료학회지
• /
• 제18권3호
• /
• pp.117-122
• /
• 2008

Micro-sized bumps on a multi-layered build-up PCB were fabricated by pulse-reverse copper electroplating. The values of the current density and brightener content for the electroplating were optimized for suitable performance with maximum efficiency. The micro-bumps thus electroplated were characterized using a range of analytical tools that included an optical microscope, a scanning electron microscope, an atomic force microscope and a hydraulic bulge tester. The optical microscope and scanning electron microscope analyses results showed that the uniformity of the electroplating was viable in the current density range of $2-4\;A/dm^2$; however, the uniformity was slightly degraded as the current density increased. To study the effect of the brightener concentration, the concentration was varied from zero to 1.2 ml/L. The optimum concentration for micro-bump electroplating was found to be 0.6 ml/L based on an examination of the electroplating properties, including the roughness, yield strength and grain size.

• 한국수소및신에너지학회논문집
• /
• 제27권3호
• /
• pp.311-317
• /
• 2016

This paper presents the flow characteristics of a ball valve used for a gas pipeline. Understanding of the internal flow of a ball valve is an important to analyze the physical phenomena of the valve. Present experimental study was performed by IEC 60534-2-3, the international standard for an industrial control valve testing procedure. Pressure measured at upstream and downstream of the valve, flow-rate and gas temperature passing the inside of the gas pipeline were measured with respect to valve opening rates. Throughout the experimental measurement of the ball valve, empirical equation of the pressure drop between the ball valve according to the mass flow rates is successively obtained using a polynomial curve fitting method. In addition, flow coefficient for determining the valve capacity is also analyzed with respect to valve opening rates using the curve fitting method.

• 한국수소및신에너지학회논문집
• /
• 제27권2호
• /
• pp.230-235
• /
• 2016

The purpose of this study is to evaluate the gas leakage for a 30-inch ball valve. The ball valve was designed and manufactured for a natural gas transportation through a long-distance pipeline mainly installed in the permafrost region. The gas leakage assessment is based on the pressure testing criteria of international standards. Pressure conditions of the gas leakage test was employed 70 bar, 100 bar, and 110 bar. The amount of the gas leakage at each pressure condition was small and had a value under the pressure testing criteria, ISO 5208. Gas leakage with respect to the test pressure was predicted by the polynomial curve fitting using the experimental results. It is found that the gas leakage rate according to the pressure is proportion to a second order curve.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2007년도 정기학술발표대회 논문집
• /
• pp.25-31
• /
• 2007

누리꿈스퀘어 프로젝트는 서울 상암동 DMC(Digital Media City) 지역에 조성되는 IT Complex로서, 다양한 기능의 건물들이 복합적으로 구성되어 있다. 또한 설계${\cdot}$시공 일괄입찰방식으로 발주되어 설계단계에서부터 시공단계에 이르기까지 쳬계적인 건설사업관리를 요구하는 프로젝트이다. 본 연구에서는 실무적 차원의 건설사업관리 업무에 대한 이해를 돕기 위하여, 누리꿈스퀘어 프로젝트의 건설사업관리 업무를 소개하고, 주요 수행 사례에 대하여 분석하였다. 또한 본 프로잭트를 수행하면서 경험한 현행 건설사업관리 업무의 문제점을 정리하였고, 이에 대한 개선 방안을 제안하였다. 마지막으로 다년간의 건설사업관리 업무 경험을 토대로 향후 건설사업관리 제도가 발전하기 위한 방안을 제시하였다.

• KIEAE Journal
• /
• 제6권3호
• /
• pp.3-10
• /
• 2006

As environmental problems and water-shortage phenomenon become a global issue, many states look for the effective method to use water resources. So, decentralized rainwater management is recognized as a new water management system that rainwater can be infiltrated and used on-site. But it is little difficult to build a park, lake, and forest for evaporating rainwater in city because the land price of city is very high. In order to build an excellent infiltration system for a dwelling and a park in Korea, KICT has developed Linear infiltration system. This infiltration system is consist of first flush treatment, storage and infiltration, overflow control system. These elements are connected closely and working as a combined system. A storm sewer can be changed by the linear infiltration system. This study is to make design guideline using Linear infiltration system in apartment house. So ATV-DVWK-M13, FLL and present condition of Korean rainwater system were analyzed and the guidelines direction were set up. Through this study, a foundation is prepared to build the decentralized rainwater management of apartment house.

• 상하수도학회지
• /
• 제13권1호
• /
• pp.51-60
• /
• 1999

An intermittently-aerated, intermittently-decanted single-reactor process (KIDEA process : KIST intermittently decanted extended aeration process) was applied for nitrogen removal from wastewater. Synthetic wastewater with chemical oxygen demand (COD): nitrogen (N) ratio of approximately 5.25: 1 was used. The average COD removal efficiency reached above 95%, and under optimal conditions nitrogen removal efficiency also reached above 90%. This process consisted of 72 minute aeration, 48 minute settling and 24 minute effluent decanting with continuous feeding of influent wastewater from the bottom of the reactor, and did not require a separate anoxic mixing-phase. In this process, nitritation ($1^{st}$ step of nitrification) was induced but nitratation($2^{nd}$ step of nitrification) was suppressed. Main factors responsible for the accumulation of nitrite ion in the experimental condition were free ammonium and dissolved oxygen. This condition of nitrite build-up accelerated by continuous feed flow in the bottom of the KIDEA reactor because of high concentration of ammonia nitrogen in the influent. This research provides one of answers to control nitrate build-up.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권8호
• /
• pp.2849-2864
• /
• 2021

The emerging of cloud data sharing can create great values, especially in multi-cloud environments. However, "data island" between different cloud service providers (CSPs) has drawn trust problem in data sharing, causing contradictions with the increasing sharing need of cloud data users. And how to ensure the data value for both data owner and data user before sharing, is another challenge limiting massive data sharing in the multi-cloud environments. To solve the problems above, we propose a Uniform Encoding and Parsing Framework (UEPF) with blockchain to support trustworthy and valuable data sharing. We design namespace-based unique identifier pair to support data description corresponding with data in multi-cloud, and build a blockchain-based data encoding protocol to manage the metadata with identifier pair in the blockchain ledger. To share data in multi-cloud, we build a data parsing protocol with smart contract to query and get the sharing cloud data efficiently. We also build identifier updating protocol to satisfy the dynamicity of data, and data check protocol to ensure the validity of data. Theoretical analysis and experiment results show that UEPF is pretty efficient.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권7호
• /
• pp.3714-3732
• /
• 2019

With the rapid development of network, Intrusion Detection System(IDS) plays a more and more important role in network applications. Many data mining algorithms are used to build IDS. However, due to the advent of big data era, massive data are generated. When dealing with large-scale data sets, most data mining algorithms suffer from a high computational burden which makes IDS much less efficient. To build an efficient IDS over big data, we propose a classification algorithm based on data clustering and data reduction. In the training stage, the training data are divided into clusters with similar size by Mini Batch K-Means algorithm, meanwhile, the center of each cluster is used as its index. Then, we select representative instances for each cluster to perform the task of data reduction and use the clusters that consist of representative instances to build a K-Nearest Neighbor(KNN) detection model. In the detection stage, we sort clusters according to the distances between the test sample and cluster indexes, and obtain k nearest clusters where we find k nearest neighbors. Experimental results show that searching neighbors by cluster indexes reduces the computational complexity significantly, and classification with reduced data of representative instances not only improves the efficiency, but also maintains high accuracy.

• 동아시아경상학회지
• /
• 제9권3호
• /
• pp.115-124
• /
• 2021

Purpose - An empirical analysis of various opinions of experts to build Busan's global city image. Based on this, we provide strategy establishment metrics using opportunities, strengths, and threats to build Busan's global city image. Research design, data and methodology - SWOT-AHP analysis are used in terms of methodology, and this study is based on experts' reviews and answers. In addition, AHP analysis is performed based on SWOT analysis to derive the result values for important priority factors. Result - As a result of the prioritization of SWOT-AHP results, a matrix of strategic development directions for Busan city brand building can be presented. As a result of the composite weighting, the factors related to opportunity were ranked as important. In addition, matrices on SO strategy, ST strategy, WO strategy, and WT strategy were derived. Conclusion - This study is an interdisciplinary study from the economic aspect, international management and international marketing aspect, administrative aspect, and architectural engineering aspect. Through this, the image of a global city of Busan that can overcome COVID-19 and cope with the 4th industry in the future will be built, and Busan will be able to build a global international city image by commercially attracting the 2030 World Expo.