嵌入式实时系统 调度、分析和验证

本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（formal analysi...

嵌入式系统原理与开发

本书基于“七个一”嵌入式系统学习方案：一个体系结构、一款微处理器、一款开发板、一种操作系统、一种驱动程序、一类开发环境、一类开发方法。优选了ARM体系结构、基于ARM7TDMI的S3C44B0X处理器、μC/OS-II...

嵌入式系统 工程案例教程

本书首先介绍几种嵌入式处理器，包括8051单片机、AVR单片机、ARM处理器LPC2136等，同时对各种处理器的结构、引脚描述、功能模块做了较为详细的描述，然后介绍嵌入式系统的开发工具与开发环境，以及嵌入式Linux开发...

基于语料库的程式语的系统 功能与结构研究

程式语是近年来国内外语言学领域兴起的一个重要研究话题，并有大量的、有影响力的研究成果产生。本书试图在回顾、评述已有研究的基础上，深入挖掘和探讨程式语相关理论问题，从全新视角（即系统功能语言学视角）构建...

电力系统重组 基于均衡模型的电力市场分析

本书介绍了分析和评估电力市场行为和市场力方面的最新研究成果——电力市场均衡模型的最新发展，讨论了该模型在实际的电力市场中如何进行分析和评估，并介绍了这些模型的应用。本书首先介绍了当前电网技术向智...

安全操作系统中基于可信度的认证和访问控制技术

本书研究了安全操作系统中基于可信度的认证和访问控制技术，主要包括基于可信度的认证技术，基于可信度的访问控制技术；以及如何通过可信度将认证和访问控制在安全操作系统中有机地关联起来。...

基于模型的系统工程最佳实践

本书从方法论的角度，描述了基于模型的系统工程最佳实践。本书从系统工程的视点出发，把系统开发的前期系统工程的工作任务、责任范围，以工作流的方式，解剖得淋漓尽致，为系统的后续开发和系统的确认和验证，提供了.....

2001嵌入式系统及单片机国际学术交流会论文集

本书为“2001嵌入式系统及单片机国际学术交流会”的中文论文集，共收了中文论文152篇，书中论文的内容反映了近年来嵌入式系统及其应用领域中的一些新兴、前沿和热点技术。 ...

基于水质判别矿井突水来源的方法及应用

2004年全国第五届嵌入式系统学术交流会论文集

本书共收集论文112余篇，书中论及内容反映了近年来嵌入式系统领域的一些新兴、前沿和热点技术，内容新颖，范围宽广。