• Journal of the Korean Operations Research and Management Science Society
• /
• v.29 no.4
• /
• pp.159-173
• /
• 2004

Instant Messenger is a communication tool which allows instant real-time connection between parties through Internet Compared to the most popular Internet communication tool. email. the messenger allows people to check network presence of other parties and to connect in real time among multiple parties. Mostly due to the convenience it provides. use of instant messengers has increased tremendously not only for personal purpose but also for business purpose. However. firms are agonizing about the real impact of instant messenger usage among employees. whether the impact is positive or negative in terms of the productivity, Applying the theory of reasoned action (TRA) and technology acceptance model (TAM). this study sets UP perceived ease of use. perceived usefulness and cultural orientation of individuals as antecedents of adoption and use of the messenger application, Also. the impacts of messenger usage are measured as task productivity and intimacy among colleagues. This study presents several findings about the instant messenger, First. perceived ease of use. and usefulness play important roles in raising the adoption level of instant messenger. Also. culture propensity also maintains strong influence towards the actual usage of the messenger. Among cultural variables. innovativeness, supportiveness and outcome orientation reveal strong positive impacts on adoption and use of the messenger. On the dependent side. use of instant messenger seems to have a strong direct impact on task productivity as well as indirect impact through intimacy. Implications are discussed.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.39 no.3
• /
• pp.7-22
• /
• 2014

By the publications of RDF and OWL, the Semantic Web is confirmed as a technology through which information in the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to how to provide more useful information to users for their decision making beyond simple use of the structured data in ontologies. SWRL that makes logical inference possible by rules, and SWCL that formulates constraints under the Semantic Web environment are some of many efforts toward the achievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the language by adding one more type of constraint, implication constaint, in its repertoire. When users use binary variables to represent logical relationships in mathematical models, it requires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its need, definition and relevant technical description is presented by the use of the optimal common attribute selection problem in product design.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.3
• /
• pp.93-107
• /
• 1999

We consider the development of an integer programming model and algorithm for the ATM switching node location problem. There are two kinds of facilities, hub facilities and remote facilities, with different capacities and installation costs. Each customer needs to be connected to one or more hub facilities via remote facilities, where the hub(remote) facilities need to be installed at the same candidate installation site of hub(remote) facility. We are given a set of customers with each demand requirements, a set of candidate installation sites of facilities, and connection costs between facilities, We need to determine the locations to place facilities, the number of facilities for each selected location, the set of customers who are connected to each installed hub facilities via installed remote facilities with minimum costs, while satisfying demand requirements of each customer. We formulate this problem as a general integer programming problem and solve it to optimality. In this paper, we develop a branch-and-cut algorithm with path variables. In the algorithm, we consider the integer knapsack polytope and derive valid inequalities. Computational experiments show that the algorithm works well in the real world situation. The results of this research can be used to develop optimization algorithms to solve capacitated facility location problems.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.28 no.2
• /
• pp.75-89
• /
• 2003

Media Access Control (MAC) Protocol in IEEE 802.11 Wireless LAN standard supports two types of services, synchronous and asynchronous. Synchronous real-time traffic is served by Point Coordination Function (PCF) that implements polling access method. Asynchronous nonreal-time traffic is provided by Distributed Coordination Function (DCF) based on Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Since real-time traffic is sensitive to delay, and nonreal-time traffic to error and throughput, proper traffic scheduling algorithm needs to be designed. But it is known that the standard IEEE 802.11 scheme is insufficient to serve real-time traffic. In this paper, real-time traffic scheduling and admission control algorithm is proposed. To satisfy the deadline violation probability of the real time traffic the downlink traffic is scheduled before the uplink by Earliest Due Date (EDD) rule. Admission of real-time connection is controlled to satisfy the minimum throughput of nonreal-time traffic which is estimated by exponential smoothing. Simulation is performed to have proper system capacity that satisfies the Quality of Service (QoS) requirement. Tradeoff between real-time and nonreal-time stations is demonstrated. The admission control and the EDD with downlink-first scheduling are illustrated to be effective for the real-time traffic in the wireless LAN.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.288-300
• /
• 2006

In this paper, we consider a channel ordering problem that seeks to minimize the total interference in mobile radio networks. If a base station receives connection request from a mobile user, one of the empty channels that are fixed to the base station is assigned to the mobile user. Among several channels available, we can choose one that seems to make least interference with other channels assigned to adjacent base stations. However, a pair of channels that are not separated enough do not generate interference if both of them are not simultaneously used by mobile users. That is, interference between channels may vary depending on the channel assignment sequence for each base station and on the distribution of mobile users. To find a channel assignment sequence that seems to generate minimum interference, we develop an optimization model considering various scenarios of mobile user distribution. Simulation results show that channel assignment sequence determined by the scenario based optimization model significantly reduces the interference provided that scenarios and interference costs are properly generated.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.21-31
• /
• 1999

In this paper we study on an interface connection between spatial operators and temporal operators to support the unified operations for spationtemporal data. The integration development of the spatiotemporal operations will be defined as a common use of spatiotemporal relationship operators by spatiotemporal referencing macros. additionally we propose an integration algorithm of a history operator and temporal relationship operators. Then the proposed system will be implemented on the commercial GIS software and evaluated by examples of spatiotemporal query expressions. Here, our integration of spatial and temporal operators will provide spatiotemporal query expressions with a useful framework.

• International Journal of Vascular Biomedical Engineering
• /
• v.2 no.1
• /
• pp.11-16
• /
• 2004

Both flow visualizations and computational fluid dynamics were performed to determine hemodynamics in a total cavopulmonary connection (TCPC) model for surgically correcting congenital heart defects. From magnetic resonance images, an anatomically correct glass model was fabricated to visualize steady flow. The total flow rates were 4, 6 and 8L/min and flow rates from SVC and IVC were 40:60. The flow split ratio between LPA and RPA was varied by 70:30, 60:40 and 50:50. A pressure-based finite-volume software was used to solve steady flow dynamics in TCPC models. Results showed that superior vena cava(SVC) and inferior vena cava(IVC) flow merged directly to the intra-atrial conduit, creating two large vortices. Significant swirl motions were observed in the intra-atrial conduit and pulmonary arteries. Flow collision or swirling flow resulted in energy loss in TCPC models. In addition, a large intra-atrial channel or a sharp bend in TCPC geometries could influence on energy losses. Energy conservation was efficient when flow rates in pulmonary branches were balanced. In order to increase energy efficiency in Fontan operations, it is necessary to remove a flow collision in the intra-atrial channel and a sharp bend in the pulmonary bifurcation.

• Journal of Korean Society for Geospatial Information Science
• /
• v.15 no.3
• /
• pp.3-10
• /
• 2007

As information communication technology matures, GIS is being evolved from wire communication GIS to mobile GIS. This is due that mobile GIS satisfy mobility, field work, speed and time. Also, this is proper that mobile GIS accomplish investigation, confirmation, input and modification operations of spatial and attribute data at field. I think mobile GIS's use is the best way. Because, Mobile GIS's use can accomplish effectively the management of various kinds facilities in city. On this study, we consider diversified methods a person in charge can management point and line data with more easy and more effective method. The management methods of pint type data are free method, offset method two point method. The management methods of line type data are free method, point connection method, point and line connection method and the minimum distance connection method between point and line.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.744-747
• /
• 2004

An electric precipitator in a thermal electric power plant is essential equipment for preventing air environment pollution. However, it is difficult for the existing control systems to make efficient effects on dust collection. This is because AVC and ERC consist of independent, separate systems in the existing systems. To solve this problem, we developed an intelligent distributed control system, which makes optimal control possible through connection operations between the control systems. In this paper, we analyzed system performance and fly ash reduction effects through the developed system structure, development contents and its actual application to power plant.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2600-2602
• /
• 2005

An electric precipitator in a thermal electric power plant is essential equipment for preventing air environment pollution. However, it is difficult for the existing control systems to make efficient effects on dust collection. This is because AVC and ERC consist of independent, separate systems in the existing systems. To solve this problem, we developed an intelligent distributed control system, which makes optimal control possible through connection operations between the control systems. In this paper, we analyzed system performance and fly ash reduction effects through the developed system structure, development contents and its actual application to power plant.