计算机辅助系统理论EUROCAST 2001Computer Aided Systems Theory - EUROCAST 2001
点此进入淘宝搜索页搜索分類: 图书,进口原版书,计算机 Computers & Internet ,
作者： Roberto Moreno-Diaz等编
出 版 社： Oversea Publishing House
出版时间： 2001-12-1字数：版次： 1页数： 667印刷时间： 2001/12/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9783540429593包装： 平装内容简介
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.
The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
目录
Invited Lectures
Grobner Bases: A Short Introduction for Systems Theorists
B. Buchberger
Design for Reuse via Structuring Techniques for ASMs
E. BOrger
1Computer Aided Systems Theory
1.1 Mathematical and Logic Formalisms
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
M. Affenzeller, F. Pichler, R. Mittelmann
A Holarchical Organized Design Assistant for Hierarchical Decompositions
S. Meine
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
W. Jacak, K. Proll, S. Dreiseitl
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
E. Di Nardo, A.G. Nobile, E. Pirozzi, L.M. Ricciardi
Hybrid Systems' Properties - Classification and Relation to Computer Science
T. Stauner
Assertion-Based Analysis of Hybrid Systems with PVS
E. Abraham-Mumm, U. Hannemann, M. Steffen
Algebraic Description of Physical Systems
H. yon Issendorff
1.2 Information and Decision
Information Structure and Logical Design of Social Rules
T. Shimogawa
Towards a Generic Model of Information Processing Systems
G. Nemeth
Evolutionary Information and Decision Support Systems:An Integration Based on Ontologies
M. V. Hurtado, J. Parets
A Proposal for Project Management Using CommonKADS
I. del Aguila, S. Tunez, J. Canadas, A. Bosch, R. Marin
A General Planning Method for Allocation of Human Resource Groups.
M. Mauerkirchner
Optimizing Organizational Structure: A HausdorffBenchmark for Complex Social Systems
M. Schwaninger
A Planning under Uncertainty Model
E. Paniagua-Aris, J.T. Palma-Mendez, F. Martin-Rubio
……
2Computer Algebra and Automated Theorem Proving
3 Functional Programming and Calculus
Author Index
