Abstract This paper addresses the problem of navigating an autonomous vehicle using environmental dynamics prediction. The usefulness of the Game Against Nature formalism adapted to modelling environmental prediction uncertainty is discussed. The possibility of the control law synthesis on the basis of strategies against Nature is presented. The properties and effectiveness of the approach presented are verified by simulations carried out in MATLAB.
Abstract The complexity of many biological processes, which, thanks to the development of many fields of science, becomes for us more and more obvious, makes these processes extremely interesting for further analysis. In this paper a quantitative model of the process of macrophage differentiation, which is essential for many phenomena occurring in the human body, is proposed and analyzed. The model is expressed in the language of Petri net theory on the basis of one of the three hypotheses concerning macrophage differentiation existing in the literature. The performed analysis allowed to find an importance of individual factors in the studied phenomenon.
Abstract The efficiency of vibration control in an automotive semi-active suspension system depends on the quality of information from sensors installed in the vehicle, including information about deflection of the suspension system. The control algorithm for vibration attenuation of the body takes into account its velocity as well as the relative velocity of the suspension. In this paper it is proposed to use the Linear Variable Differential Transformer (LVDT) unit to measure the suspension deflection and then to estimate its relative velocity. This approach is compared with a typical solution implemented in such applications, where the relative velocity is calculated by processing signals acquired from accelerometers placed on the body and on the chassis. The experiments performed for an experimental All-Terrain Vehicle (ATV) confirm that using LVDT units allows for improving ride comfort by better vibration attenuation of the body.
Abstract A standard solution regarding business process management automation in enterprises is the use of workflow management systems working by the Rule-Based Reasoning approach. In such systems, the process model which is designed entirely before the implementation has to meet all needs deriving from business activity of the organization. In practice, it means that great limitations arise in process control abilities, especially in the dynamic business environment. Therefore, new kinds of workflow systems may help which typically work in more agile way e.g. following the Case-Based Reasoning approach. The paper shows another possible solution – the use of emergence theory which indicates among other conditions required to fulfill stimulation of the system (for example the business environment) to run grass-roots processes that lead to arising of new more sophisticated organizing forms. The paper also points the using opportunity of such techniques as the processing of complex events to fulfill key conditions pointed by the emergence theory.
Abstract Using mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for application distribution is proposed. The algorithm minimizes the energy cost of application execution with constrained execution time.
Abstract In this paper there is considered a flexible job shop problem of operations scheduling. The new, very fast method of determination of cycle time is presented. In the design of heuristic algorithm there was the neighborhood inspired by the game of golf applied. Lower bound of the criterion function was used in the search of the neighborhood.
Abstract This paper presents a concept of an Integrated System of Supporting Information Management in Passenger Traffic (ISSIMPT). The novelty of the system is an integration of six modules: video monitoring, counting passenger flows, dynamic information for passengers, the central processing unit, surveillance center and vehicle diagnostics into one coherent solution. Basing on expert evaluations, we propose to present configuration design problem of the system as a multi-objectives discrete static optimization problem. Then, hybrid method joining properties of weighted sum and ε-constraint methods is applied to solve the problem. Solution selections based on hybrid method, using set of exemplary cases, are shown.
Abstract The subject of this work is the new idea of blocks for the cyclic flow shop problem with setup times, using multiple patterns with different sizes determined for each machine constituting optimal schedule of cities for the traveling salesman problem (TSP). We propose to take advantage of the Intel Xeon Phi parallel computing environment during so-called ’blocks’ determination basing on patterns, in effect significantly improving the quality of obtained results.
Abstract Traditional computational models for enterprise software are still to a great extent centralized. However, rapid growing of modern computation techniques and frameworks causes that contemporary software becomes more and more distributed. Towards development of new complete and coherent solution for distributed enterprise software construction, synthesis of three well-grounded concepts is proposed: Domain-Driven Design technique of software engineering, REST architectural style and actor model of computation. As a result new resources-based framework arises, which after first cases of use seems to be useful and worthy of further research.
Abstract Underground extraction of coal is characterized by high variability of mining and geological conditions in which it is conducted. Despite ever more effective methods and tools, used to identify the factors influencing this process, mining machinery, used in mining underground, work in difficult and not always foreseeable conditions, which means that these machines should be very universal and reliable. Additionally, a big competition, occurring on the coal market, causes that it is necessary to take action in order to reduce the cost of its production, e.g. by increasing the efficiency of utilization machines. To meet this objective it should be pro-ceed with analysis presented in this paper. The analysis concerns to availability of utilization selected mining machinery, conducted using the model of OEE, which is a tool for quantitative estimate strategy TPM. In this article we considered the machines being part of the mechanized longwall complex and the basis of analysis was the data recording by the industrial automation system. Using this data set we evaluated the availability of studied machines and the structure of registered breaks in their work. The results should be an important source of information for maintenance staff and management of mining plants, needed to improve the economic efficiency of underground mining.
Abstract In the work a single-machine scheduling problem is being considered, in which all tasks have a fixed availability (release) and delivery time. In the analyzed variant no-idle time is allowed on a machine. The purpose of optimization is to determine such order of tasks that minimizes the makespan, i.e. the time of execution of all the tasks. There is also a number of properties of the problem presented, in particular there are formulated block eliminating properties for no-idle constraint. There was an exact B&B algorithm based on the block properties proposed.
Abstract We consider a model of fishery management, where n agents exploit a single population with strictly concave continuously differentiable growth function of Verhulst type. If the agent actions are coordinated and directed towards the maximization of the discounted cooperative revenue, then the biomass stabilizes at the level, defined by the well known “golden rule”. We show that for independent myopic harvesting agents such optimal (or ε-optimal) cooperative behavior can be stimulated by the proportional tax, depending on the resource stock, and equal to the marginal value function of the cooperative problem. To implement this taxation scheme we prove that the mentioned value function is strictly concave and continuously differentiable, although the instantaneous individual revenues may be neither concave nor differentiable.
Abstract Various optimization problems for linear parabolic systems with multiple constant time lags are considered. In this paper, we consider an optimal distributed control problem for a linear complex parabolic system in which different multiple constant time lags appear both in the state equation and in the Neumann boundary condition. Sufficient conditions for the existence of a unique solution of the parabolic time lag equation with the Neumann boundary condition are proved. The time horizon T is fixed. Making use of the Lions scheme , necessary and sufficient conditions of optimality for the Neumann problem with the quadratic performance functional with pointwise observation of the state and constrained control are derived. The example of application is also provided.
Abstract Bidirectional Inductive power transfer (IPT) systems behave as high order resonant networks and hence are highly sensitive to changes in system parameters. Traditional PID controllers often fail to maintain satisfactory power regulation in the presence of parametric uncertainties. To overcome these problems, this paper proposes a robust controller which is designed using linear matrix inequality (LMI) techniques. The output sensitivity to parametric uncertainty is explored and a linear fractional transformation of the nominal model and its uncertainty is discussed to generate a standard configuration for μ-synthesis and LMI analysis. An H∞ controller is designed based on the structured singular value and LMI feasibility analysis with regard to uncertainties in the primary tuning capacitance, the primary and pickup inductors and the mutual inductance. Robust stability and robust performance of the system is studied through μ-synthesis and LMI feasibility analysis. Simulations and experiments are conducted to verify the power regulation performance of the proposed controller.