• Journal of architectural history
• /
• v.7 no.4 s.17
• /
• pp.49-60
• /
• 1998

The first aim of this paper is to investigate and analyze Alan Colquhoun's architectural hermeneutics of tradition, 'conceptual displacement of the past.' The second aim is to overcome the limit of it, and to suggest new architectural hermeneutics of tradition, 'the reactivation of the past.' The architectural work is reduced by Colquhoun to typology or arbitrary language because he believes that without arbitrary language natural language is not able to work effectively. However, he ignores that two languages cannot be separable. When they are separated the key to natural language is understood to be an unverifiable similarity between a sense perception and its correspondence in the architectural object, while the key to arbitrary language becomes mere artificial agreement on the value and function of the linguistic sign. Therefore, natural language is appropriate only when it permits spontaneous combinations of sensory data within complex structures which emerge from, and support, complex human interaction and communication(the shining of the world and of the possibility of creative being in each individual thing). Only when architecture is translated into this kind of language, can it reactivate the world's past, and become poetic.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.12
• /
• pp.4987-5014
• /
• 2015

The bilinear pairing, also known as Weil pairing or Tate pairing, is widely used in cryptography and its properties help to construct cryptographic schemes for different applications in which the security of the transmitted data is a major concern. In remote login authentication schemes, there are two major requirements: i) proving the identity of a user and the server for legitimacy without exposing their private keys and ii) freedom for a user to choose and change his password (private key) efficiently. Most of the existing methods based on the bilinear property have some security breaches due to the lack of features and the design issues. In this paper, we develop a new scheme using the bilinear property of an elliptic point and the biometric characteristics. Our method provides many features along with three major goals. a) Checking the correctness of the password before sending the authentication message, which prevents the wastage of communication cost; b) Efficient password change phase in which the user is asked to give a new password after checking the correctness of the current password without involving the server; c) User anonymity - enforcing the suitability of our scheme for applications in which a user does not want to disclose his identity. We use BAN logic to ensure the mutual authentication and session key agreement properties. The paper provides informal security analysis to illustrate that our scheme resists all the security attacks. Furthermore, we use the AVISPA tool for formal security verification of our scheme.

• Structural Engineering and Mechanics
• /
• v.63 no.2
• /
• pp.195-206
• /
• 2017

This paper presents the parametric numerical analysis on the ultimate bearing capacity of the purlin-sheet roofs connected by standing seam clips. The effects of several factors on failure modes and ultimate bearing capacity of the purlins are studied, including setup of anti-sag bar, purlin type, sheet thickness and connection type et al. A simplified design formula is proposed for predicting the ultimate bearing capacity of purlins. Results show that setting the anti-sag bars can improve the ultimate bearing capacity and change the failure modes of C purlins significantly. The failure modes and ultimate bearing capacity of C purlins are significantly different from those of Z purlins, in the purlin-sheet roof connected by standing seam clips. Setting the anti-sag bars near the lower flange is more favorable for increasing the ultimate bearing capacity of purlins. The ultimate bearing capacity of C purlins increases slightly with sheet thickness increasing from 0.6 mm to 0.8 mm. The ultimate bearing capacity of the purlin-sheet roofs connected by standing seam clips is always higher than those by self-drilling screws. The predictions of the proposed design formulas are relatively in good agreement with those of EN 1993-1-3: 2006, compared with GB 50018-2002.

• Geomechanics and Engineering
• /
• v.14 no.3
• /
• pp.233-240
• /
• 2018

Pullout tests are usually employed to determine the ultimate bearing capacity of reinforced soil, and the load-displacement curve can be obtained easily. This paper presents an analytical solution for predicting the full-range mechanical behavior of a buried planar reinforcement subjected to pullout based on a bi-linear bond-slip model. The full-range behavior consists of three consecutive stages: elastic stage, elastic-plastic stage and debonding stage. For each stage, closed-form solutions for the load-displacement relationship, the interfacial slip distribution, the interfacial shear stress distribution and the axial stress distribution along the planar reinforcement were derived. The ultimate load and the effective bond length were also obtained. Then the analytical model was calibrated and validated against three pullout experimental tests. The predicted load-displacement curves as well as the internal displacement distribution are in closed agreement with test results. Moreover, a parametric study on the effect of anchorage length, reinforcement axial stiffness, interfacial shear stiffness and interfacial shear strength is also presented, providing insights into the pullout behaviour of planar reinforcements of MSE structures.

• Journal of Distribution Science
• /
• v.12 no.3
• /
• pp.85-98
• /
• 2014

Purpose - This study primarily aims to represent the current trend of research on CPFR as a promising supply chain collaboration program and proposes a new framework for analyzing any collaboration programs in terms of three key collaborative features. Research design, data, and methodology - This study employs a literature review of selected studies that conduct research on CPFR. CPFR is analyzed based on the proposed framework that characterizes collaboration programs in terms of three key collaborative features. Results - The analysis based on the proposed framework reveals that the current form of CPFR continues to have some collaborative features that are not fully utilized to create an advanced collaboration program. The literature review indicates that most past studies ignore critical issues including the dynamic nature of the multiple-stage supply chain system and negotiation process for collaborative agreement in CPFR implementation. Conclusions - Results indicate that CPFR can become a better supply chain collaboration program by incorporating coordinative cost payment and joint decision making processes. Based on observations on the existing literature of CPFR, this study indicates several important issues to be addressed by future studies.

• Computers and Concrete
• /
• v.15 no.2
• /
• pp.305-319
• /
• 2015

On mesoscopic level, concrete can be treated as a three-phase composite material consisting of mortar, aggregates and interfacial transition zone (ITZ) between mortar and aggregate. A lot of research has confirmed that ITZ plays a crucial role in the mechanical fracture process of concrete. The aim of the present study is to propose a numerical method on mesoscale to analyze the failure mechanism of reinforced concrete (RC) structures under mechanical loading, and then it will help precisely predict the damage or the cracking initiation and propagation of concrete. Concrete is meshed by means of the Rigid Body Spring Model (RBSM) concept, while the reinforcing steel bars are modeled as beam-type elements. Two kinds of RC members, i.e. subjected to uniaxial tension and beams under bending, the fracture process of concrete and the distribution of cracks, as well as the load-deflection relationships are investigated and compared with the available test results. It is found that the numerical results are in good agreement with the experimental observations, indicating that the model can successfully simulate the failure process of the RC members.

• Proceedings of the CALSEC Conference
• /
• 2003.09a
• /
• pp.261-267
• /
• 2003

This study deals with controversial issues surrounding the today′s cyber-taxation and recommends feasible consumption tax system architecture titled Global Electronic Tax Invoice System (GETI). The GETI is an electronic consumption tax architecture to provide "all-in-one" tax and e-payment services through a trusted third party (TTP). GETI is designed to streamline the overall cyber-taxation process and provide simplified and transparent tax invoice services through an authorized np. To ensure information security, GETI incorporates public Key infrastructure (PKI) based digital certificates and other data encryption schemes when calculating, reporting, paying, and auditing tax in the electronic commerce environment. GETI is based on the OECD cyber-taxation agreement that was reached in January 2001, which established the taxation model for B2B and B2C electronic commerce transactions. For the value added tax systems, tax invoice is indispensable to commerce activities, since they provide documentations to prove the validity of commercial transactions. As paper-based tax invoice systems are gradually phased out and are replaced with electronic tax invoice systems, there is an increasing need to develop a reliable, efficient, transparent, and secured cyber-taxation architecture. To design such architecture, several desirable system attributes were considered -- reliability, efficiency, transparency, and security. GETI was developed with these system attributes in mind.

• Wind and Structures
• /
• v.22 no.6
• /
• pp.663-684
• /
• 2016

Conical vortices generated at the corner regions of large-span flat roofs have been investigated by using the Particle Image Velocimetry (PIV) technique. Mean and instantaneous vector fields for velocity, vorticity, and streamlines were measured at three visual planes and for two different flow angles of $15^{\circ}$. The results indicated that conical vortices occur when the wind is not perpendicular to the front edge. The location of the leading edge corresponding to the negative peak vorticity and maximum turbulent kinetic energy was found at the center of the conical vortex. The wind pressure reaches the maximum near the leading edge roof corner, and a triangle of severe suctions zone appears downstream. The mean pressure in uniform flow is greater than that under turbulent flow condition, while a significant increase in the fluctuating wind pressure occurs in turbulent streams. From its emergence to stability, the shape of the vortex cross-section is nearly elliptical, with increasing area. The angle that forms between the vortex axis and the leading edge is much smaller in turbulent streams. The detailed flow structures and characteristics obtained through FLUENT simulation are in agreement with the experimental results. The three dimensional (3-D) structure of the conical vortices is clearly observed from the comprehensive arrangement of several visual planes, and the inner link was established between the vortex evolution process, vortex core position and pressure distribution.

• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.633-636
• /
• 2015

KaVA (KVN and VERA Array) is a new combined VLBI array composed of KVN (Korean VLBI Network) and VERA (VLBI Exploration of Radio Astrometry). Here, we report the following two issues. (1) We review the initial results of imaging observations of M87 at 23 GHz following Niinuma et al. (2014). The KaVA images reveal extended outflows including complex substructures such as knots and limb-brightening, in agreement with previous VLBI observations. KaVA achieves a high dynamic range of ~1000, more than three times better than that achieved by VERA alone. (2) Based on subsequent observations and discussions led by the KaVA AGN SubWorking Group, we set monitoring observations of Sgr $A^{\ast}$ and M87 as our Key Science Project (hereafter KSP) because of the closeness and largeness of their central super-massive black holes. The main science goals of the KSP are (i) testing the magnetically-driven-jet paradigm by mapping velocity fields of the M87 jet, and (ii) obtaining tight constraints on physical properties of the radio emitting region in Sgr $A^{\ast}$. Towards KSP, we show the first preliminary images of M87 at 23 GHz and Sgr $A^{\ast}$ at 43 GHz with the bandwidth of 256 MHz.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.244-246
• /
• 2005

센서 네트워크는 다수의 센서 노드들을 이용하여 특정위치의 물리적 데이터를 수집함으로써 이를 베이스 스테이션에게 전달해 주는 초소형, 저가, 저전력 무선 통신 기술이다. 센서 네트워크의 센서 노드들은 제한된 전력을 가지기 때문에 센서 노드의 에너지 소모를 줄이며 신뢰성 있게 데이터를 전송하는 프로토콜의 설계가 중요시 되고 있다. 본 논문에서는 이러한 센서 네트워크 환경의 특성을 고려하여 대칭키(Symmetric key)방식을 기반으로 플랫 구조의 센서 네트워크 환경에 적용 가능한 키 합의 프로토콜을 제안한다. 제안하는 프로토콜은 세션키 생성 단계에서 센서의 ID와 랜덤수를 이용하여 세션키를 생성하고 통신하는 노드 중 한 노드가 세션키를 확인한다. 이 노드는 세션키 확인 단계를 통해 데이터 전송 시 세션키 확인에 필요한 정보를 전송하여 상호 세션키 확인이 이루어지게 하며, 세션키 생성 단계와 확인 단계가 정당하게 이루어지면, 이후에 발생하는 세션키는 서브 프로토콜을 이용하여 생성함으로써 효율적으로 통신함을 보인다.