检索结果-内蒙古大学图书馆

IEEE International Conference on Computer-Aided Design

作者： F. Balarin A.L. Sangiovanni-Vincentelli Department of Electrical Engineering and Computer Sciences University of California Berkeley CA USA

ISBN: (纸本)9780897916905

Most embedded real-time systems consist of many concurrent components operating at significantly different speeds. Thus, an algorithm for formal verification of such systems must efficiently deal with a large number of states and large ratios of timing constants. We present such an algorithm based on timed automata, a model where a finite state system is augmented with time measuring devices called timers. We also present a semi-decision procedure for an extended model where timers can be decremented. This extension allows describing behaviors that are not expressible by timed automata, for example interrupts in a real-time operating system.

关键词： iterative algorithms Formal verification Real time systems Automata Timing State-space methods Time measurement Embedded system Concurrent computing Embedded computing

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for blind interference suppression in CDMA

Iterative algorithms for blind interference suppression in C...

引用

IEEE Workshop on Signal Processing Advances in Wireless Communications (SPAWC)

作者： T. Ristaniemi J. Joutsensalo Department of Mathematical Information Technology University of Jyväskylä Jyvaskyla Finland Signal Processing Laboratory Tampere University of Technology Tampere Finland

In this paper, we introduce a novel iterative algorithm for blind interference suppression for CDMA systems. The algorithm needs no knowledge of any codes and it is derived from an optimization criterion. More precisely, it can be regarded as a modification of blind linear MMSE algorithm which avoids channel and chip timing estimation. Also a simplified variant using a short training sequence is considered. Simulations show how the proposed methods have better interference suppression capabilities compared to conventional matched filter based single user detector and subspace based blind linear MMSE detector.

关键词： iterative algorithms Interference suppression Multiaccess communication Signal processing algorithms Detectors AWGN Additive white noise Delay Timing Matched filters

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for optimal state estimation of jump Markov linear systems

Iterative algorithms for optimal state estimation of jump Ma...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： A. Doucet C. Andrieu Signal Processing Group Department of Engineering University of Cambridge Cambridge UK

Jump Markov linear systems (JMLS) are linear systems whose parameters evolve with time according to a finite state Markov chain. We present three original deterministic and stochastic iterative algorithms for optimal state estimation of JMLS whose computational complexity at each iteration is linear in the data length. The first algorithm yields conditional mean estimates. The second algorithm is an algorithm that yields the marginal maximum a posteriori (MMAP) sequence estimate of the finite state Markov chain. The third algorithm is an algorithm that yields the MMAP sequence estimate of the continuous state of the JMLS. Convergence results for these three algorithms are obtained. Computer simulations are carried out to evaluate their performance.

关键词： iterative algorithms State estimation Linear systems Signal processing algorithms Yield estimation Computational efficiency Stochastic processes Computer simulation Target tracking Convergence

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for optimal control of quantum systems

Iterative algorithms for optimal control of quantum systems

引用

IEEE Conference on Decision and Control

作者： S. Grivopoulos B. Bamieh Department of Mechanical and Environmental Engineering University of California Santa Barbara CA USA

We propose some iterative algorithms for the generation of open-loop controls of quantum systems. The task that these controls are intended for is the transfer of a given initial state to a given final state with maxi... 详细信息

关键词： iterative algorithms Optimal control Control systems Quantum mechanics Open loop systems State-space methods Quantum computing Equations Nonlinear systems Control theory

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for crystal efficiencies estimations from TOF compressed normalization data

Iterative algorithms for crystal efficiencies estimations fr...

引用

IEEE Symposium on Nuclear Science (NSS/MIC)

作者： V. Y. Panin Molecular Imaging Siemens Healthcare USA Knoxville TN USA

The TOF clinical data are very sparse and have significant size. These data undergo TOF axial rebinning and azimuthal mashing if histogrammed data-based reconstruction algorithms are used. In a clinical environment, TOF compression is performed by the hardware rebinner. Normalization data, acquired on a regular basis and used for estimation of some norm components, are compressed by the hardware rebinner in a similar manner. In this paper we present simple update iterative algorithms for crystal efficiencies norm component estimation from TOF compressed normalization data. The previously known methods are not directly applicable, since the compression procedure significantly complicates normalization data model equations. Presented iterative methods have the advantages of easy adaptation to any acquisition geometry, and of allowing the estimation of parameters at the crystal level when the number of crystals is relatively small. A monotonic sequential coordinate descent algorithm, which optimizes the Least Squares objective function, is investigated. A simultaneous update algorithm, which possesses the advantage of easy parallelization, is also derived. Measured normalization data from a Siemens prototype TOF scanner are used to validate the algorithms performance.

关键词： iterative algorithms Hardware Mashups Reconstruction algorithms Data models Equations iterative methods Geometry Parameter estimation Crystals

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms in irregular sampling: a first comparison of methods

Iterative algorithms in irregular sampling: a first comparis...

引用

International Phoenix Conference on Computers and Communications (IPCCC)

作者： C. Cenker H.G. Feichtinger M. Herrmann Department of Mathematics University of Technology Vienna Wien Austria

The authors discuss a series of numerical experiments, aiming at the comparison of several iterative algorithms designed to reconstruct band-limited signals from irregularly spaced samples. The authors give a short description of these algorithms and then discuss possible criteria for the quality or performance of these algorithms. It turns out that appropriate criteria for such an evaluation are more involved than one might think from the literature. Among the properties discussed are various notions of speed, measures of the stability of the reconstruction algorithms and the range in which complete reconstruction is performed. The authors concentrate on the representation of the one-dimensional problems, although the underlying theory has been developed for several dimensions. Only qualitative statements are given.< >

关键词： iterative algorithms Sampling methods Low pass filters Reconstruction algorithms Fourier transforms Signal mapping Mathematics Velocity measurement Stability Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for optimal MAP estimation of bilinear systems

Iterative algorithms for optimal MAP estimation of bilinear ...

引用

IEEE International Symposium on Information Theory

作者： L. Johnston V. Krishnamurthy A. Logothetis Department of Electrical Engineering University of Melbourne Parkville VIC Australia S3-Automatic Control Royal Institute of Technology Stockholm Sweden

We present two finite dimensional iterative algorithms for maximum a posteriori (MAP) state sequence estimation of bilinear systems. The novel idea is to use the expectation maximization (EM) algorithm for state estimation rather than the traditional maximum likelihood parameter estimation. We present the EM-I and EM-II algorithms.

关键词： iterative algorithms Nonlinear systems State estimation Brain modeling Electroencephalography Gaussian noise Kalman filters Optimal control Control systems Signal processing

来源：评论

学校读者我要写书评

暂无评论

iterative algorithms for variational inequalities governed by boundedly lipschitzian and strongly monotone operators

引用

Journal of Applied Mathematics 2015年第Pt.1期2015卷 175254-1-175254-7页

作者： Yang, Caiping He, Songnian College of Science Civil Aviation University of China Tianjin 300300 China Tianjin Key Laboratory for Advanced Signal Processing Civil Aviation University of China Tianjin 300300 China

Consider the variational inequality VI(C,F) of finding a point x∗ ∈ C satisfying the property 〈Fx∗,x-x∗〉≥0 for all x ∈ C, where C is a level set of a convex function defined on a real Hilbert space H and F:H→H i... 详细信息

Consider the variational inequality VI(C,F) of finding a point x^∗ ∈ C satisfying the property 〈Fx^∗,x-x^∗〉≥0 for all x ∈ C, where C is a level set of a convex function defined on a real Hilbert space H and F:H→H is a boundedly Lipschitzian (i.e., Lipschitzian on bounded subsets of H) and strongly monotone operator. He and Xu proved that this variational inequality has a unique solution and devised iterative algorithms to approximate this solution (see He and Xu, 2009). In this paper, relaxed and self-adaptive iterative algorithms are proposed for computing this unique solution. Since our algorithms avoid calculating the projection PC (calculating PC by computing a sequence of projections onto half-spaces containing the original domain C) directly and select the stepsizes through a self-adaptive way (having no need to know any information of bounded Lipschitz constants of F (i.e., Lipschitz constants on some bounded subsets of H)), the implementations of our algorithms are very easy. The algorithms in this paper improve and extend the corresponding results of He and Xu. © 2015 Caiping Yang and Songnian He.

关键词： algorithms Variational Governed Fluorine (F) Convex function self-adaptive algorithms Bounded Monotone inequalities iterative algorithms Hydrogen

来源：评论

学校读者我要写书评

暂无评论

Dual-mode phase-shifting interferometry based on iterative algorithms

引用

PHYSICA SCRIPTA 2019年第2期94卷 025501-025501页

作者： Liu, Qian Huang, Wen Yue, Xiaobin China Acad Engn Phys Inst Machinery Mfg Technol 64th Mianshan Rd Mianyang 621000 Sichuan Peoples R China

iterative algorithms are useful for retrieving wavefront phase from vibration disturbed interferograms for phase-shifting interferometry (PSI). But the dependence of convergence on the initial value deviation from the exact value impairs their application in severe vibration. In this paper, performance investigation of a representative iterative algorithm indicates that a higher frame rate of the camera, with matched phase shift, helps in enhancing the success probability of convergence. However, the camera frame rate is limited by its transmission speed and could not be increased easily. To improve the convergence of iterative algorithms, a dualmode (DM) PSI is proposed that utilises the binning function of cameras. In DMPSI, two modes, high-speed and high-resolution modes, work consecutively by switching the camera binning function and two series of interferograms are collected respectively. The wavefront phase could be accurately estimated from high-speed interferograms and then is input to the iterative calculation with high-resolution interferograms as the initial value, and a wavefront phase with high-resolution is achieved ultimately. DMPSI combines the advantages of two complementary modes of cameras to reconstruct an accurate and high-resolution wavefront. Both simulations and a practical measurement verify the enhancement of vibration resistance of iterative algorithms. DMPSI is easy to implement with low cost and good compatibility, predicating a reliable solution for optical wavefront measurement in the severe vibration.

关键词： wavefront measurement phase-shifting interferometry iterative algorithms pixel binning

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis and Convergence Control of iterative algorithms for Reliability Analysis and Design Optimization

引用

JOURNAL OF MECHANICAL DESIGN 2013年第3期135卷 034501-034501页

作者： Yang, Dixiong Xiao, Hui Dalian Univ Technol State Key Lab Struct Anal Ind Equipment Dept Engn Mech Dalian 116023 Peoples R China

iterative algorithms are widely applied in reliability analysis and design optimization. Nevertheless, phenomena of failed convergence, such as periodic oscillation, bifurcation, and chaos, are oftentimes observed in iterative procedures of solving some nonlinear problems. In the present paper, the essential causes of numerical instabilities including periodic oscillation and chaos of iterative solutions are revealed by the eigenvalue-based stability analysis of iterative schemes. To understand and control these instabilities, the stability transformation method (STM), which is capable of tackling numerical instabilities of iterative algorithms in reliability analysis and design optimization, is proposed. Finally, several benchmark examples of convergence control of PMA (performance measure approach) for probabilistic analysis and the SORA (sequential optimization and reliability assessment) for reliability-based design optimization (RBDO) are presented. The observations from the benchmark examples indicate that the STM is a promising approach to achieve convergence control for iterative algorithms in reliability analysis and design optimization.

关键词： reliability analysis and optimization iterative algorithms numerical instabilities chaotic dynamics stability transformation method convergence control

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：