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

CONVERGENCE analysis AND design OF AN ADAPTIVE FILTER WITH FINITE-BIT POWER-OF-2 QUANTIZED ERROR - COMMENT

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING 1995年第7期42卷 498-500页

作者： EWEDA, E Kobri El-Koppa Cairo Military Technical College Egypt

The above paper(1) has considered the design of a finite-bit power-of-two quantizer algorithm when identifying the parameters of a time-invariant plant. This letter presents the design equations of the above algorithm... 详细信息

关键词： Convergence Adaptive filters algorithm design and analysis Signal processing algorithms Nonlinear equations design engineering Circuits Least squares approximation Signal design Estimation error

来源：评论

学校读者我要写书评

暂无评论

design AND analysis OF SUCCESSIVE APPROXIMATION algorithmS VIA BILINEAR CONTROL-THEORY

引用

IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1981年第3期26卷 770-773页

作者： DESROCHERS, AA Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY USA

Gradient techniques which use a weighting matrix to accelerate convergence are shown to be bilinear in the neighborhood of the extremum, while the gradient method itself behaves as a linear system. An investigation of their reachable sets at the extremum provides a basis for explaining the improved performance experienced in practice. Using concepts from bilinear control theory, two new algorithms are designed which achieve further improvements in performance.

关键词： Control theory Riccati equations algorithm design and analysis Iterative algorithms Jacobian matrices Symmetric matrices Approximation algorithms Iterative methods Distributed parameter systems Filtering

来源：评论

学校读者我要写书评

暂无评论

THE USE OF STRUCTURED analysis AND design IN THE ENGINEERING OF THE TRIUMF DATA ACQUISITION AND analysis SYSTEM

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 1987年第1期34卷 157-161页

作者： LUDGATE, GA HALEY, B LEE, L MILES, YN TRIUMF Vancouver BC Canada

A contemporary system building design notation was adopted for the engineering of TRIUMF's new VAX-based data acquisition and analysis system. The requirements of automated systems' design notations are discussed and the elements of the chosen notation described. Finally the group's experience in designing a data acquisition system with these techniques is presented.

关键词： Data engineering design engineering Data acquisition Data analysis Buildings Real time systems Physics Education algorithm design and analysis System analysis and design

来源：评论

学校读者我要写书评

暂无评论

Introducing Formal Derivation into the design and analysis of algorithms

Introducing Formal Derivation into the Design and Analysis o...

引用

4th International Conference on Computer Science and Education

作者： Shi, Haipeng Shi, Haihe Jiangxi Normal Univ Coll Software Nanchang Peoples R China Jiangxi Normal Univ Coll Comp Informat & Engn Nanchang Peoples R China

ISBN: (纸本)9781424435197

The design and analysis of algorithms is one of the two essential cornerstone topics in computer science. However, some students think it hard to grasp and often learn by rote, thus they usually can't improve their ability of algorithm design and algorithm analysis. To address the problem, we advocate the incorporation of formal derivation into the design and analysis of algorithms. Formal algorithm derivation is valuable in revealing wonderful ideas behind algorithm, and ensuring resultant algorithm correctness. It would be helpful in showing where the algorithmic ideas come, thus enable the improvement of students' understanding and study. The detailed teaching design is presented in the paper.

关键词： algorithm design and analysis formal derivation

来源：评论

学校读者我要写书评

暂无评论

analysis and design of Event-triggered Control algorithms using Hybrid Systems Tools 56

Analysis and Design of Event-triggered Control Algorithms us...

引用

56th Annual IEEE Conference on Decision and Control (CDC)

作者： Chai, Jun Casau, Pedro Sanfelice, Ricardo G. Univ Calif Santa Cruz Dept Comp Engn Santa Cruz CA 95064 USA Univ Macau Fac Sci & Technol Dept Elect & Comp Engn Taipa Macau Peoples R China Univ Lisbon Inst Syst & Robot Inst Super Tecn P-1049001 Lisbon Portugal

ISBN: (纸本)9781509028733

This paper proposes a general framework for analyzing continuous-time systems controlled by event-triggered algorithms. Closed-loop systems resulting from using both static and dynamic output (or state) feedback laws that are implemented via asynchronous event-triggered techniques are modeled as hybrid systems given in terms of hybrid inclusions and studied using recently developed tools for robust stability. Properties of the proposed models, including stability of compact sets, robustness, and Zeno behavior of solutions are addressed. The framework and results are illustrated in several event-triggered strategies available in the literature.

关键词： Closed loop systems Tools algorithm design and analysis Robustness Stability analysis Time-domain analysis

来源：评论

学校读者我要写书评

暂无评论

SIMULATION SCREENING EXPERIMENTS USING LASSO-OPTIMAL SUPERSATURATED design AND analysis: A MARITIME OPERATIONS APPLICATION

SIMULATION SCREENING EXPERIMENTS USING LASSO-OPTIMAL SUPERSA...

引用

Winter Simulation Conference on Simulation - Making Decisions in a Complex World

作者： Xing, Dadi Wan, Hong Zhu, Michael Yu Sanchez, Susan M. Kaymal, Turgut Purdue Univ Sch Ind Engn W Lafayette IN 47907 USA Purdue Univ Dept Stat W Lafayette IN 47907 USA Naval Postgrad Sch Operat Res Dept Monterey CA 93943 USA

ISBN: (纸本)9781479939503;9781479920778

Screening methods are beneficial for studies involving simulations that have a large number of variables where a relatively small (but unknown) subset is important. In this paper, we show how a newly proposed Lasso-optimal screening design and analysis method can be useful for efficiently conducting simulation screening experiments. Our approach uses new criteria for generating supersaturated designs, and a new algorithm for selecting the optimal tuning parameters for Lasso model selection. We generate a 24x69 Lasso optimal supersaturated design, illustrate its potential with a numerical evaluation, and apply it to an agent-based simulation of maritime escort operations in the Strait of Gibraltar. This application is part of a larger project that seeks to leverage simulation models during the ship design process, and so construct ships that are both cost effective and operationally effective. The supersaturated screening design has already proved beneficial for model verification and validation.

关键词： algorithm design and analysis Analytical models Educational institutions Input variables Numerical models Tuning Vectors

来源：评论

学校读者我要写书评

暂无评论

Refining abstract equivalence analysis for embedded system design

Refining abstract equivalence analysis for embedded system d...

引用

IEEE International High-Level design Validation and Test Workshop

作者： Hsieh, H Sangiovanni-Vincentelli, A Balarin, F Lavagno, L Univ Calif Berkeley Dept EECS Berkeley CA 94720 USA

ISBN: (纸本)0769507867

The synchronous assumption has made it possible to develop efficient procedures for establishing functional equivalence between different implementations in the domains of synchronous circuits and synchronous reactive systems. This notion is extended to embedded systems that do not satisfy the synchronous assumption inside their boundaries but only at the interface with the environment [5]. Efficient, But conservative, synchronous equivalence analysis algorithms have been developed. In this work, we propose extensions to these algorithms that allow trading off the complexity with the conservativeness of the results.

关键词： algorithm design and analysis Automata Circuit synthesis Context Electronic mail Embedded system Laboratories Network synthesis Processor scheduling Space exploration

来源：评论

学校读者我要写书评

暂无评论

design and analysis of Networks with Large Components in Presence of Region-Based Faults

Design and Analysis of Networks with Large Components in Pre...

引用

IEEE International Conference on Communications (ICC)

作者： Banerjee, Sujogya Shirazipourazad, Shahrzad Sen, Arunabha Arizona State Univ Comp Sci & Engn Program Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA

ISBN: (纸本)9781612842332

Connectivity kappa(G) of a network G is traditionally considered to be the primary metric for evaluation of its fault-tolerance capability. However, connectivity as a metric has several limitations - e.g., it has no mechanism to distinguish between localized and random faults. Also it does not provide any information about the network state, if the number of failures exceed kappa(G). The network state information that might be of interest in such a scenario is the size of the largest connected component. In this paper, we address both these limitations and introduce a new metric called region-based largest component size (RBLCS), that provides the largest size of the component in which the network decomposes once all the nodes of a region fail. We study the computational complexity of finding RBLCS for a given network. In addition, we study the problem of least cost design of a network with a target value of RBLCS. We prove that the optimal design problem is NP-complete and present a heuristic to solve the problem. We evaluate our heuristic by comparing its solutions with the optimal solutions. Experimental results demonstrate that our heuristic produces near optimal solution in a fraction of time needed to find the optimal.

关键词： algorithm design and analysis Complexity theory Layout Measurement Peer to peer computing Polynomials Wireless networks

来源：评论

学校读者我要写书评

暂无评论

design of Simulation System for Multi-function Radar Behaviour analysis

Design of Simulation System for Multi-function Radar Behavio...

引用

Progress in Electromagnetics Research Symposium - Spring (PIERS)

作者： Ou, Jian Chen, Yongguang Zhao, Feng Yang, Jianhua Xiao, Shunping Natl Univ Def Technol Key Lab Complex Electromagnet Environm Effects El Changsha 410073 Hunan Peoples R China Beijing Inst Tracking & Telecommun Technol Beijing 100094 Peoples R China

ISBN: (纸本)9781509062690

With the development and application of the multi-function radars (MFRs), it is imperative to analyse the behaviour for jamming decisions. Simulation software for MFR behaviour analysis is designed and developed for the purpose of recognizing the operating modes and predicting the future waveforms. The software is composed of three modules of training, recognition and prediction. The training module trains the radar model by training algorithm utilize the radar signal in the database, getting the prior probabilities and transition probabilities of multiple states;and the latter two modules recognize and predict the MFR behaviours by analysing the intercepted signals based on the pre-trained model. Simulations with a hypothetical MFR signal sequence in a typical scenario are presented, showing that the software is effective in extracting the characteristics and inferring the schedule schemes. The result is helpful in making intelligent jamming decisions, and supporting the adaptive radar countermeasures.

关键词： Radar Software Prediction algorithms Training algorithm design and analysis Heuristic algorithms Analytical models

来源：评论

学校读者我要写书评

暂无评论

design and analysis of a dynamic scheduling strategy with resource estimation for large-scale Grid systems 04

Design and analysis of a dynamic scheduling strategy with re...

引用

5th International Workshop on Grid Computing

作者： Viswanathan, S Veeravalli, B Yu, DT Robertazzi, TG Natl Univ Singapore Dept Elect & Comp Engn Singapore 117576 Singapore

ISBN: (纸本)0769522564

In this paper we present a resource conscious dynamic scheduling strategy for handling large volume computationally intensive loads in a Grid system involving multiple sources and sinks/processing nodes. We consider a "pull-based" strategy, wherein the processing nodes request load from the sources. We employ the Incremental Balancing Strategy (IBS) algorithm proposed in the literature and propose a buffer estimation strategy to derive optimal load distribution. Here, we consider non-time critical loads that arrive at arbitrary times with time varying buffer availability at sinks and utilize buffer reclamation techniques so as to schedule the loads. We demonstrate detailed workings of the proposed algorithm with illustrative examples using real-life parameters derived from STAR experiments in BNL for scheduling large volume loads.

关键词： Dynamic scheduling Large-scale systems Grid computing Processor scheduling Resource management Data analysis Computer networks algorithm design and analysis Laboratories Physics computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：