• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1283-1291
• /
• 2005

One of the problems in boosting Java performance using a Just-in-Time (JIT) compiler is removing redundant array bound checks. In conventional static compilers, many powerful algorithms have been developed, yet they are not directly applicable to JIT compilation where the compilation time is part of the whole running time. In the current JIT compilers, we tan use either a naive algorithm that is not powerful enough or an aggressive algorithm which requires the transformation into a static single assignment (SSA) form of programs (and back to the original form after optimization), thus causing too much overhead not appropriate for JIT compilation This paper proposes a new algorithm based on an inequality graph which can eliminate array bounds check codes aggressively without resorting to the SSA form. When we actually perform this type of optimization, there are many constraints in code motion caused by the precise exception rule in Java specification, which would cause the algorithm to miss many opportunities for eliminating away bound checks. We also propose a new method to overcome these constraints.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.2
• /
• pp.141-150
• /
• 2001

Manufacturing conb'ol applications consist of concurrent active components such as robots, AGV's (Automatic Guided Vehicles), and conveyors. Running of manufacturing control programs is interactions among those components. We can enhance the productivity and extendability of manufacturing control applications by using the object-oriented teclmology that models those components as reusable objects. But the objects in current object-oriented technology that encapsulate state and behavior infonnation are passive in a sense that those respond only when messages are sent to them. In this paper, we introduce the Distributed Active Object Systems (DAGS) approach that SUPPOltS active objects. Since active objects encapsulate control infonnation in addition to state and behavior information under COREA/Java-based distributed environment, they can represent manufacturing control components better than the objects in ordimuy object-oriented technology. TIus control infonnation provides an object with a featme that can monitor its own status as well as other object's status connected by intelface valiables. Active objects can initiate a behavior according to the change of those status. Therefore, we can sb-uctmally assemble self-initiating active objects by using intelface variables to construct a system without describing bow to control distributed objects by using message passing. As the DAOS approach supports object composability, we can enhal1ce the productivity and extendability of disbibuted manufactming control applications even better than the ordil1alY object-oriented approach. Also, the DAOS approach supports better component reusability with active objects that encapsulate control information .

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.1
• /
• pp.92-100
• /
• 2016

It is informed that the Voice over LTE(VoLTE) which serves voice and message on IP networks is better in terms of economies of scale than the legacy voice service on 2G/3G circuit-switched networks because of its technological and cost efficiency. In addition, services of voice and data are running on a single LTE network and as a result VoLTE has the more economies of scope. But, there is no study about how much technology-efficiency VoLTE has compared to circuit-based voice service and how much voice charge can be reduced as VoLTE grows up. This paper analyzes empirically cost-efficiency of VoLTE against circuit-based voice service and quantifies the reduction of voice charge as 2G/3G voice traffic shifts to VoLTE. The results describe the first is that the average cost of the total voice traffic rises shortly just after the investment of LTE network for providing VoLTE but it will soon have a capacity available to reduce the charge due to VoLTE's outstanding cost efficiency on the assumption that voice traffic is fixed, and the second is that the charge can be cut to 60% of the current rate in case of all the voice traffic moves to VoLTE. The latter proves partially the validation of data-focusing pricing plan. Our results are expected to become basic data for network operators' establishing pricing strategies and for policy makers' inducing price cutting.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.6 no.2
• /
• pp.38-45
• /
• 2003

This paper intends to analyze the movement characteristics of the suspended solid(SS) generated in a riprap work which is the most widespread process in harbor construction. The generation and movement behaviors of SS are investigated when 1) basic ripraps (0.001~0.03㎥) are cast for breakwater construction, 2) ripraps are loaded on carrier for riprap casting in the sea-wall construction of dredged material pocket, and 3) ripraps for inner filling are cast. The result of the present study shows that the SS generation is considerable when basic ripraps are cast for breakwater construction and the SS diffusion reaches up to 500m in high tide period. When ripraps are loaded on carrier, the SS is generated by the ripraps running down into sea from carrier, thereby showing a high concentration of SS in the vicinity of carrier. In the surface layer, SS distribution is confined in the vicinity of the carrier due to the prompt sinking of the SS. However the SS in the bottom layer is diffused approximately up to loom and then the SS concentration reaches to the background one. In the riprap (less than 0.03㎥) casting for inner filling using pork crane, SS is diffused approximately up to 300m in the surface layer and more than 300m in the bottom layer. It is quite interesting that the movement of the SS generated in harbor construction is mainly controlled by wind drift in the surface layer and tidal current in the bottom layer, and also the diffusion range of SS in the bottom layer is much larger than that in the surface layer.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.41 no.1
• /
• pp.85-91
• /
• 2021

In contrast to standard train tracks, tramlines are often set along public roads, with trams running among pedestrians and other vehicles. In some cities and towns, trams and buses share the same routes and stations. Under the current investment appraisal system, trams are classified into light rail when predicting traffic demand and calculating benefits, but in the case of non-capital areas, it is notable that the origin-destination and transit lines of buses are not provided in the Korea Transport Database distribution data. Due to this problem, it is difficult to reflect proper mode changing behaviors between route buses and trams. This study examines the impact on tramlines of bus routes that are not currently considered in non-capital areas. Following an analysis of the effect of tram projects according to whether bus routes are considered or not, an improvement in methodology is proposed. Through this study, it is expected that the investment appraisal system for the planning of new tramlines will be improved in the future.

• Journal of the Korea Computer Graphics Society
• /
• v.27 no.1
• /
• pp.9-17
• /
• 2021

In this paper, we present a simple and fast supervised learning framework based on model predictive control so as to learn motion controllers for a physic-based character to track given example motions. The proposed framework is composed of two components: training data generation and offline learning. Given an example motion, the former component stochastically controls the character motion with an optimal controller while repeatedly updating the controller for tracking the example motion through model predictive control over a time window from the current state of the character to a near future state. The repeated update of the optimal controller and the stochastic control make it possible to effectively explore various states that the character may have while mimicking the example motion and collect useful training data for supervised learning. Once all the training data is generated, the latter component normalizes the data to remove the disparity for magnitude and units inherent in the data and trains an artificial neural network with a simple architecture for a controller. The experimental results for walking and running motions demonstrate how effectively and fast the proposed framework produces physics-based motion controllers.

• Journal of the Daesoon Academy of Sciences
• /
• v.35
• /
• pp.427-476
• /
• 2020

Park Wudang formally registered Daesoon Jinrihoe in 1969. While it shares ideas and history with other Jeungsanist groups, this paper argues that its organizational profile is unique. The two major institutional structures, the bonbu (headquarters) and the bangmyeon (branch) have together created space for the rapid development of this Korean new religion. The bonbu is a centralized hierarchy, while the bangmyeon exhibits the strong loyalty and cohesiveness of the clan. Running throughout both structural forms is the lineage concept, which is conceived here as an articulating paradigm able to operate in different organizational forms. This finely-balanced institutional structure makes a major contribution to Daesoon Jinrihoe's ability to fulfill its religious mission. The first side of this balance is the headquarters, which includes the core organization based in Yeoju as well as some outside temples and training centers. All of these were established under the direction of the Lord of Principle, the Dojeon, Park Wudang. Park Wudang also fixed the Dao Constitution, the Doheon, which serves as a blueprint for governance. From the Central Council to the various institutions for propagation, guidance, and auditing, current management practices conform closely to Park Wudang's organization vision. The second aspect of Daesoon Jinrihoe's organization is the branch structure. The larger branches, such as Yeongwol and Geumreung, are complex organizations in their own rights. The paper concludes by characterizing the two major axes of headquarters and branch as organizational types. Using Robert Quinn and Kim Cameron's institutional typology, the paper concludes that the bonbu is a classic centralized hierarchy with its focus on efficiency. The bangmyeon, in contrast, with its high level of group identity and spirit, comes approximates the clan institutional structure.

• Journal of Christian Education in Korea
• /
• v.71
• /
• pp.155-179
• /
• 2022

This study aims to apply Hannah Arendt's concept of 'collective responsibility' to the Christian education on environmental issues around the world, focusing on climate change. This study prepares the concept of 'collective responsibility' and the concept of 'collective guilt' and emphasizes the fact that the current climate change problem should be seen as a political task rather than a task of personal ethics. According to Arendt's theory, Christian education activities applying 'collective responsibility' for climate change can become action. This study has four suggestions for Christian learning to understand and recognize climate change. First, presenting and justifying the anxiety and anger toward climate change in the classroom. Second, transcending self-interest (egocentrism) through "Common Sense (enlarged mentality)" in Kantian terms. Third, building education communities through 'citizen participatory education,' running communication, and conversation. Fourth, encouraging experience and practice in every education community with "faith expressing itself through love (Gal 5:6)." Then, to be sure, this refers to not only love of neighbor in Christianity but also political friendship (philia politikē). The academic significance of this study is that it is the first interdisciplinary research paper in Korea which dealt with Arendt's political theory in relation to Christian education. Although it claims to be a theoretical work that applies Arendt's political theory from a systematic theological perspective to Christian education, the author is proud that it is accompanied by practical elements that can be actualized in the education field.

• The Korean Journal of Physiology and Pharmacology
• /
• v.26 no.5
• /
• pp.313-323
• /
• 2022

Atrial fibrillation (AF) is the most common supraventricular arrhythmia, and it corresponds highly with exercise intensity. Here, we induced AF in mice using acetylcholine (ACh)-CaCl₂ for 7 days and aimed to determine the appropriate exercise intensity (no, low, moderate, high) to protect against AF by running the mice at different intensities for 4 weeks before the AF induction by ACh-CaCl₂. We examined the AF-induced atrial remodeling using electrocardiogram, patch-clamp, and immunohistochemistry. After the AF induction, heart rate, % increase of heart rate, and heart weight/body weight ratio were significantly higher in all the four AF groups than in the normal control; highest in the high-ex AF and lowest in the low-ex (lower than the no-ex AF), which indicates that low-ex treated the AF. Consistent with these changes, G protein-gated inwardly rectifying K⁺ currents, which were induced by ACh, increased in an exercise intensity-dependent manner and were lower in the low-ex AF than the no-ex AF. The peak level of Ca²⁺ current (at 0 mV) increased also in an exercise intensity-dependent manner and the inactivation time constants were shorter in all AF groups except for the low-ex AF group, in which the time constant was similar to that of the control. Finally, action potential duration was shorter in all the four AF groups than in the normal control; shortest in the high-ex AF and longest in the low-ex AF. Taken together, we conclude that low-intensity exercise protects the heart from AF, whereas high-intensity exercise might exacerbate AF.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.8 no.6
• /
• pp.853-861
• /
• 2018

This paper proposes the application of harmonic constraints to address the problems caused by abnormal voltage increases when electric railway vehicles are running. The AC line that supplies the train with power during operation is used to provide electricity of 25kV/60 Hz, but gradually the size and frequency of harmonics involved in the line are varied with the technological evolution of the railroad vehicle electrical equipment. An increase in heat losses due to the failure of the instrument transformer (PT), the main circuit device, which is a serious problem with the recent train safety operation, or to the main displacement voltage. When high frequency components are introduced through low frequency Transformers of the main circuit device, the high intensity of the components is caused by the high intensity of the core and the current flow of the parasitic core is increased, thus generating heat. To solve this problem, the recent adjustment of the sequence has applied artificial NOTCH OFF of the power converter. However, the method of receiving and controlling the OFF signal operates by interaction between the ground and the vehicle's devices, thus it is invalid in the event of failure, and an actual accident is occurring. Therefore, the harmonic currents were required to prevent possible flow of harmonics, and conducted a study to prevent accidental occurrence of train accidents and to verify feasibility of the device through the simulations of the train's experimental analysis and the simulations of the train for safe operation.