• 대한수학회지
• /
• 제48권1호
• /
• pp.117-132
• /
• 2011

By developing a linear algebra program involving many different structures associated to a three-graded H*-algebra, it is shown that if L is a Lie triple automorphism of an infinite-dimensional topologically simple associative H*-algebra A, then L is either an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism. If A is finite-dimensional, then there exists an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism F : A $\rightarrow$ A such that $\delta$:= F - L is a linear map from A onto its center sending commutators to zero. We also describe L in the case of having A zero annihilator.

• KIEAE Journal
• /
• 제5권4호
• /
• pp.41-50
• /
• 2005

The phenomenon due to the abundance of material civilization, and the destruct of environment provokes the damage to the order of nature in the earth. To prevent the fact, the necessity of the ecology start to become influential an important issue. In an outlook on the world of the ecological concept, human evolves with an environment as the mutual interdependence eventually. The approaching of the ecological method to reform of the present environment is an essentiality. In a viewpoint, the interior landscape starts to distinguish as an ecological concept in interior environment. To recognize the necessity of an interior landscape, comparison and analysis have been carried out in the worldwide examples of the lobby space in high-rise office buildings. In the results, the interior landscape is an essential fact to create an ecological interior environment. As the perceiving of the importance in the composition of the ecological environment, it needs to recognize the imminence the introduction of the ecological concept in the human life.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.319-322
• /
• 1997

In vector control technique, stator currents of an induction motor are transformed to equivalent d-q currents in reference frame consist of d and q axis, each of which is coincide with flux and torque direction respectively. In this paper, the new algorithm is suggested where the stator current through an induction motor torque is monitored by using a vector control method where an additional equipment is not need. The G-programming is used to apply the suggested algorithm in the experiment and this is applied to an actual system to monitor the torque value of an induction motor on real time. To solve the vibration trouble of estimated torque caused from an unbalanced real rotating speed of an induction motor and measured rotating speed by suggesting the reconstructed in a method based on measurement current signal. This produced system testifies an accuracy of an induction motor through the experiment by comparing the reference value of the control method.

• 산업기술연구
• /
• 제21권A호
• /
• pp.181-188
• /
• 2001

An XML is an markup language which has been focused on the next generation Web programming language. It easily represents the complex structure of a document, and it is possible to provide the access control over each component of an XML document. An implicit authorization technique means that granting an authorization to a node has effect on granting the same implicit authorization to its all descendants. Therefore, it enhances the time for the authorization grant and reduces the memory required for the authorization information. An authorization technique using an intention type and a authorization replacement solves a redundancy problem and decides whether the access is possible or the authorization conflict occurs at the first attempt.

• 동력기계공학회지
• /
• 제17권2호
• /
• pp.121-127
• /
• 2013

The air spring is used widely because of the easy change of spring constant, and, a superior vibration and shock insulation performance. Among the apparatus using the merits of that, the air spring connected an auxiliary chamber has been developed and used as a component of suspension system for an automobile and a railroad car. The purpose of this study is to suggest a design method reflecting heat transfer effect for an air spring system connected auxiliary chamber. In order to do so, this study investigates change of reaction force along with variations in heat transfer coefficient, and, analyzes an effectiveness of a heat transfer characteristics of an auxiliary chamber for external force attenuation characteristics and impedance characteristics of an air spring connected an auxiliary chamber.

• 대한산업공학회지
• /
• 제22권1호
• /
• pp.37-50
• /
• 1996

This paper presents an EMQ model which determines an economic manufacturing quantity in an unreliable machine. It is assumed that life time of a machine is generally distributed and it requires an instantaneous repair time when a machine fails. Depending on various types of failure rate function of a machine, it is discussed how to determine an EMQ and prove its uniqueness. Variations of an EMQ depending on repair cost are also examined. Through numerical experiments, extensive investigations are carried out on the effects of repair cost and setup cost to an EMQ as well as average cost, and some interesting behaviors are observed.

• 대한안전경영과학회지
• /
• 제12권3호
• /
• pp.73-79
• /
• 2010

Currently, in Korea, an accident that takes place during a worker's commuting is generally not considered as work-related accident. However, there are several exceptions such as an accident that occurs in commuting while using transportation provided by an employer, an accident that happens during commuting time that can be regarded as part of a business activity (e.g. tending to work instructed by an employer on the way to or from work), and an accident that is caused by insufficient facility management by an employer. It is even more so as the workers' commuting distance increases with expanding scale of a city, and traffic accident occurs more frequent. Social risk of commuting-time accident is on the rise. Under this circumstance, it is an important social issue to explore how to protect workers from commuting-time accident.

• 대한물리치료과학회지
• /
• 제19권3호
• /
• pp.17-22
• /
• 2012

Background : The purpose of this study was to investigate the relationship between an agility and a concentration, an auditory reaction time and a muscle power. Methods : Twenty one healthy female college students who were 20-21 years participated in the experiment; after being introduced to the methods, they voluntarily signed a consent form. And they received several test related with this study; side step test for an agility, Harris & Harris test for a concentration, brain auditory evoked potential test for an auditory reaction time and vertical jump test for a muscle power. Result : There was no relationship between the agility and the concentration and the auditory reaction time. However, the muscle power related with the agility significantly. Conclusion : In conclusion, these findings suggest that a muscle power training is a good way to promote an agility. So, we can find out that, in an player who requires an agility, a muscle power training is the most important way for promoting an agility than a concentration training or an auditory reaction time training.

• 한국의사학회지
• /
• 제31권1호
• /
• pp.89-103
• /
• 2018

Uirimchalyo (醫林撮要), one of the most important books in the history of Korean Medicine (KM), has not been researched within the framework provided by Yi'an (醫案), an East Asian tradition of describing clinical encounters with the therapies employed. In modern times, this practice of Yi'an might be similar to the outline of a singular "case study". The authors designed the study to analyze the basic information of Yi'an within the Uirimchalyo and to contribute to the foundations of employing Yi'an in Korean Medicine. A standard was established, and the 123 Yi'ans were extracted, most of which were taken from the chapter, Historic Doctors (歷代醫學姓氏). Using this information and in comparison with other medical books such as Euibangyoochui (醫方類聚), the authors learned that the Yi'ans from the Jinyuansidajia (金元四大家), including those of four eminent clinicians in Jin (金) and Yuan (元) Dynasty, are excluded from Uirimchalyo. The authors identified that Yi'ans from other medical books, are cited in the Uirimchalyo but with different format, not with the traditionally understood form of Yi'an. This study of the Uirimchalyo Yi'an resulted in three important understandings of Yi'an. First, the mere number of Uirimchalyo Yi'an is meaningful in that it raised the genre of Yi'an to the a level not previously recognized. Second, in the history of Korean Medicine, Yi'an is first systematized in the Uirimchalyo at the chapter of Historic Doctors. Third, Uirimchalyo raised the concept of usefulness of Yi'an, to the practice of Korean Medicine.

• 경영과정보연구
• /
• 제6권
• /
• pp.21-43
• /
• 2001

Contract requires, on principle, a meeting of minds. The basic elements of that contact are an offer by one party and an acceptance of the terms of the offer by the other party. In the electronic commerce an offer and the acceptance of an offer may be expressed by dispach or receipt of data messages. The contract which a data messages is used in the formation may be called electronic contract. The formation of the electronic contract is regulated by the Civil Code or the Commerce Code. The time of the contract formation is regulated by the Civil Code and the Commerce Code. But the time of dispach and receipt of the data message is stated in Article 9 of the Fundamental Law on Electronic Commerce. In this article the dispatch of a data message occurs when it enters an information system outside the control of the originator or of the person who sent the date message on behalf of the originator. The time of receipt of a data message, if the adressee has designated an information system for the purpose of receiving data message, is at the time when the data message enters the designated information system; or if the data message is sent to an information system of the adressee that is not the designated information system, at the time when the data message is retrieved by the addressee; if the addressee has not designated an information system, receipt occurs when the data message enters an information system of the addressee. The time of the electronic contract formation depends on the Civil Code or the Commerce Code and this Article 9 of the Fundamental Law on Electronic Commerce. An electronic contract may be formed by an offer and the acceptance of an offer by dispach or receipt of data message. An offer can not be withdrawn after it is accepted. But in mail-order sales and installment dealing an offer can be revoked after the goods were delivered. In this case the contract is lapsed.