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

FAST PARALLEL RECURSIVE AGGREGATION METHODS FOR SIMULATION OF DYNAMICAL-SYSTEMS

IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1994年第3期39卷 534-540页

作者： TSAI, WK HUANG, G LU, W TEXAS A&M UNIV DEPT ELECT ENGNCOLLEGE STNTX 77843

A novel recursive aggregation algorithm for numerical simulations of dynamic systems is proposed and analyzed. The algorithm exploits a special structure of the linear equation problem resulting from the discretization of the dynamic system and an aggregation/disaggregation procedure. The algorithm has a time complexity of (I(q) + 2M(q) + 3) log N for solving linear systems with q states for N discrete time instants, using O(q3 N) processors, where I(q) is the parallel time complexity for inverting a q x q matrix, M(q) is the parallel time complexity for matrix multiplication of two q x q matrices. The competing parallel cyclic reduction method for the same problem has a time complexity of (I(q) + 3M(q) + 4) log N. Thus, the proposed algorithm has a definite speed advantage over the cyclic reduction method. An approximation technique for the unknown boundary conditions in boundary value problems is also proposed. The algorithm was implemented to simulate some dynamical (stable and unstable) systems, and the numerical results show that the accumulation of roundoff errors is insignificant as compared to the discretization errors.

关键词： Iterative algorithms Nonlinear equations Iterative methods Analytical models algorithm design and analysis Boundary value problems Roundoff errors Optimal control Linear systems Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

APPROXIMATE analysis OF OPEN NETWORKS OF QUEUES WITH BLOCKING - TANDEM CONFIGURATIONS

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1986年第3期12卷 450-461页

作者： PERROS, HG ALTIOK, T RUTGERS STATE UNIV DEPT IND ENGNPISCATAWAYNJ 08854

An approximation method is developed for the analysis of tandem configurations consisting of single server finite queues linked in series. External arrivals take place at the first queue, which may be either finite or infinite. Departures from the queuing network may take place only from the last queue. All service times and interarrival times are taken to be distributed exponentially. The approximation algorithm provides results in the form of the marginal likelihood distribution of the number of units in each queue of the tandem configuration. Other performance measures, such as mean queue-length and throughput, can be obtained easily. The approximation method is validated using exact and simulation data. The approximate results appear to have an acceptable error level.

关键词： Servers Approximation Methods Approximation algorithms Queueing analysis Throughput algorithm design and analysis Delay Queues In Tandem Approximations Blocking Coxian Queues Exponential Distribution Finite Queues

来源：评论

学校读者我要写书评

暂无评论

A Fault analysis Perspective for Testing of Secured SoC Cores

IEEE DESIGN & TEST

引用

IEEE design & TEST 2013年第5期30卷 63-73页

作者： Ali, Sk Subidh Mazumdar, Bodhisatwa Mukhopadhyay, Debdeep New York Univ Abu Dhabi Dept Engn CRISSP Grp Abu Dhabi U Arab Emirates Indian Inst Technol Kharagpur 721302 W Bengal India Indian Inst Technol Dept Comp Sci & Engn Kharagpur 721302 W Bengal India

Editor's notes:

关键词： Field programmable gate arrays Equations Circuit faults algorithm design and analysis Doped fiber amplifiers System-on-chip Mathematical model SoC AES AES key schedule Differential Fault analysis Fault Model

来源：评论

学校读者我要写书评

暂无评论

Advances in Hyperspectral Image and Signal Processing A comprehensive overview of the state of the art

引用

IEEE GEOSCIENCE AND REMOTE SENSING MAGAZINE 2017年第4期5卷 37-78页

作者： Ghamisi, Pedram Yokoya, Naoto Li, Jun Liao, Wenzhi Liu, Sicong Plaza, Javier Rasti, Behnood Plaza, Antonio German Aerosp Ctr Remote Sensing Technol Inst Munich Germany Tech Univ Munich Signal Proc Earth Observat Munich Germany Univ Tokyo Dept Adv Interdisciplinary Studies Tokyo Japan Sun Yat Sen Univ Guangdong Prov Key Lab Urbanizat & Geosimulat Ctr Integrated Geog Informat Anal Sch Geog & Planning Guangzhou Guangdong Peoples R China Univ Ghent Dept Telecommun & Informat Proc Ghent Belgium Tongji Univ Coll Surveying & Geoinformat Shanghai Peoples R China Univ Extremadura Dept Technol Comp & Commun Badajoz Spain Keilir Inst Technol Reykjanesbaer Iceland Univ Iceland Dept Elect & Comp Engn Reykjavik Iceland

Recent advances in airborne and spaceborne hyperspectral imaging technology have provided end users with rich spectral, spatial, and temporal information. They have made a plethora of applications feasible for the analysis of large areas of the Earth?s surface. However, a significant number of factors-such as the high dimensions and size of the hyperspectral data, the lack of training samples, mixed pixels, light-scattering mechanisms in the acquisition process, and different atmospheric and geometric distortions-make such data inherently nonlinear and complex, which poses major challenges for existing methodologies to effectively process and analyze the data sets. Hence, rigorous and innovative methodologies are required for hyperspectral image (HSI) and signal processing and have become a center of attention for researchers worldwide.

关键词： Hyperspectral imaging Signal processing Feature extraction Image restoration Spatial resolution algorithm design and analysis Data preprocessing Data analysis Tutorials

来源：评论

学校读者我要写书评

暂无评论

Efficient system-level functional verification methodology for multimedia applications

引用

IEEE design & TEST OF COMPUTERS 2003年第2期20卷 56-64页

作者： Cupák, M Catthoor, F De Man, HJ IMEC B-3001 Louvain Belgium Katholieke Univ Leuven Louvain Belgium

Multimedia application design exploration should begin at the system level, to meet low-power and minimum-area requirements. Existing validation techniques mainly concentrate on lower abstraction levels. This system-level methodology combines formal verification of loop-oriented transformations with correctness verification of arithmetic constructs and related control flows. A videoconferencing-decoder example illustrates the methodology's efficiency.

关键词： Formal Specification Formal Verification Teleconferencing Decoding Multimedia Systems Videoconferencing Decoder System Level Functional Verification Methodology Multimedia Applications design Exploration Minimum Area Requirements Validation Techniques System Level Methodology Formal Verification Loop Oriented Transformations Correctness Verification Multimedia Systems algorithm design and analysis Application Software Silicon Process design Space Exploration design Automation Teleconferencing Decoding Multidimensional Systems

来源：评论

学校读者我要写书评

暂无评论

A UNIFIED METHOD FOR EVALUATING REAL-TIME COMPUTER CONTROLLERS AND ITS APPLICATION

引用

IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1985年第4期30卷 357-366页

作者： SHIN, KG KRISHNA, CM LEE, YH UNIV MICHIGAN DEPT ELECT ENGNANN ARBORMI 48109

A computer-controlled system is a synergistic coupling of the controlled process and the controller computer. We have defined new performance measures for real-time controller computers based on this coupling. We present a systematic study of a typical critical controlled process in the context of new performance measures that express the performance of both controlled processes and controller computers (taken as a unit) on the basis of a single variable: controller response time. Controller response time is a function of current system state, system failure rate, electrical and/or magnetic interference, etc., and is therefore a random variable. Control overhead is expressed as monotonically nondecreasing function of the response time and the system suffers catastrophic failure, or dynamic failure, if the response time for a control task exceeds the corresponding system hard deadline, if any. The controlled-process chosen for study is an aircraft in the final stages of descent, just prior to landing. Control constraints are particularly severe during this period, and great care must be taken in the design of controllers that handle this process. First, the performance measures for the controller are presented. Second, control algorithms for solving the landing problem are discussed, and finally the impact of our performance measures on the problem is analyzed, showing that the performance measures and the associated estimation method have potential use for designing and/or evaluating real-time controllers and controlled process. In common with all other control techniques, the computational complexity involved in obtaining these measures is susceptible to the curse of dimensionality.

关键词： Application software Control systems Process control Electric variables control Magnetic variables control Delay algorithm design and analysis Computer applications Time measurement Interference

来源：评论

学校读者我要写书评

暂无评论

A GENERALIZED STRUCTURAL SUBBAND DECOMPOSITION OF FIR FILTERS AND ITS APPLICATION IN EFFICIENT FIR FILTER design AND IMPLEMENTATION

引用

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING 1993年第6期40卷 363-374页

作者： MITRA, SK MAHALANOBIS, A SARAMAKI, T MARTIN MARIETTA ELECTR SYST DIV ADV PROGRAMSORLANDOFL 32862 TAMPERE UNIV TECHNOL DEPT ELECT ENGNSF-33101 TAMPEREFINLAND

It is shown that any FIR transfer function can be realized as a parallel connection of IFIR sections consisting of a cascade of a subfilter with a sparse impulse response and an FIR interpolator which ''fills in'' the missing samples of the corresponding subfilter. The set of interpolators can be realized as a subband filter bank, and as a result, each IFIR section contributes to the overall frequency response essentially within a given band of frequencies. The proposed decomposition can be considered as a generalization of the polyphase decomposition resulting in a computationally efficient structure in sampling rate alteration applications. The proposed structural decomposition also leads to faster FIR filter design algorithms. Examples are included to demonstrate the improvements in the speed of least-squares and minimax design algorithms based on the suggested structure.

关键词： Finite impulse response filter algorithm design and analysis Frequency response Nonlinear filters Transfer functions Sampling methods Minimax techniques Arithmetic Filtering theory Band pass filters

来源：评论

学校读者我要写书评

暂无评论

ADAPTIVE EQUALIZATION FOR TDMA DIGITAL MOBILE RADIO

引用

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY 1991年第2期40卷 333-341页

作者： PROAKIS, JG Department of Electrical and Computer Engineering Communications and Digital Signal Processing Research Center Northeastern University Boston MA USA

Adaptive equalization for a time division multiple access (TDMA) digital cellular system is treated in this paper. First, a survey of adaptive equalization techniques is presented, including their performance characteristics and limitations, and their implementation complexity. Then, the design of adaptive equalization algorithms for a narrow-band TDMA system is considered.

关键词： Adaptive equalizers Time division multiple access Land mobile radio Resonance light scattering Signal processing algorithms Least squares approximation Finite impulse response filter algorithm design and analysis Narrowband Telephony

来源：评论

学校读者我要写书评

暂无评论

DETECTING HARDWARE COVERT TIMING CHANNELS

引用

IEEE MICRO 2016年第5期36卷 17-27页

作者： Venkataramani, Guru Chen, Jie Doroslovacki, Milos George Washington Univ Dept Elect & Comp Engn Washington DC 20052 USA George Washington Univ Washington DC 20052 USA

Many popular computing environments are vulnerable to covert timing channels. With improvements in software confinement mechanisms, shared processor hardware structures will be natural targets for such an attack. The authors present a microarchitecture-level framework that detects the possible presence of covert timing channels on shared hardware. Experimental results demonstrate their ability to detect different types of covert timing channels on various hardware structures and communication patterns.

关键词： algorithm design and analysis algorithms Communication channels covert channels Data privacy detection Hardware hardware timing channels Information security Medical services security Systems modeling Timing

来源：评论

学校读者我要写书评

暂无评论

ACTIVATION IN UNIPOLAR CARDIAC ELECTROGRAMS - A FREQUENCY-analysis

引用

IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING 1990年第5期37卷 500-508页

作者： CABO, C WHARTON, JM WOLF, PD IDEKER, RE SMITH, WM DUKE UNIV MED CTR DEPT PATHOL DURHAM NC 27710 USA DUKE UNIV MED CTR DEPT BIOMED ENGN DURHAM NC 27710 USA

Several detectors of local activations in unipolar cardiac electrograms are discussed. The detectors are based on the frequency content of the waveforms. For this study, myocardial regions with no local electrical activity were created with cryoablation in canine ventricles, so that the characteristics of electrograms reflecting local activation could be compared with those with only distant electrical activity. For each electrogram, representations, of the original signal were created using the output of bandpass filters; for each representation, the value of the maximum amplitude was taken as a measurement of the frequency content of the electrogram in that frequency band. The content of each frequency band and the first derivative of the signal were tested as discriminators between local and distant electrical activity. Combinations of frequency bands were also tested using a logistic regression technique. It was found that a detector based on multivariate analysis of different frequency components of a signal may be more effective than single-band filtering in discriminating between local and distant electrical activity in the heart, especially when those components have very different magnitudes.< >

关键词： Frequency Electrodes Heart Signal analysis Testing Detectors Extracellular Disk recording algorithm design and analysis Signal mapping

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：