دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Bruno Buchberger (auth.), Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.) سری: Lecture Notes in Computer Science 2178 ISBN (شابک) : 354042959X, 9783540429593 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 679 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب نظریه سیستم های کامپیوتری - EUROCAST 2001: انتخاب مقاله از هشتمین کارگاه آموزشی بین المللی تئوری سیستم های کامپیوتری Las Palmas de Gran Canaria، اسپانیا، 19-23 فوریه 2001، مقالات بازنگری شده: شبیه سازی و مدل سازی، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، هوش مصنوعی (شامل رباتیک)، سیستم های هدف خاص و مبتنی بر کاربرد، معماری پردازنده، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه سیستم های کامپیوتری - EUROCAST 2001: انتخاب مقاله از هشتمین کارگاه آموزشی بین المللی تئوری سیستم های کامپیوتری Las Palmas de Gran Canaria، اسپانیا، 19-23 فوریه 2001، مقالات بازنگری شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مفهوم CAST بهعنوان نظریه سیستمهای به کمک رایانه، توسط F. Pichler در اواخر دهه 1980 معرفی شد تا آن پیشرفتهای نظری و عملی رایانهای را به عنوان ابزاری برای حل مسائل در علم سیستم شامل شود. این به عنوان سومین مؤلفه (دو مؤلفه دیگر CAD و CAM) لازم برای ایجاد مسیر از علوم رایانه و سیستم ها به پیشرفت های عملی در علوم و مهندسی در نظر گرفته شد. دانشگاه لینز اولین کارگاه CAST را در آوریل 1988 برگزار کرد که پذیرش مفاهیم توسط جامعه علمی و فنی را نشان داد. سپس، دانشگاه لاس پالماس د گرن کاناریا به دانشگاه لینز پیوست تا اولین نشست بین المللی در مورد CAST (لاس پالماس، فوریه 1989) را با نام EUROCAST'89 سازماندهی کند. این گردهمایی بسیار موفقی از نظریه پردازان سیستم، دانشمندان کامپیوتر و مهندسان از اکثر کشورهای اروپایی، آمریکای شمالی و ژاپن بود. توافق شد که کنفرانسهای بینالمللی EUROCAST هر دو سال یکبار به طور متناوب بین لاس پالماس د گرن کاناریا و یک مکان قاره اروپا برگزار شود. بنابراین، جلسات متوالی EUROCAST در کرمس (1991)، لاس پالماس (1993)، اینسبروک (1995)، لاس پالماس (1997) و وین (1999)، علاوه بر کنفرانس CAST خارج از اروپا در اتاوا در سال 1994 برگزار شده است. .
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST’89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994.
Gröbner Bases: A Short Introduction for Systems Theorists....Pages 1-19
Design for Reuse via Structuring Techniques for ASMs....Pages 20-35
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata....Pages 36-44
A Holarchical Organized Design Assistant for Hierarchical Decompositions....Pages 45-51
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach....Pages 52-66
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties....Pages 67-78
Hybrid Systems’ Properties — Classification and Relation to Computer Science....Pages 79-93
Assertion-Based Analysis of Hybrid Systems with PVS....Pages 94-109
Algebraic Description of Physical Systems....Pages 110-124
Information Structure and Logical Design of Social Rules....Pages 125-138
Towards a Generic Model of Information Processing Systems....Pages 139-145
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies....Pages 146-159
A Proposal for Project Management Using CommonKADS....Pages 160-171
A General Planning Method for Allocation of Human Resource Groups....Pages 172-181
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems....Pages 182-195
A Planning under Uncertainty Model....Pages 196-208
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures....Pages 209-222
Complexity Analysis of Systems from a Functional and Technical Viewpoint....Pages 223-232
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength....Pages 233-241
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity....Pages 242-256
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution....Pages 257-269
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory....Pages 270-284
Optimization Problems Categories....Pages 285-299
Systems Methodology for Classical Neural Nets at Various Levels....Pages 300-315
Biologically Based CAST-mechanism for Visual Motion Analysis....Pages 316-327
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach....Pages 328-342
An Online Information Retrieval Systems by Means of Artificial Neural Networks....Pages 343-351
Kinematics in Robotics by the Morphogenetic Neuron....Pages 352-368
Analysis and Verification Queries over Object-Oriented Petri Nets....Pages 369-384
Integrated Design and Implementation of Digital Controllers....Pages 385-392
Symbolic Computation Tools for Dynamical Nonlinear Control Systems....Pages 393-404
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica....Pages 405-420
Towards a Computer-Aided Design of Reactive Systems....Pages 421-436
Contributions to the Control and Stabilization of the Pole-Cart System....Pages 437-449
A Qualitative System as a Frame to Control Unmanned Vehicles....Pages 450-456
Hyper-Automation System Applied to Geometry Demonstration Environment....Pages 457-468
The PCS Prover in TH∃OREM∀....Pages 469-478
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations....Pages 479-493
Classifying Isomorphic Residue Classes....Pages 494-508
CAL: A Computer Assisted Learning System for Computation and Logic....Pages 509-524
A Set Theory Prover Within Theorema ....Pages 525-539
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server....Pages 540-554
Hidden Specification of a Functional System....Pages 555-569
Distributed Execution of Functional Programs Using the JVM....Pages 570-582
Fusion in Coq....Pages 583-596
A Language Prototyping Tool Based on Semantic Building Blocks....Pages 597-611
Verifying an Applicative ATP Using Multiset Relations....Pages 612-626
Adding Traces to a Lazy Monadic Evaluator....Pages 627-641
Functional Vs Object-Oriented Distributed Languages....Pages 642-656
Persistent Haskell....Pages 657-667