• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.268-273
• /
• 2000

A signaling system for a single-track railroad has been specified in CafeOBJ. In this paper, we describe the specification of arbitrary two adjacent stations connected by a single line that is called a two-station system. The system consists of two stations, a railroad line (between the stations) that is also divided into some contiguous sections, signals and trains. Each object has been specified in terms of their behavior, and by composing the specifications with projection operators the whole specification has been described. A safety property that more than one train never enters a same section simultaneously has also been verified with CafeOBJ.

• Structural Engineering and Mechanics
• /
• v.51 no.5
• /
• pp.773-792
• /
• 2014

In this paper, we study the inverse mode shape problem for an Euler-Bernoulli beam, using an analytical approach. The mass and stiffness variations are determined for a beam, having various boundary conditions, which has a prescribed polynomial second mode shape with an internal node. It is found that physically feasible rectangular cross-section beams which satisfy the inverse problem exist for a variety of boundary conditions. The effect of the location of the internal node on the mass and stiffness variations and on the deflection of the beam is studied. The derived functions are used to verify the p-version finite element code, for the cantilever boundary condition. The paper also presents the bounds on the location of the internal node, for a valid mass and stiffness variation, for any given boundary condition. The derived property variations, corresponding to a given mode shape and boundary condition, also provides a simple closed-form solution for a class of non-uniform Euler-Bernoulli beams. These closed-form solutions can also be used to check optimization algorithms proposed for modal tailoring.

• Journal of Korean Society on Water Environment
• /
• v.23 no.4
• /
• pp.434-439
• /
• 2007

Amended Water Quality Environment Preservation Law enacted that the areas where nonpoint pollution is serious can be designated as Nonpoint Source Management Region. According to Section 54 of Water Quality Environment Preservation Law, corresponding watersheds are areas where runoff from nonpoint pollution source may deteriorate river and lake water quality, residents' health and property, and ecosystem. The criteria are as followings; i) where nonpoint source contribution result in or will result in significant ecological destruction, iii) national or local industrial complexes and cities having population greater than one million where nonpoint source managements are necessary, iv) where specific measurement is necessary because of its geological and stratigraphic characteristics. In this research, detailed designation criteria was developed reflecting current nonpoint source management situation and its discharge characteristics. Depending on the result, target regions were also suggested. In additions, it will be desirable that the target regions are prioritized considering institutional execution availability, stakeholder's agreement, and connection with existing nonpoint source pollution management measures.

• Journal of The Geomorphological Association of Korea
• /
• v.23 no.3
• /
• pp.27-39
• /
• 2016

This study statistically investigates relationships between physical properties of rocks and topography by measuring and analyzing section, topographical and measured parameters of 58 bedrock outcrops at areas covered by gneiss, schist, granite, andesite, sandstone and limestone in the Korean Peninsula. Multiple linear regression analysis suggests that the joint spacing, joint continuity, weathering grade and maximum joint width of rocks among the measured parameters are related to the topographical parameters with statistical significances. Therefore, this study suggests that rock properties such as joint spacing, joint continuity, weathering grade and maximum joint width seem to greatly influence topography, although various factors can affect topographical parameters.

• Nuclear Engineering and Technology
• /
• v.53 no.10
• /
• pp.3158-3163
• /
• 2021

Chromium material is commonly used for fusion plasma facing applications because of the low neutron activation property. The Monte Carlo method is one of the useful ways to investigate the ion-target interactions. In this study, Chromium target irradiated by protons was investigated using Monte Carlo based simulation tools. In this context, the calculations of radiation damage on Chromium material irradiated with protons at 17.9 and 22.3 MeV energies were carried out using GEANT4 and SRIM codes. Besides, the cross sections for proton interaction with Chromium target were calculated by the TALYS 1.9 code using CTM + FGM, BSFGM, and GSFM level densities. As a result, GEANT4, SRIM and TALYS 1.9 codes provide a suitable tool for the predictions of radiation damage and cross cross section with proton irradiation.

• Nuclear Engineering and Technology
• /
• v.51 no.3
• /
• pp.784-791
• /
• 2019

In the present study, a series of tungsten austenitic stainless steel alloys have been developed by interchanging the molybdenum in standard SS316 by tungsten. This was done to minimize the long-life residual activation occurred in molybdenum and nickel after decommissioning of the power plant. The microstructure and mechanical properties of the prepared alloys are determined. For the sake of increasing multifunction property of such series of tungsten-based austenitic stainless steel alloys, gamma shielding properties were studied experimentally by means of NaI(Tl) detector and theoretically calculated by using the XCOM program. Moreover, fast neutrons macroscopic removal cross-section been calculated. The obtained combined mechanical, structural and shielding properties indicated that the modified austenitic stainless steel sample containing 1.79% tungsten and 0.64% molybdenum has preferable properties among all other investigated samples in comparison with the standard SS316. These properties nominate this new composition in several nuclear application domains such as, nuclear shielding domain.

• Applied Microscopy
• /
• v.50
• /
• pp.13.1-13.7
• /
• 2020

We examined the morphology of fertilized egg and ultrastructures of fertilized egg envelopes of Ancistrus cirrhosus belong to Loricariidae using light and electron microscopes. The fertilized eggs formed a mass on the spawning place and were yellowish, spherical, non-transparent, demersal, adhesive, and a narrow perivitelline space. But, the adhesiveness of fertilized eggs was disappeared after spawning excluding contact parts. The micropyle with funnel shape was surrounded by 15-19 furrow lines of egg envelope in a spoke-like pattern. The outer surface of egg envelope has smooth side and inner surface of egg envelope was rough with grooves. Also, the total thickness of the fertilized egg envelope was about 32.58 ± 0.85 ㎛ (n = 20), and the fertilized egg envelope consisted of three layers, an outer adhesive electron-dense layer, a middle layer with low electron density and an inner electron-dense layer with grooves in counter structure from other most teleost. Collectively, these morphological characteristics and adhesive property of fertilized egg, and ultrastructures of micropyle, outer surface, and section of fertilized egg envelope are showed species specificity.

• Progress in Superconductivity and Cryogenics
• /
• v.9 no.4
• /
• pp.11-15
• /
• 2007

In practical applications of HTS tapes for electric devices such as coils and power cables, the jointing of HTS tapes is inevitable even though long length tapes have recently been achieved. The critical current, $I_c$, degradation behaviors with tensile and bending deformations were investigated in commercially available YBCO coated conductor tapes. When the V-I relationship was measured at the jointed section of the lap-jointed YBCO CC tapes, the resistance at the joint decreased with increasing joint length. The critical load for 95% $I_c$ retention were determined for the IBAD and RABiTS YBCO tapes and they were 175 and 355N, respectively. Fracture occurred at the unjointed part which represents strong copper lamination and solder jointing. The electro-mechanical properties of lap-jointed CC tapes depended on the properties of single tapes. The V-I behavior under bending strain was similar with the tensile case.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.12
• /
• pp.38-44
• /
• 1995

This paper presents a method to measure the position and orientation of a Cylindrical Object(unknown the eiameter and length) lying on a floor, using a camera. The two extreme cross section of the cylinder will be viewed as distorted ellipese or circular are, while its limb edge will be shown as two straight lines. The diameter of the cylinder is determined from the geometric properties of the two straight lines, which in turn provides information regarding the length of the cylinder. From the 3-dimensional measurement, the 3D coordinates of the center points of the two extreme cross sections are determined to give the position and orientation of the cylinder. This method is used for automated pick-and-place operations of cylinder, such as sheet coils, or drums in warehouses.

• Journal of Korean Association for Spatial Structures
• /
• v.24 no.1
• /
• pp.37-45
• /
• 2024

Steel plate shear walls (SPSWs) have been recognized as an effective seismic-force resisting systems due to their excellent strength and stiffness characteristics. The infill steel plate in a SPSW is constrained by a boundary frame consisting of vertical and horizontal structural members. The main purpose of this study was to investigate deformation modes and hysteretic characteristics of steel plate shear walls (SPSWs) to consider the effects of their aspect ratios and width-to-thicness ratios. The finite element model (FEM) was establish in order to simulate cyclic responses of SPSWs which have the two-side clamped boundary condition and made of conventional steel grade. The stress distribution obtained from the FEA results demonstrated that the principal stresses on steel plate with large thickness-to-width ratio were more uniformly distributed along its horizontal cross section due to the formation of multiple struts.