دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Franz Pichler (auth.), Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler (eds.) سری: Lecture Notes in Computer Science 1798 ISBN (شابک) : 9783540678229, 3540678220 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 601 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب نظریه سیستم های رایانه ای - EUROCAST’99: منتخبی از مقاله های هفتمین کارگاه بین المللی نظریه سیستم های کمکی رایانه ای ، وین ، اتریش ، 29 سپتامبر - 2 اکتبر 1999: سیستمهای مبتنی بر هدف خاص و کاربرد، پیچیدگی، هوش مصنوعی (شامل رباتیک)، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، روشهای ریاضی در فیزیک، فیزیک عددی و محاسباتی
در صورت تبدیل فایل کتاب Computer Aided Systems Theory - EUROCAST’99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه سیستم های رایانه ای - EUROCAST’99: منتخبی از مقاله های هفتمین کارگاه بین المللی نظریه سیستم های کمکی رایانه ای ، وین ، اتریش ، 29 سپتامبر - 2 اکتبر 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نظریه سیستمهای به کمک رایانه (CAST) به وظیفه کمک به ایجاد و اجرای ابزارهایی برای پشتیبانی از ابزارهای معمول CAD برای طراحی و شبیهسازی با روشهای ریاضی یا منطقی رسمی در مدلسازی میپردازد. به طور طبیعی، اساس ساخت و پیاده سازی نرم افزار CAST با دانش فعلی موجود در مدل سازی و تجربه متخصصان در طراحی مهندسی فراهم شده است. نظریه سیستم ها، همانطور که از دیدگاه تحقیقات CAST و توسعه ابزار CAST دیده می شود، نقش ارائه چارچوب های رسمی و دانش نظری مرتبط برای ساخت مدل و تحلیل مدل را دارد. ما عمداً بین تئوری سیستمها و CAST و سایر حوزههای مشابه تحقیق و توسعه ابزار مانند آنالیز عددی کاربردی یا سایر علوم محاسباتی تمایز قائل نمیشویم. کنفرانس EUROCAST مستند که در دانشگاه فناوری وین برگزار شد، جریان اصلی فعلی در CAST را منعکس می کند. همانطور که در کنفرانس های قبلی به موضوعات جدید، نظری و کاربردی گرا پرداخته شده است. مقالات ارائه شده نشان میدهد که این علم گسترده است و پیشرفتهای جدید در علوم کامپیوتر و فناوری اطلاعات نیروی محرکه آن هستند. ویراستاران میخواهند از نویسندگان برای ارائه نسخههای خطی خود در نسخههای چاپی و الکترونیکی در زمان تشکر کنند.
Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar ?elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re?ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the ?eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta?ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume.
Front Matter....Pages -
Front Matter....Pages 1-1
The Cast Project: Experiences and Future Perspectives....Pages 3-7
Cast Methods in Biocybernetics....Pages 8-13
On the Way to the Next Generation of Robots....Pages 14-19
Front Matter....Pages 21-21
Representation of the RCS Reference Model Architecture Using an Architectural Description Language....Pages 23-37
Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis....Pages 38-45
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?....Pages 46-54
Computer-Aided Analysis and Validation of Heterogeneous System Specifications....Pages 55-79
Patterns for Embedded Systems Design....Pages 80-89
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets....Pages 90-104
Representing Petri Nets in an Action Based Formalism....Pages 105-115
Simplification of Proof Procedures Based on the Path Condition Concepts....Pages 116-126
Parallel Processor Array for Tomographic Reconstruction Algorithms....Pages 127-141
A Formalized Description Approach to Continuos Time Systems....Pages 142-153
Modeling Complex Systems by Multi-agent Holarchies....Pages 154-168
Partition of Systems by General System Logical Theory (GSLT)....Pages 169-181
Front Matter....Pages 183-183
Multiagent Approach to Intelligent Control of Robot....Pages 185-200
Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools....Pages 201-208
System Integration Techniques in Robotics....Pages 209-223
Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots....Pages 224-238
Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations....Pages 239-249
Front Matter....Pages 183-183
Matrix Model of Robot in Matlab – Simulink....Pages 250-255
Front Matter....Pages 257-257
Integrating Two Dynamic Models of Business-Logistics Plant....Pages 259-273
Assembly Reengineering Model....Pages 274-281
Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation....Pages 282-288
Modeling the Emergence of Social Entities....Pages 289-294
Simulating Social Grouping: An Interactive Team-Building Tool (ITBT)....Pages 295-301
Sociological Aspects of Data Acquisition and Processing....Pages 302-306
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference....Pages 307-318
Simulation of Gaussian Processes and First Passage Time Densities Evaluation....Pages 319-333
Distributed Simulation with Multimedia Interface....Pages 334-342
Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem....Pages 343-356
Floating Car Data Analysis of Urban Road Networks....Pages 357-367
Information Lost in the Hologram Subdividing Process....Pages 368-373
Front Matter....Pages 375-375
Electronic Performance Support Systems Challenges and Problems....Pages 377-393
A Framework for the Elicitation, Evolution, and Traceability of System Requirements....Pages 394-406
Development of a Precision Assembly System Using Selective Assembly and Micro Machining....Pages 407-413
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station....Pages 414-434
A Formalisation of the Evolution of Software Systems....Pages 435-449
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems....Pages 450-464
Vertical Partitioning Algorithms in Distributed Databases....Pages 465-474
Front Matter....Pages 375-375
Decision Based Adaptive Model for Managing Software Development Projects....Pages 475-485
A Fractal Software Complexity Metric Analyser....Pages 486-493
Front Matter....Pages 495-495
Systems Approach to Attention Mechanisms in the Visual Pathway....Pages 497-505
On Completness in Early Vision from Systems Theory....Pages 506-513
McCulloch Program II in Artificial Systems and Lastres Theorem....Pages 514-520
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases....Pages 521-527
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems....Pages 528-542
Variable-Structure Learning Controllers....Pages 543-549
An Identification Algorithmic Toolkit for Intelligent Control Systems....Pages 550-564
Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures....Pages 565-572
The Supervision of Hybrid Control Systems – A Layered Architecture....Pages 573-587
Automatic Players for Computer Games....Pages 588-600
Back Matter....Pages -