A Study on Green Economy Indicators and Modeling: Russian Context

This article aims to assess and forecast the dynamics of a regional green economy. The research relevance is determined by the need to develop theoretical and methodological basis of the green economy for the transition period and to identify criteria basis for assessing the state and regional level of it. The authors applied the modern methods, which allowed to model criteria considering data uncertainty and both static and dynamic criteria. The research process involved the methods of scientific analysis, comparison and synthesis, the theory of fuzzy sets, and fuzzy modeling. The main principles and methodology of the criteria evaluation for a regional green economy are proposed. The principal methodological approach in this research combines the current state and dynamics of the green economy in evaluating and forecasting the conditions of data uncertainty. The research results form a theoretical, methodological, and practical basis for assessing the current state and level of a regional green economy development, determining the effectiveness of environmental and economic programs, optimizing financial management, conducting environmental monitoring, and developing state plans.The research was funded by the grant of the Ministry of Education and Science of the Russian Federation to Perm National Research Polytechnic University # 26.6884.2017/8.9 "Sustainable development of urban areas and the improvement of the human environment.

A Study on Green Economy Indicators and Modeling: Russian Context

This article aims to assess and forecast the dynamics of a regional green economy. The research relevance is determined by the need to develop theoretical and methodological basis of the green economy for the transition period and to identify criteria basis for assessing the state and regional level of it. The authors applied the modern methods, which allowed to model criteria considering data uncertainty and both static and dynamic criteria. The research process involved the methods of scientific analysis, comparison and synthesis, the theory of fuzzy sets, and fuzzy modeling. The main principles and methodology of the criteria evaluation for a regional green economy are proposed. The principal methodological approach in this research combines the current state and dynamics of the green economy in evaluating and forecasting the conditions of data uncertainty. The research results form a theoretical, methodological, and practical basis for assessing the current state and level of a regional green economy development, determining the effectiveness of environmental and economic programs, optimizing financial management, conducting environmental monitoring, and developing state plans.The research was funded by the grant of the Ministry of Education and Science of the Russian Federation to Perm National Research Polytechnic University # 26.6884.2017/8.9 "Sustainable development of urban areas and the improvement of the human environment.

O'Mega: An Optimizing Matrix Element Generator

We sketch the architecture of O'Mega, a new optimizing compiler for tree amplitudes in quantum field theory, and briefly describe its usage. O'Mega generates the most efficient code currently available for scattering amplitudes for many polarized particles in the Standard Model and its extensions.Comment: 29 pages, LaTe

Application of Genetic Programming to High Energy Physics Event Selection

We review genetic programming principles, their application to FOCUS data samples, and use the method to study the doubly Cabibbo suppressed decay D+ -> K+ pi+ pi- relative to its Cabibbo favored counterpart, D+ -> K- pi+ pi+. We find that this technique is able to improve upon more traditional analysis methods. To our knowledge, this is the first application of the genetic programming technique to High Energy Physics data.Comment: 39 page

An engineering approach to automatic programming

An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format

Automatic generation of simplified weakest preconditions for integrity constraint verification

Given a constraint $c$ assumed to hold on a database $B$ and an update $u$ to be performed on $B$, we address the following question: will $c$ still hold after $u$ is performed? When $B$ is a relational database, we define a confluent terminating rewriting system which, starting from $c$ and $u$, automatically derives a simplified weakest precondition $wp(c,u)$ such that, whenever $B$ satisfies $wp(c,u)$, then the updated database $u(B)$ will satisfy $c$, and moreover $wp(c,u)$ is simplified in the sense that its computation depends only upon the instances of $c$ that may be modified by the update. We then extend the definition of a simplified $wp(c,u)$ to the case of deductive databases; we prove it using fixpoint induction

Bidding wind energy under uncertainty

The integration of wind energy into electricity markets implies that the wind energy must commit their production for a given time period. This requires the use of short term wind power prediction tools to prepare the bids for the spot market. The output of these tools have a limited accuracy, and, therefore, these predictions are uncertain. Optimal bids must take into account this uncertainty in order to get the maximum revenue from the sell of energy, minimizing losses due to imbalance costs. The consequence is that the optimal bids sent to the market do not coincide with the best predictions. Regulatory authorities must consider if this situation is good for the system operation, and encourage TSOs to have their own prediction tools and have results independent of bidding strategies.International Conference on Clean Electrical Power, ICCEP '07 (Capri, 21-23 May 2007). P. 754-759Publicad