• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.6
• /
• pp.122-130
• /
• 2013

The demand and the supply are increasing sharply in accordance with the growth of the Memory Semiconductor Industry. The Flash Memory above all is being utilized substantially in the Industry of smart phone, the tablet PC and the System on Chip (SoC). The Flash Memory is divided into the NOR-type Flash Memory and the NAND-type Flash Memory. A lot of study such as the Built-In Self Test (BIST), the Built-In Self Repair (BISR) and the Built-In Redundancy Analysis (BIRA), etc. has been progressed in the NOR-type fash Memory, the study for the Built-In Self Test of the NAND-type Flash Memory has not been progressed. At present, the pattern test of the NAND-type Flash Memory is being carried out using the outside test equipment of high price. The NAND-type Flash Memory is being depended on the outside equipment as there is no Built-In Self Test since the erasure of block unit, the reading and writing of page unit are possible in the NAND-type Flash Memory. The Built-In Self Test equipped with 2 kinds of finite state machine based structure is proposed, so as to carry out the pattern test without the outside pattern test equipment from the NAND-type Flash Memory which carried out the test dependant on the outside pattern test equipment of high price.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.25 no.6
• /
• pp.583-603
• /
• 2023

Recently, the advancement of mechanical tunnel boring machine (TBM) technology and the characteristics of subsea railway tunnels subjected to hydrostatic pressure have led to the widespread application of shield TBM methods in the design and construction of subsea railway tunnels. Subsea railway tunnels are exposed in a constant pore water pressure and are influenced by the amplification of seismic waves during earthquake. In particular, seismic loads acting on subsea railway tunnels under various ground conditions such as soft ground, soft soil-rock composite ground, and fractured zones can cause significant changes in tunnel displacement and stress, thereby affecting tunnel safety. Additionally, the dynamic response of the ground and tunnel varies based on seismic load parameters such as frequency characteristics, seismic waveform, and peak acceleration, adding complexity to the behavior of the ground-tunnel structure system. In this study, a finite difference method is employed to model the entire ground-tunnel structure system, considering hydrostatic pressure, for the investigation of dynamic behavior of subsea railway tunnel during earthquake. Since the key factors influencing the dynamic behavior during seismic events are ground conditions and seismic waves, six analysis cases are established based on virtual ground conditions: Case-1 with weathered soil, Case-2 with hard rock, Case-3 with a composite ground of soil and hard rock in the tunnel longitudinal direction, Case-4 with the tunnel passing through a narrow fault zone, Case-5 with a composite ground of soft soil and hard rock in the tunnel longitudinal direction, and Case-6 with the tunnel passing through a wide fractured zone. As a result, horizontal displacements due to earthquakes tend to increase with an increase in ground stiffness, however, the displacements tend to be restrained due to the confining effects of the ground and the rigid shield segments. On the contrary, peak compressive stress of segment significantly increases with weaker ground stiffness and the effects of displacement restrain contribute the increase of peak compressive stress of segment.

• Journal of the Korean GEO-environmental Society
• /
• v.20 no.5
• /
• pp.13-21
• /
• 2019

There are many cuts or natural rock slopes that remain stable for a long time in the natural environment with steep slopes ($65^{\circ}$ to $85^{\circ}$). In terms of design practice, the rock mass consisting of similar rock condition and geological structures is defined as a good continuum rock slope, and during the process of decision making angle of this rock slope, it will be important to establish the geotechnical properties estimating method of the continuum rock on the process of stability analysis in the early stages of design and construction. In this study, the stability analysis of a good continuum rock slope that can be designed as a steep slope proposed a practical method of estimating the shear strength by induced from the Hoek-Brown failure criterion, and in addition, the design applicability was evaluated through the stability analysis of steep rock slope. The existing method of estimating the shear strength was inadequate for practical use in the design, as the equivalent M-C shear strength corresponding to the H-B envelope changes sensitively, even with small variations in confining stress. To compensate for this problem, it was proposed to estimate equivalent M-C shear strength by iso-angle division method. To verify the design applicability of the iso-angle division method, the results of the safety factor and the displacement according to the change in angle of the cut slope constructed at the existing working design site were reviewed. The safety factor is FS=16~59 on the 1:0.5 slope, FS=12~52 on the 1:0.3 slope, most of which show a 10~12 percent reduction. Displacement is 0.126 to 0.975 mm on the 1:0.5 slope, 0.152 to 1.158 mm on the 1:0.3 slope, and represents an increase of 10 to 15%. This is a slightly change in normal proportion and is in good condition in terms of stability. In terms practical the working design, it was confirmed that applying the shear strength estimated by Iso-angle division method derived from the H-B failure criterion as a universal shear strength for a good continuum rock mass slope was also able to produce stable and economic results. The procedure for stability analysis using LEM (Limit Equilibrium Analysis Method) and FEM (Finite Element Analysis Method) will also be practical in the rock slope where is not distributed fault. The study was conducted by selecting the slope of study area as a good rock condition, establishing a verification for which it can be applied universal to a various rock conditions will be a research subject later on.