Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage

In this paper, we give some new methods for synthesis of controllers of discrete event dynamical systems (DEDS) with partial event informations. Given a regular target language L, we construct some effective computable algorithms for computing the controllable and observable sublanguages of L. We show that any one of these controllable and observable sublanguages obtained by our algorithms is larger than the supremal controllable and normal sublanguage of L.     

非线性系统的输出调节与受控中心流形

本文用中心流形理论＾［７］及动力系统方法＾［８］，考虑了一般非线性系统的输出调节问题，在弱于Ｉｓｉｄｏｒｉ和Ｂｙｒｎｅｓ＾［６］的条件下，得到了这问题可解的充分必要条件。     

Diagonalisation of quantum observables on regular lattices and general graphs

In the study of quantum mechanical systems, exact diagonalisation (ED) methods play an extremely important role. We have developed an ED code named DoQO (Diagonalisation of Quantum Observables). This code is capable of constructing and diagonalising the observables for spin and spinless fermionic particles with many body interactions on arbitrary graphs using massively parallel distributed memory machines. At the same time, the code can exploit physical symmetries to reduce the size of the relevant basis set and provide useful physical information about each eigenstate. DoQO has been employed successfully to directly diagonalise systems with basis sets containing a billion elements. By exploiting symmetries it has been possible to perform calculations on systems with 36 spin particles. Here we present essential background details, the structure and usage of DoQO, and a study of the performance characteristics of DoQO on different machines.

Program summary

Program title: DoQOCatalogue identifier: AEII_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEII_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 81 845No. of bytes in distributed program, including test data, etc.: 495 379Distribution format: tar.gzProgramming language: C++ (dependencies require Fortran)Computer: Standard workstations and distributed memory machinesOperating system: Any operating system with C++, Fortran, MPI, PETSc and SLEPc (code developed and tested on OS X and Linux)Has the code been vectorised or parallelised?: Yes code uses MPI for interprocess communication. One to thousands of processors may be usedRAM: Depends on problem size. Ranges from MBs to TBsClassification: 7.8External routines: PETSc, SLEPc, LAPACK, BLAS, MPI, BOOST, tinyxmlNature of problem: To calculate the low lying eigenvalues and eigenstates of quantum observables for spin and spinless fermionic systems on arbitrary graphs efficiently in parallel.Solution method: Large scale linear scaling iterative exact diagonalisation methods are used on distributed memory machines. Physical symmetries are exploited to extend the size of systems which can be treated and to provide important additional information about the eigenstates.Restrictions: The size of the systems that DoQO can handle is restricted by the amount of available memory.Unusual features: The main feature that makes DoQO stand out from other diagonalisation codes is its ability to exploit physical symmetries efficiently using parallel computer architectures without the use of model specific optimisations. The ability to treat systems with arbitrarily complex interactions is also unique.Running time: The running time ranges from seconds to hours depending on the problem size and computational resources used.     

预测行人运动的服务机器人POMDP 导航

为提高室内动态环境下服务机器人对行人的自然避让能力,对人的运动轨迹模式进行建模,在此基础 上引入了将行人运动长、短期预测结合起来的方法．为适应传感器噪声及网络延迟等因素所造成的感知—控制回路 中的多源不确定性,将人与机器人的相对位置关系建模为部分可观的马尔可夫状态．采用部分可观的马尔可夫决策 过程（POMDP）进行多源不确定性下的概率决策,协调控制机器人全局路径规划、反应式运动及速度控制等行为模 块．实验结果验证,它能够实现提前避碰的安全导航,因避免反复的曲折与徘徊运动而提高了机器人导航效率．     

Nonmyopic sensor scheduling for target tracking with emission control

Active sensors obtain the measurements of targets by emitting energy that can be intercepted by enemy surveillance sensors. To satisfy the target tracking requirement and control the whole system emission, we propose a nonmyopic sensor scheduling to minimize the emission cost while maintaining a desired tracking accuracy. The processes of target tracking and emission control are formulated as a partially observable Markov decision process. Then, we translate our scheduling problem to a discrete unconstrained optimization problem, which consists of multistep emission cost and multistep tracking accuracy cost. Furthermore, the cubature Kalman filter is utilized to update the target belief state and predict the multistep tracking accuracy cost, whereas the multistep emission cost is obtained by hidden Markov model filter. Scheduling is implemented efficiently by constructing a decision tree and using a search algorithm, which combines uniform cost search with augmented branch and bound technique. Simulation results demonstrate the effectiveness of our proposed method.     

A note on the measurement of phase space observables with an eight-port homodyne detector

It is well known that the Husimi Q-function of the signal field can actually be measured by the eight-port homodyne detection technique, provided that the reference beam (used for homodyne detection) is a very strong coherent field so that it can be treated classically [see e.g. Leonhardt, U.; Paul, H. Phys. Rev. A 1993, 47, R2460–R2463]. Using recent rigorous results on the quantum theory of homodyne detection observables [Kiukas, J.; Lahti, P. J. Mod. Opt., in press (see arXiv:0706.4436v1 [quant-ph])], we show that any phase space observable, and not only the Q-function, can be obtained as a high amplitude limit of the signal observable actually measured by an eight-port homodyne detector. The proof of this fact does not involve any classicality assumption.     

基于相位差变化率的两飞行体相对定位技术

对于空中的飞行体而言,需要了解彼此间位置、速度和航向等空间状态信息。空间状态信息一般可以通过外界导航与定位支持系统来获取,如GPS和INS等,但这些外界导航系统存在精度和战时可用性问题。提出利用相位差变化率方法解决两飞行体在二维平面运动模型、三维立体运动模型时相互之间的定位问题,并且进行了可观测分析,并探讨了此方法的优缺点及下一步改进思路。     

电力系统PMU工程实用化配置方法研究

不以电网的完全可观为目的,提出非完全可观,即主网架及其关键节点可观的PMU配置方式,结合间接可观概念,对电网主网架及其关键节点进行PMU配置,并将SCADA/EMS量测与PMU量测结合起来进行数据的状态估计,提高数据精度,最后通过实例分析对其进行了验证,结果表明,该方法是有效的PMU配置方法,有利于电力系统的分析应用,可操作性强,节省投资,避免浪费,具有一定的应用前景。     

AS级拓扑被动测量点的测量完整性评价

本文基于AS路径符合"无谷模型"这一公认的假设推导理论上的测量结果,并与实际数据进行比较.发现对于超过90%的测量点,其P-P边的实际测量结果只有理论上的30%.本文分析了被测AS的拓扑特征与其拓扑被发现完整性之间的关系,发现测量完整性随着被测AS与测量点间距离、测量点和被测AS邻居数量的增大而减少,与测量点的路由策略没有明显关系.     

D-homomorphisms and atomic σ-complete boolean D-posets

We study observables as σ-D-homomorphisms defined on Boolean D-posets of subsets into a Boolean D-poset. We show that given an atomic σ-complete Boolean D-poset ? with the countable set of atoms there exist a σ-complete Boolean D-poset of subsets ? and a σ-D-homomorphism h from ? onto ?, more precisely we can choose ? = ?(?), which gives an analogy of the Loomis–Sikorski representation theorem for Boolean σ-algebras. We show also that any atomic σ-complete Boolean D-poset with the countable set of atoms is the range of a σ-homomorphism defined on a σ-complete Boolean D-poset of fuzzy sets which gives another type of the Loomis–Sikorski theorem.