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

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

来源：评论

学校读者我要写书评

暂无评论

Uniform execution environment for dynamic reconfiguration

Uniform execution environment for dynamic reconfiguration

引用

International Conference and Workshop on engineering of computer-Based systems

作者： T. Bapty J. Scott S. Neema J. Sztipanovits Institute for Software Integrated Systems Department of Electrical and Computer Engineering Vanderbilt University Nashville TN USA

Modern high-performance embedded systems face many challenges. systems must function in rapidly changing environments. Power/size constraints limit hardware size, while extreme performance requirements demand algorithm specific architectures. Hardware architectures must structurally adapt to achieve high performance with changing algorithms. Reconfigurable computing devices offer the promise of architectures that change in response to the changing environment. The primary difficulty in this approach lies in system design. A model-integrated approach is used in the design capture and synthesis of these systems. The target systems are built on a heterogeneous computing platform including configurable hardware, ASIC and general purpose processors and DSPs. This project is a DARPA Adaptive Computing systems funded effort, involving close cooperation with US ARMY/AMICOM.

关键词： Hardware computer architecture Embedded system Military computing Adaptive systems Embedded software software systems Application specific integrated circuits Digital signal processing Electrical capacitance tomography

来源：评论

学校读者我要写书评

暂无评论

Empirical studies of evolving systems

引用

Empirical software engineering 1999年第4期4卷 370-380页

作者： Bennett, K. Burd, E. Kemerer, C. Lehman, M.M. Lee, M. Madachy, R. Mair, C. Sjoberg, D. Slaughter, S. Department of Computer Science University of Durham United Kingdom Katz Graduate School of Business University of Pittsburgh United States Department of Computing Imperial College United Kingdom Department of Informatics and Simulation RMCS Cranfield University United Kingdom Litton Guidance and Control Systems USC Center for Software Engineering United States Design Engineering and Computing University of Bournemouth United Kingdom Department of Informatics University of Oslo Norway Graduate School of Industrial Administrations Carnegie Melon University United States

This paper describes the results of the working group investigating the issues of empirical studies for evolving systems. The groups found that there were many issues that were central to successful evolution and this concluded that this is a very important area within software engineering. Finally nine main areas were selected for consideration. For each of these areas the central issues were identified as well as success factors. In some cases success stories were also described and the critical factors accounting for the success analyzed. In some cases it was later found that a number of areas were so tightly coupled that it was important to discuss them together.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Designing reusable object-oriented architectures - challenges, methods & tools

Designing reusable object-oriented architectures - challenge...

引用

Technology of Object-Oriented Languages and systems (TOOLS)

作者： Kai Koskimies W. Pree J. Bosch G. Hedin Software Systems Laboratory Tampere University of Technology Tampere Finland Software Engineering Group University of Constance Constance Germany Department of Computer Science University of Karlskrona Ronneby Ronneby Sweden Department of Computer Science Lund University Lund Sweden

Summary form only given, as follows. More and more software developers are recognizing the need for solutions that make it possible to share code between different applications in the same domain. Reusing code increases not only the productivity of the developers but also the reliability and maintainability of the software products. Many software companies have ended up with a repository of enterprise components modelling the core business of the company, or with a product-line architecture that captures the common aspects of a family of software products. In both cases, object-orientation (OO) offers a technology that enables these solutions. The workshop studies the problems in designing reuse-oriented architectures (ROA) within the OO paradigm and the OO techniques that support this. The design of such systems is much harder than the design of individual applications, because ROAs need to be valid for unforeseen applications. Instead of a closed world of application concepts, the designer must analyze the variable aspects of a domain. The workshop covers a wide range of topics related to the development of ROAs, including: Design methods for OO product-lines/frameworks; Case studies of existing ROAs; Patterns and architectural styles supporting ROAs; Component-based ROAs; Evaluation of ROAs; Tools supporting the creation and reuse of product-line platforms and frameworks; Documentation of product-line platforms and frameworks; Practical experiences with reuse in OO; and Re-engineering legacy systems into ROAs.

关键词： software maintenance computer architecture Application software Object oriented modeling Design methodology Documentation

来源：评论

学校读者我要写书评

暂无评论

A new restructuring algorithm for the classification-tree method

A new restructuring algorithm for the classification-tree me...

引用

IEEE International Workshop on software Technology and engineering Practice (STEP)

作者： T.Y. Chen P.L. Poon T.H. Tse Vocational Training Council Hong Kong China Department of Computer Science and Software Engineering University of Melbourne Parkville Australia Department of Accountancy Hong Kong Polytechnic University Hong Kong China Department of Computer Science and Software Engineering University of Melbourne Australia Department of Computer Science and Information Systems University of Hong Kong Hong Kong China

The classification-tree method developed by Grochtmann and Grimm facilitates the identification of test cases from functional specifications via the construction of classification trees. Their method has been enhanced by Chen and Poon through the classification-tree construction and restructuring methodologies. We find, however that the restructuring algorithm by Chen and Poon is applicable only to certain types of classification trees. We introduce a new tree-restructuring algorithm to supplement their work.

关键词： Classification algorithms Classification tree analysis software testing Councils computer science software engineering Vocational training Information systems System testing Read only memory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A cognitive model for context dependent fuzzy knowledge

A cognitive model for context dependent fuzzy knowledge

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： K.M. Eksioglu G. Lachiver Systems Software Unit Institut de recherche d''Hydro-Québec Varennes QUE Canada Electrical & Computer Engineering Department Sherbrooke University Sherbrooke QUE Canada

Context dependency is an important problem of knowledge. Fuzzy information also suffers from this dependency when any fuzzy concept, once described, is isolated from its context. The paper describes a cognitive model in which fuzzy knowledge is processed with respect to its surrounding context. The model is derived from some psycho-cognitive approaches: the integrity of knowledge and its context as well as the episodic character of contextual effects on knowledge. The model consists of some functional modules performing related cognitive tasks. Fuzzy knowledge is kept within a layered long-term memory. Layers form an episodic base for contextual knowledge: each layer represents a different context and keeps related fuzzy knowledge. A context selector module evaluates existence of context information in order to choose appropriate context layers. An aggregation module which is an optimization module evaluates implicit contexts. The model is supported by a car brake example, which shows its simplicity and adaptability, and thus the power of this cognitive model. The model is useful especially for mobile fuzzy system applications where knowledge on environment conditions are constantly changing and adaptation of the fuzzy system's descriptive aspects are necessary.

关键词： Context modeling Fuzzy logic Power system modeling System software Psychology Fuzzy systems Upper bound Temperature Knowledge representation Information processing

来源：评论

学校读者我要写书评

暂无评论

Simultaneous Optimization of Structural and Control systems (Consideration of Location of Sensors and Actuators)

Simultaneous Optimization of Structural and Control Systems ...

引用

The First China-Japan-Korea Joint Symposium on Optimization of Structural and Mechanical systems

作者： Yukio Tada Isao Nishino Department of Computer and Systems Engineering Faculty of Engineering Kobe University Rokkodai Nada Kobe 657-8501 Japan 1st Software Div. NEC Communication Systems Kansai Ltd 1-4-24 Siromi Chuou Osaka 540-8511 Japan

This paper considers an optimization problem of a 3-dimensional truss whose vibration is controlled in the case of sensor/actuator collocation. The design variables are cross sectional areas of truss members and locations of the collocated sensors/actuators. The problem has three objectives, the structural weight, the function that represents the influence of the initial state of the system and the number of sensors/actuators. By minimizing the second objective, we can suppress the vibration to some degree. Moreover, in this paper, we consider the uncertainty of the initial state of the system which is dependent on the initial loading conditions. We treat these three objectives by the weighing method for multiobjective problem. The optimization is carried out by the use of Genetic Algorithm. It is shown through numerical simulation that the improvement of the vibration suppression is accomplished by the small control input for the structure designed by the present formulation.

关键词： Optimum Structural Design, Control Design, Genetic Algoritlim, H∞ Control, FEM

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：