BASIC EQUATIONS, THEORY AND PRINCIPLE OF COMPUTATIONAL STOCK MARKET (Ⅰ)──BASIC EQUATIONS

This paper studies computational stock market by using network model and similar methodology used in solid mechanics. Four simultaneous basic equations, i. e., equation of interest rate and amount of circulating fond, equations of purchasing and selling of share, equation of changing rate of share price, and equation of interest rate, share price and its changing rate, have been established. Discussions mainly on the solution and its simple applications of the equation of interest rate and amount of circulating fond are given. The discussions also involve the proof of tending to the equilibrium state of network of stock market based on the time discrete form of the equation by using Banach theorem of contraction mapping, and the influence of amount of circulating fond with exponential attenuation due to the decreasing of banking interest rate.Keyworks: stock market; network model; differential equation; contraction mapping; elasticity; methodology

A Predator-prey Particle Swarm Optimization Approach to Multiple UCAV Air Combat Modeled by Dynamic Game Theory

Dynamic game theory has received considerable attention as a promising technique for formulating control actions for agents in an extended complex enterprise that involves an adversary. At each decision making step, each side seeks the best scheme with the purpose of maximizing its own objective function. In this paper, a game theoretic approach based on predatorprey particle swarm optimization (PP-PSO) is presented, and the dynamic task assignment problem for multiple unmanned combat aerial vehicles (UCAVs) in military operation is decomposed and modeled as a two-player game at each decision stage. The optimal assignment scheme of each stage is regarded as a mixed Nash equilibrium, which can be solved by using the PP-PSO. The effectiveness of our proposed methodology is verified by a typical example of an air military operation that involves two opposing forces: the attacking force Red and the defense force Blue. © 2014 Chinese Association of Automation.

AXIAL HEAT CONDUCTION MODEL TO PREDICT MAXIMUM HEAT REMOVE OF MINIATURE HEAT PIPE BASED ON GREY MODEL THEORY

Computer chip is always accompanied by the increase of heat dissipation and miniaturization. The miniature heat pipes are widely used in notebook computer to resolve the heat dissipation problems. Maximum heat removed model of miniature heat pipes building by grey model is presented. In order to know the foundation for modeling, the smooth grade of error examination is inquired and the accuracy of grey relational grade is verified. The model can be used to select a suitable heat pipes to solve electric heat problems in the future. Final results show that the grey model only needs four experiment data and its error value is less than 10%, further, it is better than computational fluid dynamics （CFD） model.

Computational Intelligence Determines Effective Rationality

Rationality is a fundamental concept in economics. Most researchers will accept that human beings are not fully rational. Herbert Simon suggested that we are ＂bounded rational＂. However, it is very difficult to quantify ＂bounded rationality＂, and therefore it is difficult to pinpoint its impact to all those economic theories that depend on the assumption of full rationality. Ariel Rubinstein proposed to model bounded rationality by explicitly specifying the decision makers＇ decision-making procedures. This paper takes a computational point of view to Rubinstein＇s approach. From a computational point of view, decision procedures can be encoded in algorithms and heuristics. We argue that, everything else being equal, the effective rationality of an agent is determined by its computational power - we refer to this as the computational intelligence determines effective rationality （CIDER） theory. This is not an attempt to propose a unifying definition of bounded rationality. It is merely a proposal of a computational point of view of bounded rationality. This way of interpreting bounded rationality enables us to （computationally） reason about economic systems when the full rationality assumption is relaxed.

Creation mechanism of electron-positron pair on equally spaced multiple localized fields

We investigate the electron-positron creation process from multiple equally spaced distributed oscillating electric fields.The computational quantum field theory(CQFT)is applied to analyze the effect of the number of local fields,the distance between them,and their potential height on the created particle number.It is found that whether adjacent electric fields overlap plays an important role.The creation rate exhibits a direct linear relationship with the number of fields when they do not overlap,but exceeds the sum of the rate when the fields alone.They exhibit a distinctly nonlinear relationship when they overlap,and in particular exhibit a quadratic relationship when the fields completely overlap.These phenomena corroborate that the particle pair creation in the interaction region is non-uniform and influenced by the strength of the central strongest electric field.

Enhancement of electron–positron pairs in combined potential wells with linear chirp frequency

Effect of linear chirp frequency on the process of electron–positron pairs production from vacuum is investigated by the computational quantum field theory.With appropriate chirp parameters,the number of electrons created under combined potential wells can be increased by two or three times.In the low frequency region,frequency modulation excites interference effect and multiphoton processes,which promotes the generation of electron–positron pairs.In the high frequency region,high frequency suppression inhibits the generation of electron–positron pairs.In addition,for a single potential well,the number of created electron–positron pairs can be enhanced by several orders of magnitude in the low frequency region.

Cloud Control Systems

The concept of cloud control systems is discussed in this paper, which is an extension of networked control systems (NCSs). With the development of internet of things (IOT), the technology of NCSs has played a key role in IOT. At the same time, cloud computing is developed rapidly, which provides a perfect platform for big data processing, controller design and performance assessment. The research on cloud control systems will give new contribution to the control theory and applications in the near future. © 2014 Chinese Association of Automation.

Review on Cyber-physical Systems

Cyber-physical systems CPS are complex systems with organic integration and in-depth collaboration of computation, communications and control 3C technology. Subject to the theory and technology of existing network systems and physical systems, the development of CPS is facing enormous challenges. This paper first introduces the concept and characteristics of CPS and analyzes the present situation of CPS researches. Then the development of CPS is discussed from perspectives of system model, information processing technology and software design. At last it analyzes the main obstacles and key researches in developing CPS. © 2014 Chinese Association of Automation.

Dynamic Multi-team Antagonistic Games Model with Incomplete Information and Its Application to Multi-UAV

At present, the studies on multi-team antagonistic games (MTAGs) are still in the early stage, because this complicated problem involves not only incompleteness of information and conflict of interests, but also selection of antagonistic targets. Therefore, based on the previous researches, a new framework is proposed in this paper, which is dynamic multi-team antagonistic games with incomplete information (DMTAGII) model. For this model, the corresponding concept of perfect Bayesian Nash equilibrium (PBNE) is established and the existence of PBNE is also proved. Besides, an interactive iteration algorithm is introduced according to the idea of the best response for solving the equilibrium. Then, the scenario of multiple unmanned aerial vehicles (UAVs) against multiple military targets is studied to solve the problems of tactical decision making based on the DMTAGII model. In the process of modeling, the specific expressions of strategy, status and payoff functions of the games are considered, and the strategy is coded to match the structure of genetic algorithm so that the PBNE can be solved by combining the genetic algorithm and the interactive iteration algorithm. Finally, through the simulation the feasibility and effectiveness of the DMTAGII model are verified. Meanwhile, the calculated equilibrium strategies are also found to be realistic, which can provide certain references for improving the autonomous ability of UAV systems. © 2014 Chinese Association of Automation.

Time Complexity of Evolutionary Algorithms for Combinatorial Optimization:A Decade of Results

Computational time complexity analyzes of evolutionary algorithms （EAs） have been performed since the mid-nineties. The first results were related to very simple algorithms, such as the （1＋1）-EA, on toy problems. These efforts produced a deeper understanding of how EAs perform on different kinds of fitness landscapes and general mathematical tools that may be extended to the analysis of more complicated EAs on more realistic problems. In fact, in recent years, it has been possible to analyze the （1＋1）-EA on combinatorial optimization problems with practical applications and more realistic population-based EAs on structured toy problems. This paper presents a survey of the results obtained in the last decade along these two research lines. The most common mathematical techniques are introduced, the basic ideas behind them are discussed and their elective applications are highlighted. Solved problems that were still open are enumerated as are those still awaiting for a solution. New questions and problems arisen in the meantime are also considered.

Cooperative Vehicular Content Distribution in Edge Computing Assisted 5G-VANET

By leveraging the 5G enabled vehicular ad hoc network(5G-VANET), it is widely recognized that connected vehicles have the potentials to improve road safety, transportation intelligence and provide in-vehicle entertainment experience. However, many enabling applications in 5G-VANET rely on the efficient content sharing among mobile vehicles, which is a very challenging issue due to the extremely large data volume, rapid topology change, and unbalanced traffic. In this paper, we investigate content prefetching and distribution in 5G-VANET. We first introduce an edge computing based hierarchical architecture for efficient distribution of large-volume vehicular data. We then propose a multi-place multi-factor prefetching scheme to meet the rapid topology change and unbalanced traffic. The content requests of vehicles can be served by neighbors, which can improve the sharing efficiency and alleviate the burden of networks. Furthermore, we use a graph theory based approach to solve the content distribution by transforming it into a maximum weighted independent set problem. Finally, the proposed scheme is evaluated with a greedy transmission strategy to demonstrate its efficiency.

Impact of the equivalent center of mass separating from the sliding surface on the isolation performance of friction pendulum bearings

A new equivalent center of mass model of FPBs (friction pendulum bearings) is introduced, and based on this model, coefficient j of the equivalent center of mass separating from the sliding surface is defined. It is thought in theory that j has a significant impact on the isolation parameter of FPBs, since the equivalent post-yielding stiffness and friction coefficients are not simply determined by sliding radius and sliding friction pairs. The results of numerical simulation analysis using ABAQUS conducted on two groups of FPBs support this viewpoint. For FPBs with the same sliding radius and sliding friction pairs, the FPB modules of structural analysis software such as ETABS could only distinguish the equivalent transformation using j one by one. The seismic response data obtained in a base isolation calculation example of FPBs are very different, which reveals that j’s impact on the isolation effectiveness of FPBs cannot be ignored. The introduction of j will help improve the classical structural theory of FPBs and the weak points of structural analysis software based on this theory, which is important in achieving more accurate analyses in structural design.

Progress and prospects of photocatalytic conversion of low-concentration NOx

NOx can cause severe environmental problems such as acid rain and photochemical smog,endangering human health and the living environment.Among them,NO pollution accounts for about 95%.NO can exist stably in the air for a long time when the concentration is lower than the ppm level.Therefore,the conversion of low concentration of NO has attracted more and more attention.However,traditional physical or chemical methods are difficult to deal with low concentration of NO,having high requirements on equipment and being not cost‐effective.Semiconductor photocatalytic technology can convert low concentration of NO into non‐toxic products and reduce its harm.This work briefly surveys the commonly used materials,modification methods,and mechanisms for semiconductor photocatalytic conversion of low concentration of NO.In addition,the challenges and prospects of ppb level of NO treatment are also discussed,aiming to promote the development of semiconductor photocatalytic conversion of NO.

A Non-canonical Example to Support P Is Not Equal to NP

The more unambiguous statement of the P versus NP problem and the judgement of its hardness, are the key ways to find the full proof of the P versus NP problem. There are two sub-problems in the P versus NP problem. The first is the classifications of different mathematical problems (languages), and the second is the distinction between a non-deterministic Turing machine (NTM) and a deterministic Turing machine (DTM). The process of an NTM can be a power set of the corresponding DTM, which proves that the states of an NTM can be a power set of the corresponding DTM. If combining this viewpoint with Cantor's theorem, it is shown that an NTM is not equipotent to a DTM. This means that "generating the power set P(A) of a set A" is a non-canonical example to support that P is not equal to NP.

Probabilistic Robust Linear Parameter-varying Control of a Small Helicopter Using Iterative Scenario Approach

In this paper, we present an iterative scenario approach (ISA) to design robust controllers for complex linear parameter-varying (LPV) systems with uncertainties. The robust controller synthesis problem is transformed to a scenario design problem, with the scenarios generated by identically extracting random samples on both uncertainty parameters and scheduling parameters. An iterative scheme based on the maximum volume ellipsoid cutting-plane method is used to solve the problem. Heuristic logic based on relevance ratio ranking is used to prune the redundant constraints, and thus, to improve the numerical stability of the algorithm. And further, a batching technique is presented to remarkably enhance the computational efficiency. The proposed method is applied to design an output-feedback controller for a small helicopter. Multiple uncertain physical parameters are considered, and simulation studies show that the closed-loop performance is quite good in both aspects of model tracking and dynamic decoupling. For robust LPV control problems, the proposed method is more computationally efficient than the popular stochastic ellipsoid methods. © 2014 Chinese Association of Automation.

Progress in Computational Complexity Theory

We briefly survey a number of important recent uchievements in Theoretical Computer Science （TCS）, especially Computational Complexity Theory. We will discuss the PCP Theorem, its implications to inapproximability on combinatorial optimization problems; space bounded computations, especially deterministic logspace algorithm for undirected graph connectivity problem; deterministic polynomial-time primality test; lattice complexity, worst-case to average-case reductions; pseudorandomness and extractor constructions; and Valiant＇s new theory of holographic algorithms and reductions.

Creation and annihilation phenomena of electron and positron pairs in an oscillating field

The combination of an oscillating and a static field is used to study the creation and annihilation phenomena during the pair creation process.The time evolution,spatial density and momentum distribution of the created particles for a fermionic system are presented,which demonstrate that with the increasing static field intensity,the number of the created particles experiences a distinguishable decrease in every period of the oscillating field,which is caused by the annihilation phenomena between the created electrons and positrons.

1T′‐MoTe_(2) monolayer:A promising two‐dimensional catalyst for the electrochemical production of hydrogen peroxide

The direct synthesis of hydrogen peroxide(H_(2)O_(2))via a two‐electron oxygen reduction reaction(2e‐ORR)in acidic media has emerged as a green process for the production of this valuable chemical.However,such an approach employs expensive noble‐metal‐based electrocatalysts,which severely undermines its feasibility when implemented on an industrial scale.Herein,based on density functional theory computations and microkinetic modeling,we demonstrate that a novel two‐dimensional(2D)material,namely a 1T′‐MoTe_(2)monolayer,can serve as an efficient non‐precious electrocatalyst to facilitate the 2e‐ORR.The 1T′‐MoTe_(2)monolayer is a stable 2D crystal that can be easily produced through exfoliation techniques.The surface‐exposed Te sites of the 1T′‐MoTe_(2)monolayer exhibit a favorable OOH*binding energy of 4.24 eV,resulting in a rather high basal plane activity toward the 2e‐ORR.Importantly,kinetic computations indicate that the 1T'‐MoTe_(2)monolayer preferentially promotes the formation of H_(2)O_(2)over the competing four‐electron ORR step.These desirable characteristics render 1T′‐MoTe_(2)a promising candidate for catalyzing the electrochemical reduction of O_(2)to H_(2)O_(2).

An Energy-Saving Task Scheduling Strategy Based on Vacation Queuing Theory in Cloud Computing

High energy consumption is one of the key issues of cloud computing systems. Incoming jobs in cloud computing environments have the nature of randomness, and compute nodes have to be powered on all the time to await incoming tasks. This results in a great waste of energy. An energy-saving task scheduling algorithm based on the vacation queuing model for cloud computing systems is proposed in this paper. First, we use the vacation queuing model with exhaustive service to model the task schedule of a heterogeneous cloud computing system.Next, based on the busy period and busy cycle under steady state, we analyze the expectations of task sojourn time and energy consumption of compute nodes in the heterogeneous cloud computing system. Subsequently, we propose a task scheduling algorithm based on similar tasks to reduce the energy consumption. Simulation results show that the proposed algorithm can reduce the energy consumption of the cloud computing system effectively while meeting the task performance.

Analyses and computations of asymmetric Z-scan for large phase shift from diffraction theory

Based on Presnel-Kirchhoff diffraction theory, we set up a diffraction model of nonlinear optical media to Gaussian beam, which can interpret the Z-scan phenomenon from a new way. This theory is not only well consistent with the conventional Z-scan theory in the case of small nonlinear phase shift, but also can fit for the lager nonlinear phase shift. Numeric computations indicate the shape of the Z-scan curve is greatly affected by the value of the nonlinear phase shift. The symmetric dispersion-like Z-scan curve is only valid for small nonlinear phase shift (|Δφ0| < π), but with increasing the nonlinear phase shift, the valley of the transmittance is severely suppressed and the peak is greatly enhanced. Further calculations show some new interesting results.