下载 >  开发技术 >  其它 > Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems
2009-06-13 上传大小:7.77MB
想读
分享
收藏 举报
REAL-TIME EMBEDDED SYSTEM Open-Source Operating Systems Perspective

Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences.

立即下载
AVR Microcontroller and Embedded Systems.

The AVR Microcontroller and Embedded Systems: Using Assembly and C features a step-by-step approach in covering both Assembly and C language programming of the AVR family of Microcontrollers. It offers a systematic approach in programming and interfacing of the AVR with LCD, keyboard, ADC, DAC, Sensors, Serial Ports, Timers, DC and Stepper Motors, Opto-isolators, and RTC. Both Assembly and C languages are used in all the peripherals programming. In the first 6 chapters, Assembly language is used to cover the AVR architecture and starting with chapter 7, both Assembly and C languages are used to show the peripherals programming and interfacing.

立即下载
Embedded.Systems.Introduction

Title: Embedded Systems: Introduction to Armxae Cortexu2122-M Microcontrollers, 5th Edition Author: Jonathan Valvano Length: 506 pages Edition: Fifth Language: English Publisher: Jonathan Valvano Publication Date: 2013-07-14 ISBN-10: B00DXVBRSC Embedded systems are a ubiquitous component of our everyday lives. We interact with hundreds of tiny computers every day that are embedded into our houses, our cars, our toys, and our work. As our world has become more complex, so have the capabilities of the microcontrollers embedded into our devices. The ARM Cortex-M family represents a new class of microcontrollers much more powerful than the devices available ten years ago. The purpose of this book is to present the design methodology to train young engineers to understand the basic building blocks that comprise devices like a cell phone, an MP3 player, a pacemaker, antilock brakes, and an engine controller. This book, now in its 5th edition, is the first in a series of three books that teach the fundamentals of embedded systems as applied to the ARM® Cortex™-M family of microcontrollers. This first book is an introduction to computers and interfacing focusing on assembly language and C programming. The second book Embedded Systems: Real-Time Interfacing to ARM Cortex-M Microcontrollers focuses on hardware/software interfacing and the design of embedded systems. The third book Embedded Systems: Real-Time Operating Systems for ARM Cortex-M Microcontrollers is an advanced book focusing on operating systems, high-speed interfacing, control systems, and robotics. The third volume could also be used for professionals wishing to design or deploy a real-time operating system onto an ARM platform. This first book is an introductory book that could be used at the college level with little or no prerequisites. An embedded system is a system that performs a specific task and has a computer embedded inside. A system is comprised of components and interfaces connected together for a common purpose. This book is an introduction to embedded systems. Specific topics include microcontrollers, fixed-point numbers, the design of software in assembly language and C, elementary data structures, programming input/output including interrupts, analog to digital conversion, digital to analog conversion. The book will cover embedded systems for ARM® Cortex™-M microcontrollers with specific details on the LM3S1968, TM4C123, and TM4C1294. Most of the topics can be run on any of these microcontrollers. In these books the terms LM3S LM4F and TM4C will refer to families of microcontrollers with the Texas Instruments Stellaris® line. Although the solutions are specific for the LM3S LM4F and TM4C families, it will be possible to use these books for other ARM derivatives. The true engineering experience occurs not with your eyes and ears, but rather with your fingers and elbows. In other words, engineering education does not happen by listening in class or reading a book; rather it happens by designing under the watchful eyes of a patient mentor. So, go build something today, then show it to someone you respect! Table of Contents Chapter 1. Introduction to Computers and Electronics Chapter 2. Introduction to Embedded Systems Chapter 3. Introduction to the ARM?Cortex?-M Processor Chapter 4. Introduction to Input/Output Chapter 5. Modular Programming Chapter 6. Pointers and Data Structures Chapter 7. Variables, Numbers, and Parameter Passing Chapter 8. Serial and Parallel Port Interfacing Chapter 9. Interrupt Programming and Real-time Systems Chapter 10. Analog I/O Interfacing Chapter 11. Communication Systems Appendix 1. Glossary Appendix 2. Solutions to Checkpoints Appendix 3. How to Convert Projects from Keil to CCS Appendix 4. Assembly Reference

立即下载
Real-Time Embedded Systems 无水印pdf

Real-Time Embedded Systems 英文无水印pdf pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 本资源转载自网络,如有侵权,请联系上传者或csdn删除

立即下载
Automotive Embedded Systems Handbook

Automotive Embedded Systems Handbook

立即下载
Fast and Effective Embedded Systems Design: Applying the ARM mbed

A hands-on introduction to the field of embedded systems; A focus on fast prototyping of embedded systems; All key embedded system concepts covered through simple and effective experimentation; An understanding of ARM technology, one of the world's leaders; A practical introduction to embedded C; Applies possibly the most accessible set of tools available in the embedded world.

立即下载
Linux for Embedded and Real-time Applications_2nd_edition

Linux for Embedded and Real-time Applications_2nd_edition

立即下载
Newnes.Real-Time.UML.Workshop.for.Embedded.Systems.2007.pdf

Chapter 1: Introduction........1 Basic Modeling Concepts of the UML ....... . . 1 Structural Elements and Diagrams ........ 5 Small Things: Objects, Classes, and Interfaces ...... 5 Relations ............10 Big Things: Subsystems, Components, and Packages .... . . 17 Behavioral Elements and Diagrams .......19 Actions and Activities .......... . 19 Operations and Methods .........20 Activity Diagrams ........... 20 Statecharts ............ . . 22 Interactions ............ . 27 Use Case and Requirements Models .......31 Summary ............ . 33 Check Out the CD-ROM......... . . 33 Chapter 2: The Harmony Process ...... . . 35 Introduction ...........35 The Harmony Development Process ....... . . 36 Why Process? ...........36 Harmony Process Overview ......... 41 The Systems Engineering Harmony Workflows in Detail ... . . 43 The Incremental (Spiral) Development Workflows in Detail ... 47 Increment Review (Party!) Workflow ....... . . 48 Design with the Harmony Process ........ 55 Implementation ........... . 60 Test .............61 Summary ............ . 63 Chapter 3: Specifying Requirements .....65 Overview ............ . 65 Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control System ........ . . 67 Problem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System ........ . . 69 Problem 3.3 Mapping Requirements to Use Cases ..... 69 Problem 3.4 Identifying Use Cases for the Coyote UAV System ..70 Problem 3.5 Identifying Parametric Requirements ....70 Problem 3.6 Capturing Quality of Service Requirements in Use Cases . . 71 Problem 3.7 Operational View: Identifying Traffic Light Scenarios .71 Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios ............ 73 Problem 3.9 Specification View: Use-Case Description .... 73 Specification View: State Machines for Requirements Capture ... 74 Problem 3.10 Specification View: Capturing Complex Requirements . . . 76 Problem 3.11 Operational to Specification View: Capturing Operational Contracts ......... . . 77 References ............ . 82 Chapter 4: Systems Architecture ...... . . 83 Overview ............ . 83 Problem 4.1 Organizing the Systems Model ...... 85 Problem 4.2 Subsystem Identification ....... 90 Problem 4.3 Mapping Operational Contracts into Subsystem Architecture ......... . . 92 Problem 4.4 Identifying Subsystem Use Cases ..... . . 101 Looking Ahead ........... 107 Chapter 5: Object Analysis ....... . . 109 Overview ............ 109 Key Strategies for Object Identification ......111 Underline the Noun Strategy........113 Identify the Causal Agents ......... . 113 Identify Services (Passive Contributors or Server Objects) ... . 114 Identify Messages and Information Flows ...... . 114 Identify Real-World Items ......... . 114 Identify Physical Devices ......... . . 114 Identify Key Concepts .......... 115 Identify Transactions .......... . 115 Identify Persistent Information ........ . 115 Identify Visual Elements ......... . . 115 Identify Control Elements ......... . 116 Apply Scenarios ........... . 116 Problem 5.1 Apply Nouns and Causal Agents Strategies ...116 Problem 5.2 Apply Services and Messages Strategies .... . . 125 Problem 5.3 Apply Real-World Items and Physical Devices Strategies . . 127 Problem 5.4 Apply Key Concepts and Transaction Strategies ..128 Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies . . 128 Problem 5.6 Merge Models from the Various Strategies ...137 Looking Ahead ........... 139 Chapter 6: Architectural Design ...... . . 141 Overview ............ 141 Problem 6.1 Concurrency and Resource Architecture .... . 147 Problem 6.2 Distribution Architecture ......158 Problem 6.3 Safety and Reliability Architecture ..... 163 Looking Ahead ........... 177 Chapter 7: Mechanistic and Detailed Design ...179 Overview ............ 179 Mechanistic Design .......... . 180 Delegation Pattern Strategy ......... 183 Interface Abstraction Pattern Strategy ....... 185 Detailed Design ........... 187 Problem 7.1 Applying Mechanistic Design Patterns—Part 1 ... .192 Problem 7.2 Applying Mechanistic Design Patterns—Part 2 ... .196 Problem 7.3 Applying Detailed-Design State Behavior Patterns .. 201 Problem 7.4 Applying Detailed Design Idioms ..... . 206 Summary ............ 214 Chapter 8: Specifying Requirements: Answers ... . . 215 Answer 3.1 Identifying Kinds of Requirements ..... . 215 Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System ......... . . 216 Answer 3.3 Mapping Requirements to Use Cases ..... 219 Answer 3.4 Identifying Use Cases for Coyote UAV System ... . 220 Answer 3.5 Identifying Parametric Requirements ....222 Answer 3.6 Capturing Quality of Service Requirements ...223 Answer 3.7 Operational View: Identifying Traffic Light Scenarios .224 Answer 3.8 Operational View: CUAVS Optical Surveillance Scenarios ...........228 Answer 3.9 Specification View: Use-Case Descriptions .... 231 Answer 3.10 Specification View: Capturing Complex Requirements . . . 232 Answer 3.11 Operational to Specification View: Capturing Operational Contracts ......... . 238 References ............ 242 Chapter 9: Systems Architecture: Answers .... . 243 Answer 4.1 Organizing the Systems Model ...... 243 Answer 4.2 Subsystem Identification ....... 250 Answer 4.3 Mapping Operational Contracts into the Subsystem Architecture ........... . 256 Answer 4.4 Identifying Subsystem Use Cases .....267 Chapter 10: Object Analysis: Answers ..... . 273 Answer 5.1 Apply Nouns and Causal Agents Strategies ...273 Answer 5.2 Apply Services and Messages Strategies .... . . 291 Answer 5.3 Applying the Real-World Items and Physical Devices Strategies ...........297 Answer 5.4 Apply Key Concepts and Transaction Strategies ... 299 Answer 5.5 Identify Visual Elements and Scenarios Strategies .. . . 303 Answer 5.6 Merge Models from the Various Strategies .... 315 Chapter 11: Architectural Design: Answers.... . 317 Answer 6.1 Concurrency and Resource Architecture .... . . 317 Answer 6.2 Distribution Architecture ....... 319 Answer 6.3 Safety and Reliability Architecture ..... . 323 Chapter 12: Mechanistic and Detailed Design: Answers . . . 339 Answer 7.1 Applying Mechanistic Design Patterns—Part 1 ... .339 Answer 7.2 Applying Mechanistic Design Patterns—Part 2 ... .341 Answer 7.3 Applying Detailed-Design State Behavior Patterns .. . . 346 Answer 7.4 Applying Detailed-Design Idioms ..... . . 351 Appendix A: The Roadrunner Intersection Controller System Specification..... . . 357 Overview ............ 357 The Intersection Controller (IC) ........ 357 Configuration Parameters ......... . 358 Intersection Modes .......... . . 361 The Vehicle Detector .......... 365 Vehicular Traffic Light .......... 366 Pedestrian Light and Sensor ........367 Front Panel Display .......... . . 368 Remote Communications ......... . 369 Power ............. 370 Appendix B: The Coyote Unmanned Air Vehicle System (CUAVS) Specification .....371 Overview ............ 371 Primary CUAV System Components ....... . 371 The Unmanned Air Vehicle (UAV) ....... . . 371 The Coyote Mission Planning and Control System (CMPCS) .. . 372 Coyote Payloads ........... 372 The Coyote Datalink Subsystem (CDS) ...... . . 373 Detailed Requirements .........373 The Unmanned Air Vehicle (UAV) ....... . . 373 Flight Modes ...........373 Mission Modes ........... . 374 The Coyote Mission Planning and Control System (CMPCS) ..374 The Coyote Reconnaissance Sensor Suite Payload (CSSP) ... . . 375 The Coyote Hellfire Attack Payload (CHAP) .....376 The Coyote Datalink Subsystem (CDS) ......377 Appendix C: UML Notational Summary..... 379 Index............ 401

立即下载
Real-Time.Software.Design.for.Embedded.Systems

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hierarchical real-time control and other real-time software architectures, performance analysis of real-time designs using real-time scheduling, and timing analysis on single and multiple processor systems. Complete case studies illustrating design issues include a light rail control system, a microwave oven control system, and an automated highway toll system. Organized as an introduction followed by several self-contained chapters, the book is perfect for experienced software engineers wanting a quick reference at each stage of the analysis, design, and development of large-scale real-time embedded systems, as well as for advanced undergraduate or graduate courses in software engineering, computer engineering, and software design. Table of Contents Part I: Overview Chapter 1. Introduction Chapter 2. Overview of UML, SysML, and MARTE Chapter 3. Real-Time Software Design and Architecture Concepts Part II: Real-Time Software Design Method Chapter 4. Overview of Real-Time Software Design Method for Embedded Systems Chapter 5. Structural Modeling for Real-Time Embedded Systems with SysML and UML Chapter 6. Use Case Modeling for Real-Time Embedded Systems Chapter 7. State Machines for Real-Time Embedded Systems Chapter 8. Object and Class Structuring for Real-Time Embedded Software Chapter 9. Dynamic Interaction Modeling for Real-Time Embedded Software Chapter 10. Software Architectures for Real-Time Embedded Systems Chapter 11. Software Architectural Patterns for Real-Time Embedded Systems Chapter 12. Component-Based Software Architectures for Real-Time Embedded Systems Chapter 13. Concurrent Real-Time Software Task Design Chapter 14. Detailed Real-Time Software Design Chapter 15. Designing Real-Time Software Product Line Architectures Part III: Analysis of Real-Time Software Designs Chapter 16. System and Software Quality Attributes for Real-Time Embedded Systems Chapter 17. Performance Analysis of Real-Time Software Designs Chapter 18. Applying Performance Analysis to Real-Time Software Designs Part IV: Real-Time Software Design Case Studies for Embedded Systems Chapter 19. Microwave Oven Control System Case Study Chapter 20. Railroad Crossing Control System Case Study Chapter 21. Light Rail Control System Case Study Chapter 22. Pump Control System Case Study Chapter 23. Highway Toll Control System Case Study Appendix A. Conventions Used in This Textbook Appendix B. Catalog of Software Architectural Patterns Appendix C. Pseudocode Templates for Concurrent Tasks Appendix D. Teaching Considerations

立即下载
Recommender Systems Handbook, 2nd Edition高清原版

推荐系统手册第二版: The explosive growth of e-commerce and online environments has made the issue of information search and selection increasingly serious; users are overloaded by options to consider and they may not have the time or knowledge to personally evaluate these options. Recommender systems have proven to be a valuable way for online users to cope with the information overload and have become one of the most powerful and popular tools in electronic commerce. Correspondingly, various techniques for recommendation generation have been proposed. During the last decade, many of them have also been successfully deployed in commercial environments. Recommender Systems Handbook, an edited volume, is a multi-disciplinary effort that involves world-wide experts from diverse fields, such as artificial intelligence, human computer interaction, information technology, data mining, statistics, adaptive user interfaces, decision support systems, marketing, and consumer behavior. Theoreticians and practitioners from these fields continually seek techniques for more efficient, cost-effective and accurate recommender systems. This handbook aims to impose a degree of order on this diversity, by presenting a coherent and unified repository of recommender systems' major concepts, theories, methodologies, trends, challenges and applications. Extensive artificial applications, a variety of real-world applications, and detailed case studies are included. Recommender Systems Handbook illustrates how this technology can support the user in decision-making, planning and purchasing processes. It works for well known corporations such as Amazon, Google, Microsoft and AT&T. This handbook is suitable for researchers and advanced-level students in computer science as a reference.

立即下载
Recommender_Systems_Handbook_[2nd_Edition_Springer_2015

全新版本 推荐系统手册 2015年才出版的 springer,很好的概括推荐系统现状和一些开放性问题

立即下载
Embedded Systems Handbook

Embedded Systems Handbook

立即下载
Real-Time and Embedded Systems Programming

Real-Time and Embedded Systems Programming

立即下载
Real-Time Embedded Systems

实时嵌入式系统电子书。学习嵌入式系统的重要教材。

立即下载
Real-Time Concepts for Embedded Systems

关Master the fundamental concepts of real-time embedded system programming and jumpstart your embedded projects with effective design and implementation practices. This book bridges the gap between higher-level abstract modeling concepts and the lower-level programming aspects of embedded systems development. You gain a solid understanding of real-time embedded systems with detailed practical examples and industry wisdom on key concepts, design processes, and the available tools and methods. Delve into the details of real-time programming so you can develop a working knowledge of the common design patterns and program structures of real-time operating systems (RTOS). The objects and services that are a part of most RTOS kernels are described and real-time system design is explored in detail. You learn how to decompose an application into units and how to combine these units with other objects and services to create standard building blocks. A rich set of ready-to-use, embedded design "building blocks" is also supplied to accelerate your development efforts and increase your productivity. Experienced developers new to embedded systems and engineering or computer science students will both appreciate the careful balance between theory, illustrations, and practical discussions. Hard-won insights and experiences shed new light on application development, common design problems, and solutions in the embedded space. Technical managers active in software design reviews of real-time embedded systems will find this a valuable reference to the design and implementation phases.

立即下载
2008 ASHRAE Handbook _ HVAC Systems and Equipment

2008 ASHRAE Handbook _ HVAC Systems and Equipment

立即下载
DSP for Embedded and Real-Time Systems

Features: Several areas of research being done in advanced DSP technology Industry case studies on DSP systems development DSP software development tools available for download and evaluation DSP for Embedded and Real-Time Systems is the reference for both the beginner and experienced, covering most aspects of using today’s DSP techniques and technologies for designing and implementing an optimal embedded system. The only complete reference which explains all aspects of using DSP in embedded systems development making it a rich resource for every day use Covers all aspects of using today’s DSP techniques and technologies for designing and implementing an optimal embedded system Enables the engineer to find solutions to all the problems they will face when using DSP Table of Contents Chapter 1 Introduction to Digital Signal Processing Chapter 2 Overview of Embedded and Real Time Systems Chapter 3 Overview of Embedded Systems Lifecycle Development Using DSP Chapter 4 Programmable DSP Architectures Chapter 5 DSP Hardware components and FPGA Chapter 6 The Hardware/Software Continuum for DSP Chapter 7 Overview of Digital Signal Processing Algorithms Chapter 8 High-Level Design Tools for Complex DSP Applications Chapter 9 Benchmarking and Profiling DSP Systems Chapter 10 Optimizing DSP Software – High Level Languages and Programming Models Chapter 11 Optimizing DSP Software – Code Optimization Chapter 12 Optimizing DSP Software – Memory Optimization Chapter 13 Optimizing DSP Software – Power Optimization Chapter 14 Real-Time Operating Systems Using DSP Chapter 15 Managing the DSP Software Development Effort Chapter 16 Multicore Software Development for DSP applications Chapter 17 Developing and Debugging DSP Systems Chapter 18 DSP Algorithm Development, Rules and Guidelines

立即下载
Real-Time Embedded Components and Systems

实时嵌入式系统的超经典书籍,亚马逊5星评价

立即下载
Embedded Systems Architecture 2nd edition

Embedded Systems Architecture:A Comprehensive Guide for Engineers and Programmers second edition Tammy Noergaard

立即下载
Embedded.Linux.Systems.with.the.Yocto.Project.0133443248

Build Complete Embedded Linux Systems Quickly and Reliably Developers are increasingly integrating Linux into their embedded systems: It supports virtually all hardware architectures and many peripherals, scales well, offers full source code, and requires no royalties. The Yocto Project makes it much easier to customize Linux for embedded systems. If you’re a developer with working knowledge of Linux, Embedded Linux Systems with the Yocto Project™ will help you make the most of it. An indispensable companion to the official documentation, this guide starts by offering a solid grounding in the embedded Linux landscape and the challenges of creating custom distributions for embedded systems. You’ll master the Yocto Project’s toolbox hands-on, by working through the entire development lifecycle with a variety of real-life examples that you can incorporate into your own projects. Author Rudolf Streif offers deep insight into Yocto Project’s build system and engine, and addresses advanced topics ranging from board support to compliance management. You’ll learn how to Overcome key challenges of creating custom embedded distributions Jumpstart and iterate OS stack builds with the OpenEmbedded Build System Master build workflow, architecture, and the BitBake Build Engine Quickly troubleshoot build problems Customize new distros with built-in blueprints or from scratch Use BitBake recipes to create new software packages Build kernels, set configurations, and apply patches Support diverse CPU architectures and systems Create Board Support Packages (BSP) for hardware-specific adaptations Provide Application Development Toolkits (ADT) for round-trip development Remotely run and debug applications on actual hardware targets Ensure open-source license compliance Scale team-based projects with Toaster, Build History, Source Mirrors, and Autobuilder Table of Contents Chapter 1. Linux for Embedded Systems Chapter 2. The Yocto Project Chapter 3. OpenEmbedded Build System Chapter 4. BitBake Build Engine Chapter 5. Troubleshooting Chapter 6. Linux System Architecture Chapter 7. Building a Custom Linux Distribution Chapter 8. Software Package Recipes Chapter 9. Kernel Recipes Chapter 10. Board Support Packages Chapter 11. Application Development Chapter 12. Licensing and Compliance Chapter 13. Advanced Topics Appendix A. Open Source Licenses Appendix B. Metadata Reference

立即下载
关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Handbook of Real-Time and Embedded Systems

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: