嵌入式组件在终端上的研究与设计

研究了嵌入式组件技术和基于组件的软件开发,包括嵌入式组件模型、组件接口、组件组合,以及复用组件的系统构建方法和组件管理等技术。运用嵌入式组件技术,设计和实现了一个符合国际3G技术标准的移动Email组件系统。     

嵌入式组件在终端上的研究与设计

研究了嵌入式组件技术和基于组件的软件开发，包括嵌入式组件模型、组件接口、组件组合，以及复用组件的系统构建方法和组件管理等技术。运用嵌入式组件技术，设计和实现了一个符合国际3G技术标准的移动Email组件系统。     

模型驱动工程在分布式实时嵌入式系统QoS评价中的应用

在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实时嵌入式系统的服务质量进行管理,将服务质量评价引入系统开发周期的各种探索,指出该方法应解决的几个关键问题,并分析了几种具有代表性解决方案的优缺点,提出了解决方法和建议.     

一种AADL模型测试仿真引擎的设计与实现

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

EDNM：基于EI技术支持嵌入式设备网络管理模型的研究与实现

随着EI技术的不断发展，人们目前可以对非Internet设备进行访问、管理和控制，但是如何才能有效系统管理大量的嵌入式设备一直都是困扰人们的难题。作者针对面向设备级动态驱动的异种网络互连的研究，提出了一种基于EI技术的支持嵌入式设备的网络管理的研究，通过该模型可以透明地加入和删除节点以实现系统的可伸缩性；通过检测节点或设备故障和正确地重置系统达到高可重用性。该模型可以实现设备的动态管理，可以对接入到互联网大量的嵌入式设备进行访问和控制，从而真正实现设备的网络化和智能化管理。本文详细讨论了嵌入式设备网络管理模型的体系结构、设计方法和实现技术，并给出了相应的性能测试结果。     

面向AltaRica模型的嵌入式系统安全性验证方法

嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键系统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式系统安全性验证方法,包括:使用Alta Rica语言对嵌入式系统进行建模;给出Alta Rica模型到Promela模型的转换规则;对转换规则进行形式化证明,得到嵌入式系统的Promela模型;使用模型检验工具SPIN进行安全性验证。通过机轮刹车系统中的机轮刹车控制单元进行实例分析,验证了转换规则的正确性和有效性。     

基于CIM的嵌入式管理系统开发

为解决嵌入式环境下系统集成度的增加给管理和维护带来的困难,提出了基于通用信息模型的嵌入式管理系统方案。该模型提出创建通用模型的思想,它对各种设备的模型做出了规范,并对这些模型的管理操作进行标准化,因此,基于这种模型的管理系统和各种设备模型就具备了很好的扩展性和通用性。通过把通用信息模型的思想应用到嵌入式环境,对各个模块对象进行标准建模,以达到易于管理的目的。最后,实例应用结果表明了该方案的可行性。     

嵌入式IP网络多媒体监控系统

基于嵌入式和IP多播技术，实现嵌入式IP网络多媒体监控系统。分析了系统实现策略、组播管理与控制、嵌入式网络协议模型，并对网络服务器不同软硬件平台性能进行了对比分析。实验表明该模型结构灵活、简单、图像传输流畅。现已应用于高速公路监控现场。     

嵌入式软件虚拟内存管理平台的研究和实现

虚拟内存管理在通用操作系统中是非常重要和有效的，但由于嵌入式设备资源的有限性以及嵌入式应用实时性和可移植性的要求，必须提出一种适用于嵌入式软件系统的虚拟内存管理机制。分析了嵌入式系统虚拟内存管理应具有的功能特点，提出了一种具有处理器无关标准编程接口的嵌入式虚拟内存管理平台的实现方法。     

列车网络控制系统研究

随着世界各国经济的发展,城市规模和人口规模的扩大,城市交通变得更加拥堵,许多发达国家在多年前就着手研究如何使用轨道交通解决城市的拥堵问题,地铁已成为当今城市交通的重要组成部分,地铁列车在运营过程中如何保证其运行状态能够实时受到监控,靠的就是列车网络系统;文章介绍了海外某项目的 网络系统结构、硬件配置;阐述了列车级控制、牵引系统、车窗系统、辅助系统、制动系统、空调系统、烟火系统等子系统的关键控制功能,并对系统的故障诊断功能、PTU功能进行了介绍;本项目网络系统的设计符合预期,系统硬件的性能完全满足功能需求,系统软件的可靠性、稳定性达到了列车运行要求.     

论高级Petri网系统的等价谱系

高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．     

The general architecture of adaptive robotic systems for manufacturing applications

Adaptive system often refers to the adaptive control system. In this paper, we discuss the adaptive system concept from an architectural perspective of the system. We use the robotic system as an example to illustrate the adaptive system concept, because the robotic system is a generic system underlying many manufacturing systems. Specifically, the paper presents our work on the development of a general architecture of the adaptive robotic system for manufacturing applications. The contribution of this paper includes: (i) elaboration of the concept of adaptive system and classification of means to make the system adaptive and (ii) formulation of a general architecture of the adaptive robotic system based on the criterion that the more system variants out of the architecture implies the more generality of the architecture. Throughout this paper, we use an industrial robotic system for illustration.     

基于进程行为的入侵检测系统的设计

在基于多层感知器的神经网络分类器和基于概率预测的贝叶斯分类器的基础上，给出针对描述系统进程行为的系统调用短序列进行分类的方法，用以识别被监控系统关键程序的执行过程中的系统调用是否正常。并研究系统中多个系统关键程序的运行监控问题，提出了一个基于进程行为分类的入侵检测系统原型。该系统原型能够根据系统配置，同时对系统中的多个系统关键程序的执行进行监控。     

复杂系统及其仿真研究——为庆祝中国计算机用户协会仿真应用分会成立25周年而作

连续系统仿真、离散事件系统仿真、连续一离散混合系统仿真,其应用科学业已相当成熟.不过,它们仅属于简单系统仿真,而简单系统只是复杂系统的特例.复杂系统是客观存在的,它是具有复杂性的系统.复杂系统的理论是一般性的科学,其内容包括现代系统论、非线性科学和复杂性科学.现代系统论的理论体系包含一般系统论、控制论、信息论、耗散结构论、超循环理论、协同学、突变论;非线性科学的理论体系包含混沌、分形、孤立子、模式形成;复杂性科学的理论体系包含神经网络、Agent、进化计算、L-系统、元胞自动机.复杂系统仿真正在逐步掀起复杂系统的面纱,不断推动复杂系统理论向前发展.至于现代系统论,不难找到专著.这里只是着重阐述复杂性科学和非线性科学的仿真研究.     

军训网远程教育平台的体系结构

军训网远程教育平台体系结构可以划分为教学管理系统、教学支撑系统、资源服务系统和管理控制系统四部分。教学管理系统负责调配教学资源、组织教学活动、总结教学数据,为教务人员提供教学管理的途径。教学支撑系统提供同步授课、辅导答疑等必要的教学手段,以保证网上教学的顺利进行;资源服务系统完成对各种教学资源的采集和管理、检索和利用;管理控制系统对整个教育平台的运行和使用进行管理和控制。该文按照军训网现代远程教育平台四个组成部分介绍其体系结构。     

AIX审计系统研究

操作系统管理员越来越重视审计系统在安全领域的重要性。但如何配置和使用好审计系统是系统管理员所关心的问题。本文以AIX系统为例,介绍了审计系统的概念、AIX审计系统的命令,并通过实例介绍了如何配置AIX审计系统。     

基于工业以太网的监控系统的研究与设计

基于工业以太网的监控系统进行研究与设计,介绍了基于工业以太网的监控系统的解决方案,对其中包括系统体系结构设计,系统监控软件设计,监控系统的功能设计,监控系统的网络通信和监控系统的安全性进行了探析。     

典型机电系统PHM评价指标分析

PHM评价指标是装备健康管理系统设计输入与目标要求,也是对PHM系统进行验收核查的评价依据;目前国内航空主机所、科研院所与高校开展了大量的PHM技术研究和工程设计应用工作,但由于缺乏PHM系统指标体系的建立,导致研制方在PHM系统设计阶段难以明确功能性能要求,验证方在定型阶段缺乏统一的评价参考标准,使PHM系统的工程化进程缓慢;文章以典型机电系统为研究对象,通过剖析国外先进的PHM技术标准与规范文件,结合装备典型机电系统PHM系统的能力需求,从机电系统PHM的监测及诊断指标、预测指标、决策及评价指标三个维度分析和梳理PHM评价指标,建立了适用于装备设计与验证需求的机电系统PHM评价指标体系,解决了装备PHM系统设计中缺乏设计依据与验证评价指标的问题.     

基于．NET的《计算机应用基础》课程教学与考试系统的设计与实现

概述《计算机应用基础》教学与考试系统的管理信息系统（MIS）以及系统体系的架构模式,并详细探讨《计算机应用基础》教学与考试系统实现过程中所涉及到的关键技术。对《计算机应用基础》教学与考试系统进行需求分析;对系统的体系结构以及主要功能模块进行设计,并设计系统的数据库;对系统安全性进行分析。通过测试分析,验证该教学与考试系统的有效性。