• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.1
• /
• pp.39-51
• /
• 2015

The kt + r subscripted tribonacci numbers will be expressed by three k step apart tribonacci numbers for any 0 < r < $k{\in}\mathbb{Z}$.

• Communications of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.1-5
• /
• 2015

Let G be a cyclic group of prime power order. There is a natural embedding of $\mathbb{Z}[G]$ into a product of rings of integers of cyclotomic fields. In this paper the image of the embedding is determined, and we also compute the index of the image.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.8 no.1
• /
• pp.160-168
• /
• 1998

In order to investigate the color variation and the solubility limit in wagnerites by metal ion substitution, wagnerite ($A_2XO_4Z$) was synthesized and then, substituted by coloring metal ions, especially $CO^{2+},Ni^{2+}$ and $Cu^{2+}$ ions. When calcium was replaced with Mg, Co, Ni and Cu divalent ions, solid solutions were formed with a limited solubility. Single phase wagnerites were synthesized by the substitution of Ca with Mg and Co, and their colors were white and purple, respectively. Substitutions with $Li^+$ were succeeded in the specific composition and the substitution of vanadium for $X^{5+}$ were attempted, resulting in the wagnerites of dark purple, dark gold and light yellow colors. The substitution of chlorine was, also, attmepted for the fluorine site.

• Journal of Ocean Engineering and Technology
• /
• v.8 no.1
• /
• pp.33-40
• /
• 1994

Welding of structure produces welding residual stresses which influence buckling strength, brittle fracture strength and cold crack on the weld parts. Therefore, it is very important to accurately analyze the residual stress before welding in order to guarantee the safety of weldment. If the weld length is long enough compared to the thickness and the breadth of plate, thermal and mechanical behaviors in the middle portion of the plate are assumed to be uniform along the thickness direction(z-axis). Thus, the following conditions(so-called plane deformation) can be assumed for the plate except near its end;1) distributions of stress and strain are independent on the z-axis;2) plane normal to z-axis before deformation remains plane during and after deformation. In this paper, plane-deformation thermal elasto-plastic problem is formulated by being based on the finite element method. Moreover special regards and paid to the fact that material properties in elastic and plastic region are temperature-dependence. And the method to solve the plane-deformation thermal elasto-plastic problem is shown by using the incremental technique. From the results of analysis, the characterisics of distribution of welding residual stress and plastic strain with the production mechanism are clarified.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.464-465
• /
• 2008

This paper proposed a robust controller in order to handle the boom vibration of inspection robot. While a inspection robot moves on boom with vibration by weight occurs. Therefore, Boom as structure like cantilever beam appears vibration by weight of inspection robot. The Z axis of inspection robot operates with Sliding structure. inspection robot is used "Fuzzy Controller" for position control with Z axis. The developed robot system is composed of the specially designed car for inspection robot. The proposed Fuzzy Controllers are used to track position reference signal of Z axis. A Experiment verify that the proposed Fuzzy Controller design method can achieve favorable control performance with regard to external disturbance.

• Journal of Microbiology and Biotechnology
• /
• v.10 no.1
• /
• pp.63-68
• /
• 2000

GroEL is well known as a molecular chaperone. In order to determine the dynamic stress response of the Escherichia coli groE promoter, a groE-lacZ operon fusion in the chromosome was constructed. Stress leading to ${\sigma}^{32}$ synthesis induces transcription from E. coli groE promoter, since the promoter is ${\sigma}^{32}-regulated$. When the strain was stressed with ethanol, phenol, and sodium chloride, clear inductions of ${\beta}-galactosidase$ were observed. Two types of simultaneous stresses of sodium chloride and phenol induced the enze much more than either of the two alone, suggesting that stress was an additive. The combined stress resulted in the highest induction of the enzyme in this system. The groE-lacZ fusion strain developed in this study can conveniently be used to detect other harmful pollutants in the environment. Stress treatment of cells containing recombinant proteins, which need GroEl, by ethanol, phenol, or sodium chloride, might have a tendency to increase their biological activities.

• Proceedings of the KOSOMBE Conference
• /
• v.1990 no.05
• /
• pp.7-8
• /
• 1990

In this study, a new ensemble average technique was developed to measure cardiac output during treadmill exercise. Each dZ/dt peak (C point) was used as a starting point for ensemble averaging, instead of conventionally used R wave of ECG in order to prevent the peak dZ/dt waveform from blurring. In ease of using R wave as a reference, time interval from R wave to the peak of dZ/dt varies for each heart beat. Stroke volume, heart rate, and cardiac output of five male were successfully measured with Balke protocol using the new ensemble average technique.

• Journal of Computing Science and Engineering
• /
• v.10 no.1
• /
• pp.32-38
• /
• 2016

Navigating a large 3D virtual environment using a generic haptic device can be challenging since the haptic device is usually bounded by its own physical workspace. On the other hand, mouse interaction easily handles the situation with a clutching mechanism-simply lifting the mouse and repositioning its location in the physical space. Since the haptic device is used for both input and output at the same time, in many cases, its freedom needs to be limited in order to accommodate such a situation. In this paper, we propose a new mechanism called Z-Clutching for 3D navigation of a virtual environment by using only the haptic device without any interruption or sacrifice in the given degrees of freedom of the device's handle. We define the clutching state which is set by pulling the haptic handle back into space. It acts similarly to lifting the mouse off the desk. In this way, the user naturally feels the haptic feedback based on the depth (z-direction), while manipulating the haptic device and moving the view as desired. We conducted a user study to evaluate the proposed interaction technique, and the results are promising in terms of the usefulness of the proposed mechanism.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Journal of Power Electronics
• /
• v.10 no.1
• /
• pp.79-84
• /
• 2010

This paper presents a grid connected photo-voltaic system using a quasi-Z-source inverter (QZSI) for power stage reduction. The power stage can be reduced because of an additional shoot-through stage which is a characteristic of QZSI. Therefore, by utilizing a QZSI the system's efficiency can be increased. In this paper, for applying a QZSI to a PV system, control methods such as maximum power point tracking (MPPT), point of common coupling (PCC) current control and PWM are studied and verified through simulation and experiment. In order to explain the above controllers, the characteristics of a QZSI are first analyzed. Then the MPPT control technique with a modified P&O method, the PCC current control for the regulation of the dc-link capacitor voltage and the PWM methods for the proposed system are explained. The feasibility of the proposed algorithm is verified through simulation and experiment with a 3kW system.