面向序贯决策中异常情景下交互问题处理方法

针对目前在环境智能方面的序贯决策研究成果主要集中于不确定环境下的多智能体(Agent)交互决策问题,而未涉及到Agent在异常情景下对于该问题的解决思路,提出一种异常情景中Agent交互决策机制。首先基于改进的情景本体对情景中Agent所观察的实体进行“时—空”状态的获取和计算;其次,结合元认知环结构的语义推理算法对异常情景进行检测和评估,并反馈于Agent,最终做出符合当前情景下用户需求的动作或反应。经过在智能家居环境中的实验验证,在原有几种具有代表性的机器学习处理方法基础上,所提方法在其决策精确性上平均提高10%以上,响应时间则增加5%左右,且实现了在应用领域上的拓展,增强了实用性。

Empirical Exploration of Air Traffic Control Behaviour at Terminal Maneuvering Area:From an Air Traffic Flow Aspect

In a large-volume,high-density traffic background,air traffic manifests fluid-like microscopical characteristics.The characteristics are formed by the micro tailing actions between individual aircraft.Aircraft headway refers to the time interval between successive flying aircraft in air traffic flow,which is one of the most important characteristics of air traffic flow.The variation in aircraft headway reveals the air traffic control behaviour.In this paper,we study the characteristics of air traffic control behaviours by analyzing radar tracks in a terminal maneuvering area.The headway in arrival traffic flow is measured after the determination of aircraft trailing relationships.The headway evolutionary characteristics for different control decisions and the headway evolutionary characteristics in different phase-states are discussed,and some interesting findings are gotten.This work may be helpful for scholars and managers in understanding the intrinsic nature of air traffic flow and in the development of intelligent assistant decision systems for air traffic management.

State Space-Time and Four States of Universe

All things in the universe possess a state and characteristics of state, resultantly in presence of space-time, which is perceived by human beings. An outlook of space-time is shaped in human by perceiving the existence and change of objects. The state space is all state characteristics exhibited in objects whilst the state time refers to the duration of an object＇s state. The time is a spatial property and not an independent dimension. The state space-time is a unity of internal and external space-time. The internal space-time is stemmed from the overall internal forces and internal energies and is a covert space-time. The external space-time refers to a space-time manifested by the external characteristics and movement of an object and is an overt space-time. In physics, there are four kinds of forces and four state space-times： bonding force and three-dimensional space-time; strong interaction of exchangeable n meson and two-dimensional space-time; quark confinement and one-dimensional space-time; and weak interaction and zero-dimensional space-time. The universe is constituted by dissimilar state space-times. Newton space-time is a three-dimensional state space-time; Einstein＇s theory of relativity is a two-dimensional state space-time. Newton and Einstein were different observers. Temporal and spatial perception of human is dependent upon human＇s intemal energy and quality. Through Qigong exercises, the human is able to enter the three-dimensional, two-dimensional, one-dimensional and zero-dimensional space-times. The relativity theory of human body will solve the time problems at the interplanetary voyage of astronauts.

The trophic state of lake water regulates spatial-temporal variations of bloom-forming Microcystis

Although biomass variations in Microcystis and microcystin have been widely reported,few studies have addressed whether different trophic states of natural lake water affect the spatial-temporal variations in abundances of microcystin-producing Microcystis in a given bloom.In this study,we used a harmful algal bloom in Chaohu Lake,eastern China,as an example to investigate the mutual relationship between different nutrient states and environmental factors,and the impact on Microcystis.Overall,cyanobacteria and Microcystis were more abundant in the middle and western parts of the lake under high nutrients levels,while in the eastern part,nutrient concentrations were low enough to limit biomass,and their fluctuations affected the contents of toxic Microcystis.Moreover,microcystin concentration was correlated positively to nutrient levels and Microcystis biomass during bloom developing in 2013 from June to August.Temporally,the cellular content of total microcystin was lowest when the bloom peaked in intensity.Our results suggest that lake eutrophication not only results in cyanobacterial blooms,but may also increase the proportion of toxic Microcystis species and their cell-bound MCs contents(i.e.microcystin cell quotas) under mild eutrophication.The present investigation provided molecular evidence for the selection of MC-producing and non-MC-producing genotypes.The current study provides new evidence advocating the monitoring of partitions of large lakes when studying cyanobacteria and toxin-contaminated freshwaters,which will be beneficial for both water agencies and water researchers.

Translating Linear Temporal Logic Formula s into Automata

To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA） in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms （NFs）, next constructs Normal Form Graphs （NFGs） for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.

Real-time road traffic states estimation based on kernel-KNN matching of road traffic spatial characteristics

The accurate estimation of road traffic states can provide decision making for travelers and traffic managers. In this work,an algorithm based on kernel-k nearest neighbor(KNN) matching of road traffic spatial characteristics is presented to estimate road traffic states. Firstly, the representative road traffic state data were extracted to establish the reference sequences of road traffic running characteristics(RSRTRC). Secondly, the spatial road traffic state data sequence was selected and the kernel function was constructed, with which the spatial road traffic data sequence could be mapped into a high dimensional feature space. Thirdly, the referenced and current spatial road traffic data sequences were extracted and the Euclidean distances in the feature space between them were obtained. Finally, the road traffic states were estimated from weighted averages of the selected k road traffic states, which corresponded to the nearest Euclidean distances. Several typical links in Beijing were adopted for case studies. The final results of the experiments show that the accuracy of this algorithm for estimating speed and volume is 95.27% and 91.32% respectively, which prove that this road traffic states estimation approach based on kernel-KNN matching of road traffic spatial characteristics is feasible and can achieve a high accuracy.

The identification algorithm for commensurate order linear time-invariant fractional systems

An efficient identification algorithm is given for commensurate order linear time-invariant fractional systems. This algorithm can identify not only model coefficients of the system, but also its differential order at the same time. The basic idea is to change the system matrix into a diagonal one through basis transformation. This makes it possible to turn the system’s input-output relationships into the summation of several simple subsystems, and after the identification of these subsystems, the whole identification system is obtained which is algebraically equivalent to the former system. Finally an identification example verifies the effectiveness of the method previously mentioned.

Some Dynamic and Combinatorial Properties of One Parameter Families of Unimodal Maps with Monotonicity

It is known that certain one parameter families of unimodal maps of the interval have a topological universality with regard to their dynamic behavior [ 1, 2]. As a parameter is smoothly increased, a fascinating variety of dynamic behaviors are produced. For some families the behaviors are monotonic in the parameter, while in others they are not [3]. The question is what sort of conditions on a one parameter family will ensure this monotonicity of the behavior with the parameter？ The answer is unknown and will not be given here. What we do instead is to investigate certain geometric-dynamic-combinatorial consequences of assuming that the family has this monotonicity. Specifically, using tools of symbolic dynamics, state space is ＂course grained＂ with a finite alphabet. We decompose a non-invertible map into nonlinear but invertible pieces. From these invertible pieces, we form inverse maps via composition along words. Equations of motion are developed for both forward and inverse orbits （in both the variables of state space and the parameter）, and an equation relating forward and inverse motions at fix-points is exhibited. Finally, we deduce a list of conditions, each of which is equivalent to monotone behavior. One of these conditions states that simple parity characteristics of words correspond to definite dynamics near fixed-points and vice versa.

On Numerical Approach to Non-Markovian Stochastic Systems Modeling

The paper considers the problem of representing non-Markovian systems that evolve stochastically over time. It is often necessary to use approximations in the case the system is non-Markovian. Phase type distribution is by now indispensable tool in creation of stochastic system models. The paper suggests a method and software for evaluating stochastic systems approximations by Markov chains with continuous time and countable state space. The performance of a system is described in the event language used for generating the set of states and transition matrix between them. The example of a numerical model is presented.

Temporal dynamics of mental impasses underlying insight-like problem solving

Insight problem solving is characterized by mental impasses,states of mind in which the problem solver does not know what to do next.Although many studies have investigated the neural correlates of insight problem solving,however,the question when mental impasses occur during insight problem solving has been rarely studied.The present study adopted high temporal resolution ERPs to investigate the temporal dynamics of an impasse underlying insight problem solving.Time locked ERPs were recorded associated with problems with impasses(PWI) and problems without impasses(POI).The problem types were determined by participants' subjective responses.The results revealed an early frontocentral P2 was linked with the preconscious awareness of mental impasses and a P3a was associated with fixed attention when the impasse formed.These findings suggest the impasse may occur initially at a relatively early stage and metacognition plays an important role in insight problem solving.

Further results on existence-uniqueness for stochastic functional differential equations

The aim of this paper is to develop some basic theories of stochastic functional differential equations (SFDEs) under the local Lipschitz condition in continuous functions space C. Firstly, we establish a global existence-uniqueness lemma for the SFDEs under the global Lipschitz condition in C without the linear growth condition. Then, under the local Lipschitz condition in C, we show that the non-continuable solution of SFDEs still exists if the drift coefficient and diffusion coefficient are square-integrable with respect to t when the state variable equals zero. And the solution of the considered equation must either explode at the end of the maximum existing interval or exist globally. Furthermore, some more general sufficient conditions for the global existence-uniqueness are obtained. Our conditions obtained in this paper are much weaker than some existing results. For example, we need neither the linear growth condition nor the continuous condition on the time t. Two examples are provided to show the effectiveness of the theoretical results.

Null Controllability of Some Degenerate Wave Equations

This paper is devoted to a study of the null controllability problems for one-dimensional linear degenerate wave equations through a boundary controller. First, the well-posedness of linear degenerate wave equations is discussed. Then the null controllability of some degenerate wave equations is established, when a control acts on the non-degenerate boundary. Different from the known controllability results in the case that a control acts on the degenerate boundary, any initial value in state space is controllable in this case. Also, an explicit expression for the controllability time is given. Furthermore, a counterexample on the controllability is given for some other degenerate wave equations.

Subspace-based identification of discrete time-delay system

We investigate the identification problems of a class of linear stochastic time-delay systems with unknown delayed states in this study. A time-delay system is expressed as a delay differential equation with a single delay in the state vector. We first derive an equivalent linear time-invariant(LTI) system for the time-delay system using a state augmentation technique. Then a conventional subspace identification method is used to estimate augmented system matrices and Kalman state sequences up to a similarity transformation. To obtain a state-space model for the time-delay system, an alternate convex search(ACS) algorithm is presented to find a similarity transformation that takes the identified augmented system back to a form so that the time-delay system can be recovered. Finally, we reconstruct the Kalman state sequences based on the similarity transformation. The time-delay system matrices under the same state-space basis can be recovered from the Kalman state sequences and input-output data by solving two least squares problems. Numerical examples are to show the effectiveness of the proposed method.

Holographic p-Wave Superconductors in Quintessence AdS Black Hole Spacetime

We construct a holographic p-wave superconductor model in the background of quintessence AdS black hole with an SU（2） Yang-Mills gauge field and then probe the effects of quintessence on the holographic p-wave superconduc- tor. We investigate the relation between the critical temperature and the state parameter of quintessence, and present the numerical results for electric conductivity. It is shown that the condensation of the vector field becomes harder as the absolute value of the state parameter increases. Unlike the scalar condensate in the s-wave model, the condensation of the vector field in p-wave model can occur in the total value range of the state parameter wq of quintessence. These results could help us know more about holographic superconductor and dark energy.

Approximate Controllability of Neutral Functional Differential Systems with State-Dependent Delay

This paper deals with the approximate controllability of semilinear neutral functional differential systems with state-dependent delay. The fractional power theory and α-norm are used to discuss the problem so that the obtained results can apply to the systems involving derivatives of spatial variables. By methods of functional analysis and semigroup theory, sufficient conditions of approximate controllability are formulated and proved. Finally, an example is provided to illustrate the applications of the obtained results.

A novel repetition space-time coding scheme for mobile FSO systems

Considering the influence of more random atmospheric turbulence, worse pointing errors and highly dynamic link on the transmission performance of mobile multiple-input multiple-output （MIMO） free space optics （FSO） communica- tion systems, this paper establishes a channel model for the mobile platform. Based on the combination of Alamouti space-time code and time hopping ultra-wide band （TH-UWB） communications, a novel repetition space-time coding （RSTC） method for mobile 2x2 free-space optical communications with pulse position modulation （PPM） is devel- oped. In particular, two decoding methods of equal gain combining （EGC） maximum likelihood detection （MLD） and correlation matrix detection （CMD） are derived. When a quasi-static fading and weak turbulence channel model are considered, simulation results show that whether the channel state information （CSI） is known or not, the coding sys- tem demonstrates more significant performance of the symbol error rate （SER） than the uncoding. In other words, transmitting diversity can be achieved while conveying the information only through the time delays of the modulated signals transmitted from different antennas. CMD has almost the same effect of signal combining with maximal ratio combining （MRC）. However, when the channel correlation increases, SER performance of the coding 2×2 system de- grades significantly.

ON NEARLY-CONTROLLABLE SUBSPACES OF A CLASS OF DISCRETE-TIME BILINEAR SYSTEMS

If a linear time-invariant system is uncontrollable,then the state space can be decomposed as a direct sum of a controllable subspace and an uncontrollable subspace.In this paper,for a class of discrete-time bilinear systems which are uncontrollable but can be nearly controllable,by studying the nearly-controllable subspaces and defining the near-controllability index,the controllability properties of the systems are fully characterized.Examples are provided to illustrate the conceptions and results of the paper.