Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Sista dagarna: Upp till 20% rabatt på höstnyheter →

Jiacun Wang – författare & böcker | Bokus

Jiacun Wang – författare

Visar alla böcker från författaren Jiacun Wang. Handla med fri frakt och snabb leverans.

41 produkter

Kategorier

41 produkter

Formal Methods in Computer Science
AvJiacun Wang,William Tepfenhart
Inbunden, Engelska, 2019
2 798 kr
Skickas inom 10-15 vardagar
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features* Introduces a comprehensive, yet manageable set of formal techniques for computer science students* Stresses real-world application value of each formal technique* Offers a good set of exercises which help students better understand the presented techniques* Also offers a prepared source code for downloading and non-commercial use
Timed Petri Nets
Theory and Application
AvJiacun Wang
Inbunden, Engelska, 1998
2 279 kr
Skickas inom 10-15 vardagar
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.
Handbook of Finite State Based Models and Applications
AvJiacun Wang
E-bok
Engelska, 2016
1 169 kr
Läs direkt efter köp
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on fini
Real-Time Embedded Systems
AvJiacun Wang
Inbunden, Engelska, 2017
1 504 kr
Skickas inom 5-8 vardagar
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMVFeatures real-world examples in finite state machines, model checking, real-time system design with UML, and moreCovers embedded computer programing, designing for reliability, and designing for safetyExplains how to make engineering trade-offs of power use and performanceInvestigates practical issues concerning software reliability, aging, rejuvenation, security, and power managementReal-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.
Real-Time Embedded Systems
AvJiacun Wang
E-bok
Engelska, 2017
1 658 kr
Läs direkt efter köp
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification

Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book:
Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV Features real-world examples in finite state machines, model checking, real-time system design with UML, and more Covers embedded computer programing, designing for reliability, and designing for safety Explains how to make engineering trade-offs of power use and performance Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.
Real-Time Embedded Systems
AvJiacun Wang
E-bok
PDF, Engelska, 2017
1 658 kr
Läs direkt efter köp
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification

Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book:
Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV Features real-world examples in finite state machines, model checking, real-time system design with UML, and more Covers embedded computer programing, designing for reliability, and designing for safety Explains how to make engineering trade-offs of power use and performance Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.
Handbook of Finite State Based Models and Applications
AvJiacun Wang
Häftad, Engelska, 2016
1 001 kr
Skickas inom 10-15 vardagar
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area. The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Handbook of Finite State Based Models and Applications
AvJiacun Wang
Inbunden, Engelska, 2012
2 727 kr
Skickas inom 10-15 vardagar
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area. The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Handbook of Finite State Based Models and Applications
AvJiacun Wang
E-bok
PDF, Engelska, 2016
1 204 kr
Läs direkt efter köp
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on fini
Timed Petri Nets
Theory and Application
AvJiacun Wang
Häftad, Engelska, 2012
2 215 kr
Skickas inom 10-15 vardagar
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.
Timed Petri Nets
Theory and Application
AvJiacun Wang
E-bok
PDF, Engelska, 2012
2 833 kr
Läs direkt efter köp
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical'' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.
Formal Methods in Computer Science
AvJiacun Wang,William Tepfenhart
Häftad, Engelska, 2019
1 237 kr
Skickas inom 10-15 vardagar
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features* Introduces a comprehensive, yet manageable set of formal techniques for computer science students* Stresses real-world application value of each formal technique* Offers a good set of exercises which help students better understand the presented techniques* Also offers a prepared source code for downloading and non-commercial use
Formal Methods in Computer Science
AvWilliam Tepfenhart,Jiacun Wang
E-bok
PDF, Engelska, 2019
1 483 kr
Läs direkt efter köp
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
Formal Methods in Computer Science
AvWilliam Tepfenhart,Jiacun Wang
E-bok
Engelska, 2019
1 483 kr
Läs direkt efter köp
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
Del 898 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of ICSCSP 2018, Volume 2
AvJiacun Wang,G. Ram Mohana Reddym. fl.
Häftad, Engelska, 2019
2 544 kr
Skickas inom 10-15 vardagar
The book includes research papers on current developments in the field of soft computing and signal processing, selected from papers presented at the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It features papers on current topics, such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning. It also discusses various aspects of these topics, like technologies, product implementation, and application issues.
Soft Computing and Signal Processing
Proceedings of ICSCSP 2018, Volume 2
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
E-bok
Engelska, 2019
3 181 kr
Läs direkt efter köp
The book includes research papers on current developments in the field of soft computing and signal processing, selected from papers presented at the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It features papers on current topics, such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning. It also discusses various aspects of these topics, like technologies, product implementation, and application issues.
Del 900 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of ICSCSP 2018, Volume 1
AvJiacun Wang,G. Ram Mohana Reddym. fl.
Häftad, Engelska, 2019
2 434 kr
Skickas inom 10-15 vardagar
The book presents selected research papers on current developments in the field of soft computing and signal processing from the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It includes papers on current topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, discussing various aspects of these topics, like technological, product implementation, contemporary research as well as application issues.
Soft Computing and Signal Processing
Proceedings of ICSCSP 2018, Volume 1
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
E-bok
Engelska, 2019
3 181 kr
Läs direkt efter köp
The book presents selected research papers on current developments in the field of soft computing and signal processing from the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It includes papers on current topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, discussing various aspects of these topics, like technological, product implementation, contemporary research as well as application issues.
Del 1118 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of 2nd ICSCSP 2019
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Häftad, Engelska, 2020
2 764 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Second International Conference on Soft Computing and Signal Processing (ICSCSP 2019). The respective contributions address topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, and discuss various aspects of these topics, e.g. technological considerations, product implementation, and application issues.
Soft Computing and Signal Processing
Proceedings of 2nd ICSCSP 2019
AvK. T. V. Reddy,Jiacun Wangm. fl.
E-bok
Engelska, 2020
3 500 kr
Läs direkt efter köp
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Second International Conference on Soft Computing and Signal Processing (ICSCSP 2019). The respective contributions address topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, and discuss various aspects of these topics, e.g. technological considerations, product implementation, and application issues.
Del 1340 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of 3rd ICSCSP 2020, Volume 2
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Häftad, Engelska, 2021
3 316 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 3rd ICSCSP 2020, Volume 2
AvK. T. V. Reddy,Jiacun Wangm. fl.
E-bok
Engelska, 2021
3 937 kr
Läs direkt efter köp
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Del 1413 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of 4th ICSCSP 2021
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Häftad, Engelska, 2022
2 544 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fourth International Conference on Soft Computing and Signal Processing (ICSCSP 2021). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 4th ICSCSP 2021
AvK.T.V. Reddy,Jiacun Wangm. fl.
E-bok
Engelska, 2022
3 181 kr
Läs direkt efter köp
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fourth International Conference on Soft Computing and Signal Processing (ICSCSP 2021). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 5th ICSCSP 2022
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Inbunden, Engelska, 2023
3 095 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 5th ICSCSP 2022
AvK. T. V. Reddy,Jiacun Wangm. fl.
E-bok
Engelska, 2023
3 986 kr
Läs direkt efter köp
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 5th ICSCSP 2022
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Häftad, Engelska, 2024
3 095 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Del 1325 - Advances in Intelligent Systems and Computing
Soft Computing and Signal Processing
Proceedings of 3rd ICSCSP 2020, Volume 1
AvV. Sivakumar Reddy,V. Kamakshi Prasadm. fl.
Häftad, Engelska, 2021
3 095 kr
Skickas inom 10-15 vardagar
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Soft Computing and Signal Processing
Proceedings of 3rd ICSCSP 2020, Volume 1
AvK. T. V. Reddy,Jiacun Wangm. fl.
E-bok
Engelska, 2021
3 978 kr
Läs direkt efter köp
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.
Intelligent Systems and Sustainable Computing
Advancements in Computational Intelligence: Proceedings of ICISSC 2024, Volume 2
AvY. Madhavee Latha,V. Sivakumar Reddym. fl.
Inbunden, Engelska, 2026
3 095 kr
Skickas inom 10-15 vardagar
This book is a collection of best selected research papers presented at Fourth International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2024), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 20–21, 2024. This book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication. This book is presented in two volumes.