• Journal of the Korea institute for structural maintenance and inspection
• /
• v.13 no.4 s.56
• /
• pp.170-179
• /
• 2009

Channel-type lining board(CLB) is a welded steel structure used in the field of open cut subway excavation and building basement construction. Lining board is generally installed at the underground environment which is exposed to corrosion factors such as humidity, temperature and corrosive gases. This study evaluates reusability of the corroded lining board by experimental and analytical method. Static loading tests were performed to know serviceability of corroded CLB after checking thickness loss of the used CLB parts. Strain of the plates and middle point deflection was measured simultaneously. According to experimental test results and comparison with numerical analysis, the thickness loss of the plates by corrosion makes more vertical displacements and stresses in members under the DB vehicle load considering impact factor. As a result, this paper is proposed a way to evaluate used and corroded CLB by checking the plates thickness and it makes construction engineers easy to know optimal time to replace their old CLBs with new one.

• Journal of Veterinary Clinics
• /
• v.19 no.1
• /
• pp.28-36
• /
• 2002

These studies were carried out to develop some easy-checking thermometers instead of taking temperature of ectum for the farmers to detect easily a diseased animal with fever. Thermometers such as pincher-type, hood-type, raser-type, stick-type, and wrap-type were devised for the experiments. The experimental animals were cattle, horse, swine, aprine, and canine. Temperature-taking parts of the body were ear, shoulder, axilla, gluteal part, and coccygeal part according o the devised thermometer. Rectal temperature was taken at the same time for the comparison of temperature between rectum nd the certain part. The difference of temperature between rectum and shoulder part using eraser-type thermometer for the domestic animals were $3.37^{\circ}C$ for cattle, $1.94^{\circ}C$ for horses, $2.04^{\circ}C$ for swine, $1.27^{\circ}C$ for caprine, $0.9^{\circ}C$ for canine. The difference of temperature between rectum and gluteal part using eraser-type thermometer for domestic animals were $3.46^{\circ}C$ for cattle, $1.98^{\circ}C$ for horses, $2.22^{\circ}C$ for swine, and $1.1^{\circ}C$ for canine. The difference of intra-individual temperature taken by eraser-type thermometer of shoulder and gluteal part were 0.3 and $0.8^{\circ}C$ for cattle, 0.7 and $1.1^{\circ}C$ for horses, 0.6 and $0.7^{\circ}C$ for swine, 0.9 and $1.1^{\circ}C$ for canine. The difference of temperature between rectum and shoulder part taken by hood-type thermometer for cattle was $3.93^{\circ}C$ and the difference of intra-individual temperature was $0.8^{\circ}C$. The difference of temperature between rectum and gluteal part taken by stick-type thermometer for cattle was $3.7^{\circ}C$ and the difference of intra-individual temperature was $0.8^{\circ}C$. The other types of thermometers than the above three were not proved to be reliable to detect temperature of domestic animals. It was concluded that hood-type, stick-type and eraser-type thermometers are recommendable devices of thermometer to detect easily the status of body temperature and that the eraser-type was proved to be a practical one of the thermometers used in this study.

• Journal of Korean Public Health Nursing
• /
• v.21 no.2
• /
• pp.241-251
• /
• 2007

Purpose: To identify the effects on tuberculosis mortality of a tuberculosis control program conducted at 108 community health centers in terms of structure and process. Methods: The dependent variable was tuberculosis mortality, and the independent variables were the structure(type of centers, staff, nurses, doctors, budget) and process(chest X-ray checking, immunization, case detection, health education, patients registering & managing) of the tuberculosis control programs at the community health centers. Data were analyzed using descriptive analysis and stepwise regression analysis. Result: Tuberculosis morality was positively correlated with type of centers(rural area)(p<0.01), but negatively correlated with type of centers(large cities) (p<0.01), (middle cities)(p<0.05), staff FTE(p<0.05), and number of nurses(p<0.05). Regression analysis indicated that type of centers(rural area)($\beta$=0.457) and case detection($\beta$=0.234) had a significant effect on tuberculosis mortality. Conclusion: Ultimately, this study will provide information to improve the effectiveness of tuberculosis control programs in community health centers.

• Journal of the korean Society of Automotive Engineers
• /
• v.11 no.4
• /
• pp.35-42
• /
• 1989

The major purpose of this paper is a study on the effect of die profile radius on the formability of spring-type blankholder system in deep drawing process. By drawing the various materials, formability is studied by means of checking the drawing force, blankholding force variation, limiting drawing ratio and wall wrinkling phenomenon. As the die profile radius increases, the maximum drawing force and maximum blankholding force decrease regardless of lubrication condition. Because better lubrication induces blankholding force to rise, spring type blankholder system is better to protect flange wrinkling phenomenon than constant pressure type. And wall wrinkling phenomenon was not detected in experimental die radius range, so the Miyakawa's upper wrinkling limit is understimated in case of material tested.

• The Journal of Korea Robotics Society
• /
• v.2 no.1
• /
• pp.55-63
• /
• 2007

Mobile robots traveling on rough terrain need several algorithms to overcome obstacles. In this paper, we propose the step-type obstacle traversal algorithm to adapt the mobile robot with six arms and wheels to travel on rough terrain. Obstacle traversal is composed of two different stages: planning and control. In planning stage, the required joint torque of each arm as well as the interference between the wheels and the arms are analyzed to guarantee traversing obstacles. Control stage includes such steps as checking distance to obstacle, determining the height and length of obstacle, performing arm motion according to sensed torque data, and evaluating safety at every instance. The proposed algorithm is designed and implemented for CALEB 1 six legged robot developed in the laboratory and verified by simulation and experiment in outdoor environment.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.506-507
• /
• 1992

When it comes to the 'Leak Detector System' generally, our country has a large income 'Rotary Type Leak Detector' of foreign goods. The completed development of the 'Line Type Leak-Detector' system was produced to check Whether the containers for small and large on the filling line are auto defective. This system is applied to the filling package Processing during the production and contributed to inproving competiveness of domestic containers manufactures of all society of Industry. Also, high precision and realiablity, very compact size, low cost and Easy set-up etc. by checking the experimental data directly plan, Design and making for '1 Compression Head Control Leak Detector System'. This flexcible system can be equipped with multiple Compression heads depending on the requested prodution test rate and test precision.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.380-382
• /
• 2007

As the society changes more to the aging society in future, many healthcare product are developed and distributed more on the market. The digital wrist band tye blood pressure device for home use are popular already in the market. It is useful for checking blood pressure level at home and control of hypertension. Especially. It is very essential home device to check the health condition of blood circulation disease. Nowadays many product types are available. But the measurement accuracy of blood pressure is not enough compared to the mechanical type. It needs to be upgraded to assure the precise health data enough to use in the hospital. The structure, feature and output signal of capacitor type pressure sensors are analyzed. An improved design fa capacitor sensor is suggested. It shows more precise health data after use on a wrist band type health unit. They can be applied for remote u-health medical service.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.51-55
• /
• 2005

Assuring integrity of permission assignment (PA) constraints is a difficult task in role-based access control (RBAC) because of the large number of constraints, users, roles and permissions in a large enterprise environment. We provide solutions for this problem using the conflict concept. This paper introduces the conflict model in order to understand the conflicts easily and to detect conflicts effectively. The conflict model is classified as a permission-permission model and a role-permission model. This paper defines two type conflicts using the conflict model. The first type is an inter-PA-constraints (IPAC) conflict that takes place between PA constraints. The other type is a PA-PAC conflict that takes place between a PA and a PA constraint (PAC) Also, the conditions of conflict occurrence are formally specified and proved. We can assure integrity on permission assignment by checking conflicts before PA and PA constraints are applied.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• Steel and Composite Structures
• /
• v.3 no.2
• /
• pp.97-110
• /
• 2003

An experimental study was conducted to investigate the behavior of eccentric lightweight aggregate concrete-encased composite columns. This study aims at verifying the validity of such type of concrete in composite construction and checking the adequacy of the AISC-LRFD and the British Bridge Code BS 5400 specifications in predicting the column strength. Sixteen full-scale pin ended columns subjected to uniaxial bending about the major axis in symmetrical single curvature were tested.