• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.21-31
• /
• 1999

This paper deals with the development of universal algebras. We first investigate how the abstract algebra has emerged as a common generalization of arithmetic and algebra of logic, which was finalized by A. N. Whitehead in his "A treatise on universal algebra with applications." And we investigate also the process of formalizing universal algebras by G. Birkhoff. Birkhoff.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.5 no.2
• /
• pp.140-144
• /
• 2005

We investigate the P-generating functions, L-generating functions, and A-generating function, respectively induced by product t-norms, Lukasiewicz t-norms and additive semi-groups. Furthermore, we investigate the relations among them.

• Journal of the Korean Society of Safety
• /
• v.22 no.5
• /
• pp.33-40
• /
• 2007

Standard safety management costs can not be applied to each site with same rate, it is very difficult, because it depends on the experience, work method, work kind, work progress schedule, and hazard level of each construction company. Therefore, this study is to find out hazard level of each work kinds through questionnaire and interview and investigate analyze the status which standard safety management costs have been used. Also, this study is to show reasonable rates of standard safety management costs in construction industry and to set up countermeasures against those problem after reviewing its status in korea with in Japan and Europe. This study is to investigate eleven project kinds of domestic system, first, and to investigate eleven items of apartment bldg, office. Also this study is to investigate and analyze performed costs of presently processing worker finished work so that it shows a new reasonable rate against standard safety management costs in construction industry, in order to make basical data and material to be systemized.

• Journal of the Korean Society of Safety
• /
• v.21 no.5 s.77
• /
• pp.53-59
• /
• 2006

Standard safety management costs can not be applied to each site with same rate, it is very difficult, because it depends on the experience, work method, work kind, work progress schedule, and hazard level of each construction company. Therefore, this study is to find out hazard level of each work kinds through questionnaire and interview and investigate analyze the status which standard safety management costs have been used. Also, this study is to show reasonable rates of standard safety management costs in construction industry and to set up countermeasures against those problem after reviewing its status in korea with in Japan and Europe. The domestic system of standard safety management costs is not considered in the foreign country, while only related subjective items have been investigated and evaluated for this study. This study is to investigate eleven project kinds of domestic system, first, and to investigate eleven items of apartment bldg, office, civil work such as bridge, tunnel, dam, plant etc, secondly. Additionally, three items of gymnasium, railway, particular steel tower are investigated in this study. Also this study is to investigate and analyze performed costs of presently processing worker finished work so that it shows a new reasonable rate against standard safety management costs in construction industry, in order to make basial data and material to be systemized.

• Journal of Veterinary Clinics
• /
• v.18 no.4
• /
• pp.345-349
• /
• 2001

The aim of this study was to investigate the effect of sperm preservation according to the various kinds of commercially available semen extenders and to investigate the effect of sperm preservation according to the various temperature storages of fresh-extended porcine semen. To investigate the effect of sperm preservation according to the various kinds of commercially available semen extenders, porcine semens diluted in 3 semen extenders, Beltsville Thawing Solution(BTS), Androhep and Kiev, were cooled at $8^{\circ}C$ storage temperature with a controlled cooling rate of $2-4^{\circ}C$/h. Motility, progressive motility, normal sperm(%) and sperm morphology were assessed comparatively. In motility and progressive motility, Androhep extenders revealed better result than other extenders. In normal sperm(%) and sperm morphology, 3 semen extenders revealed similar results. To investigate the effect of sperm preservation according to the various temperature storages of fresh-extended porcine semen, porcine semens diluted in BTS extender, were cooled at 3 storage temperatures($8^{\circ}C$, $12^{\circ}C$ and $17^{\circ}C$) with a controlled cooling rate of $2-4^{\circ}C$/h. Motility, progressive motility, normal sperm(%) and sperm morphology were assessed comparatively. In motility and progressive motility, $8^{\circ}C$ treatment group revealed better result than $12^{\circ}C$ and $17^{\circ}C$ treatment groups. In normal sperm(%) and sperm morphology, 3 temperatures of treatment groups revealed similar results.

• Korean Journal of Applied Biomechanics
• /
• v.26 no.4
• /
• pp.421-426
• /
• 2016

Objective: The purpose of this study was to investigate how different levels of compression exerted on the femoral region (known as the power zone) by coated fabric influences the activation and anaerobic capacity of the rectus femoris. Method: Three different levels of compression on the rectus femoris of the participants, namely 0% (normal condition), 9% (downsize), and 18% (downsize), were tested. The material of the fabric used in this study was nonfunctional polyurethane. Surface electromyography test was used to investigate the activation of the rectus femoris, while the isokinetic test (Cybex, $60^{\circ}/sec$) and Wingate test were used to investigate the maximum anaerobic power. Results: The different compression levels (0%, 9%, and 18%) did not improve the strength and anaerobic capacity of the knee extensor. However, knee flexor interfered with activation of the biceps femoris, which is an agonist for flexion, during 18% compression. Conclusion: Compression garments might improve the stretch shortening cycle effect at the time of eccentric contraction and during transition from eccentric to concentric contraction. Therefore, future studies are required to further investigate these findings.

• Journal of Industrial Technology
• /
• v.20 no.A
• /
• pp.93-100
• /
• 2000

This research is to investigate the self-weight consolidation settlement and desiccation shrinkage settlement of soft marine dredging clay by performing numerical and experimental works. Large column test were carried out investigate the consolidation settlement considering effect of the self-weight and desiccation shrinkage, and centrifuge model test was also carried out investigate self-weight consolidation settlement. Results of centrifuge model and large column experiments about changes of settlement with time were analyzed by using the numerical technique of explicit finite difference method considering effect of the self-weight and desiccation based on the finite strain consolidation theory. Centrifuge model test results were in relatively good agreements with analyzed results in terms of self-weight consolidation settlement with time. Large column test results showed quite different values from the numerically estimated one, carried by experimental conditions.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2004.05a
• /
• pp.376-379
• /
• 2004

The objective of in this study makes investigation into the characteristics of concrete as to properties and blended ratio of crushed aggregates through experimental researches. In this study, river sand is blended with crushed sand as to investigate the quality change and characteristics of concrete with variation of blend ratio of crushed sand(50, 60, 70, 80, 90, $100\%$). Measured the air contents and slump to investigate properties of fresh concrete, and unit weight and compressive strength in age of 7, 28days to investigate properties of hardened concrete. The experimental results of crushed aggregates' qualities were all satisfied with Korea Standard's values.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.07a
• /
• pp.205-207
• /
• 2015

The purpose of this paper is to analyze maritime piracy and its economic implications with particular attention to attacks registered in the Gulf of Aden, and to investigate in theory what is the rationale behind engaging in criminal behavior. The paper also aims to investigate how the International community along with Sovereign States should allocate resources in order to make the seas a safer place and describe how closely inter-related maritime piracy, preventive and punitive measure put in place by Governments are. Elements of economics and ergonomics are taken into account in order to properly investigate the major legal issues relating to maritime security.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.27 no.2
• /
• pp.129-138
• /
• 2017

The subjective experiments on professional musicians using the four channel real-time convolution system were conducted to investigate the effect of reverberant sound pressure level ($L_{rev}$) for stage acoustics. The strength of $L_{rev}$ was changed to 2 dB steps to investigate the optimal strength for ease of performance and the subjective questionnaire survey was conducted to investigate the effect of subjective factor by $L_{rev}$. From the experimental results, a specific strength of $L_{rev}$ is related to ease of music performance. Loudness and directivity are highly correlated.