嵌入式Internet技术及其在基于Web的虚拟仪器中的应用研究

描述了嵌入式Internet系统的一种实现和基于Web的虚拟仪器的概念,介绍如何利用嵌入式Internet技术构造基于web的虚拟仪器（VI）。     

嵌入式Internet接入平台的设计与实现

为解决移动设备接入Internet的需求,提出了基于GPRS和PPP接入Internet的思想,在论证总体设计方案的基础上,介绍了嵌入式微处理器芯片S3C2410以及支持GPRS Class8的高速无线通信模块MC35T.以S3C2410处理器为硬件核心,以ARM Linux为操作系统构建了一嵌入式Internet接入平台,描述了其硬件平台结构及运行流程,分析了其三层软件体系结构,详细讲解了软件体系最上层的PPP拨号软件包的实现.     

嵌入式分布式架构下航空发动机模型预测控制方法研究

传统集中式架构和离线设计控制器的方法已经很难满足航空发动机复杂多变、全生命周期控制需求。本文提出了一种部分分布式架构的涡喷发动机模型预测控制方法,并进行了鲁棒性分析：采用改进的组合线性模型求解方法,在保证精度的前提下大幅缩短求解时间,解决了发动机多变量线性状态空间模型求解问题;设计了基于线性模型预测控制的涡喷发动机控制器,解决了含有约束条件下发动机动态性能优化问题;考虑到分布式控制系统具有总线网络通信特性,建立了以网络工具箱模拟总线网络的分布式控制系统仿真平台,解决了存在总线网络丢包情况下的分布式控制系统鲁棒性分析问题;采用多节点模块化设计方法,设计并搭建了分布式控制系统硬件在环仿真平台并采用嵌入式矩阵运算优化方法,解决了模型预测控制算法在嵌入式平台上的应用问题。试验表明：模型预测控制的效果优于传统PID控制效果,有效地提高了发动机的动态响应;同时,在存在网络丢包情况下,本文所设计的基于模型预测控制的分布式控制系统依然具有稳定的控制效果和鲁棒性。     

嵌入式仿真技术及其在军事训练中的应用研究

嵌入式仿真训练是军事训练技术的最新发展趋势之一。本文阐述了嵌入式仿真的概念、原理及系统的主要组成,介绍了嵌入式在军事训练中的应用现状,分析了嵌入式训练方式在军事训练中的应用定位,最后结合航空兵战术对抗训练的嵌入式系统,给出了系统的模块组成及作战过程。     

移动自组网信任模型研究综述

移动自组网是一种新型的由移动节点为了某种特定目的而彼此进行连结的网络。由于其网络具有无中心性、自组性、拓扑的动态性及控制的分布性等特性,该网络的信任模型的建立面临很大的挑战,是目前研究的一个热点。本文主要针对自安全(Self-Securing)证书管理模型和自颁发(Self-Organized)证书管理模型进行了深入的分析研究,并提出了自己的理解和建议。     

单片机在分布式控制系统中的应用

本文介绍了用单片机组成的网络分配器在分布式控制系统中的核心作用。     

嵌入式控制在教育应用中的实现

从嵌入式系统概述、嵌入式控制系统与PC控制系统在教育应用上的比较、嵌入式控制系统在教育应用中需要的技术基础、嵌入式控制系统在教育上的应用实现等几个方面对在教育应用中的嵌入式控制系统作了一定的阐述;文章主要针对我国现在计算机的普及情况,对嵌入式系统给教育带来的影响作了一些分析和探讨.     

嵌入式数据库SQLite在Windows程序中的应用

介绍了SQLite 系统的特点和体系结构,数据库应用环境是零配置,可以减少应用程序的体积.阐述了在Windows平台上的应用方法,利用SQLite提供的C语言API函数,完成了Windows平台对SQLite嵌入式数据库系统操作,提出了将Sqlite的源代码直接嵌入到应用程序中的开发方法,对数据库安全提供有效保证.     

嵌入式技术在煤矿监控系统中的应用研究

重点讨论嵌入式系统在煤矿监控系统中的应用,并介绍了监测实时数据的两种传输方式和曲线绘制,以及基于Web方式的信息发布与浏览方法.设计采用了先进的嵌入式技术和Internet技术,摒弃了以往煤矿监控系统所采用基于PC机的方案,并通过网络发布煤矿监测数据,在一定程度上实现了煤矿安全自动监控的功能,对于加强煤矿安全监管、有效防范矿难事故具有十分重要的作用,对开发其他的监控系统具有一定的借鉴意义.     

分布式处理在民航生产中的应用

阐述了分布式计算机系统的基本原理以及互连方式,对其功能、特点进行了分析.为使该系统在民航等系统中的应用和研究更加广泛,文中还给出了一些应用实例.     

面向eCos的嵌入式软件集成开发环境设计

eCos嵌入式可配置操作系统结构清晰,具有良好的可移植性,得到了广泛应用.在介绍eCos操作系统的基础上,分析了eCos现有的开发环境特点及形成一个集成开发环境的需求,然后给出了集成开发环境新增模块的设计方案.     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

基于嵌入式实时操作系统的文件系统的研究与设计

重点介绍了一种针对于导弹上嵌入式实时操作系统中文件系统的设计与实现,对于现有通用文件系统不能直接应用于嵌入式实时系统,提出了一种新的文件系统模型,叙述了文件系统的组织结构、文件系统的数据结构、目录项、i＿节点、存储器,以及如何使用这些技术来实现一个文件系统。     

利用数据库实现分布式任务的程序和数据存储

提出了一种建立在数据库管理系统层级之上的分布式任务的程序和数据存储模型,给出了基本的程序、数据存储模型设计、计算模型的基本体系结构和工作原理以及应具备的基本功能模块,为实现安全的、易用的、高性能的管理者-工作者计算模型打下了理论基础。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

分布式三层结构应用系统的设计与实现

结合实例介绍了一个逻辑上三层、基于组件的分布式信息管理系统的实现过程 ,分析了系统开发的设计思想 ,给出了在UML模型下 ,应用系统的设计过程。结合分布式体系结构设计的可扩展、可重用、易维护等优点 ,讨论了应用系统的功能特点。