For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more...
详细信息
We explore a continuous aggregated dynamic model for developing two gas fields. The new borehole commissioning rates are the control parameters. Changes in the average flow rate of producing boreholes and current natu...
详细信息
ISBN:
(数字)9798350375718
ISBN:
(纸本)9798350375725
We explore a continuous aggregated dynamic model for developing two gas fields. The new borehole commissioning rates are the control parameters. Changes in the average flow rate of producing boreholes and current natural gas production are proportional. It is necessary to solve the problem of maximizing discounted accumulated income for two gas fields. We analyze the optimal control problem with an unrestricted right end and a fixed time. The Pontryagin maximum principle is a main tool for solving the problem. The special optimal control mode is of particular interest. We highlight the critical aspects of all possible optimal controls.
Cloud Computing is a new technology that has rapidly established itself in computerscience since it allows the usage of huge computing resources that are dynamically allocated in order to satisfy user's needs and...
详细信息
Cloud Computing is a new technology that has rapidly established itself in computerscience since it allows the usage of huge computing resources that are dynamically allocated in order to satisfy user's needs and that are accessible as a service through a remote interface, such as a web browser. Cloud resources can be distributed in different places and such distribution is made transparent to the user;this one does not need to worry about data replication and/or maintenance of the infrastructure but he/she benefits only of the required services, by exploiting the Pay-Per-Use business model. In this context, the interoperability among different providers becomes critical due to the vendor lock-in problem. Here we present a multi agent system that accesses, on behalf of the user, the utility market of Cloud computing to maintain the best resources configuration that satisfies the application requirements. It also offers management and monitoring facilities for the Cloud infrastructure in order to guide the user in all the phases of the application's lifecycle. Together with the platform, we present client-side tools that can be used to orchestrate agents' based services.
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it ...
详细信息
ISBN:
(数字)9783319754086
ISBN:
(纸本)9783319754079;9783030092238
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it describes new theoretical advances, as well as cutting-edge methods and applications. Theories cover a wealth of topics, such as fuzzy logic, cognitive modeling, Bayesian and probabilistic methods, multi-criteria decision making, utility theory, approximate reasoning, human-centric computing and many others. Applications concerns a number of fields, such as internet and semantic web, social networks and trust, control and robotics, computer vision, medicine and bioinformatics, as well as finance, security and e-Commerce, among others. Dedicated to the 50th Anniversary of Fuzzy Logic and to the 95th Birthday Anniversary of Lotfi A. Zadeh, the book not only offers a timely view on the field, yet it also discusses thought-provoking developments and challenges, thus fosteringnew research directions in the diverse areas of soft computing.
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch...
详细信息
作者：
Chris McDonaldKamran KazemiProgramming
Languages and Systems Group Department of Computer Science The University of Western Australia Nedlands Western Australia 6907
Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message p...
ISBN:
(纸本)9781581132137
Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message passing environments used in teaching, PVM and MPI, each provide only rudimentary support for the specification and execution of process topologies. There is a strong need for better syntactic and semantic support for process topologies in these environments, so that students may concentrate on the algorithms being studied, and not have to wrestle with the environments' infrastructure. This paper first motivates, and then describes the use of additional support within PVM and MPI which addresses this need.
Optical character recognition(OCR) can be used in some management mechanisms of state and business world to organize documents scanned or captured by camera. Therefore, OCR is one of the subjects rapidly evolving in t...
详细信息
Optical character recognition(OCR) can be used in some management mechanisms of state and business world to organize documents scanned or captured by camera. Therefore, OCR is one of the subjects rapidly evolving in the recent times. This study investigates the procedure steps until character recognition. That's because, the more correctly preprocessings are applied;the better results can be obtained in character recognition. In this study, the algorithms providing the best results are determined by following the procedure stages of gray scale transformation, noise removal and image thresholding. Binarization plays an important role in character recognition. For this reason, algorithms dynamically determine thresholds are preferred for character recognition in this study. Accordingly, Otsu thresholding method was determined to give the best results in terms of both picture quality and speed. Therefore, this method was used for character recognition. Primarily, lines were determined for character separation and then letters were individually obtained.
This paper discusses the problem of risk in optimistic simulation protocols, using as an example, simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augme...
详细信息
ISBN:
(纸本)076951104X
This paper discusses the problem of risk in optimistic simulation protocols, using as an example, simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem, we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance tradeoff for adding them.
For finite convergent term-rewriting systems the equational unification problem is shown to be recursively independent of the equational matching problem, the word matching problem, and the (simultaneous) 2nd-order eq...
详细信息
暂无评论