• Journal of Applied and Pure Mathematics
• /
• v.5 no.1_2
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.299-306
• /
• 2006

Using a level set method and topological derivatives, a topological shape optimization method that is independent of an initial design is developed for linearly elastic structures. In the level set method, the initial domain is kept fixed and its boundary is represented by an implicit moving boundary embedded in the level set function, which facilitates to handle complicated topological shape changes. The 'Hamilton-Jacobi (H-J)' equation and computationally robust numerical technique of 'up-wind scheme' lead the initial implicit boundary to an optimal one according to the normal velocity field while minimizing the objective function of compliance and satisfying the constraint of allowable volume. Based on the asymptotic regularization concept, the topological derivative is considered as the limit of shape derivative as the radius of hole approaches to zero. The required velocity field to update the H -J equation is determined from the descent direction of Lagrangian derived from optimality conditions. It turns out that the initial holes is not required to get the optimal result since the developed method can create holes whenever and wherever necessary using indicators obtained from the topological derivatives. It is demonstrated that the proper choice of control parameters for nucleation is crucial for efficient optimization process.

• Membrane Journal
• /
• v.18 no.1
• /
• pp.1-6
• /
• 2008

After membrane fouling factors in acrylic wastewater were minimized by pretreatment process accompanied with coagulation-filtration-neutralization, it was utilized in UF/RO process. After composing of ultrafiltration and reverse osmosis module set according to types and kinds of membrane, the separation characteristics were examined with the variation temperature and pressure using pretreated acrylic wastewater by membrane module sets. It was found that permeate flux of UF module in module set 4 was about two${\sim}$three times larger than that of UF module in module set 1. Final quantity of permeate from the module set 2 and module set 3 combined with tubular module was shown very good result. It was shown that the removal efficiency of TDS, T-N and COD was very low and was not dependent on the variation of temperature and pressure in all UF modules. The removal efficiency of TDS, T-N and COD was very excellent in RO module. Final water quality of acrylic wastewater was satisfied with effluent allowances limit and membrane module sets were ascertained to reuse wastewater.

• The Journal of Engineering Geology
• /
• v.25 no.1
• /
• pp.9-20
• /
• 2015

A strainmeter goes through a period of instability immediately after installation. To determine the stability of strainmeters installed around the Andong fault zone, South Korea, an x-MR control chart analysis and a T² control chart analysis were conducted. The x-MR control chart analysis used an empirically determined 3σ control limit line to identify abnormal data in recently installed strain gauges. In the T² control chart analysis, the control limit line was set at a confidence of 95%. A comparison of the early stage of measurement with the terminal stage of measurement for three months after installation indicates that stabilization depends on the location and direction of each strain gauge in x-MR control chart analysis. In the T² control chart analysis, the number of values exceeding the control limit line decreased as the terminal stage was approached. Based on these results, it is suggested that the 3σ control limit line of an x-MR control chart can be used as a standard for single gauge stability, and that the 95% confidence limit of a T² control chart analysis could be used as the standard for the stability of multi-gauge strainmeters.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.12 no.6
• /
• pp.437-444
• /
• 2002

This paper is to provide the basic way of a acoustical evaluation and efficient control noise by investigating the limits of perceptual loudness of living environment and by finding out any correlation between Physical characteristics of noise and psychoacoustic parameters. The limits of perceptual loudness were selected by the subjects in a chamber for residential and working environment. And the noise sources were analyzed to find out whether there is any correlation with Zwicker parameters and ACF factors. In this study especially, to set up the domestic evaluation grade about floor impact noise. we'd like to suggest the loudness Perception research result as fundamental resource for setting up the evaluation grade through the result that is based on annoyance. In the result of this research, upper limit of heavy-weight impact noise was L-60, and lower limit of it was L-50. On the other hand, upper limit of light-weight impact noise was L-70, and lower limit of it was L-55. It seemed that the loudness of noise from vacuum cleaner noise does not affect its perceived noisiness. Noises implicated In human such as floor walking noise and talking sound, are the most irritating noise in office environment.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.18 no.1
• /
• pp.53-60
• /
• 2016

This study analyzed a monitoring data, based on the initial limit values of monitoring in subway, of earth pressure and pore water pressure. The data is obtained from 8 sections of the Seoul metropolitan subway line No 6, 7 and 9 in about 5 years. Also, a research is performed to set up the limit values of management monitoring, which will be applied to management monitoring in tunnel, through comparing the limit values of overseas management monitoring data and that of domestic management monitoring data. And the result obtained from comparison show that the safety phase is 60% of allowable pressure, the attention phase is 80% of allowable pressure and the precision analysis phase is 100% of allowable pressure. Also, we presented a method of management monitoring by the absolute value which can be easily applied easily in practical affairs.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.17 no.1
• /
• pp.25-32
• /
• 2015

This study analyzed a monitoring data, based on the initial limit values of monitoring in subway, of concrete lining stress and reinforcement stress. The data is obtained from 7 sections of the Seoul metropolitan subway line No 6, 7, and 9 in about 5 years. Also, a research is performed to set up the limit values of management monitoring, which will be applied to management monitoring in tunnel, through comparing the limit values of overseas management monitoring data and that of domestic management monitoring data. And the result obtained from comparison shows that the safety phase is 60% of allowable stress, the attention phase is 80% of allowable stress and the precision analysis phase is 100% of allowable stress. Also, we presented a method of management monitoring by the absolute value which can be easily applied in practical affairs.

• Structural Engineering and Mechanics
• /
• v.19 no.1
• /
• pp.1-20
• /
• 2005

The expertise required in the judicious use of nonlinear finite element (FE) packages for design-assistance purposes is not widely available to the average engineer, whose sole aim may be to obtain an estimate for a single design parameter, such as the limit load capacity of a structure. Such a parameter may be required for the design of a proposed reinforced concrete (RC) floor slab or bridge deck with a given set of geometrical and material details. This paper outlines a procedure for developing design-assistance equations for carrying out such predictions for partially restrained RC slabs under uniformly distributed loading condition, based on a database of FE results previously generated from a large number of 'numerical model' slabs. The developed equations have been used for predicting the peak loads of a number of experimental RC slabs having varying degrees of edge restraints; with results showing a reasonable degree of accuracy and low level of scatter. The simplicity of the equations makes them attractive and their successful use in the field of application reported in this paper suggest that the outlined procedure may also be extended to other classes of concrete structures.

• Wind and Structures
• /
• v.7 no.4
• /
• pp.251-264
• /
• 2004

The effects of a class of nonlinear Tuned Mass Dampers on the aeroelastic behavior of SDOF systems are investigated. Unlike classical linear TMDs, nonlinear constitutive laws of the internal damping acting between the primary oscillator and the TMD are considered, while the elastic properties are keept linear. The perturbative Multiple Scale Method is applied to derive a set of bifurcation equations in the amplitude and phase and a parametric analysis is performed to describe the postcritical scenario of the system. Both cubic- and van der Pol-type dampings are considered and the dependence of the limit-cycle amplitudes on the system parameters is studied. These new results, compared with the previously obtained bifurcation scenario of a SDOF aeroelastic oscillator equipped with a linear TMD, show a detrimental effect on the maximum limit-cycle amplitude reduction of the nonlinear TMD. However, the analyses evidence that in the parameter region away from the perfect tuning condition the nonlinear connection can be used to tune the system with an enhancement of the limit-cycle amplitude reduction.

• Agribusiness and Information Management
• /
• v.3 no.1
• /
• pp.11-22
• /
• 2011

This study describes the development of a web-based system that collects all data generated in the research conducted to set pre-harvest residue limits (PHRLs) for agricultural product safety control. These data, including concentrations of pesticide residues, limit of detection, limit of quantitation, recoveries, weather charts, and growth rates, are incorporated into a database, a regression analysis of the data is performed using statistical techniques, and the PHRL for an agricultural product is automatically computed. The development and establishment of this system increased the efficiency and improved the reliability of the research in this area by standardizing the data and maintaining its accuracy without temporal or spatial limitations. The system permits automatic computation of the PHRL and a quick review of the goodness of fit of the regression model. By building and analyzing a database, it also allows data accumulated over the last 10 years to be utilized.