• Bulletin of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.167-170
• /
• 1986

Let M be a von Neumann algebra and .alpha., .betha. be *-automorphisms of M satisfying the operator equation .alpha.+.alpha.$^{-1}$ =.betha.+.betha.$^{-1}$ This operator equation has been extensively studied and many important decomposition theorems have been obtained by several authors (for instance see [4], [5], [2], [1]). Originally, this operator equation arose in the paper of Van Daele on the new approach of the Tomita-Takesaki theory in the case of modular operators ([7]). In the case of one-parameter automorphism groups, this equation has produced a bounded and completely positive map which can play a role similar to the infinitesimal generator (for details see [6] and [1]). A recent and one of the most important applications of this equation has been in developing an anglogue of the Tomita-Takesaki theory for Jordan algebras by Haagerup [3]. One general result of this theory is the following.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.15 no.4
• /
• pp.268-276
• /
• 2015

A ship's sailing route or plan is determined by the master as the decision maker of the vessel, and depends on the characteristics of the navigational environment and the conditions of the ship. The trajectory, which appears as a result of the ship's navigation, is monitored and stored by a Vessel Traffic Service center, and is used for an analysis of the ship's navigational pattern and risk assessment within a particular area. However, such an analysis is performed in the same manner, despite the different navigational environments between coastal areas and the harbor limits. The navigational environment within the harbor limits changes rapidly owing to construction of the port facilities, dredging operations, and so on. In this study, a support vector machine was used for processing and modeling the trajectory data. A K-fold cross-validation and a grid search were used for selecting the optimal parameters. A complicated traffic route similar to the circumstances of the harbor limits was constructed for a validation of the model. A group of vessels was composed, each vessel of which was given various speed and course changes along a specified route. As a result of the machine learning, the optimal route and voyage data model were obtained. Finally, the model was presented to Vessel Traffic Service operators to detect any anomalous vessel behaviors. Using the proposed data modeling method, we intend to support the decision-making of Vessel Traffic Service operators in terms of navigational patterns and their characteristics.

• Spatial Information Research
• /
• v.18 no.1
• /
• pp.77-87
• /
• 2010

Spatio-temporal join operators are essential to the management of spatio-temporal data such as moving objects. For example, the join operators are parts of processing to analyze movement of objects and search similar patterns of moving objects. Various studies on spatio-temporal join queries in outdoor space have been done. Recently with advance of indoor positioning techniques, location based services are required in indoor space as well as outdoor space. Nevertheless there is no one about processing of spatio-temporal join query in indoor space. In this paper, we introduce continuous spatio-temporal self-join queries in indoor space and propose a method of processing of the join queries over stream data of moving objects. The continuous spatio-temporal self-join query is to update the joined result set satisfying spatio-temporal predicates continuously. We assume that positions of moving objects are represented by symbols such as a room or corridor. This paper proposes a data structure, called Candidate Pairs Buffer, to filter and maintain massive stream data efficiently and we also investigate performance of proposed method in experimental study.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.4
• /
• pp.545-549
• /
• 2009

Microarray data sets could contain thousands of gene expression levels and have been considered as an important source from which meaningful patterns could be extracted for further analysis in biological studies. It is sometimes necessary to retrieve out specific genes or samples of analyst's interest in an effective way. This paper is concerned with a method to make use of fuzzy signature set in order to filter out genes or samples which satisfy complicated constraints as well as simple ones. Fuzzy signatures are an extension of vector valued fuzzy sets, in which elements of the vector are allowed to have a vector. Fuzzy signature sets are similar to fuzzy signatures except that their leaf elements are fuzzy sets defined on the interval [0,1]. This paper introduces an extension of fuzzy signature sets which specifies aggregation operators at each internal node and comparison operators for aggregation. It also shows how to use the extended fuzzy signature sets in microarray data retrieval and some examples of its usage.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.10
• /
• pp.1328-1336
• /
• 2014

This paper proposes Power System Health Index(PSHI) newly. The paper describes several kind of power system health indices based on two main categories, which are adequacy and security. In adequacy, four kinds of health indices of Frequency, Voltage, Reserve(Operating Reserve Power and Frequency Regulation Reserve Power) and Overload of lines and transformers are proposed. In security, four kinds of health indices of Voltage(154kV, 345kV and 765kV), Overload of lines and transformers, Power flow constraint among areas and SPS are proposed. All indices are mapped with three domains, which are indicated as Health, Margin and Risk, defined with expert interview. While domains of health, margin and risk is defined similar with the conventional well being analysis of power system. The criterion of the domains is proposed using an interview with expert operators and practical reliability codes in Korea. The several kinds of health index functions, which are linear ratio, piecewise linear ration and reverse ratio function etc. are developed in this paper. It will be expected that the developed health indices can help operators to control power system more successfully and also prevent power system from accident as like as black out in future because operator can make a decision immediately based on more easily visual information of system conditions from too much indices acquisition of complex power system.

• Information Systems Review
• /
• v.22 no.4
• /
• pp.135-161
• /
• 2020

With the growth of blockchain and cryptocurrency-related markets, cryptocurrency exchanges are growing as a new industry. However, as the legal and regulatory definitions of cryptocurrencies are still in progress, unlike existing industrial groups, they are not under the supervision of regulatory agencies. As a result, users (i.e., cryptocurrency investors) have suffered two types of damage that could occur from hacking and other accidents on the exchanges. One type of the damage is the loss of assets caused by the extortion of personal information or account and the other is the damage from users who might be involved in external frauds. Both are analyzed in comparison with existing operators whose functions are like the exchanges. The results of this study show that membership (KYC: Know Your Client), log-in, and additional authentication in transactions are on the similar level to those of the operators while the fraud detection system (FDS) and anti-money laundering (AML) of fiat currencies and cryptocurrencies need rapid improvement.

• Journal of Korea Port Economic Association
• /
• v.31 no.4
• /
• pp.91-106
• /
• 2015

This study aims to analyze the effects of service quality offered by automotive Ro-Ro terminal operators on customer satisfaction and loyalty. The results of the research can be used to understand how to enhance the service level in order to manage competitiveness of the terminal operators, finally resulting in global competitiveness of the automobile industry of Korea in both exports and imports. We carried out a survey on two groups: shippers (customers) and providers (related terminal operators and stakeholders). To identify and classify the factors into groups, we conducted Exploratory Factors Analysis (EFA) and Confirmatory Factor Analysis (CFA), which showed construct validity and convergent validity. We also calculated Cronbach's alpha for reliability. Five factor groups were identified: tangibles, reliability, responsiveness, assurance, and empathy. We found that empathy is the most influential factor group among the five groups, and that the other groups too exhibited similar effects. Based on the results of the survey and analyses, we can conclude that empathy is most important in automotive Ro-Ro terminals. In particular, specialties, training, experiences, and loyalty of employees are crucial factors because automotive Ro-Ro terminals significantly rely on work forces, differently from other bulk terminals and container terminals. Flexible working hours and fringe benefits for work forces can increase empathy, finally resulting in productivity and efficiency. Next, well-designed work schedules are followed, based on visibility through logistics and SCM activities in automobile export and import processes with information and communication networks.

• The korean journal of orthodontics
• /
• v.40 no.2
• /
• pp.77-86
• /
• 2010

Objective: The purposes of this study were to evaluate the reproducibility and reliability of head posture obtained by registering outer canthus as a soft tissue landmark with the Outer Canthus Indicator (OCI). Methods: Twenty-one adults with normal facial morphology were enrolled in this study (mean age $27.5\;{\pm}\;1.72$ years). To register initial head posture, height of the outer canthus from the ear rod plane was measured using OCI. Head posture was reproduced by moving the head upwards and downwards until the outer canthus was in a straight line with the indicator set at a registered height. After the head posture is reproduced by two operators after two days, lateral photographs were taken. Computerized photometric analyses of the photographs were performed. Results: The head rotations around the transverse axis were $0.69\;{\pm}\;0.43^{\circ}$, $0.98\;{\pm}\;0.65^{\circ}$ from each of the two operators. Standard errors were $0.09^{\circ}$ and $0.14^{\circ}$ each, which were similar to results from past research findings. There were no significant differences between the data from the two operators (p > 0.05). There were no correlations between the head rotation around the horizontal and vertical axes (p > 0.05). Conclusions: The present study suggests that OCI-registered head posture may minimize errors from vertical head rotation in cephalometry and photometry.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.9 no.4
• /
• pp.102-112
• /
• 2010

The existing K-CASH system doesn't allow compatible between different regions, different public transportations and the technologies made by different operators. If a K-cash user wants to use public transportation charged not by K-CASH but other operator, then he or she would have to get other type of card available for that transportation. Also, the incompatibility of the existing K-CASH might cause unnecessary expense because similar systems would have to be doubly constructed if the K-CASH operator would like to install the K-CASH system on the same infra as the other operators already did. As a result, a system which allows people to use just one card for their convenience regardless of regions, types of transportation and operators has been strongly demanded. In this paper, we developed Nation-wide Interoperable K-Cash system, Nation-wide Interoperable K-CASH Card, Purchase terminal, Purchase SAM and Settlement system that were updated from the existing K-CASH system. And we performed a conformity test to confirm performance. Also Korea Financial Telecommunications & Clearings and the KORAIL NETWARKS and the HiPlusCard joined for the testbed in Gwangju for 6 months. This result of testbed finally proved that the Nation-wide Interoperable K-CASH system is completely compatible.

• Journal of the Ergonomics Society of Korea
• /
• v.28 no.1
• /
• pp.37-51
• /
• 2009

The nuclear power industry in the world has recognized the importance of integrating non-technical and team skills training with the technical training given to its control room operators to reduce human errors since the Three Mile Island and Chernobyl accidents. The Nuclear power plant (NPP) industry in Korea has been also making efforts to reduce the human errors which largely have contributed to 120 nuclear reactor trips from the year 2001 to 2006. The Crew Resource Management (CRM) training was one of the efforts to reduce the human errors in the nuclear power industry. The CRM was developed as a response to new insights into the causes of aircraft accidents which followed from the introduction of flight recorders and cockpit voice recorders into modern jet aircraft. The CRM first became widely used in the commercial airline industry, but military aviation, shipboard crews, medical and surgical teams, offshore oil crews, and other high-consequence, high-risk, time-critical industry teams soon followed. This study aims to develop a CRM training program that helps to improve plant performance by reducing the number of reactor trips caused by the operators' errors in Korean NPP. The program is; firstly, based on the work we conducted to develop a human factors training from the applications to the Nuclear Power Plant; secondly, based on a number of guidelines from the current practicable literature; thirdly, focused on team skills, such as leadership, situational awareness, teamwork, and communication, which have been widely known to be critical for improving the operational performance and reducing human errors in Korean NPPs; lastly, similar to the event-based training approach that many researchers have applied in other domains: aircraft, medical operations, railroads, and offshore oilrigs. We conducted an experiment to test effectiveness of the CRM training program in a condition of simulated control room also. We found that the program made the operators' attitudes and behaviors be improved positively from the experimental results. The more implications of the finding were discussed further in detail.