• Journal of Mechanical Science and Technology
• /
• v.18 no.7
• /
• pp.1131-1139
• /
• 2004

A new impedance controller is proposed for bilateral teleoperation under a time delay. The proposed controller does not need to measure or estimate the time delay in the communication channel using the force loop-back. In designing a stable impedance controller, absolute stability is used as a stability analysis tool, which results in a less conservative controller than the passivity concept. Moreover, in order to remove the conservatism associated with the assumption of infinite port impedances, the boundaries of human and environment impedance are set to finite values. Based on this, this paper proposes a parameter design procedure for stable impedance controllers. The validity of the proposed control scheme is demonstrated by experiments with a 1-dof master/slave system.

• Korean Journal of Cognitive Science
• /
• v.7 no.3
• /
• pp.37-60
• /
• 1996

From the biopsychological point of view,learning could be defined as the processes to transfer the information that we obtain from environment to the neural circuits in the brain.In the studies to determine the biological substrates of learning and memory,there was a remarkable effort to identify neural circuits related with a specific type of learning and to describe the mechanixm of neural plasticity of learning and memory,under the assumption that the memory orinformation may be stored as a modificationof neural synapes in the central nerviys system.On the other hand,there was a different kind of tendency to analyze the mechanism of interactions between neural substrates involved in learning and memory,under the assumption that a specific information may be represented in the patterns of comples neural network of the central nervous system.The present review,in the former position.focused on the research methods and the chracteristics and finding of the investigations employing animal model systems to indentify the essential site of engram for learning and memory.Specifically,the review presents major advances in ourunderstanding of the memory trace circuit for a specific type of learning,with the use of animal model system,the detemination of the critical lodi of neuaral plastic chabges In learing abd memory,and the neurophysiological an biocemical mechanixms of the neural modifia by learint.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.4
• /
• pp.163-181
• /
• 2004

Group key agreement protocols are designed to solve the fundamental problem of securely establishing a session key among a group of parties communicating over a public channel. Although a number of protocols have been proposed to solve this problem over the years, they are not well suited for a high-delay wide area network; their communication overhead is significant in terms of the number of communication rounds or the number of exchanged messages, both of which are recognized as the dominant factors that slow down group key agreement over a networking environment with high communication latency. In this paper we present a communication-efficient group key agreement protocol and prove its security in the random oracle model under the factoring assumption. The proposed protocol provides perfect forward secrecy and requires only a constant number of communication rounds for my of group rekeying operations, while achieving optimal message complexity.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.5
• /
• pp.59-71
• /
• 2005

A RFID (Radio Frequency Identification) system receives attention as the technology which can realize the ubiquitous computing environment. However, the feature of the RFID tags may bring about new threats to the security and privacy of individuals. Recently, Juels proposed the minimalist cryptography for very low-cost RFID tags, which is secure. but only under the impractical assumption such that an adversary is allowed to eavesdrop only the pre-defined number of sessions. In this paper, we propose a scheme to protect privacy for very low-cost RFID systems. The proposed protocol uses only bit-wise operations without my costly cryptographic function such as hashing, encryption which is secure which is secure against an adversary who is allowed to eavesdrop transmitted message in every session any impractical assumption. The proposed scheme also is more efficient since our scheme requires less datas as well as few number of computations than Juels's scheme.

• Korean Institute of Interior Design Journal
• /
• v.21 no.1
• /
• pp.159-169
• /
• 2012

One of critical issues in the housing area is what strategies should be adopted for revitalizing contemporary communities in housing complex. It is expected that those strategies could encourage neighbourship and recover the existing community spaces. Based on the assumption that contemporary communities might have different characteristics from those of the traditional communities and spaces, this research aims to explore the possibility of new communities in a current context. With the development of the information communication technologies (ICT) and hardware systems, the environment would be capable of anticipating people's needs and then provide them with customization options to tailor the environment to their requirements. By incorporating the 'smart' paradigm, this paper introduces the concept of a smart community and space with the potential of mobile Augmented Reality(AR) as alternative strategies for activating the communities. The residents believe that existing common spaces need to be extendable and augmented by combining new technologies. The smart communities and spaces are expected to extend people's interaction to virtual world in aj real context, further combined with social network, it enables sustainable relationships among residents, contributina to a new type of community.

• Nuclear Engineering and Technology
• /
• v.52 no.7
• /
• pp.1462-1470
• /
• 2020

Reliability in safety-critical systems and equipment is of vital importance, so the probabilistic safety assessment (PSA) has been widely used for many years in the nuclear industry to address reliability in a quantitative manner. As many nuclear power plants (NPPs) become digitalized, evaluating the reliability of safety-critical software has become an emerging issue. Due to a lack of available methods, in many conventional PSA models only hardware reliability is addressed with the assumption that software reliability is perfect or very high compared to hardware reliability. This study focused on developing a new method of safety-critical software reliability quantification, derived from hardware-software integrated environment testing. Since the complexity of hardware and software interaction makes the possible number of test cases for exhaustive testing well beyond a practically achievable range, an importance-oriented testing method that assures the most efficient test coverage was developed. Application to the test of an actual NPP reactor protection system demonstrated the applicability of the developed method and provided insight into complex software-based system reliability.

• ETRI Journal
• /
• v.29 no.2
• /
• pp.219-230
• /
• 2007

In this paper, we investigate the determinant factors of performance of global standardization experts in their standardization activities. Standards experts of various nationalities were surveyed to assess incentives that may positively influence the performance of standards professionals. As a basis for this study, we make three main assumptions. First, incentives can be important determinant factors of performance among standards experts. Second, standardization is in the public interest, insofar as the efficiency gains resulting from standardization benefit society as a whole. Third, based on this assumption that standardization is in the public interest, we propose that performance determinants for standardization activities tend to be non-monetary in nature rather than monetary. We find that, in order to improve performance among international standards experts, a better understanding of their aspirations and needs must be gained so that appropriate incentives may be proposed to them. Our analysis reveals that the two most important determinant factors of performance are the recognition of the professional status of international standards experts, and an environment providing support systems to help them perform to their fullest potential.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.40
• /
• pp.203-217
• /
• 1996

This thesis describes a quantitative decision-making of production planning system. A mathmatical model of Linear Programming is used set up a production scheuling under the assumption. As the emphasis is laid on the applicability of the developed model, the linrar programming is applied to establish the production schedule for "F" furniture company which produces kitchin cabinet and OA furniture, The optimal solution is obtained by using the LP package, QBS. By the solution reduced to 14% of work force compared with the real data during all of the planning horizon. And it is also possible to reduce the work-force of the lowest level of employee by 10% for the reasonable management. There are some limitations in computerized data processing, which is only considering the economic costs without considering any external environment of case enterprise. As a result, it is shown that the LP model is very useful method of make aggregate production schedule. schedule.

• Convergence Security Journal
• /
• v.3 no.2
• /
• pp.57-65
• /
• 2003

A protection profile is the required specification document by consumer groups to specify what security purpose they would like to have in their specialized products. A protection profile assumption is the document that specifies consumer environment in the physical, artificial, network perspective and the contents of intended usage which include usage limitation, the value of latent asset, and additional applications for a TOE (Target of Evaluation). In this paper, we compare the assumptions of the NSA IDS PP and the IDS PP for government.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.25.4-25.4
• /
• 2011

Various estimation methods based on Kalman filter have been applied to the real-time satellite orbit determination. The most popular method is the Extended Kalman Filter (EKF) and the Unscented Kalman Filter (UKF). The EKF is easy to implement and to use on orbit determination problem. However, the linearization process of the EKF can cause unstable solutions if the problem has the inaccurate reference orbit, sparse or insufficient observations. In this case, the UKF can be a good alternative because it does not contain linearization process. However, because both methods are based on Gaussian assumption, performance of estimation can become worse when the distribution of state parameters and process/measurement noise are non-Gaussian. In nonlinear/non-Gaussian problems the particle filter which is based on sequential Monte Carlo methods can guarantee more exact estimation results. This study develops and tests the particle filter for satellite orbit determination. The particle filter can be more effective methods for satellite orbit determination in nonlinear/non-Gaussian environment.