Programming frameworks  are application generators with the following components: library of software modules (building blocks out of which the system is constructed), a method for designing new modules that can be appended to the above mentioned library, a pattern according to which ready modules can be assembled into a complete system jointly exerting control over it and realizing the task at hand. The presented transition function based formalism can be applied to specifying programming frameworks for robot controllers executing very diverse tasks. The paper deals with systems consisting of multiple embodied agents, influencing the environment through e#27;ectors, gathering information from the environment through sensors and communicating with other agents through communication channels. The presented code patterns pertain to behavioural agents. The formalism was instrumental in the design of MRROC++ robot programming framework, which has been used for producing controllers of single and two manipulator systems performing diverse tasks. The formalism introduces rigor into the discussion of the structure of embodied agent controllers. It is used as the means for the specification of the functions of the components of the control system and the structure of the communication links between them. This structures the implementation of a programming framework, and that in turn makes the coding of specific controllers much easier, both from the point of view of dealing with the hardware configuration of the system and the specific task that has to be executed.
Good practices in the creation of the Commune Revitalization Program – cooperation between the University of Adam Mickiewicz and the City of Kalisz, The entry of the Revitalization Act on November 18, 2015 enabled municipalities to efficiently plan and conduct the process of moving degraded areas out of the crisis. The Act introduced key regulations affecting the programming of revitalization in Poland. One of the most important instruments is the Municipal Revitalization Program. In order to be able to fully use the potential of this document, we should look for solutions that allow creating the most comprehensive solutions. One of the examples of such activities is cooperation between the university and the local government. Thanks to this combination of practical knowledge of officials with theoretical knowledge of academic experts, we can say that it is a project unique in the country. It is also unique due to the fact that spatial economy students who actively participated in the document creation process were included in the work. The aim of the work is to present the course of the cooperation process of the University of Adam Mickiewicz with the Office during the preparation of the Municipal Revitalization Program for the city of Kalisz and showing the role that the students included in the project played in this project
Poland’s National Vaccination Program is an essential element in the strategy of prevention of infectious diseases and their complications, here considered with a particular focus on combination vaccines and the need for the Program’s further expansion.
In this paper we present results of systematic and comprehensive simulation analysis of the Tsao & Safonov unfalsified controller for complex robot manipulators. In particular, we show that the controller falsification procedure yields the closedloop unfalsified controller, which accomplishes the control objective, within a finite and relatively short time interval with the number of invocations of linear programming based unfalsified controller selection procedure being relatively small. We also present some conclusions resulting from the investigation of the e#27;ect of such elements as manipulator structure complexity, prior knowledge about disturbances, reference trajectory and assigned closed-loop spectrum on unfalsified controller performance and computational complexity.
Experiences of subregional cities in programming of urban renewal. The aim of the article is to analyze and evaluate the experience of selected subregional cities in revitalization programming. At the beginning, the strategic policy of the state towards subregional centers was defined. The guidelines from the National Spatial Development Concept, the National Urban Policy and the Strategy for Responsible Development were pointed out. Then, examine in detail the activities carried out so far in 4 cities, which as a result of the administrative reform in 1999 lost the status of the provincial city, i.e. in Ciechanów, Legnica, Piła and Przemyśl. Current documents have been characterized, in particular, the specificity of areas covered by revitalization has been described. Next, the leading directions of transformations of these areas were presented, resulting from the adopted revitalization policy. This allowed for the formulation of certain generalizations about the specificity of the process of renewal of degraded areas in subregional centers in Poland.
Dynamic development in children’s research has led to surprising discoveries about the learning and thinking patterns of fetuses, infants and young children. These studies have revolutionized not only our knowledge of children, but also our understanding of the nature of the human mind and brain. Moreover, within this context, it is believed that many areas of adulthood are the result of the experiences and changes that occur during the fetal period and in childhood. These experiences, therefore, are crucial for human development and what people achieve in the following stages of their lives. The results of the research on brain development during the fetal period and during childhood presented here, reveal a new perspective for understanding the essence and nature of the learning process. These studies also strongly suggest that the first two thousand days of a child’s life are critical in developing many basic human skills. Therefore, we must take great care of the quality of environment for a child’s development.
This paper presents revised and extended version of theory proposed in the late 1970-ties by A. ˇCyras and his co-workers. This theory, based upon the notion of duality in mathematical programming, allows us to generate variational principles and to investigate existence and uniqueness of solutions for the broad class of problems of elasticity and plasticity. The paper covers analysis of solids made of linear elastic, elastic-strain hardening, elastic-perfectly plastic and rigid-perfectly plastic material. The novelty with respect to ˇCyras’s theory lies in taking into account loads dispersed over the volume and displacements enforced on the part of surface. A new interpretation of optimum load for a rigid-perfectly plastic body is also given.
The second part of the paper presents ﬁnite-dimensional models of linear elastic, elastic-strain hardening, elastic-perfectly plastic and rigid-perfectly plastic structures. These models can be seen as a result of discretisation procedure applied to the models of solids derived in the Part I. The implications of sub-dividing degrees of freedom into those with prescribed external forces and those with given displacements are discussed. It is pointed out that the dual energy principles given in this part of the paper can serve as a direct basis for numerical computations.
In the paper the new constructions of robots, modern technologies of painting and newest methods of paint robots programming were presented. Fanuc P-250iA robot using to painting was characterized. The general characteristic of robot with controller R-30iA was demonstrated. The technology and the paint equipment applied to paint frames and load-carrying boxes was shown. The possibilities of simulation software Roboguide were presented exactly, which is a tool for robot environment simulation on a computer PC. Roboguide system application can reduce the programming time of robots and necessary programs optimization conducted before implementation to production.
Precise measurement of rail vehicle velocities is an essential prerequisite for the implementation of modern train control systems and the improvement of transportation capacity and logistics. Novel eddy current sensor systems make it possible to estimate velocity by using cross-correlation techniques, which show a decline in precision in areas of high accelerations. This is due to signal distortions within the correlation interval. We propose to overcome these problems by employing algorithms from the field of dynamic programming. In this paper we evaluate the application of correlation optimized warping, an enhanced version of dynamic time warping algorithms, and compare it with the classical algorithm for estimating rail vehicle velocities in areas of high accelerations and decelerations.
The main optimized objects in underground mines include: stope layout, access layout and production scheduling. It is common to optimize each component sequentially, where optimal results from one phase are regarded as the input data for the next phase. Numerous methods have been developed and implemented to achieve the optimal solution for each component. In fact, the interaction between different phases is ignored in the tradition optimization models which only get the suboptimal solution compared to the integrated optimization model. This paper proposes a simultaneous integrated optimization model to optimize the three components at the same time. The model not only optimizes the mining layout to maximize the Net Present Value (NPV), but also considers the extension sequence of stope extraction and access excavation. The production capacity and ore quality requirement are also taken into account to keep the mining process stable in all mine life. The model is validated to a gold deposit in China. A two-dimensional block model is built to do the resource estimation due to the clear boundary of the hanging wall and footwall. The thickness and accumulation of each block is estimated by Ordinary Kriging (OK). In addition, the conditional simulation method is utilized to generate a series of orebodies with equal possibility. The optimal solution of optimization model is carried out on each simulated orebody to evaluate the influence of geological uncertainty on the optimal mining design and production scheduling. The risk of grade uncertainty is quantified by the possibility of obtaining the expected NPV. The results indicate that the optimization model has the ability to produce an optimal solution that has a good performance under the uncertainty of grade variability.
A new soft-fault diagnosis approach for analog circuits with parameter tolerance is proposed in this paper. The approach uses the fuzzy nonlinear programming (FNLP) concept to diagnose an analog circuit under test quantitatively. Node-voltage incremental equations, as constraints of FNLP equation, are built based on the sensitivity analysis. Through evaluating the parameters deviations from the solution of the FNLP equation, it enables us to state whether the actual parameters are within tolerance ranges or some components are faulty. Examples illustrate the proposed approach and show its effectiveness.
The basic resource of urban planning is space, which as a result of transformation has a direct impact on socio-economic development and quality of life. The author’s purpose was to define planning solutions for urban spatial policy, which can raise the quality of living, especially in the residential environment. In connection with the above, the literature of the subject was analysed and examples of good spatial policy and urban development in the living environment were shown. Particular attention was paid to the planning solutions in Paris and Vienna, as well as to the examples of the new living environment creation in some Scandinavian cities.
The main objective of the article is to assess the changes in carbon dioxide emissions in residential sector caused by the implementation of the plans contained in the Air Protection Programs, anti-smog resolutions adopted in 9 voivodeships and the nationwide “Clean Air” program. The reduction of emissions of pollutants which directly affecting air quality and human health, i.e. particulate matter and benz(a)pyrene, which residential sector is the main source, can also affect the amount of emitted of carbon dioxide. To determine the changes in carbon dioxide emissions in the residential sector, emissions of CO2 in base year of 2017 from various energy carriers were determined, plans for reducing of low-stack emission were reviewed and the future structure of energy carriers used in households was estimated. The processes of increasing the efficiency of energy use through both the replacement of boilers and thermomodernization were also taken into account. The obtained results show that the highest CO2 emission reduction of 6% is achieved in case of “Clean Air” program. In frame of this program in 3.5 million of single-family houses a heating system replacement and thermomodernization is planned. Implementation of plans included on Air Protection Programs and anti-smog resolutions can lead to a relatively small (approx. 1%) reduction of CO2 compared to base year 2017. The detailed results of future fuel consumption and CO2 emission for individual voivodeships and for the whole of Poland was presented.
The paper refers to planning deliveries of food products (especially those available in certain seasons) to the recipients: supermarket networks. The paper presents two approaches to solving problems of simultaneous selection of suppliers and transportation modes and construction of product flow schedules with these transportation modes. Linear mathematical models have been built for the presented solution approaches. The cost criterion has been taken into consideration in them. The following costs have been taken into account: purchase of products by individual recipients, transport services, storing of products supplied before the planned deadlines and penalties for delays in supply of products. Two solution approaches (used for transportation planning and selection of suppliers and selection of transportation modes) have been compared. The monolithic approach calls for simultaneous solutions for the problems of supplier selection and selection of transportation modes. In the alternative (hierarchical) solution approach, suppliers are selected first, and then transportation companies and their relevant transportation modes are selected. The results of computational experiments are used for comparison of the hierarchical and monolithic solution approaches.
In the paper, we present a coordinated production planning and scheduling problem for three major shops in a typical alloy casting foundry, i.e. a melting shop, molding shop with automatic line and a core shop. The castings, prepared from different metal, have different weight and different number of cores. Although core preparation does not required as strict coordination with molding plan as metal preparation in furnaces, some cores may have limited shelf life, depending on the material used, or at least it is usually not the best organizational practice to prepare them long in advance. Core shop have limited capacity, so the cores for castings that require multiple cores should be prepared earlier. We present a mixed integer programming model for the coordinated production planning and scheduling problem of the shops. Then we propose a simple Lagrangian relaxation heuristic and evolutionary based heuristic to solve the coordinated problem. The applicability of the proposed solution in industrial practice is verified on large instances of the problem with the data simulating actual production parameters in one of the medium size foundry.
This paper presents methods for optimal test frequencies search with the use of heuristic approaches. It includes a short summary of the analogue circuits fault diagnosis and brief introductions to the soft computing techniques like evolutionary computation and the fuzzy set theory. The reduction of both, test time and signal complexity are the main goals of developed methods. At the before test stage, a heuristic engine is applied for the principal frequency search. The methods produce a frequency set which can be used in the SBT diagnosis procedure. At the after test stage, only a few frequencies can be assembled instead of full amplitude response characteristic. There are ambiguity sets provided to avoid a fault tolerance masking effect.
The work presented in the paper concerns a very important problem of searching for string alignments. The authors show that the problem of a genome pattern alignment could be interpreted and defined as a measuring task, where the distance between two (or more) patterns is investigated. The problem originates from modern computation biology. Hardware-based implementations have been driving out software solutions in the field recently. The complex programmable devices have become very commonly applied. The paper introduces a new, optimized approach based on the Smith-Waterman dynamic programming algorithm. The original algorithm is modified in order to simplify data-path processing and take advantage of the properties offered by FPGA devices. The results obtained with the proposed methodology allow to reduce the size of the functional block and radically speed up the processing time. This approach is very competitive compared with other related works.
Saccharamyces cerevisia known as baker’s yeast is a product used in various food industries. Worldwide economic competition makes it a necessity that industrial processes be operated in optimum conditions, thus maximisation of biomass in production of saccharamyces cerevisia in fedbatch reactors has gained importance. The facts that the dynamic fermentation model must be considered as a constraint in the optimisation problem, and dynamics involved are complicated, make optimisation of fed-batch processes more difficult. In this work, the amount of biomass in the production of baker’s yeast in fed-batch fermenters was intended to be maximised while minimising unwanted alcohol formation, by regulating substrate and air feed rates. This multiobjective problem has been tackled earlier only from the point of view of finding optimum substrate rate, but no account of air feed rate profiles has been provided. Control vector parameterisation approach was applied the original dynamic optimisation problem which was converted into a NLP problem. Then SQP was used for solving the dynamic optimisation problem. The results demonstrate that optimum substrate and air feeding profiles can be obtained by the proposed optimisation algorithm to achieve the two conflicting goals of maximising biomass and minimising alcohol formation.
In a rectilinear route, a moving sink is restricted to travel either horizontally or vertically along the connecting edges. We present a new algorithm that finds the shortest round trip rectilinear route covering the specified nodes in a grid based Wireless Sensor Network. The proposed algorithm determines the shortest round trip travelling salesman path in a two-dimensional grid graph. A special additional feature of the new path discovery technique is that it selects that path which has the least number of corners (bends) when more than one equal length shortest round trip paths are available. This feature makes the path more suitable for moving objects like Robots, drones and other types of vehicles which carry the moving sink. In the prosed scheme, the grid points are the vertices of the graph and the lines joining the grid points are the edges of the graph. The optimal edge set that forms the target path is determined using the binary integer programming.
The use of quantitative methods, including stochastic and exploratory techniques in environmental studies does not seem to be sufficient in practical aspects. There is no comprehensive analytical system dedicated to this issue, as well as research regarding this subject. The aim of this study is to present the Eco Data Miner system, its idea, construction and implementation possibility to the existing environmental information systems. The methodological emphasis was placed on the one-dimensional data quality assessment issue in terms of using the proposed QAAH1 method - using harmonic model and robust estimators beside the classical tests of outlier values with their iterative expansions. The results received demonstrate both the complementarity of proposed classical methods solution as well as the fact that they allow for extending the range of applications significantly. The practical usefulness is also highly significant due to the high effectiveness and numerical efficiency as well as simplicity of using this new tool.