• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.720-723
• /
• 2005

There has been significant progress in the development of timed process algebra for the specification and analysis of real-time systems in recent years. ACSR is a timed process algebra, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchronization between processes. To be able to specify real-time systems more effectively, this paper suggests the notion of probabilities. This paper also illustrates extended PACSR with a typical resource allocation system and its deadlock specification and analysis.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.4
• /
• pp.987-992
• /
• 2016

This study introduces an example environment where wireless devices are mobile, devices use dynamic voltage scaling, devices and tasks are heterogeneous, tasks have deadline, and the computation and communication power is dynamically changed for energy saving. For this type of environment, the efficient system-level energy management and resource management for task completion can be an essential part of the operation and design of such systems. Therefore, the resources are assigned to tasks and the tasks may be scheduled to maximize a goal which is to minimize energy usage while trying to complete as many tasks as possible by their deadlines. This paper also introduces mobility of nodes and variable transmission power for communication which complicates the resource management/task scheduling problem further.

• Asia pacific journal of information systems
• /
• v.1 no.1
• /
• pp.117-145
• /
• 1991

IS changeback is regarded as an offective way to control the usage of computers and communication systems which are very much limited resources and whose costs are very high, In this paper, the problem of combining the optimal chargeback system which guarantees the efficiency with the Rawls'(1971) concept of fairness. Primary conclusion of this paper is that if the value function which represents the contributions of IS user to the firm's profit is evidit and there is no uncertainty about this contribution information, optimality can be achived without any loss of fairness using full cost allocation pricing. But if there is no significant differences among contribution of each user and there is no significant differences among users because of the managerial arbitrariness, From this point of view contingent chargeback system with which manager can find the golden middle between optimality and fairness by adjusting the 'efficiency coefficient' according to his/her organizational characterisics and environments is proposed. A heuristic of finding the appropriate efficiency coefficient is also suggested.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.9
• /
• pp.2350-2353
• /
• 2009

For applications that are grid enabled, the grid can offer a resource balancing effect by scheduling grid jobs on machines with low utilization. When jobs communicate with each other, the internet, with storage resources, an advanced scheduler could schedule them to minimize communications traffic or minimize the distance of the communications. We propose an load redistribution algorithm to minimize communication traffic and distance of the communication using genetic algorithm. The experiments show the proposed load redistribution algorithm performs efficiently in the variance of load in grid environments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.712-714
• /
• 2012

D2D(Device-to-Device) 통신은 이동통신망을 기반으로 동작할 경우 이동통신망의 자원을 재사용함으로써 주파수 자원사용의 효율성을 높일 수 있다. 그러나 D2D 통신 단말(DUE; D2D user equipment)이 이동통신망의 자원을 재사용하는 경우 동일자원을 사용하는 이동통신개체와 DUE 간 및 D2D 통신 쌍 간에 신호 간섭이 발생할 수 있어 이를 고려한 자원할당기법에 대한 연구가 필요하다. 본 논문에서는 다수의 DUE가 이동통신망의 상향링크 자원을 다중으로 재사용할 때 이동통신개체 및 DUE가 달성가능 한 주파수 효율을 고려하여 DUE에게 자원을 할당함으로써 셀 수율을 향상시킬 수 있는 자원할당 기법을 제안한다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.26 no.4
• /
• pp.149-154
• /
• 2018

Risk Based Oversight is a way of performing oversight, where planning is driven by the combination of risk profile and safety performance. Risk Based Oversight enables prioritization and allocation of State's safety management resources commensurate with the safety risk profile of each service provider. This paper presents the concept of Risk Based Oversight and applies it to the current Korean aviation safety oversight process. In particular, this study presents a method for generating operating profiles, one of the key concepts of Risk Based Oversight. Operations Specifications of Part 121 Airlines can generate operating profiles. In this study, a practical study was conducted to generate the operating profile and scoped DCTs using Part 121 Airlines's Operations Specifications.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.893-895
• /
• 2014

Railway dedicated frequency bandwidth allocation matters are being discussed actively before an introduce of wireless communication based train control system to korean railway industry. Allocating the frequency band, which has great value as a public resource, for suitable use with right amount is particularly important, because of equity in other fields and valuable use of limited resources. In this paper, the feasibility about stable railway communication network operation based on LTE in diverse frequency bandwidth will be discussed with solicitous simulation.

• Journal of Information Processing Systems
• /
• v.15 no.5
• /
• pp.1055-1067
• /
• 2019

In view of the deficiencies of existing weighted similarity indexes, a hierarchical clustering method initialize-expand-merge (IEM) is proposed based on the similarity of common neighbors for community discovery in weighted networks. Firstly, the similarity of the node pair is defined based on the attributes of their common neighbors. Secondly, the most closely related nodes are fast clustered according to their similarity to form initial communities and expand the communities. Finally, communities are merged through maximizing the modularity so as to optimize division results. Experiments are carried out on many weighted networks, which have verified the effectiveness of the proposed algorithm. And results show that IEM is superior to weighted common neighbor (CN), weighted Adamic-Adar (AA) and weighted resources allocation (RA) when using the weighted modularity as evaluation index. Moreover, the proposed algorithm can achieve more reasonable community division for weighted networks compared with cluster-recluster-merge-algorithm (CRMA) algorithm.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.424-428
• /
• 2005

As the application of NPM in waste administration branch this paper proposes a new waste management method in order to increase the efficiency of resources and reduce the quantity of waste. First the matrix method is suggested which comprehensively consider and integrate the proposals of different government departments. Moreover the inhabitant's attitude toward the new waste management measures was investigated. Based on the investigation the evaluation function was made, which include three elements: necessary budget, the effect of cost decrease and the environmental burden decrease. The optimal method of budget allocation to maximize social welfare is proposed under the condition of limited budget by the evaluation function. By applying this system further local governments will be able to determine their adequate service level and budget size.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.744-747
• /
• 2005

The AEC (Architecture/Engineering/Construction) industry is facing a competitive world after it entered into the 21^st century. Due to improper planning and scheduling, the construction projects face severe delays in completion. Most of the present day construction organisations operate in multiple project environments where more than one projects are to be managed simultaneously. But the advantages of planning and scheduling as multiple projects have not been utilized by these organisations. Change in multi-project planning and scheduling is inevitable and often frequent, therefore the traditional planning and scheduling approaches are no more feasible in scheduling multiple construction projects. The traditional scheduling tools like CPM and PERT do not offer any help in scheduling in a resource-constrained environment. This necessitated a detailed study to model the environment realistically and to make the allocation of limited resources flexible and efficient. This paper delineates about the proactive model which will help the project managers for scheduling the multiple construction projects.