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

international conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Z. Bingul P. Koseeyaporn G.E. Cook Department of Mechatronics Engineering Kocaeli University Kocaeli Turkey Department of Electrical Engineering Vanderbilt University Nashville TN USA

A new graphical simulation package, which is capable of interoperability with other extensive programs, is proposed. A built-in LISP interpreter based on COMMON LISP allows a user to model and manipulate the robot while the result is displayed on a three-dimension graphical display. Other programming languages that are compatible with the component object model (COM) interface can also be applied to the modeling and simulation. the simulation package provides many useful features such as collision detection, inverse kinematics, matrix transformation operations, and several graphical user interfaces. the simulation objects are built based on a triangle strip model to form primitive objects such as a box, cone, sphere, etc. these primitive objects are combined to construct the robot that may contain several serial or parallel links so that many possible types of robots can be modeled.

关键词： Computer languages Parallel robots Packaging Graphical user interfaces Robot programming Kinematics Computational modeling Path planning programming profession Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Delayed evaluation, self-optimising software components as a programming model 8th

引用

8th international Euro-Par conference on Parallel Processing, Euro-Par 2002

作者： Liniker, Peter Beckmann, Olav Kelly, Paul H. J. Department of Computing Imperial College 180 Queen’s Gate LondonSW7 2BZ United Kingdom

ISBN: (纸本)3540440496

We argue that delayed-evaluation, self-optimising scientific software components, which dynamically change their behaviour according to their calling context at runtime offer a possible way of bridging the apparent conflict between the quality of scientific software and its performance. Rather than equipping scientific software components with a performance interface which allows the caller to supply the context information that is lost when building abstract software components, we propose to recapture this lost context information at runtime. this paper is accompanied by a public release of a parallel linear algebra library with both C and C++ language interfaces which implements this proposal. We demonstrate the usability of this library by showing that it can be used to supply linear algebra component functionality to an existing external software package. We give preliminary performance figures and discuss avenues for future work. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Exception handling in component-based system development

Exception handling in component-based system development

引用

25th Annual international Computer Software and Applications conference (COMPSAC 2001)

作者： Romanovsky, A Univ Newcastle Upon Tyne Newcastle Upon Tyne NE1 7RU Tyne & Wear England

ISBN: (纸本)0769513727

Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodating (and adjusting, if necessary) exceptions and exception handling provided by individual components. Our intention is to develop an exception handling framework suitable for component-based system development by applying general exception handling mechanisms which have been proposed and successfully used in concurrent/distributed systems and in programming languages. the framework is applied in three steps. Firstly, individual components are wrapped in such a way that the wrappers perform activity related to local error detection and exception handling, and signal, if necessary, external exceptions outside the component. At the second step the execution of the overall system is structured as a set of dynamic actions in which components take parts. Such actions have important properties which facilitate exception handling: they are atomic, contain erroneous information and serve as recovery regions. the last step is designing exception handling at the action level: each action (i.e. all components participating in it) handles exceptions signalled by individual wrapped components.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

A version model for aspect dependency management 3rd

引用

3rd international conference on generative and component-Based Software engineering, GCSE 2001

作者： Pulvermüller, Elke Speck, Andreas Coplien, James O. Institut für Programmstrukturen und Datenorganisation Universitaet Karlsruhe KarlsruheD-76128 Germany Intershop Research Jena JenaD-07740 Germany Bell Laboratories Lucent NapervilleIL United States

ISBN: (纸本)3540425462

With Aspect-Oriented programming (AOP) a new type of system units is introduced (aspects). One observed characteristic of AOP is that it results in a large number of additional (coarse-grained to finegrained) system units (aspects) ready to be composed to the final application. With this growing number of system units the dependencies between them become vast and tangling. this results in the necessity of an improved management of the dependencies between these system units. Our paper investigates this problem, proposes a more general model (version model) to capture different facettes of AOP as well as a partial solution towards unit consistency based on versions. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proving deadlock freedom in component-based programming 4

引用

4th international conference on Fundamental Approaches to Software engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

作者： Inverardi, Paola Uchitel, Sebastian Dip. di Matematica Universit’a dell’ Aquila L’AquilaI-67010 Italy Dep. of Computing Imperial College Queen’s Gate 180 LondonSW7 2BZ United Kingdom

ISBN: (纸本)3540418636

Emerging technologies such as commercial off-the-shelf products (COTS) and component integration frameworks such as CORBA and COM are changing the way software is produced. Distributed applications are being designed as sets of autonomous, decoupled components, allowing rapid development based on integration of COTS and simplifying architectural changes required to cope with the dynamics of the underlying environment. Although integration technologies and development techniques assume rather simple architectural contexts, they face a critical problem: component integration. So far existing techniques for detecting dynamic integration errors are based on behavioural analysis of the composed system and have serious space complexity problems. In this work we propose a broader notion of component semantics based on assumptions and a method for proving deadlock freedom in a component-based setting. Our goal is to prevent and detect these errors in component based programming settings in a component-wise fashion. We aim for effective methods that can scale to real size applications even at the price of incompleteness as opposed to many existing methods that although theoretically complete might fail in practice. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

components and generative programming (invited paper) 7

引用

Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Krzysztof Czarnecki Ulrich W. Eisenecker DaimlerChrysler AG Research and Technology Ulm Germany Univ. of Applied Sciences Heidelberg Germany

ISBN: (纸本)9783540665380

this paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to generative programming, which is the automatic selection and assembly of components on demand. First, we argue that the current OO technology does not support reuse and configurability in an effective way. then we show how a system family approach can aid in defining reusable components. Finally, we describe how automate the assembly of components based on configuration knowledge. We compare this paradigm shift to the introduction of interchangeable parts and automated assembly lines in the automobile *** also illustrate the steps necessary to develop a product line using a simple example of a car product line. We present the feature model of the product line, develop a layered architecture for it, and automate the assembly of the components using a generator. We also discuss some design issues, applicability of the approach, and future development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synergy between component-based and generative approaches 7

引用

Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Stan Jarzabek Peter Knauber National Univ. of Singapore Singapore Germany Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany

ISBN: (纸本)9783540665380

Building software systems out of pre-fabricated components is a very attractive vision. Distributed component Platforms (DCP) and their visual development environments bring this vision closer to reality than ever. At the same time, some experiences with component libraries warn us about potential problems that arise in case of software system families or systems that evolve over many years of changes. Indeed, implementation level components, when affected by many independent changes, tend to grow in both size and number, impeding reuse. In this paper, we analyze in detail this effect and propose a program construction environment, based on generative techniques, to help in customization and evolution of component-based systems. this solution allows us to reap benefits of DCPs during runtime and, at the same time, keep components under control during system construction and evolution. In the paper, we describe such a construction environment for component-based systems that we built with a commercial generator and illustrate its features with examples from our domain engineering project. the main lesson learnt from our project is that generative techniques can extend the strengths of the component-based approach in two important ways: Firstly, generative techniques automate routine component customization and composition tasks and allow developers work more productively, at a higher abstraction level. Secondly, as custom components with required properties are generated on demand, we do not need to store and manage multiple versions of components, components do not overly grow in size, helping developers keep the complexity of an evolving system under control.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A mathematical model for the optimal design and operation of an anaerobic co-digestion plant

引用

WATER SCIENCE AND TECHNOLOGY 1996年第5-6期34卷 383-391页

作者： Bozinis, NA Alexiou, IE Pistikopoulos, EN UNIV NEWCASTLE UPON TYNE DEPT CIVIL ENGNNEWCASTLE TYNE NE1 7RUTYNE & WEARENGLAND

the anaerobic co-digestion of high strength industrial wastewaters in centralised plants receiving effluents from various local small scale industries is considered to be superior than individual small scale treatment plants. An approach is proposed to systematically tackle co-digestion problems, with respect to both biological and engineering models. In a steady-state mathematical model presented, the effect of combining wastewaters in mixtures, based on major component groups (i.e. lipids, hydrocarbons and proteins), is systematically accounted for. the model is then solved via a non-linear optimisation program (NLP) which results in the determination of an optimal design of the necessary reactors and their respective layout, by balancing the natural trade-offs between reactor and post-treatment costs (due to high pollutants emissions). the preparation of appropriate mixtures is the major parameter controlled. the applicability and potential of the model are demonstrated with a small example. Copyright (C) 1996 IAWQ.

关键词： anaerobic treatment co-digestion industrial wastewaters mathematical modelling mathematical programming optimal design scheduling

来源：评论

学校读者我要写书评

暂无评论

A mathematical model for the optimal design and operation of an anaerobic co-digestion plant

A mathematical model for the optimal design and operation of...

引用

18th Biennial conference of the international-Association-on-Water-Quality

作者： Bozinis, NA Alexiou, IE Pistikopoulos, EN UNIV NEWCASTLE UPON TYNE DEPT CIVIL ENGNNEWCASTLE TYNE NE1 7RUTYNE & WEARENGLAND

关键词： anaerobic treatment co-digestion industrial wastewaters mathematical modelling mathematical programming optimal design scheduling

来源：评论

学校读者我要写书评

暂无评论

What do you get from a π-calculus semantics? 6th

引用

6th international conference on Parallel Architectures and Languages Europe, PARLE 1994

作者： Radestock, Matthias Eisenbach, Susan Department of Computing Imperial College of Science Technology and Medicine 180 Queen’s Gate LondonSW7 2BZ United Kingdom

ISBN: (纸本)9783540581840

Darwin is a programming system for the development of distributed and parallel programs. Darwin programs consist of three parts. Firstly, there is a configuration part which provides a hierarchical structure of components with dynamic binding. Secondly, there is the actual communication part which provides the interaction and synchronisation required by the system. Finally, there is the computation part providing the component programs written in C++. the subdivision of concurrent programs into organisation, communication and computation leads to programs that are easy to specify, compile and execute. In order to specify precisely the behaviour of Darwin programs, we translate the organisation and communication into the π-calculus, a formalism for modelling concurrent processes. the π-calculus specification enables us to deduce behavioural properties of Darwin programs. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：