Operating System Concepts

《System Verilog驗證：測試平臺編寫指南：原書第三版》講解了System Verilog Testbench強大的驗證功能，清楚地解釋了面向對象編程、約束隨機測試和功能覆蓋的概念。《System Verilog驗證：測試平臺編寫指南：原書第三版》涵蓋System Verilog所有驗證結構，如類、程序塊、隨機化和功能覆蓋等，並通過超過500個代碼示例和詳細解釋，說明了學習多態性、回調和工廠模式等概念的內部工作原理。此外，《System Verilog驗證：測試平臺編寫指南：原書第三版》提供了數百條指導原則，為全職驗證工程師和學習這一技能的讀者提供幫助，讓讀者可以更高效地使用這種語言，並解釋了常見的編碼錯誤，以便讀者可以避免這些陷阱。

安康*的《中國農產品蔬菜批發市場的性質與變遷研究--基於CAS和主觀博弈契合》嘗試性地首次提出了複雜適應性系統(Complex Adaptive System，簡稱CAS)和主觀博弈契合的理論框架，從宏觀和微觀兩個層次上對市場的性質進行新釋義，進而從整體和個體兩個層次上對我國農產品蔬菜批發市場的性質和變遷進行了理論透視，並選用我國東部和西部兩個有著一定代表意義的案例對理論進行檢驗。本書通過對本質的

新型流程模型助力企業實現價值聚焦、目標清晰和環環互通在快節奏、日益複雜和相互關聯的商業環境中，進程不一致、摩擦衝突和工作流停滯的問題更為突顯。這對企業提出的要求就是，時時刻刻都要避免嘗試用“一刀切”的方式來尋找一個高價值、內部員工對目標認知一致和協作高效的流程系統。本書就是幫助企業的管理者通過使用價值流圖(Value Stream Mapping，VSM)分析方法來調整團隊、解鎖創新方案和優化管理性能的實用指南。本書以價值流程圖、控制論(cybernetics)和豐田生產系統(Toyota Production System)為理論基礎，使用由成果圖、當前狀態價值流圖、依賴關係圖、未來狀態價值流圖和流程路線圖構成的五力模型來促進管理暢通與協作，展示團隊如何處理複雜的過程依賴關係、衝突的優先級問題以及讓進度停滯不前的假設，最終得到可為從事相關工作的人所掌握的清晰路線圖，以加快創新週期、優化工作流程，實現企業的高效運營。

本書是一本立足本科生水平的電動力學教材，主要闡述電磁場理論，分析各個實驗定律，從中總結出電磁場的普遍規律，建立麥克斯韋方程組和洛倫茲力公式，討論恒定電磁場問題，說明一些恒定場的基本性質和求解電場和磁場問題的一些基本方法，討論電磁波的傳播與輻射，介紹一般情況下勢的概念和輻射電磁場的計算方法，*後將電動力學的參考系引入相對論時空觀，導出電磁場量在不同參考系間的變換，並且說明相對論力學的基本概念。本書注重把現代物理前沿引入教學，把電動力學問題擴展到多個前沿的研究領域，如固體物理、天體物理、核物理學、計算物理等。本書涵蓋我國物理專業電動力學課程的基本內容，可作為高等學校物理專業低年級學生學習電動力學課程的教材或參考書，也可作為電子、材料、通信等專業高年級學生的教學參考書。This is a blingual edition of the following title published by Cambridge University Press:Introduction to Electrodynamics，Fourth edition，ISBN 9781108420419This book was previously published by Pearson Education,Inc. 1989, 1999, 2013Reprinted 2018Cambridge University Press and China Machine Press 2020.This blingual of edition is authorized for sale in the People’s Republic of China (excluding Hong Kong, Macau and Taiwan) only. Unauthorised export of this blingual edition is a violation of the Copyright Act. No part of this publication may be reproduced or distributed by any means, or stored in a database or retrieval system, without the prior written permis

《北京航空航天大學"研究生英文教材"系列叢書:計算機文化基礎》內容簡介：This book includes 4 chapters. They are basic knowledge of computer, introduction of operating system, Microsoft Office 2003 and computer networks. This book focuse

目前ROS（Robot Operating System）正逐步成為機器人開發領域的主要工具平臺，同時SLAM技術也日益成為機器人應用領域的研究熱點。本書主要講解ROS編程與SLAM算法，並介紹 ROS 與機器人仿真軟件V-rep的結合應用。書中各章節所涉及的代碼均有對應的源代碼，可供讀者下載，便於調試與應用。

Linux OS在伺服器以及近來引發熱議的嵌入式系統中都得到廣泛應用，《Linux shell腳本程式設計入門》介紹的就是該程式必備的shell程式設計要素。尤其還收錄了現在門戶網站、企業等使用的主流套件CentOS(Community ENTerprise Operating System)為基礎的各種Linux命令，並以此為基礎編寫了Linux shell腳本程式設計示例，使讀者可以親自測試。

Based on the 4G TD-LTE (Time Division-Long Term Evolution) technology, this book uses the modularity-learning mode and the TD-LTE eNodeB equipment of Datang Mobile Company to give a comprehensive instruction about the hardware structure, device opening and setting, equipment maintenance, etc. through different tasks arrangement. This book has three training parts. The first part is the TD-LTE wireless technology, the second one is the recognition of TD-LTE products, and the third one is the operating and maintenance of the base stations. Through the learning of the three training parts, the readers can have a good knowledge of the basic setting and maintenance of a 4G base station, as well as a sound understanding of the structure installation and testing of the hardware, and the starting configuration and testing of the base devices. They can understand the basic knowledge involved in running and testing the mobile communication system. The book aims to train the high-qualified talent

本書主要介紹計算機操作系統的基本知識。計算機科學與技術發展到今天，從個人計算機到大型計算機，無一例外地都配置了一種或多種操作系統。如果要讓用戶去使用一台沒有操作系統的計算機，那將是難以想像的。那麼，什麼是操作系統(Operating System,OS)呢？本書主要介紹操作系統的概念，操作系統的形成與發展，操作系統的特徵與功能，以及幾種現代主流操作系統。本書可作為大專院校計算機專業的教材。

全書共有3部分15章，分別包括Glossary、Principles of VHF Propagation and the Allocation of Frequencies、Categories of Messages、General Operating Procedures、Relevant Weather Information、General、Aerodrome Control、Appro

目前機器人技術處於快速發展的時期，其應用領域涉及公共服務、工業、航空航太、軍事等，產生了巨大的經濟效益和社會效益。然而機器人技術存在重複開發的問題，降低了機器人的開發效率，限制了機器人技術的進一步發展。為了提高機器人代碼複用和模組化設計水準，需採用具有更好通用性的開源機器人系統。2010年Willow Garage公司發佈了開源機器人作業系統ROS（robot operating system）。

《微軟System Center 2012 R2私有雲部署實戰》是國內第一本System Center 2012 R2中文技術圖書，全書通過對Hyper-V 2012 R2虛擬化軟體和System Center 2012 R2系統管理套件的講解，逐步深入“微軟私有雲”的核心功能和服務，説明讀者在實際工作中規劃、實施、部署和運維“微軟私有雲”。 在System Center 2012 R2系統管理套

Educational System in China presents a comprehensive overview of the educational system in China at all levels, from primary and secondary schools to colleges and universities, covering such important

《CARTO系統臨床應用指南(英文版)》 was written by a group of experts in clinical electrophysiology.The OARTO Navigation System was the worlds first 3D electroanatomical navigation system. The companions wrote the b

Visual Studio 2005 Team System 是一種高效率的、集成的和可擴展軟件生命周期管理工具，已經成為廣大中高級.NET開發人員必備的開發工具。來自C# MVP、Team System MVP（微軟最有價值專家）Jean-Luc David等人的這本專家教程，不但介紹了Team System的各種基本應用技術，還融入了作者們多年的實戰經驗，可幫助你迅速成為Team System

ROS（Robot Operating System）是一個機器人軟件平臺，是用於實現機器人編程和開發複雜機器人應用的開源軟件框架，它能為異質計算機集群提供類似操作系統的功能。ROS的前身是斯坦福人工智能實驗室為了支持斯坦福智能機器人STAIR而建立的交換庭（switchyard）項目。本書包含10章內容，循序漸進地介紹了ROS相關的知識，包括ROS入門、結構與概念、可視化和調試工具、傳感器和執行器、建模與仿真、移動機器人、機械臂、微型飛行器、ROS工業軟件包等。本書適合機器人領域的工程師及研究人員閱讀，書中涉及許多實用的案例和解決方案，同時涵蓋了未來機器人應用開發中可預見的研究問題。

由於目前無人駕駛學習成本較高，使得很多對無人駕駛感興趣的初學者望而卻步。本書基於開源的機器人操作系統(Robot Operating System，ROS)，設計了一款開源的無人駕駛平臺。書中針對初學者引入了ROS的基礎框架，對開發工具、通信協議、功能包的應用等進行了介紹，幫助初學者儘快上手。針對有一定基礎的人群，涉及了URDF建模、傳感器使用和數據融合方法等內容。 本書從ROS基礎、車輛建模基礎、控制基礎到傳感器基礎實驗和數據融合，將涉及的每個知識點詳細拆分講解，涵蓋多個實驗案例，並且為所有代碼提供了詳細的注解，以從根本上滿足讀者的需求。

本書以小型智能機器人作為載體，使用Robot Operating System(機器人操作系統)簡稱ROS作為系統框架，靈活應用設計、控制、算法等理論知識，開展機器人工程實踐項目。本書講解如何從零開始搭建一個ROS機器人，以及如何使用、學習ROS。內容包括ROS機器人涉及到的知識工具，機器人底層控制器串口通信和底盤PID調試相關知識，CAN通信、串口通信等，機器人底盤運動解析，麥克納姆輪底盤、全向輪底盤、差速底盤和阿克曼底盤解析算法，機器人導航和視覺控制功能，包括機器人slam建圖，雷達跟蹤，自主巡線，視覺跟蹤等。本書可作為高等學校機器人機器人工程實踐訓練課程教材，也可供相關領域工程技術人員參加使用。

當前，機器人操作系統(Robot Operating System, ROS)已成為機器人研發領域的主流通用軟件平臺和事實標準。本書較為系統地介紹了ROS的基本概念及開發方法，提供了大量的實例代碼和具體的實驗，能夠幫助ROS零基礎讀者瞭解並快速走上ROS的開發實踐之路。本書共10章，分別為ROS概述、Ubuntu系統基礎、Python語言基礎、ROS架構與體系、ROS編程基礎、機器人傳感系統、機器人視覺系統、機器人建模與仿真、ROS綜合實例以及ROS實驗。 本書可作為高等院校機器人工程或機電、自動化、計算機等相近專業的本科生教材，也可作為相關專業的研究生參考教材，還可供其他類型院校相關專業師生、工程技術人員及自學者參考。 本書配有電子課件和源代碼，歡迎選用本書作教材的老師登錄www.cmpedu.com註冊下載，或發jinacmp@163.com索取。

《MATLAB/System View 通信原理實驗與系統仿真（第2版）/面向新工科的電工電子信息基礎課程系列教材》以通信系統原理與實例仿真相結合的形式，詳細地介紹了基於MATLABR2016a、SystemView5．O的通信系統建模與仿真設計方法。通過大量仿真實例，加深讀者對通信原理的理解，並加強對通信系統進行建模與分析的能力。 《MATLAB/System View 通信原理實驗與系統仿真

在機器人的科研與工業應用中，機器人仿真與編程技術發揮著無可替代的作用，因為它一方面能夠對機器人控制算法進行檢驗測試，另一方面給機器人的研發與測試提供一個無風險且穩定的平臺。 本書主要內容分為三部分，分別介紹了基於MATLAB機器人工具箱的機器人仿真、3款常用的機器人仿真軟件、機器人操作系統(Robot Operating System,ROS)的基礎和應用。本書所使用的工具包括MATLAB、Simulink、3款常用的機器人仿真軟件和機器人操作系統。 本書配套資源豐富，適合作為教材或教輔，也適合各階層的機器人開發人員和機器人愛好者閱讀。

本書以通信系統原理與實例模擬相結合的形式，詳細地介紹了MATLAB 7.1以及System View 5.0下通信系統建模與模擬設計的方法。通過大量MATLAB、System View模擬實例，加深讀者對“通信原理”課程內容的理解。本書共兩篇，第1篇為MATLAB通信系統模擬，由第1~6章組成，介紹了MATLAB/Simulink的操作方法、類比調製與解調的MATLAB/Simulink模擬、數位

This code comprises 17 chapters and 2 appendixes, and its main technical contents include: general provisions, terms, basic requirements, comprehensive pipeline, generic cabling system, information network system, satellite TV reception and cable TV system, electronics conference system,public addressbroadcasting system, information facilities andy system, information application system, building automation system, fire alarm and control system, security systensystem, intelligentized integration system, lightning protection and grounding and machine room engineering etc.

The sections for each organ system begin with a chapter that summarizes an approach to patients with key symptoms， signs， orlaboratory abnormali-ties associated with dysfunction of that organ system.

Emerging Techniques in Power System Analysis identifies the new challenges facing the power industry following the deregulation. The book presents emerging techniques including data mining, grid compu

《RETROSPECT AND PROSPECT OF CHINAS THIRTY-YEAR REFORM OF ECONOMIC SYSTEM(中國經濟體制改革30年回顧與展望)》內容簡介：30-years reform and opening up have written a new chapter of Chinesenations rejuvenation. Thirty years g

The social security system in China is changing with the change of its economic system, which differs from that of many other market economies. During the decades between the founding of the Peoples R

Discontinuity in dynamic systems is a tough property for analysis and control of the system. However, in practical engineering, we are often faced withthe discontinuity in control system design. In dy

This report first outlines the basic situation of infectious disease prevention and control in the entire African region and describes the history and current situation of the African medical and health system. The report also analyses the characteristics and existing problems of the infectious disease control system in Africa. Then describes the 9 major infectious diseases existing in Africa and take five countries which are Algeria, Guinea, Congo (Kinshasa), Tanzania, and South Africa as examples to analyses the infectious disease control system in different African region. Each country's medical and health system developing history, current situation and characteristics of infectious disease prevention and control, and existing problems in infectious disease prevention and treatment are expounded, then puts forward suggestions for China-Africa medical and health cooperation. The history, content, characteristics and achievements of China-Africa medical and health cooperation are als

受控生態生命保障系統（Controlled Ecological Life Support System，CELSS），即生物再生生命保障系統（bio-regenerative life support system，BLSS），基於“植物―動物―微生物”構成，是目前世界上最先進的閉環生命保障技術，是人類進行月球基地或火星基地等長時間和遠距離太空活動必需的關鍵技術之一，是實現長期載人深空飛行的根本保障，具有重大戰略意義。

Based on TD–LTE technology, this book adopts a learning mode that features modularized training, and chooses the eNodeB made by Datang Telecom Group as learning platform. Hardware structures, installation of the host, and antenna connection of 4G base station are explained in a comprehensive and detailed way through specific task modules. The book is divided into 3 training modules including Introduction to TD–LTE Base Station and EPC Network, Installation of Base Station Equipment, and Installation of Auxiliary Equipment in Base Station and Optical Fiber Fusion Splicing. Readers can carry out correct installation and connection of 4G base station equipment by completing these three training modules. The purpose of this book lies in cultivating high-quality and skilled personnel who can construct and maintain 4G base station, helping them master the skills required for operating and maintaining communication base station, and meeting the requirements for standardized on-site maintenanc

The edition of Basics of Statistics and Statistical Application with Excel emphasizes concepts of statistics,statistical methods are carefully presented with a focus on understanding both the suitabil

《自動控制原理》介紹： This book presents a comprehensive treatment of the analysis and design of control systems. It consists of eight chapters， including the basic concepts of control systems， mathematical mod

IELTS Washback in Context――Preparation for Academic Writing in Higher EducationThe International English Language Testing System (IELTS)plays a key role in enablinginternational students to gain acces

Both bifurcation theory and catastrophe theory are studies of smoothsystems, focusing on properties that seem manifestly non-smooth.Bifurcations are sudden changes that occur in a system as one ormote

System of Linear Equations and Elementary Operations on Matrices,Determinants, Matrices Algebra,Structure of Solutions for Systems of Linear of Equations,Similar Matrices and Quadratic Forms.Systems o

??在機電一體化技術迅速發展的同時，高級伺服運動控制技術作為其關鍵組成部分，也得到前所未有的大發展，國內外各個廠家相繼推出運動控制的新技術、新產品。本書主要研究了全閉環交流伺服驅動技術 (Full closed Ac Servo)、DSP交流伺服系統技術 (DSP AC Setvo System)、PLC交流伺服系統技術 (PLCAc Servo System)、基于現場總線的運動控制技術(CAN

Fundamentals of Signals and Systems deals with the concepts of signals and systems, which are the corner-stone of a wide variety of areas ranging from home-oriented consumer electronics and multimedia

本書以法國Dassult System（達索系統）公司最新版本的CATIA V5R21軟件為依托，按照該

電腦科學叢書 電腦文化 （原書第15版） New Perspectives on Computer Concepts 2013: Comprehensive （美）June Jamrich Parsons Dan Oja 著 呂雲翔 傅爾也 譯