• Safety and Health at Work
• /
• 제6권1호
• /
• pp.18-24
• /
• 2015

Background: In 2006, three farmers died at the bottom of an agricultural shallow well where the atmosphere contained only 6% oxygen. This study aimed to document the variability of levels of oxygen and selected hazardous gases in the atmosphere of wells, and to identify ambient conditions associated with the low-oxygen situation. Methods: A cross-sectional survey, conducted in June 2007 and July 2007, measured the levels of oxygen, carbon monoxide, hydrogen sulfide, and explosive gas (percentage of lower explosive limit) at different depths of the atmosphere inside 253 wells in Kamphaengphet and Phitsanulok provinces. Ambient conditions and well use by farmers were recorded. Carbon dioxide was measured in a subset of wells. Variables independently associated with low-oxygen condition (<19.5%) were identified using multivariate logistic regression. Results: One in five agricultural shallow wells had a low-oxygen status, with oxygen concentration decreasing with increasing depth within the well. The deepest-depth oxygen reading ranged from 0.0% to 20.9%. Low levels of other hazardous gases were detected in a small number of wells. The low-oxygen status was independently associated with the depth of the atmosphere column to the water surface [odds ratio (OR) = 13.5 for 8-11 m vs. <6 m], depth of water (OR = 0.17 for 3-<8 m vs. 0-1 m), well cover (OR = 3.95), time elapsed since the last rainfall (OR = 7.44 for >2 days vs. <1 day), and location of well in sandy soil (OR = 3.72). Among 11 wells tested, carbon dioxide was detected in high concentration (>25,000 ppm) in seven wells with a low oxygen level. Conclusion: Oxygen concentrations in the wells vary widely even within a small area and decrease with increasing depth.

• 소음진동
• /
• 제11권2호
• /
• pp.301-306
• /
• 2001

Electro-Rheological (ER) fluid is applied to a controllable squeeze film damper (SFD) for stabilizing a flexibly supported rotor system. ER fluid is a class of functional fluid whose yield stress varies according to the applied electric field strength, which is observed as viscosity variation of the fluid. In applying ER fluid to a SFD, a pair of rings of the damper can be used as electrodes. When the electrodes are divided into a horizontal pair and a vertical one, the SFD can produce damping force in each direction independently. A prototype of the directionally controllable SFD was constructed and its performance was experimentally and numerically investigated in the present work.

• Bulletin of the Korean Chemical Society
• /
• 제16권9호
• /
• pp.850-858
• /
• 1995

Golden-rule like formulas have been used without theoretical basis to calculate the resonance lifetimes and final state distributions in the predissociation of van der Waals molecules. Here we present their theoretical basis by extending Fano's configuration interaction theory. Such extensions were independently done by Farnonux [Phys. Rev. 1985, 25, 287] but his work, unfortunately, was not well known outside some small group of people in the field of Auger spectroscopy. Since my extension is easier to understand than his, it is presented here. Theoretical basis of Golden rule like formulas used in the predissociation of van der Waals molecules was obtained by using such extensions. Factors responsible for several aspects of predissociation dynamics, such as variations of dynamics as functions of resonance lifetimes, or variations in shapes of final quantum state distributions of photofragments around resonances, were identified. Parameters, or dynamical information that could be obtained from the measurement of partial cross section spectra were accordingly determined. The theory was applied to the vibrational predissociation of triatomic van der Waals molecules and its result was compared with those calculated by close-coupling method. An example where Golden-rule like expression fails and branching ratios vary greatly around a resonance was considered.

• International Journal of Computer Science & Network Security
• /
• 제22권9호
• /
• pp.35-42
• /
• 2022

The article deals with the role of extra-curricular work by means of multimedia technologies in order to improve the quality of training of future specialists. An important condition for achieving high results in training specialists is the optimal combination of classroom and independent extra-curricular work of students by means of multimedia technologies. Very significant is the development of student independence, the formation of skills of independent search activity, the ability to take responsibility, independently solve a problem, find constructive solutions, a way out of a crisis situation, and so on. Extra-curricular work forms students' ability to master the techniques of analysis, synthesis, generalization, comparison; develops flexibility of thinking; opens up opportunities for the development and stabilization of positive learning motives to activate the process of mastering knowledge by means of multimedia technologies as a means of forming the personality of a highly qualified specialist. The concept of multimedia as one of the priority areas of Information Technology, which plays a particularly important role in the process of informatization of education, is revealed, and its advantages in education are shown. The advent of multimedia systems optimizes transformations in education, in many areas of professional activity, science, art, etc. The necessity of distance learning to improve the quality of training of future specialists using multimedia technologies in extra-curricular work is justified. The effectiveness of pedagogical support in the process of distance learning is achieved by the following conditions, which is revealed in the article. Various forms and types of extra-curricular work of students that are used in the modern practice of the educational environment of a higher education institution are described. Scientific and informational activity is considered a key area of information activity. The analysis of scientific and information activities in the field of education allows us to identify its main functions, which emphasize the growing role of scientific information in the education system, in particular, extra-curricular work using multimedia technologies. Operational, complete, accurate, targeted information that meets objective and subjective needs becomes an important link between the field of management, science and practice.

• 한국유체기계학회 논문집
• /
• 제2권2호
• /
• pp.32-38
• /
• 1999

An experimental study is performed to investigate the frequency effects of the excitation force on the linear stiffness and damping coefficients of a LOP (load on pad) type five-pad tilting pad journal bearing with the diameter of 300.91 mm and the length of 149.80 mm. The main parameter of interest in the present work is excitation frequency to shake the test bearing. The excitation frequency is controlled independently, using orthogonally mounted hydraulic exciters. The relative movement between the bearing and shaft, and the acceleration of the bearing casing are measured as a function of excitation frequency using the different values of bearing load and shaft speed. Measurements show that the variation of excitation frequency has quite a little effect on both stiffness and damping coefficients. Both direct stiffness and damping coefficients in the direction of bearing load decrease by the increase of shaft speed, but increase with the bearing load.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 1998년도 유체기계 연구개발 발표회 논문집
• /
• pp.173-179
• /
• 1998

An experimental study is performed to investigate the frequency effects of the excitation force on the linear stiffness and damping coefficients of a LOP (load on pad) type five-pad tilting pad journal bearing with the diameter of 300.91 mm and the length of 149.80 mm. The main parameter of interest in the present work is excitation frequency to shake the test bearing. The excitation frequency is controlled independently, using orthogonally mounted hydraulic exciters. The relative movement between the bearing and shaft, and the acceleration of the bearing casing are measured as a function of excitation frequency using the different values of bearing load and shaft speed. Measurements show that the variation of excitation frequency has quite a little effect on both stiffness and damping coefficients. Both direct stiffness and damping coefficients in the direction of bearing load decrease by the increase of shaft speed, but increase with the bearing load.

• 산업경영시스템학회지
• /
• 제20권43호
• /
• pp.1-16
• /
• 1997

This paper improves the autonomy for supplier's schedule and the flexibility of the final assembly line. The final assembly line is a single work station and each product taking different assembly time is considered. In the assembly schedule, the heuristic method based on the goal chasing method is used. Consequently, suppliers can independently determine their output rates and thus, change their workload pattern according to their needs and priorities. Moreover, this flexibility can help to avoid expensive final-assembly-line stoppages in case of sudden part supply disruptions. The sequencing method can be easily implemented into an existing just-in-time system. In addition, the mathematical model was formulated and the algorithm was explained through the flow chart. The numerical example was given and the efficiency of this method is shown through the analysis of computational results of that example.

• 전기의세계
• /
• 제27권5호
• /
• pp.5-12
• /
• 1978

1.Power utilities and CRIEPI are very active in almost all aspects of power systems research. 2.About 50% of research activity of CRIEPI is made under the joint work with power utilities. 3.Research motivation of manufactures are mainly stimulated by the need of power utilities and manufacturers are closely collaborating with power utilities. 4.Main effort of universities is concentrated upon the theoretical aspects of network analysis and the means of stability improvement. Univer sities are doing research rather independently of industry unless inexceptional cases. 5.Universities are making a significant contribution to the exploration of new horizon of power systems engineering, namely, in the research on the social impact on the future of power system. 6.Current main interest of power systems reserch is centered around the stability problem and power system operation and control. Research activity in power system planning is rather low as compared to that in these two major fields. A similar statement holds for the analysis of electromagnetic transients and short circuit analysis. However a new research field is sprouting in the area of power system protection.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• pp.339-342
• /
• 2000

This paper presented a FPGA design of SEED, which is the Korea standard 128-bit block cipher. In this work, SEED was designed technology- independently for other applications such as ASIC or core-based designs. Hence in case of changing the target of design, it is not necessary to modify design or need only minor modification to reuse the design. Since SEED algorithm requires a lot of hardware resources, each unit was designed only once and used sequentially. So, the number of gates was minimized and SEED algorithm was fitted in FPGA without additional components. It was confirmed that the rate of resource usage is about 80% in ALTERA 10KE and the SEED design operates in a clock frequency of 131.57 MHz and an encryption rate of 29 Mbps.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.