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

The Use of SI-Algebra in the Design of Sequencer Circuits

Formal Aspects of computing 1997年第4期9卷 395-408页

作者： Josephs, Mark B. Bailey, Andrew M. Ctr. for Concurrent Systems and VLSI South Bank University Sch. Comp. Info. Syst. and Math. London United Kingdom Oxford University Computing Laboratory Oxford United Kingdom South Bank University School of CISM London SE1 0AA 103 Borough Road United Kingdom

One approach to the design of VLSI systems involves the use of asynchronous circuits that communicate by handshaking with each other. The control circuitry generated when following this approach often includes large trees of binary sequencer components. This paper demonstrates that there is scope here for optimization (in order to improve size, speed and energy consumption). Indeed, an industrial-strength silicon compiler has now been modified to take advantage of this fact. The problem that is addressed concerns the design of efficient control circuits that sequence N four-phase handshakes (N > 2). Muller's speed-independent discipline facilitates the design of such circuits. SI-Algebra, a calculus that supports that discipline, is used to specify the problem and to verify (using recursioninduction) various implementations. Simple counting arguments at the gate level establish that optimization using these implementations is worthwhile.

关键词： Asynchronous circuits Formal methods Four-phase handshake Process algebra Speed-independent

来源：评论

学校读者我要写书评

暂无评论

Parallelisation of the SDEM distinct element stress analysis code on the KSR-1 94

Parallelisation of the SDEM distinct element stress analysis...

引用

8th International Conference on Supercomputing, ICS 1994

作者： Egan, G.K. Riley, G.D. Bull, J.M. Department of Computer Systems Engineering United States Laboratory for Concurrent Computing Systems Swinburne University of Technology Australia Centre for Novel Computing University of Manchester United Kingdom

ISBN: (纸本)0897916654

The SDEM code models systems of interacting blocks of rock using the distinct element (DE) method, which represents these systems as discontinuums with each block acting under Newton's laws of motion. The data structures associated with the DE method make the task of obtaining performance gains through vectorisation difficult. Typical systems, however, cent ain thousands of blocks and there is the potential to perform calculations associated with groups of blocks in parallel. This paper details the analysis and program refinement steps used in implementing a parallel version of SDEM on the Kendall Square Research KSR-1 distributed memory multiprocessor. Performance gains from a simple translation of the original Cray FORTRAN code are poor, but satisfactory performance is obtained, with minimum changes to the code, by addressing specific sources of overhead. The refinement steps focus on reducing lock costs, ensuring data locality and improving load balance. © 1994 ACM.

关键词： Stress analysis

来源：评论

学校读者我要写书评

暂无评论

Estimation of the position of electrocortical generators via subspace techniques

Estimation of the position of electrocortical generators via...

引用

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

作者： D. Klimovski A.A. Sergejew A.L. Cricenti G.K. Egan Laboratory for Concurrent Computing Systems Swinburne University of Technology Australia

There are a number of approaches to the application of subspace techniques for solving spectral estimation problems. These approaches are derived from the covariance matrix which is constructed from incoming data. The covariance matrix can be broken down through the use of appropriate matrix properties and eigen-decomposition techniques into two subspaces. The performance of three traditional algorithms which incorporate subspace techniques in direction of arrival are evaluated under both white and 1/f noise conditions. 1/f noise is chosen because it is typical of the EEG signals. Simulation results suggest that the Johnson and DeGraaf (1982) direction finding algorithm performs best under both noise environments. A typical sample of EEG data was used to evaluate the performance of the three algorithms. The Johnson and DeGraaf algorithm gives estimates for the direction of the signal which approximately agree with the anatomical locations of possible electrocortical generators.< >

关键词： Covariance matrix Electroencephalography Sensor arrays Working environment noise Brain modeling Gaussian noise Sensor systems Signal generators Signal processing Laboratories

来源：评论

学校读者我要写书评

暂无评论

Mobile robot path planning using parallel computer system

Mobile robot path planning using parallel computer system

引用

1992 IEEE International Workshop on Emerging Technologies and Factory Automation, ETFA 1992

作者： Shang, W. Egan, G.K. Laboratory for Concurrent Computing Systems Computer Systems Engineering School of Electrical Engineering Swinburne Institute of Technology Australia

ISBN: (纸本)0780308867

This paper presents a fast, parallel method for mobile robot path planning. The technique is applicable to autonomous robots operating in an obstacle space populated by other similar co-operating robots, such as robot aircraft or large numbers of robots in an industrial workspace. The technique is based on visibility-Graph algorithm proposed by Lozano-Perez. It has been extended and applied to multiple robots with particular priorities. The parallel algorithm takes advantage of the MIMD shared memory machine. Each robot's path planning can be executed simultaneously because each processor can work independently. The results on Encore-Multimax multiprocessor system show that the computation time of the parallel algorithm is much less than that of the sequential algorithm. © 1992 IEEE.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Exploiting low level parallelism in the dynamic control of manipulators

Exploiting low level parallelism in the dynamic control of m...

引用

1992 IEEE International Workshop on Emerging Technologies and Factory Automation, ETFA 1992

作者： Zeng, S. Egan, G.K. Laboratory for Concurrent Computing Systems Swinburne Institute of Technology John Street Hawthorn3122 Australia

ISBN: (纸本)0780308867

The manipulator dynamic control involves computing the desired forces or motor torques to allow a manipulator to follow the required trajectory. These calculations are normally based on the manipulator dynamic equations and the feedback information about the actual motion of manipulator. To achieve convergence of the control algorithm may require sampling rates greater than 60 Hz, with the upper limit being determined by the mechanical resonance. Given this and the nonlinear characteristics of manipulator the computation load on the controller is substantial, and has in the past required an expensive minicomputer or even a super-minicomputer. An alternative approach is to decompose the computation load of manipulator dynamic control into a number of tasks which will be performed by inexpensive multiprocessors concurrently. In this paper, a number of parallel processing schemes are described for the manipulator control computation and implemented on multiprocessor systems. The results show that a moderate speedup have been achieved on a shared memory system and a good speedup on a dataflow system. © 1992 IEEE.

关键词： Manipulators

来源：评论

学校读者我要写书评

暂无评论

Techniques for multiprocessor dynamic control of manipulators

Techniques for multiprocessor dynamic control of manipulator...

引用

1992 Singapore International Conference on Intelligent Control and Instrumentation

作者： Zeng, S. Egan, G.K. Laboratory for Concurrent Computing Systems Swinburne Institute of Techology John Street Hawthorn3122 Australia

ISBN: (纸本)0780306325

A number of parallel processing schemes are decribed for the computation of the Newton-Euler equations of motion of a manipulator and implemented on multiprocessor systems. The results show that a moderate speedup have been achieved on a shared memory system and a good speedup on a dataflow system. © 1992 by IEEE Singapore Section.

关键词： Manipulators

来源：评论

学校读者我要写书评

暂无评论

Techniques For Multiprocessor Dynamic Control Of Manipulators

Techniques For Multiprocessor Dynamic Control Of Manipulator...

引用

Singapore International Conference on Intelligent Control and Instrumentation, SICICI

作者： S. Zeng GK. Egan Laboratory for Concurrent Computing Systems Swinburne Institute of Technology Hawthorn Australia

来源：评论

学校读者我要写书评

暂无评论

Exploiting Low Level Parallelism In The Dynamic Control Of Manipulators

Exploiting Low Level Parallelism In The Dynamic Control Of M...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： S. Zeng G. Klgan Laboratory for Concurrent Computing Systems Swinburne Institute of Technology Hawthorn Australia

来源：评论

学校读者我要写书评

暂无评论

Mobile Robot Path Planning Using Parallel Computer System

Mobile Robot Path Planning Using Parallel Computer System

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： W. Shang G.K. Egan Laboratory for Concurrent Computing Systems Computer Systems Engineering School of Electrical Engineering Swinburne Institute of Technology Australia

来源：评论

学校读者我要写书评

暂无评论

A comparison of structure accessing techniques in IdA and SISAL on the CSIRAC II dataflow multiprocessor 3

A comparison of structure accessing techniques in IdA and SI...

引用

3rd IEEE Symposium on Parallel and Distributed Processing, PDPS 1991

作者： Whiting, P.G. Egan, G.K. CSIRO Division of Information Technology 723 Swanton Street Carlton3053 Australia Laboratory for Concurrent Computing Systems Swinburne Institute of Technology John Street Hawthorn3122 Australia

ISBN: (纸本)0818623101

Describes the implementation of the functional language IdA on the CSIRAC II dataflow multiprocessor. IdA is a derivative of MIT's ID Nouveau language and CSIRAC II is a dataflow architecture which combines the features of static queued and dynamic dataflow architectures and as such is outside the generally accepted taxonomy. The non-strict implementation of structures in IdA exploits the overlap in the production and consumption of structures. This eliminates the unnecessary serialisation of the computation evidenced in the implementation of another functional language SISAL. To illustrate this, results for the numerical weather prediction code, Shallow, are presented for both IdA and SISAL formulations. These results show that for similar instruction counts a 39% reduction in runtime is obtained for the IdA implementation over the SISAL implementation in a representative scientific application. © 1991 IEEE.

关键词： Weather forecasting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：