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.
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.
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
Polynomial Elimination at Work; The Epsilon Library; The CharSets Package; The TriSys and SiSys Modules; The GEOTHER Environment; Relevant Elimination Tools; Solving Polynomial Systems; Automated Theorem Proving and Discovering in Geometry; Symbolic Geometric Computation; Selected Problems in Computer Mathematics.
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 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.
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.
This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.
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.
Modern finite element analysis has grown into a basic mathematical tool for almost every field of engineering and the applied sciences. This introductory textbook fills a gap in the literature, offering a concise, integrated presentation of methods, applications, software tools, and hands-on projects. Included are numerous exercises, problems, and Mathematica/Matlab-based programming projects. The emphasis is on interdisciplinary applications to serve a broad audience of advanced undergraduate/graduate students with different backgrounds in applied mathematics, engineering, physics/geophysics. The work may also serve as a self-study reference for researchers and practitioners seeking a quick introduction to the subject for their research.
This book systematically introduces the key technologies for differentiated resourceful utilization of rural organic wastes based on high-efficiency anaerobic fermentation and bio-augmented composting, and discusses differentiating sources of organic wastes, integrating recycling technologies, developing key equipment, and researching management mechanisms. In addition, it describes the development of viable techniques and low-pollution, low-cost, and low-maintenance equipment. It also includes the technical specifications for the differentiated resourceful utilization of rural organic wastes and presents the energy-fertilizer integrated resourceful utilization method for rural organic wastes. Providing technological insights into improving the resourceful utilization level of rural organic wastes, this book is a valuable reference resource for administrative staff, researchers in the field of environmental protection, and technicians in enterprises involved in the treatment and disposal of solid wastes.
This book systematically introduces the key technologies for differentiated resourceful utilization of rural organic wastes based on high-efficiency anaerobic fermentation and bio-augmented composting, and discusses differentiating sources of organic wastes, integrating recycling technologies, developing key equipment, and researching management mechanisms. In addition, it describes the development of viable techniques and low-pollution, low-cost, and low-maintenance equipment. It also includes the technical specifications for the differentiated resourceful utilization of rural organic wastes and presents the energy-fertilizer integrated resourceful utilization method for rural organic wastes. Providing technological insights into improving the resourceful utilization level of rural organic wastes, this book is a valuable reference resource for administrative staff, researchers in the field of environmental protection, and technicians in enterprises involved in the treatment and disposal of solid wastes.
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.