• ETRI Journal
• /
• v.39 no.1
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• The Journal of Korea Robotics Society
• /
• v.11 no.2
• /
• pp.41-50
• /
• 2016

This paper describes the effect of a robot cognitive rehabilitation program on cognitive functions for the elderly with mild cognitive impairment, and compares it with traditional cognitive therapy programs. Three experiment groups including cognition therapy group, robot cognitive rehabilitation group, and hybrid group have been sampled and one comparative group has been organized for this research. 32 old people whose ages are between 61 and 88 with mild cognitive impairment participated in the programs with an admission of W care hospital. According to the program results, the cognitive therapy program alone had shown a positive effect on the attention function, and the robot cognitive rehabilitation program alone had a positive effect on the total intelligence and memory function. However, a simultaneous operation with both programs had shown a positive effect on the three intelligence areas such as total, basic, and management quotients as well as attention and memory functions as subsidiary factors. This paper has verified that the proposed robot cognitive rehabilitation program makes a positive effect on a cognitive function and plays a complementary role with traditional cognitive therapy programs.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.7
• /
• pp.602-609
• /
• 2018

This paper proposes the hybrid crypto-system for fast video data encryption of UAV(Unmanned Aerial Vehicle) under the LTE(Long-Term Evolution) wireless communication environment. This hybrid crypto-system is consisted of ECC(Elliptic Curve Cryptography) public key algorithm and LEA(Light-weight Encryption Algorithm) symmetric key algorithm. ECC is a faster public key algorithm with the same security strength than RSA(Rivest Shamir Adleman), and Korean standard LEA with the same key size is also a faster symmetric key algorithm than AES(Advances Encryption Standard). We have implemented this hybrid crypto-system using OpenSSL, OpenCV and Socket programs under the Swarm 8-UAV. We have shown the efficient adaptability of this hybrid crypto-system for the real-time swarm UAV through the experiments under the LTE communication environment.

• Journal of Bio-Environment Control
• /
• v.7 no.1
• /
• pp.1-8
• /
• 1998

A Hardware system of hybrid environmental control was developed for using it in the multi-greenhouse. Now, an on/off control system is most utilized in protected cultivation, but a hybrid environmental control system is not yet. This system consists of a hardware to be devided by physical elements and a software for the hardware a personal computer, a hybrid environmental control and a communication Program for modules. The hardware was made of several independent modules with independent CPU. Each module was made to slots. which are very convenient to mount and take off. Also, they are managed easily to repair, add, remove, and change of their function and expansion. The software for a personal computer was a menu driven program written in visual basic within a Windows environment for easy applications by a user. The hybrid environmental control software have operating factors operate continuously with temperature, humidity and others in greenhouse. Communication programs were used both 485 communication method for long distance communication between modules and CRC communication method for making easy to program, and less errors between personal computer and modules.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.67-74
• /
• 2004

Most of today's parallel numerical schemes use synchronous algorithms, where some processors that have finished their tasks earlier than others must wait at synchronization points for correct computation. Hence overall performance of the system is dependent upon the speed of the slowest processor. In this paper, we det·ise a synchronous/asynchronous hybrid algorithm to accelerate convergence of the solution for finding the dominant eigenpair of a large matrix, by reducing the idle times of faster processors using MPMD programming methodology.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.11 no.2
• /
• pp.37-50
• /
• 1986

In combining dispersed optimization models, either primal or dual(or both) decomposition method widely used as an organizing device. Interpreting the methods economically, the concepts of price and resource-directive coordination are generally well accepted. Most of deomposition/ integration methods utilize either primal information of dual information, not both, from subsystems, while some authors have developed mixed decomposition approaches employing two master problems dealing primal and dual proposals separately. In this paper a hybrid decomposition method is introduced, where one hybrid master problem utilizes the underlying relationships between primal and dual information from each subsystem. The suggested method is well justified with respect to the flexibility in information flow pattern choice (some prices and other quantities) and to the compatibility of subdivision's optimum to the systemwide optimum, that is often lacking in conventional decomposition methods such as Dantzig-Wolfe's. A numerical example is also presented to illustrate the suggested approach.

• International Journal of High-Rise Buildings
• /
• v.7 no.1
• /
• pp.65-73
• /
• 2018

Increasingly, mixed-use, multi-program complexes are emerging as the standard development model around the world. As their prominence grows, these projects are becoming increasingly complex. Program adjacencies are ever more intertwined as developers (and the architects who support them) are becoming more comfortable blurring the traditional boundaries between office, retail, residential and hospitality. This article discusses a second generation of mixed-use projects that embrace this hybridization, honing in on supertall architecture, their hybrid program offerings, and innovative sky lobbies. It concludes that programmatic advancements will continue to expand and find integration within single structures, both repositioned and built from the ground up.

• Journal of the Korean Solar Energy Society
• /
• v.26 no.2
• /
• pp.9-18
• /
• 2006

In this paper, the thermodynamic performance of OTEC cycle was examined. Computer simulation programs were developed for simple Rankine cycle, regenerative Rankine cycle, Kalina cycle, open cycle and hybrid cycle. For the simple Rankine cycle, the results show that newly developed fluids such as R410A and R32 that do not cause stratospheric ozone layer depletion perform as well as R22 and ammonia. Also, simple Rankine cycle OTEC power plant can practically generate electricity when the difference in warm and cold sea water inlet temperatures are greater than $14^{\circ}C$. The regenerative Rankine cycle showed a 1.5 to 2% increase in energy efficiency compared to the simple Rankine cycle while the Kalina cycle employing ammonia/water mixture showed a 2-to-3% increase in energy efficiency, and the overall cycle efficiencies of hybrid cycle and open cycle were 3.35% and 4.86%, respectively.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.6
• /
• pp.2546-2566
• /
• 2016

This paper investigates an efficient transmission scheme for the remote wireless sensors to receive information which is rarely discussed in the integrated remote wireless sensor and multibeam satellite networks (IWSMSNs). The networks can be employed to exchange sensing information for emergency scenario, ocean scenario, and so on, which are isolated from available terrestrial networks. As the efficient transmission link is important to the IWSMSNs, we propose a hybrid full frequency (HFF) precoding by taking advantage of frequency reuse and multiple-input multiple-output (MIMO) precoding. Considering energy efficiency and sinks fairness are crucial to transmission link, thus the HFF precoding problems are formulated as transmit power minimization (TPM) and max-min fair (MMF) received signal to interference plus noise ratio (SINR) problems, which can be transformed to indefinite quadratic optimization programs. Then this paper presents a semi-definite programming (SDP) algorithm to solve the problems for the IWSMSNs. The promising potential of HFF for the real IWSMSNs is demonstrated through simulations.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2676-2685
• /
• 1998

In order to improve the branch prediction accuracy and to reduce the BTB miss rate, this paper proposes a two-level BTB structure that adds small-sized victim BTB to the convetional BTB. With small cost, two-level BTB can reduce the BTB miss rate as well as improve the prediction accuracy of the hybrid branch prediction strategy which combines dynamic prediction and static prediction. Through the trace-driven simulation of four bechmark programs, the performance improvement by the proposed two-level BTB structure is analysed and validated. Our proposed BTB structure can improve the BTB miss rate by 26.5% and the misprediction rate by 26.75%