期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
Decoherence Effect in An Anisotropic Two-Qubit Heisenberg XYZ Model with Inhomogeneous Magnetic Field
1
作者 陈涛 单传家 +3 位作者 李金星 刘继兵 刘堂昆 黄燕霞 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第6期1053-1058,共6页
Taking the decoherence effect into account, the entanglement evolution of a two-qubit anisotropic Heisenberg XYZ chain in the presence of inhomogeneous magnetic field is investigated. The time evolution of concurrence... Taking the decoherence effect into account, the entanglement evolution of a two-qubit anisotropic Heisenberg XYZ chain in the presence of inhomogeneous magnetic field is investigated. The time evolution of concurrence is studied for the initial state cos θ|01) + sin θ|10) at zero temperature. The influences of inhomogeneous magnetic field, anisotropic parameter and decoherence on entanglement dynamic are addressed in detail, and a concurrence formula of the steady state is found. It is shown that the entanglement sudden death (ESD) and entanglement sudden birth (ESB) appear with the decoherence effect, and the stable concurrence depends on the uniform magnetic field B, anisotropic parameter △ and environment coupling strength γ, which is independent of different initial states and nonuniform magnetic field b. 展开更多
关键词 Heisenberg model thermal entanglement CONCURRENCE DECOHERENCE inhomogeneous magneticfield
下载PDF
On Numerical Approach to Non-Markovian Stochastic Systems Modeling
2
作者 Eimutis Valakevicius Mindaugas Snipas 《Computer Technology and Application》 2012年第5期368-373,共6页
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 ... 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. 展开更多
关键词 Non-Markovian system approximation phase type distribution Markov chain numerical model.
下载PDF
离轴式带拖车移动机器人的路径跟踪控制 被引量:7
3
作者 周火凤 马保离 +1 位作者 宋丽辉 张芳芳 《自动化学报》 EI CSCD 北大核心 2010年第9期1272-1278,共7页
研究了离轴式拖车移动机器人系统任意一节车体的几何路径跟踪问题.首先推导出系统的时间-状态线性化模型并证明了系统的能控性;然后应用内模原理设计了线性动态反馈控制律,该控制律可以保证路径跟踪误差有界和最终一致有界,且最终一致... 研究了离轴式拖车移动机器人系统任意一节车体的几何路径跟踪问题.首先推导出系统的时间-状态线性化模型并证明了系统的能控性;然后应用内模原理设计了线性动态反馈控制律,该控制律可以保证路径跟踪误差有界和最终一致有界,且最终一致界正比于期望路径函数变化率的立方.仿真结果证实了控制律的有效性. 展开更多
关键词 离轴式拖车移动机器人 路径跟踪 时间-状态模型 非完整系统 输出跟踪
下载PDF
Translating Linear Temporal Logic Formula s into Automata 被引量:1
4
作者 Zhu Weijun Zhou Qinglei Zhang Haibin 《China Communications》 SCIE CSCD 2012年第6期100-113,共14页
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... 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. 展开更多
关键词 theoretical computer science modelchecking normal form graph AUTOMATA proposi-tional linear temporal logic
下载PDF
Subspace-based identification of discrete time-delay system
5
作者 Qiang LIU Jia-chen MA 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2016年第6期566-575,共10页
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 ... 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. 展开更多
关键词 Identification problems Time-delay systems Subspace identification method Alternate convex search Least squares
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部