• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.10
• /
• pp.1773-1778
• /
• 2006

This paper propose the method of constructing the Digital Logic Systems based on the Improved Automatic Theorem Proving Techniques(IATP) over Finite Fields. The proposed method is as following. First, we discuss the background and the important mathematical properties for Finite Fields. Also, we discuss the concepts of the Automatic Theorem Proving Techniques(ATP) including the syntactic method and semantic method, and discuss the basic properties for the Alf. In this step, we define several definitions of the IAIP, Table Pseudo Function Tab and Equal. Next, we propose the T-gate as Building Block(BB) and describe the mathematical representation for the notation of T-gate. Then we discuss the important properties for the T-gate. Also, we propose the several relationships that are Identity relationship, Constant relationship, Tautology relationship and Mod R cyclic relationship. Then we propose Mod R negation gate and the manipulation of the don't care conditions. Finally, we propose the algorithm for the constructing the method of the digital logic systems over finite fields. The proposed method is more efficiency and regularity than my other earlier methods. Thet we prospect the future research and prospects.

• Journal of Korean Society of Steel Construction
• /
• v.22 no.6
• /
• pp.543-551
• /
• 2010

The end-reinforced composite-beam (eco-girder) system was developed that has characteristics of the existing composite beams such as reduced floor height and increased strength. With it, less use of steel is expected. In the eco-girder system, only both ends of the steel-frame beam, which are vulnerable to the ultimate moment, are reinforced with steel plates so that the steel frame beam design will be based on the moment at the beam center. This study used fiber element analysis, which is a simple representation and numerical integration of the principles of the detailed Finite Element Method(FEM), to predict the hysteretic behavior of reinforced composite beams under cyclic loading. The validity of the numerical method was verified by comparing the results of this study with those of previous studies. In addition, the hysteretic behavior of the eco-girder was compared with that of the existing composite beams.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.4
• /
• pp.621-628
• /
• 2017

The efficiency of implementation of the arithmetic operations in finite fields depends on the choice representation of elements of the field. It seems that from this point of view normal bases are the most appropriate, since raising to the power 2 in $GF(2^n)$ of characteristic 2 is reduced in these bases to a cyclic shift of the coordinates. We, in this paper, introduce our algorithm to transform fastly the conventional bases to normal bases and present the result of H/W implementation using the algorithm. We also propose our algorithm to calculate the multiplication and inverse of elements with respect to normal bases in $GF(2^n)$ and present the programs and the results of H/W implementations using the algorithm.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.6
• /
• pp.800-807
• /
• 2016

We propose a fast algorithm using Extreme Contour Point (ECP) to detect the angle of rotated images, is implemented by rotation feature of one covered frame image that can be applied to correct the rotated images like in image processing for real time applications, while CORDIC is inefficient to calculate various points like high definition image since it is only possible to detect rotated angle between one point and the other point. The two advantages of this algorithm, namely compatibility to images in preprocessing by using Sobel edge process for pattern recognition. While the other one is its simplicity for rotated angle detection with cyclic shift of two $1{\times}n$ matrix set without complexity in calculation compared with CORDIC algorithm. In ECP, the edge features of the sample image of gray scale were determined using the Sobel Edge Process. Then, it was subjected to binary code conversion of 0 or 1 with circular boundary to constitute the rotation in invariant conditions. The results were extracted to extreme points of the binary image. Its components expressed not just only the features of angle ${\theta}$ but also the square of radius $r^2$ from the origin of the image. The detected angle of this algorithm is limited only to an angle below 10 degrees but it is appropriate for real time application because it can process a 200 degree with an assumption 20 frames per second. ECP algorithm has an O ($n^2$) in Big O notation that improves the execution time about 7 times the performance if CORDIC algorithm is used.

• Coupled systems mechanics
• /
• v.4 no.1
• /
• pp.37-65
• /
• 2015

Modeling and simulation of mechanical response of infrastructure object, solids and structures, relies on the use of computational models to foretell the state of a physical system under conditions for which such computational model has not been validated. Verification and Validation (V&V) procedures are the primary means of assessing accuracy, building confidence and credibility in modeling and computational simulations of behavior of those infrastructure objects. Validation is the process of determining a degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model. It is mainly a physics issue and provides evidence that the correct model is solved (Oberkampf et al. 2002). Our primary interest is in modeling and simulating behavior of porous particulate media that is fully saturated with pore fluid, including cyclic mobility and liquefaction. Fully saturated soils undergoing dynamic shaking fall in this category. Verification modeling and simulation of fully saturated porous soils is addressed in more detail by (Tasiopoulou et al. 2014), and in this paper we address validation. A set of centrifuge experiments is used for this purpose. Discussion is provided assessing the effects of scaling laws on centrifuge experiments and their influence on the validation. Available validation test are reviewed in view of first and second order phenomena and their importance to validation. For example, dynamics behavior of the system, following the dynamic time, and dissipation of the pore fluid pressures, following diffusion time, are not happening in the same time scale and those discrepancies are discussed. Laboratory tests, performed on soil that is used in centrifuge experiments, were used to calibrate material models that are then used in a validation process. Number of physical and numerical examples are used for validation and to illustrate presented discussion. In particular, it is shown that for the most part, numerical prediction of behavior, using laboratory test data to calibrate soil material model, prior to centrifuge experiments, can be validated using scaled tests. There are, of course, discrepancies, sources of which are analyzed and discussed.

• The Journal of Natural Sciences
• /
• v.8 no.1
• /
• pp.115-121
• /
• 1995

The Conventional database management system is not applicable because of their inadequate performance and difficulty of CAD database that is dependant to hierarchical structure and to repeat accesses of large data. For effective management and easy tool integration of CAD database, hierarchy Interface System(HIS) is designed and GROCO(Graph Representation fOr Complex Objects) Model is presented. Hierarchy Interface System which is composed of two subsystems of a configurator and a converter is designed for the interface between a conventional database management system and CAD tools. GROCO Model is a directed cyclic graph having five node-types for representing semantics and supports efficiently CAD database characters having a hierarchical structure of complex objects.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.4
• /
• pp.136-152
• /
• 1993

This study is intended to develop an accurate and efficient, analytical thin-walled beam model, and to analyze overall behavior of SWATH ship under repeated overloads. SWATH ship is idealized to a simple thin-walled beam of channel type. An analytical beam model is formulated by the stress component with geometrically(fully) nonlinear thin-walled beam and treated numerically by the Finite Element Method. An efficient cyclic plasticity model is also included, suitable for material nonlinear behavior under complex loading conditions. The local stress distribution can be very exactly represented and the material yielding propagation, easily traced. In addition, the local treatment of the effect of shear deformation improves the representation of deformation and shear stress distribution along the section contour. It is desirable to use the analytical thin-walled beam at initial design stage, and is needed to improve the practical thin-walled beam model advancing the current approach.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.5
• /
• pp.677-690
• /
• 1995

In this paper, we propose the high efficiency data compression capable of error control using block-sorting, move to front(MTF) and arithmetic code with variable length in to fixed out. First, the substring with is parsed into length N is shifted one by one symbol. The cyclic shifted rows are sorted in lexicographical order. Second, the MTF technique is applied to get the reference of locality in the sorted substring. Then the preprocessed sequence is coded using VF(variable to fixed) arithmetic code which can be limited the error propagation in one codeword. The key point is how to split the fixed length codeword in proportion to symbol probabilities in VF arithmetic code. We develop the new VF arithmetic coding that split completely the codeword set for arbitrary source alphabet. In addition to, an extended representation for symbol probability is designed by using recursive Gray conversion. The performance of proposed method is compared with other well-known source coding methods with respect to entropy, compression ratio and coding times.

• Journal of the Korean Society of Safety
• /
• v.11 no.1
• /
• pp.16-26
• /
• 1996

In a series of original papers, [1-17] efficient methods and algorithms have been presented, for the exact solution of many reliability problems represented by binary networks. A starting point of these methods was the concept of domination, firstly introduced in ,elation with reliability problems in [2]. It's application to directed networks resulted in the development of a topological formula for the classical problem of the two terminal reliability. This result was extended later to the all-terminal and the k-terminal reliability problems. All papers mentioned above use a path oriented representation for the network topology. In practical applications, however, it is common and often advantageous to work with cut sets. This article considers the Domination theory for reliability problem of a network. Some topological formula are derived and the power and the application of this formula are shown through the alternative proof of topological formula of A. Satyanarayana [2].

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.458-458
• /
• 2012

Climate extreme variability is a major cause of disaster such as flood and drought types occurred in Korea and its effects is also more severe damage in last decades which can be danger mature events in the future. The main aim of this study was to assess the effectives of climate change on drought for an agriculture as Nakdong basin in Korea using climate change data in the future from data of General Circulation Models (GCM) of ECHO-G, with the developing countries like Korea, the developed climate scenario of medium-high greenhouse gas emission was proposed of the SRES A2. The Standardized Precipitation Index (SPI) was applied for drought evaluation. The drought index (SPI) applied for sites in catchment and it is evaluated accordingly by current and future precipitation data, specific as determined for data from nine precipitation stations with data covering the period 1980-2009 for current and three periods 2010-2039, 2040-2069 and 2070-2099 for future; time scales of 3month were used for evaluating. The results determined drought duration, magnitude and spatial extent. The drought in catchment act intensively occurred in March, April, May and November and months of drought extreme often appeared annual in May and November; drought frequent is a non-uniform cyclic pattern in an irregular repetitive manner, but results showed drought intensity increasing in future periods. The results indicated also spatial point of view, the SPI analysis showed two of drought extents; local drought acting on one or more one of sites and entire drought as cover all of site in catchment. In addition, the meteorology drought simulation maps of spatial drought representation were carried out with GIS software to generate for some drought extreme years in study area. The method applied in this study are expected to be appropriately applicable to the evaluation of the effects of extreme hydrologic events, the results also provide useful for the drought warning and sustainable water resources management strategies and policy in agriculture basins.