This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design.
With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemented in Maple and Java, contains more than 70 well-documented functions for symbolic elimination and decomposition with polynomial systems and geometric reasoning. The book presents the functionality, implementation, and performance of Epsilon and demonstrates the usefulness of the elimination tool by a number of selected applications, together with many examples and illustrations. The reader will find Epsilon an efficient tool, applicable to a wide range of problems in science, engineering, and industry, and this book an accessible exposition and a valuable reference for elimination theory, methods, and practice.
With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments. The book may serve as a useful reference for researchers, educators, and other professionals interested in developing, using, and practising methodologies and software tools of symbolic computation for education from the secondary to the undergraduate level.
Provides comprehensive coverage of theory and hands-on implementation of computer vision-based sensors for structural health monitoring This book is the first to fill the gap between scientific research of computer vision and its practical applications for structural health monitoring (SHM). It provides a complete, state-of-the-art review of the collective experience that the SHM community has gained in recent years. It also extensively explores the potentials of the vision sensor as a fast and cost-effective tool for solving SHM problems based on both time and frequency domain analytics, broadening the application of emerging computer vision sensor technology in not only scientific research but also engineering practice. Computer Vision for Structural Dynamics and Health Monitoring presents fundamental knowledge, important issues, and practical techniques critical to successful development of vision-based sensors in detail, including robustness of template matching techniques for tracking targets; coordinate conversion methods for determining calibration factors to convert image pixel displacements to physical displacements; sensing by tracking artificial targets vs. natural targets; measurements in real time vs. by post-processing; and field measurement error sources and mitigation methods. The book also features a wide range of tests conducted in both controlled laboratory and complex field environments in order to evaluate the sensor accuracy and demonstrate the unique features and merits of computer vision-based structural displacement measurement. Offers comprehensive understanding of the principles and applications of computer vision for structural dynamics and health monitoring Helps broaden the application of the emerging computer vision sensor technology from scientific research to engineering practice such as field condition assessment of civil engineering structures and infrastructure systems Includes a wide range of laboratory and field testing examples, as well as practical techniques for field application Provides MATLAB code for most of the issues discussed including that of image processing, structural dynamics, and SHM applications Computer Vision for Structural Dynamics and Health Monitoring is ideal for graduate students, researchers, and practicing engineers who are interested in learning about this emerging sensor technology and advancing their applications in SHM and other engineering problems. It will also benefit those in civil and aerospace engineering, energy, and computer science.
Focusing on the future development of basic education in China, and on overcoming related issues, this book identifies key breakthroughs, priorities and important fields of basic education reform. In addition, it introduces the “Three Power Model” – decision-making, principals’ leadership, and learning power – to help address the challenges of future development. Unlike much of the research on basic education reform, the book draws on a forward-thinking, realistic and comprehensive project: bringing together 15 universities and research institutes, 16 provincial administration departments, and 100 selected primary and secondary schools, it has also been strongly endorsed by the nation’s leaders. After five years of practice and innovation, it has made significant breakthroughs in many provinces. Sharing unique insights into the project and its outcomes, the book offers an invaluable asset for education researchers, primary and secondary school teachers, and anyone interested in the evolution of basic education in China.
Digital Preservation for Heritages: Technologies and Applications" provides a comprehensive and up-to-date coverage of digital technologies in the area of cultural heritage preservation, including digitalization, research aiding, conservation aiding, digital exhibition, and digital utilization. Processes, technical frameworks, key technologies, as well as typical systems and applications are discussed in the book. It is intended for researchers and students in the fields of computer science and technology, museology, and archaeology. Dr. Dongming Lu is a professor at College of Computer Science and Technology, Zhejiang University, China. His research area includes digital preservation for cultural heritages and digital media networks. Prof. Yunhe Pan is a member of Chinese Academy of Engineering, and also a professor at College of Computer Science and Technology, Zhejiang University, China. His research area includes digital preservation for cultural heritages, digital library, and intelligent human animation.
We study, both empirically and quantitatively, the role of savings and the labor supply in self-insurance channels over the life cycle when one faces not only idiosyncratic income risks, but also changes in longevity risk and pension benefits. We pick China as a case study since China has undergone a dramatic process of rapid aging and a tremendous reduction in social security benefits for the period 1995-2009. We find that both savings and the labor supply are quantitatively important self-insurance channels in responding to changes in longevity risk and pension benefits, and the responses via adjustment to savings and labor supply have significant macroeconomic implications. Applying the model to China, we find that the pension reform and rapid aging together contribute 55 percent of the increase in the household saving rate from 1995 to 2009, and they jointly capture about 64 percent of the drastic increase in the labor supply for the same period.
Large Scale Wind Power Grid Integration: Technological and Regulatory Issues presents engineers with detailed solutions on the challenges of integrating and transmitting electricity generated from high power wind installations, covering all of the standard engineering issues associated with high power wind generation. The book includes detailed case studies from eight wind power bases in China, providing important insights for engineers in countries that are seeking to develop large-scale wind power farms. Also discussed is the emergence of 10 GW-level wind power bases that are now operational in China and those that are planned for offshore construction in Europe, the U.S., and other places in the world. China's leadership in Large-scale wind power bases with capacities over 1 GW (which already account for approximately 70%-80% of the total installed capacity in China) means that globally, engineers who are challenged with developing large-scale wind power installations can gain access to the experiences of Chinese engineers in this important technology. - Presents the first book to extensively introduce the technique of 10-GW wind power base - Discusses the technology of large-scale wind power delivery and consumption, including the analysis, simulation and calculation of wind power delivery capacity, system stabilization and control, wind power prediction and forecasting, peak load and frequency regulation of power generation - Introduces the background policy related to large-scale wind power delivery and the consumption plan, investigation of the present wind power policies around the world and the executive plan for the Jiuquan 10-GW wind power base
Beijing Institute for the Learning Society (BILS) was inaugurated in October 2011 through the joint efforts of Beijing Leading Group Office for Construction of Learning City and Beijing Normal University. The main focus of BILS lies within the education discipline.The Institute is building a platform that integrates intellectual resources of universities in Beijing to serve the learning city's construction, to explore the constructing mode for Beijing learning city, to enrich and develop the theory of building a learning society with Chinese characteristics, to assist the government in public policies, and to guide the practice of learning city's construction. At present, two years since it was established, together with Beijing City and related research institutions, the Institute has participated in numerous research studies, including An International Comparative Study on Modes of Learning City Construction in the World, Research and study on Beijing Lifelong Learning Competence, and Study on Legislation of Beijing Lifelong Learning. Oriented towards the practice of the construction of Beijing learning city, the Institute integrates universities in Beijing and related research organizations in China and abroad to keep pace with international developments, research practical problems, explore innovative approaches, promote exchanges and cooperation, train professionals, and lead the development of the practice. It is striving to build a high-end open research platform with international influence that integrates academic researches, policy advisories, talent training, and training services. This book summarizes the goals set by BILS, and what has been achieved thus far.
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communication. This book introduces the fundamental theory, key technology and the prototype system of distributed MIMO and cellular free mobile communication system, including the unified system model, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of software and hardware and test results of distributed MIMO and cell free system based on cloud architecture are introduced in detail.This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic and information engineering.
This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The book is also a valuable reference for people working in other relevant areas, such as scientific computing, computer graphics, and artificial intelligence. Contents: Algebraic Methods in Computer Aided Geometric Design: Theoretical and Practical Applications (L Gonzilez-Vega et al.); Constructing Piecewise Algebraic Blending Surfaces (Y Feng et al.); Rational Curves and Surfaces: Algorithms and Some Applications (J R Sendra); Panorama of Methods for Exact Implicitization of Algebraic Curves and Surfaces (I S Kotsireas); Implicitization and Offsetting via Regular Systems (D Wang); Determining the Intersection Curve of Two 3D Implicit Surfaces by Using Differential Geometry and Algebraic Techniques (L Gonzilez-Vega et al.); Analytical Properties of Semi-Stationary Subdivision Schemes (H Zhang & G Wang); Meshless Method for Numerical Solution of PDE Using Hermitian Interpolation with Radial Basis (Z Wu & J Liu); Clifford Algebras in Geometric Computation (H Li); Automated Deduction in Real Geometry (L Yang & B Xia); Automated Derivation of Unknown Relations and Determination of Geometric Loci (Y Li); On Guaranteed Accuracy Computation (C K Yap); Dixon A-Resultant Quotients for 6-Point Isosceles Triangular Corner Cutting (M-C Foo & E-W Chionh); Face Recognition Using Hidden Markov Models and Artificial Neural Network Techniques (Z Ou & B Xue). Readership: Upper-level undergraduates, graduate students, researchers and engineers in geometric modeling.
This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
With a software library included, this book provides an elementary introduction to polynomial elimination in practice. The library Epsilon, implemented in Maple and Java, contains more than 70 well-documented functions for symbolic elimination and decomposition with polynomial systems and geometric reasoning. The book presents the functionality, implementation, and performance of Epsilon and demonstrates the usefulness of the elimination tool by a number of selected applications, together with many examples and illustrations. The reader will find Epsilon an efficient tool, applicable to a wide range of problems in science, engineering, and industry, and this book an accessible exposition and a valuable reference for elimination theory, methods, and practice.
Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communication. This book introduces the fundamental theory, key technology and the prototype system of distributed MIMO and cellular free mobile communication system, including the unified system model, capacity and spectral efficiency analysis under imperfect channel information, cell edge effect, optimal power allocation and energy efficiency optimization, cache optimization, low complexity wireless transmission technology and new network assisted full duplex technology. In addition, the implementation of software and hardware and test results of distributed MIMO and cell free system based on cloud architecture are introduced in detail.This book will benefit senior undergraduates, postgraduates, scholars and engineers who are engaged in wireless mobile communication research. It can also be used as a reference book for postgraduates and researchers in the field of electronic and information engineering.
The Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ̈ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design.
This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The book is also a valuable reference for people working in other relevant areas, such as scientific computing, computer graphics, and artificial intelligence. Contents: Algebraic Methods in Computer Aided Geometric Design: Theoretical and Practical Applications (L Gonzilez-Vega et al.); Constructing Piecewise Algebraic Blending Surfaces (Y Feng et al.); Rational Curves and Surfaces: Algorithms and Some Applications (J R Sendra); Panorama of Methods for Exact Implicitization of Algebraic Curves and Surfaces (I S Kotsireas); Implicitization and Offsetting via Regular Systems (D Wang); Determining the Intersection Curve of Two 3D Implicit Surfaces by Using Differential Geometry and Algebraic Techniques (L Gonzilez-Vega et al.); Analytical Properties of Semi-Stationary Subdivision Schemes (H Zhang & G Wang); Meshless Method for Numerical Solution of PDE Using Hermitian Interpolation with Radial Basis (Z Wu & J Liu); Clifford Algebras in Geometric Computation (H Li); Automated Deduction in Real Geometry (L Yang & B Xia); Automated Derivation of Unknown Relations and Determination of Geometric Loci (Y Li); On Guaranteed Accuracy Computation (C K Yap); Dixon A-Resultant Quotients for 6-Point Isosceles Triangular Corner Cutting (M-C Foo & E-W Chionh); Face Recognition Using Hidden Markov Models and Artificial Neural Network Techniques (Z Ou & B Xue). Readership: Upper-level undergraduates, graduate students, researchers and engineers in geometric modeling.
Large Scale Wind Power Grid Integration: Technological and Regulatory Issues presents engineers with detailed solutions on the challenges of integrating and transmitting electricity generated from high power wind installations, covering all of the standard engineering issues associated with high power wind generation. The book includes detailed case studies from eight wind power bases in China, providing important insights for engineers in countries that are seeking to develop large-scale wind power farms. Also discussed is the emergence of 10 GW-level wind power bases that are now operational in China and those that are planned for offshore construction in Europe, the U.S., and other places in the world. China's leadership in Large-scale wind power bases with capacities over 1 GW (which already account for approximately 70%-80% of the total installed capacity in China) means that globally, engineers who are challenged with developing large-scale wind power installations can gain access to the experiences of Chinese engineers in this important technology. - Presents the first book to extensively introduce the technique of 10-GW wind power base - Discusses the technology of large-scale wind power delivery and consumption, including the analysis, simulation and calculation of wind power delivery capacity, system stabilization and control, wind power prediction and forecasting, peak load and frequency regulation of power generation - Introduces the background policy related to large-scale wind power delivery and the consumption plan, investigation of the present wind power policies around the world and the executive plan for the Jiuquan 10-GW wind power base
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.