Automatic Generation of Very Efficient Programs by Generalized Partial Computation

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify Distribute Fold Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.

Fuzzy linear model for production optimization of mining systems with multiple entities

Planning and production optimization within multiple mines or several work sites （entities） mining systems by using fuzzy linear programming （LP） was studied. LP is the most commonly used operations research methods in mining engineering. After the introductory review of properties and limitations of applying LP, short reviews of the general settings of deterministic and fuzzy LP models are presented. With the purpose of comparative analysis, the application of both LP models is presented using the example of the Bauxite Basin Niksic with five mines. After the assessment, LP is an efficient mathematical modeling tool in production planning and solving many other single-criteria optimization problems of mining engineering. After the comparison of advantages and deficiencies of both deterministic and fuzzy LP models, the conclusion presents benefits of the fuzzy LP model but is also stating that seeking the optimal plan of production means to accomplish the overall analysis that will encompass the LP model approaches.

Optimal programming management of ventricular tachycardia storm in ICD patients

Ventricular tachycardia storm （VTS） is defined as a life-threatening syndrome of three or more separate episodes of ventricular tachycardia （VT） leading to implantable cardioverter defibrillator （ICD） therapy within 24 hours. Patients with VTS have poor outcomes and require immediate medical attention. ICD shocks have been shown to be associated with increased mortality in several studies. Optimal programming in minimization of ICD shocks may decrease mortality. Large controlled trials showed that long detection time and high heart rate detection threshold reduced ICD shock burden without an increase in syncope or death. As a fundamental therapy of ICD, anti- tachycardia pacing （ATP） can terminate most slow VT with a low risk of acceleration. For fast VT, burst pacing is more effective and less likely to result in acceleration than ramp pacing. One algorithm of optimal programming management during a VTS is presented in the review.

Approximate Solutions for a Class of Fractional-Order Model of HIV Infection via Linear Programming Problem

In this paper, we provide a new approach to solve approximately a system of fractional differential equations (FDEs). We extend this approach for approximately solving a fractional-order differential equation model of HIV infection of CD4+T cells with therapy effect. The fractional derivative in our approach is in the sense of Riemann-Liouville. To solve the problem, we reduce the system of FDE to a discrete optimization problem. By obtaining the optimal solutions of new problem by minimization the total errors, we obtain the approximate solution of the original problem. The numerical solutions obtained from the proposed approach indicate that our approximation is easy to implement and accurate when it is applied to a systems of FDEs.

Nonparametric Probabilistic Prediction of Regional PV Outputs Based on Granule-based Clustering and Direct Optimization Programming

Regional photovoltaic(PV) power prediction plays an important role in power system planning and operation. To effectively improve the performance of prediction intervals(PIs) for very short-term regional PV outputs, an efficient nonparametric probabilistic prediction method based on granulebased clustering(GC) and direct optimization programming(DOP) is proposed. First, GC is proposed to formulate and cluster the sample granules consisting of numerical weather prediction(NWP) and historical regional output data, for the enhanced hierarchical clustering performance. Then, to improve the accuracy of samples' utilization, an unbalanced extension is used to reconstruct the training samples consisting of power time series. After that, DOP is applied to quantify the output weights based on the optimal overall performance. Meanwhile, a balance coefficient is studied for the enhanced reliability of PIs. Finally, the proposed method is validated through multistep PIs based on the numerical comparison of real PV generation data.

Supply-based optimal scheduling of oil product pipelines

Oil product pipelines have features such as transporting multiple materials, ever-changing operating conditions, and synchronism between the oil input plan and the oil offloading plan. In this paper, an optimal model was established for a single-source multi-distribution oil pro- duct pipeline, and scheduling plans were made based on supply. In the model, time node constraints, oil offloading plan constraints, and migration of batch constraints were taken into consideration. The minimum deviation between the demanded oil volumes and the actual offloading volumes was chosen as the objective function, and a linear programming model was established on the basis of known time nodes＇ sequence. The ant colony optimization algo- rithm and simplex method were used to solve the model. The model was applied to a real pipeline and it performed well.

Modeling optimal oil production paths under risk service contracts

Due to the rigorous fiscal terms and huge potential risk of risk service contracts,optimizing oil production paths is one of the main challenges in designing oilfield development plans.In this paper,an oil production path optimization model is developed to maximize economic benefits within constraints of technology factors and oil contracts.This analysis describes the effects of risk service contract terms on parameters of inputs and outputs and quantifies the relationships between production and production time,revenues,investment and costs.An oil service development and production project is illustrated in which the optimal production path under its own geological conditions and contract terms is calculated.The influences of oil price,service fees per barrel and operating costs on the optimal production have been examined by sensitivity analysis.The results show that the oil price has the largest impact on the optimal production,which is negatively related to oil price and positively related to service fees per barrel and operating costs.

Off-policy integral reinforcement learning optimal tracking control for continuous-time chaotic systems

This paper estimates an off-policy integral reinforcement learning（IRL） algorithm to obtain the optimal tracking control of unknown chaotic systems. Off-policy IRL can learn the solution of the HJB equation from the system data generated by an arbitrary control. Moreover, off-policy IRL can be regarded as a direct learning method, which avoids the identification of system dynamics. In this paper, the performance index function is first given based on the system tracking error and control error. For solving the Hamilton–Jacobi–Bellman（HJB） equation, an off-policy IRL algorithm is proposed.It is proven that the iterative control makes the tracking error system asymptotically stable, and the iterative performance index function is convergent. Simulation study demonstrates the effectiveness of the developed tracking control method.

Structure splitting framework for data-layout optimization

To improve data cache performance, optimizing program data layout by data reorganization has become an important method of decreasing the impact of increasing gap of speed between processor and memory. In this article, a structure splitting framework with an analysis model named structure field relation graph （SFRG） is presented to optimize program data layout. The SFRG can be used to quantify relationship between fields. It helps to find an optimal layout for structure as well as the optimal program data layout. And the data cache performance is improved through SFRG-based structure splitting. Experiments show that this framework is effective in optimizing program data layout and improving the performance of data cache and whole program.

MILP Optimization Model for Assessing the Participation of Distributed Residential PV-battery Systems in Ancillary Services Market

A novel non-linear stochastic method based on a Mixed-Integer Linear Programming(MILP)optimization model is proposed to optimally manage a high number of photovoltaic(PV)-battery systems for the provision of up and down regulation in the ancillary services market.This method,considers both the technical constraints of the power system,and those of the equipment used by all the prosumers.This allows an aggregator of many residential prosumers endowed with photovoltaic(PV)-battery systems to evaluate the baseline of the aggregate by minimizing the costs related to the electrical energy absorbed from the grid and then to assess the up and down flexibility curves with relative offer prices.As confirmed by simulation results carried out considering different realistic case studies,the method can effectively be used by an aggregator to evaluate the economic impact of its participation in the ancillary services market,both for the aggregator and for its prosumers.

Parallel power system restoration planning using heuristic initialization and discrete evolutionary programming

This paper proposes a sectionalizing planning for parallel power system restoration after a complete system blackout.Parallel restoration is conducted in order to reduce the total restoration process time.Physical and operation knowledge of the system,operating personnel experience,and computer simulation are combined in this planning to improve the system restoration and serve as a guidance for system operators/planners.Sectionalizing planning is obtained using discrete evolutionary programming optimization method assisted by heuristic initialization and graph theory approach.Set of transmission lines that should not be restored during parallel restoration process(cut set)is determined in order to sectionalize the system into subsystems or islands.Each island with almost similar restoration time is set as an objective function so as to speed up the resynchronization of the islands.Restoration operation and constraints(black start generator availability,load-generation balance and maintaining acceptable voltage magnitude within each island)is also takeninto account in the course of this planning.The method is validated using the IEEE 39-bus and 118-bus system.Promising results in terms of restoration time was compared to other methods reported in the literature.

A Termination Condition of Unfolding Loop for Generalized Partial Computation

The unfolding problem of loop has always been a difficult problem on the partial computation and Generalized Partial Computation( GPC ) of imperative language. This paper makes use of Data Flow Analysis( DFA ) technique to present an efficient termination condition of unfolding loop for partial evaluation or generalized partial evaluation, and this termination condition can solve the problem very well.

SIMPLE COMPUTING OF THE CUSTOMER LIFETIME VALUE:A FIXED LOCAL-OPTIMAL POLICY APPROACH

In this paper,we present a new method for finding a fixed local-optimal policy for computing the customer lifetime value.The method is developed for a class of ergodic controllable finite Markov chains.We propose an approach based on a non-converging state-value function that fluctuates（increases and decreases） between states of the dynamic process.We prove that it is possible to represent that function in a recursive format using a one-step-ahead fixed-optimal policy.Then,we provide an analytical formula for the numerical realization of the fixed local-optimal strategy.We also present a second approach based on linear programming,to solve the same problem,that implement the c-variable method for making the problem computationally tractable.At the end,we show that these two approaches are related：after a finite number of iterations our proposed approach converges to same result as the linear programming method.We also present a non-traditional approach for ergodicity verification.The validity of the proposed methods is successfully demonstrated theoretically and,by simulated credit-card marketing experiments computing the customer lifetime value for both an optimization and a game theory approach.