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

Efficient specialisation in prolog using the hand-written compiler generator LOGEN

Efficient specialisation in prolog using the hand-written co...

WOID'99, Workshop on Optimization and Implementation of declarative Programs (in Connetion with ICLP'99, International Conference on Logic)

作者： Leuschel, Michael Jørgensen, Jesper Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems. © 2000 Published by Elsevier science B.V.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

引用

Electronic Notes in Theoretical computer science 2000年第2期30卷 157-162页

作者： Michael Leuschel Jesper Jørgensen Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called “ cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Strong practical stability for a class of 2D linear systems

Strong practical stability for a class of 2D linear systems

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D. Owens Institute of Robotics and Software Engineering Technical University of Zielona Gora Poland Department of Electronics and Computer Science University of Southampton Southampton UK Institute of Computer Science and Electronics Technical University of Zielona Gora Poland Department of Automatic Control and Systems Engineering University of Sheffield UK

Linear repetitive processes are a distinct class of 2D linear systems of both theoretical and practical interest. The stability theory for these processes currently consists of two distinct concepts termed asymptotic stability and stability along the pass respectively where the former is a necessary condition for the latter. Recently applications have arisen where asymptotic stability is too weak and stability along the pass is too strong for meaningful progress to be made. This paper develops the concept of strong practical stability for such cases.

关键词： Linear systems Asymptotic stability computer science State-space methods Robotics and automation software engineering systems engineering and theory Metals industry Iterative algorithms Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

System design validation using formal models

System design validation using formal models

引用

International Workshop on Rapid System Prototyping (RSP)

作者： P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is to build and evaluate an abstract model(s) of aspects of the system that are perceived as important. Using a model will not provide proof of the system, but it can help to find shortcomings and errors at an early stage. Executing the model should also give a measure of confidence in the final product. Many systems today are built from communicating components so that the task of the developers is becoming fitting these components together to form the required system. We show how a formal model can be sympathetic to this type of architecture using our tool, RolEnact and explain how this may be related to a COM implementation.

关键词： software engineering computer science Costs Prototypes Ear Programming Safety Inspection User interfaces software tools

来源：评论

学校读者我要写书评

暂无评论

Component-based systems as an aid to design validation

Component-based systems as an aid to design validation

引用

IEEE International Conference on Automated software engineering (ASE)

作者： P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

There is a continuing need for software engineers to design better-quality systems more quickly. Component-based technologies promise to make this possible, but modern systems are too complex for a full analysis of their behaviour to be practical. We propose that a reasonable alternative is to analyse abstract models of the essential features of a system. Since these models are abstract, they need contain only those details that are relevant to the aspect of the system under consideration. Consequently, they can be small enough to be constructed quickly and analysed thoroughly using formal methods. Tools are required which are accessible to the novice but which remain powerful enough to build models with a formal foundation so that they can be used by system designers who have limited expertise in the use of formal methods. We propose our tool, RolEnact, as a candidate for this role.

关键词： software engineering computer science software tools Design engineering Power system modeling software quality Java Hardware

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

1999 Information, Decision and Control, IDC 1999

作者： Galkowski, K. Rogers, E. Gramacki, A. Gramacki, J. Owens, D.H. Technical University of Zielona Gora Institute of Robotics and Software Engineering Zielona Gora Poland University of Southampton Image Speech and Intelligent Systems Research Group Department of Electronics and Computer Science SouthamptonSO17 lBJ United Kingdom University of Exeter Centre for Systems and Control Engineering School of Engineering ExeterEX4 4QF United Kingdom

ISBN: (纸本)0780352564

Repetitive, or multipass, processes are a class of 2D systems of both practical and algorithmic/theoretical interest whose dynamics cannot be analysed or controlled using standard (1D) systems theory. Recently it has been shown that the modelling of the boundary conditions, also known as the process initial conditions, is a crucial feature in the analysis and control of these processes. This paper presents some further results on the effects of so-called 'dynamic' process initial conditions on the controllability and stability properties of discrete linear repetitive processes. Previous work has shown that these dynamic process initial conditions alone can destroy the stability properties of these processes. Hence their effects must be 'adequately' accounted for the process modelling stage in order to ensure that subsequent analysis does not lead to incorrect results/conclusions. The main results developed in this paper can be summarised as follows. (i) Computationally efficient stability tests which can, in effect, be applied using standard, or 1D, linear systems tests. (ii) Characterisation of so-called pass controllability in the form of matrix rank based conditions. (iii) Conditions under which the dynamic process initial conditions can be selected to ensure stability and pass controllability. © 1999 IEEE.

关键词： Controllability

来源：评论

学校读者我要写书评

暂无评论

Lyapunov stability theory for linear repetitive processes - The 1D equation approach

Lyapunov stability theory for linear repetitive processes - ...

引用

1999 European Control Conference, ECC 1999

作者： Rogers, E. Gramacki, J. Gramacki, A. Galkowski, K. Owens, D.H. Department of Electronics and Computer Science University of Southampton SouthamptonSO17 1BJ United Kingdom Department of Robotics and Software Engineering Technical University of Zielona Gora ul. Podgorna 50 Zielona Gora65-246 Poland Department of Automatic Control and Systems Engineering University of Sheffield Mappin Street SheffieldS1 3JD United Kingdom

ISBN: (纸本)9783952417355

This paper reports further development of the so-called ID Lyapunov equation based approach to the stability analysis of differential linear repetitive processes. In particular, it is shown that this approach leads to stability tests which can be implemented by computations with matrices which have constant entries, and that if the example under consideration is stable then physically meaningful information concerning one key aspect of 'transient' performance is available for no extra cost. The computational efficiency of these new stability tests against alternatives is also discussed and some areas for short to medium term further research briefly noted. © 1999 EUCA.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

Information, Decision and Control (IDC)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D.H. Owens Institute of Robotics and Software Engineering Technical University of Zielona Góra Zielona Gora Poland Department of Electronics and Computer Science Image Speech and Intelligent Systems Research Group University of Southampton Southampton UK Institute of Computer Engineering and Electronics Technical University of Zielona Góra Zielona Gora Poland School of Engineering Centre for Systems and Control Engineering University of Exeter Exeter UK

关键词： Stability Controllability System testing Control system analysis Algorithm design and analysis Control systems Boundary conditions Process control Standards development Linear systems

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL science 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

Empirical testing: The prototyper's evaluation mechanism

引用

NAVAL ENGINEERS JOURNAL 1997年第1期109卷 41-46页

作者： Hafner, AN Arnold N. Hafner Ph.D.:is founder and president of Information Systems Research (ISR). He has twenty-five years of experience in systems development and is published in the field of systems development management. He served as corporate research scientist at Systems Exploration Inc. from 1988 to 1991 program director at Computer Science Corporation from 1983 to 1988 director of operations at Republic Management Systems Corporation from 1981 to 1983 and program manager at Computer Science Corporation from 1972 to 1981. A 1962 graduate of the US. Naval Academy he holds a doctoral degree in human behavior and engineering degrees in electronics and communications. He has taught courses on information systems and systems management at most of the colleges in the San Diego area. Dr. Hafner has presented fourteen refereed research papers while publishing sixteen articles and a book A Manager's Guide to Software System Development.

Evaluating complex systems is the subject of this paper, the third in a series investigating prototyping. It provides an interesting and helpful overview of how to evaluate systems prototypes and outlines the iterative stream of developer-user interactions that is replacing older approaches to testing and evaluating new military systems, which promise to reduce the time required to develop and field future military capabilities. Changes to the acquisition process, such as those the paper sketches, will facilitate the nation's rapid transit through its current revolution in military affairs.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：