Existence of Linear Strategy Equilibrium in Insider Trading with Partial Observations

This paper investigates a linear strategy equilibrium in insider trading in continuous time allowing market makers to know some information on the value of a stock. By the use of filtering theory,the authors prove that in a monopoly market, there exists a unique equilibrium of linear strategy of intensity in a closed form, such that the insider can make positive profits and at which, all of the private information on the value of the stock is released; and the more accurate the information on the value of the stock observed by the market makers, the less the positive profits are made by the insider, and even go to zero. However, there is no Nash equilibrium in a Cournot competition market between two insiders if they both adopt a linear strategy of intensity.

Linear Strategy for Boolean Ring BasedTheorem Proving

Two inference rules are discussed in boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear strategy. Moreover, by introducing a partial ordering on atoms, pseudo O-linear and O-linear strategies are presented. The former is complete, the latter,however, is complete for clausal theorem proving.

A bioinspired path planning approach for mobile robots based on improved sparrow search algorithm

In this paper,a bioinspired path planning approach for mobile robots is proposed.The approach is based on the sparrow search algorithm,which is an intelligent optimization algorithm inspired by the group wisdom,foraging,and anti-predation behaviors of sparrows.To obtain high-quality paths and fast convergence,an improved sparrow search algorithm is proposed with three new strategies.First,a linear path strategy is proposed,which can transform the polyline in the corner of the path into a smooth line,to enable the robot to reach the goal faster.Then,a new neighborhood search strategy is used to improve the fitness value of the global optimal individual,and a new position update function is used to speed up the convergence.Finally,a new multi-index comprehensive evaluation method is designed to evaluate these algorithms.Experimental results show that the proposed algorithm has a shorter path and faster convergence than other state-ofthe-art studies.

Low-carbon unit commitment with intensive wind power generation and carbon capture power plant

The paper proposes a stochastic unit commitment(UC)model to realize the low-carbon operation requirement and cope with wind power prediction errors for power systems with intensive wind power and carbon capture power plant(CCPP).A linear re-dispatch strategy is introduced to compensate the wind power deviation from the spot forecast.The robust optimization technique is employed to obtain a reliable commitment plan against all realizations of wind power within the uncertainty set given by probabilistic forecast.The proposed model is validated with IEEE 39-bus system.The advantages of flexible CCPPs are compared to the normal coal-fueled plants and the impacts of robustness controlling are discussed.

Diverse strategic approaches en route to Taxol total synthesis

Taxol is one of the most famous diterpenoid natural products used in clinical cancer therapy.Taxol and its analogues are popular synthetic targets and have attracted worldwide attention over the past decades.Tremendous research efforts have already been made and ten groups have achieved the total synthesis of Taxol since 1994.This mini-review summarized the recent highlights of divergent strategic approaches towards the chemical synthesis of Taxol's carbocyclic framework bearing a bridged eight-membered ring.