• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권1호
• /
• pp.396-413
• /
• 2017

Dynamically checking the integrity of software at run-time is always a hot and difficult spot for trusted computing. Control-flow integrity is a basic and important safety property of software integrity. Many classic and emerging security attacks who introduce illegal control-flow to applications can cause unpredictable behaviors of computer-based systems. In this paper, we present a software-based approach to checking violation of control flow integrity at run-time. This paper proposes a high-performance and low-overhead software control flow checking solution, control flow checking at virtual edges (CFCVE). CFCVE assigns a unique signature to each basic block and then inserts a virtual vertex into each edge at compile time. This together with insertion of signature updating instructions and checking instructions into corresponding vertexes and virtual vertexes. Control flow faults can be detected by comparing the run-time signature with the saved one at compile time. Our experimental results show that CFCVE incurs only 10.61% performance overhead on average for several C benchmark programs and the average undetected error rate is only 9.29%. Compared with previous techniques, CFCVE has the characteristics of both high fault coverage and low memory and performance overhead.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 2000년도 하계학술발표대회 논문집 제19권 1호
• /
• pp.223-226
• /
• 2000

Currently a multichannel system for virtual 3-D sound rendering is under development. Robust sound image formation and smooth real time interactivity are main design Points. The system utilizes VBAP algorithm as virtual sound image positioning. Overall system settings can be easily configured. We developed software, RIMA. as a driving Program of the system. At this stage, it is possible to position virtual sound images at arbitrary positions in three-dimensional space. The characteristics of the system are discussed. The system has been applied to the KAIST Bicycle Simulator to generate the virtual sound field.

• 동력기계공학회지
• /
• 제15권2호
• /
• pp.19-24
• /
• 2011

In this study, a control method of MR(magneto-rheological) damper for a cruise bus is investigated. A virtual dynamic damper and a sky-hook algorithm are employed to control the damping characteristics of MR damper. Coefficients for a virtual dynamic damper are determined through the parameter identification. A quarter car model of a cruise bus is established by using ADAMS/Car program for the computer simulation. Sine wave excitation and random excitation are used to compare the controlled MR damper with the passive damper. From the simulation results, the performance of MR damper with a virtual dynamic damper is better than that of the passive damper.

• Journal of Power Electronics
• /
• 제13권3호
• /
• pp.479-486
• /
• 2013

This paper presents a control strategy for distributed systems, which can be used in islanded microgrids. The control strategy is based on the droop method, which uses locally measured feedback to achieve load current sharing. Instead of the traditional droop method, an improved one is implemented. A virtual inductor in the synchronous frame for three-phase inverters is proposed to deal with the coupling of the frequency and the amplitude related to the active and reactive power. Compared with the traditional virtual inductor, the proposed virtual inductor is not affected by high frequency noises because it avoids differential calculations. A model is given for the distributed generation system, which is beneficial for the design of the droop coefficients and the value of the virtual inductor. The effectiveness of the proposed control strategy is verified by simulation and experiment results.

• 융합신호처리학회논문지
• /
• 제2권1호
• /
• pp.71-79
• /
• 2001

장거리 링크를 가지는 ATM 망에서는 긴 전파지연의 영향을 고려하여 설정된 가상종단시스템을 이용하여 ABR 서비스를 제공할 수 있다. 본 논문에서는 가상종단시스템을 이용하여 ABR 서비스를 제공하는 데에 필요한 조건인 많은 개수의 가상연결들에 대한 ABR 서비스 제어 기능을 설계하기 위한 제반 고려 사항들을 살펴보고 구현을 위한 설계 구조를 제시하였다. 제시한 설계 구조에서는 많은 개수의 가상연결들에 대해 ABR 서비스를 수용해 줄 수 있도록 공유 메모리 구조를 이용한 셀 송출 제어 구조를 적용하였다.

• Journal of Power Electronics
• /
• 제19권6호
• /
• pp.1477-1485
• /
• 2019

This paper proposes an effective model predictive current control (MPCC) that involves using 10 virtual voltage vectors to reduce the current harmonics and common-mode voltage (CMV) for a two-level five-phase voltage source inverter (VSI). In the proposed scheme, 10 virtual voltage vectors are included to reduce the CMV and low-order current harmonics. These virtual voltage vectors are employed as the input control set for the MPCC. Among the 10 virtual voltage vectors, two are applied throughout the whole sampling period to reduce current ripples. The two selected virtual voltage vectors are based on location information of the reference voltage vector, and their duration times are calculated using a simple algorithm. This significantly reduces the computational burden. Simulation and experimental results are provided to verify the effectiveness of the proposed scheme.

• 한국산업융합학회 논문집
• /
• 제25권2_2호
• /
• pp.193-198
• /
• 2022

In this paper, we introduce the improved control method are communicated between a master and a slave robot in the teleoperation systems. When the master and slave robots are located in different places, time delay is unavoidable under the network environment and it is well known that the system can become unstable when even a small time delay exists in the communication channel. The time delay may cause instability in teleoperation systems especially if those systems include haptic feedback. This paper presents a control scheme based on the estimator with virtual master model in teleoperation systems over the network. As the behavior of virtual model is tracking the one of master model, the operator can control real master robot by manipulating the virtual robot. And LQG/LTR scheme was adopted for the compensation of un-modeled dynamics. The approach is based on virtual master model, which has been implemented on a robot over the network. Its performance is verified by the computer simulation and the experiment.

• Journal of Electrical Engineering and Technology
• /
• 제12권6호
• /
• pp.2317-2323
• /
• 2017

Recently, linear compressors of cooling systems such as refrigerators, which have a free piston driven by a linear motor, have attracted much attention because of their high efficiency. For structural reasons, linear compressors applied in refrigerators should use an AC capacitor to ensure stable control. However, AC capacitors are expensive and bulky. In this paper, we propose a new method to realize stable control without a real AC capacitor by implementing a virtual AC capacitor with software. To realize a virtual AC capacitor, a pure integral is calculated. Nonetheless, if an offset current exists, the calculation may diverge to infinity. To solve this problem, a high-pass filter is applied and the compensation for the phase angle and magnitude are realized with a new method. Finally, a virtual AC capacitor enables variable frequency operations. Hence, in case of a lack of voltage, we can compensate by running the linear compressor in high-frequency operations. To improve efficiency, we may optimize the operation frequency. The validity of a virtual AC capacitor has been verified through simulations and experimental results.

• The Journal of Korean Physical Therapy
• /
• 제21권2호
• /
• pp.31-38
• /
• 2009

Purpose: This study was examined the effect of training using a Virtual Reality System on the sitting balance and Activities of Daily Living for patients with a spinal cord injury. Methods: The subjects were divided into an experimental (6 persons) and control group (5 persons). The experimental group trained the 5 programs, three times per week for 6 weeks using the Virtual Reality System and five days for week using conventional physical therapy. The control group trained five days for a week using conventional physical therapy. Results: The difference in the mean Spinal Cord Independence Measurement (SCIM) score in the experimental and control groups was increased to 8.33 and 6.60 (p=0.79), respectively. The difference in the mean functional reaching test in experimental and control group increased to 4.21 and 1.09 (p=0.25), respectively. The difference in the mean sitting time in experimental and control group increased to 41.05 and 10.33 (p=0.66), respectively. There was a difference in the mean of all variances but these differences were not statistically significant. Conclusion: These results suggest that training using the Virtual Reality System increased the SCIM, functional reaching test and sitting time in people with a spinal cord injury.

• 한국산학기술학회논문지
• /
• 제6권6호
• /
• pp.547-554
• /
• 2005

Virtual Laboratory는 네트워크 기술의 발전에 따라 제어 및 계측 분야에서 등장하게 된 새로운 개념으로서 현재 여러 대학 및 연구기관에서 폭넓게 사용되고 있다. Virtual Laboratory를 통하여 사용자는 언제 어디서든지 인스트루먼트에 대한 제어 및 모니터링을 할 수 있는데 이러한 특징은 기존의 실험실에서는 얻을 수 없었던 사용자 효율성 및 향상된 성능을 제공한다. 본 논문에서는 먼저 이러한 Virtual Laboratory의 개념 및 필요성에 대해 간략히 살펴본 후 이를 구현하기 위한 방안에 대해 논의하고자 한다. 사용자가 네트워크상에서 원격의 인스트루먼트를 조작 및 운용할 수 있는 클라이언트-서버 기반의 Virtual Laboratory 구현을 위한 프레임워크 설계를 하고자 하며 단일 프로세서는 물론이고 네트워크상에서 대칭적 다중 프로세서 기반의 제어 및 계측 기능을 수행할 수 있는 시스템 모델을 제안하고자 한다.