AUTOSAR OS存储保护机制的形式化验证框架

传统汽车标准存储模块的安全性较低,汽车电子操作系统在访问存储模块时会出现访问越界和数据冲突等问题。为此,提出一种操作系统的存储保护机制。运用进程代数给出满足存储保护机制的形式化验证框架,从逻辑上讨论AUTOSAR存储保护机制的重要性,使用进程代数方法对该机制建立形式化模型,并根据AUTOSAR规范,抽取无死锁性、安全性、活性等性质,运用模型检验工具PAT实现该模型,并对各个存储模块的读写访问性质进行验证。仿真结果表明,与传统的汽车标准相比,该机制符合AUTOSAR OS规范,具有较高的安全性。     

基于QEMU的CAN总线节点仿真器

汽车控制网网络的开发需要引入一套满足软／硬件协同设计需求的低成本开发工具链,其中硬件仿真器是最重要的工具之一。硬件仿真器为软件开发提供功能验证,缩短整个嵌入式系统的开发周期。在开源仿真器平台QEMU和虚拟局域网技术的基础上,实现一款仿真粒度更细的CAN总线节点仿真器CES,并搭建一个满足汽车控制网络软／硬件协同设计需求的CAN总线仿真网络。     

汽车发动机与传动系优化匹配的仿真研究

如何设计传动系参数以达到与汽车发动机的合理匹配是汽车设计中一个重要的组成部分.文中以汽车主减速比和各档传动比为设计变量,综合汽车动力性评价指标和经济性评价指标作为目标函数,建立了优化模型,应用优化规划理论对汽车传动系参数进行优化设计,开发出了一套汽车传动系参数优化设计的仿真软件,实现了汽车发动机与传动系的最佳匹配.文章最后以某载货汽车为例,利用该优化仿真软件进行了设计计算,仿真结果表明,该设计方法是可行的.     

LSE：一种处理器体系结构软件仿真器开发工具

在现代处理器体系结构设计中,利用软件仿真技术对设计结果进行验证是最重要的方面之一.然而,处理器体系结构仿真器的开发是一个非常困难的过程.主要的困难表现在三个方面:第一,目前用于处理器体系结构仿真器开发的编程语言如C或C 语言都是串行执行的语言,而处理器的各部件是可以并行运行的,使用串行编程语言编程来模拟并行执行的部件需要长时间的、仔细的程序功能与部件功能的匹配工作,并且容易出错;第二,使用串行程序来模拟并行部件的运行,模拟速度很低,并且仿真速度低是处理器体系结构软件仿真器开发领域的瓶颈问题;最后,仿真器仿真结果的可信度低也是一个关键问题.本文首先介绍了一种新的处理器体系结构软件仿真器开发工具,然后深入分析了该开发工具的优点和缺点,最后对该仿真器开发环境提出了改进方案.     

AUTOSAR通信模块的设计与实现

在研究汽车开放式系统构架(AUTOSAR)通信模块标准的基础上,参照AUTOSAR的软件构架,使用AUTOSAR的方法论设计与实现一个总线通信模块,该模块具有定义完整、接口清晰、功能完备、可靠性强的特点,能够满足未来汽车电子复杂车辆网络的要求。以基于CAN总线的通信系统为例,在飞思卡尔公司MC9S12DG128开发板上实现了该总线通信模块。     

车身网络控制系统开发的模块化设计方法

针对汽车车身网络控制系统开发中网络拓扑结构、功能定义不统一导致应用层开发重复性工作大、开发效率低的现状,提出了一种通过构建符合AUTOSAR标准的车身应用层软件的模型,使功能定义及描述、软件代码自动生成,功能自动测试转化为基于模型设计的方法。此方法具体是将车身网络控制系统抽象为一个事件驱动系统,采用Stateflow图形化建模工具对系统进行建模,利用Targetlink代码生成工具基于模型实现代码自动生成,采用Lab-VIEW RT实时测试系统架构自测试系统。论述了以模型方式进行控制系统开发的方法,并结合应用实例给出该方法的设计过程和应用结果,在提高系统的可交换性、可复用性和减少系统开发时间方面取得了明显的成效。     

基于OMNeT++的数据链分布式仿真设计与实现

目前在数据链仿真中普遍采用各类网络仿真器进行集中式仿真,缺乏数据可交互性和实时性.论文采用离散事件仿真软件OMNET++作为网络仿真平台,构建了基于TCP/IP协议的数据链仿真模型,设计了实际网络数据包与OMNET++虚拟网络数据包的转化方法,实现了基于OMNET++的轮询协议数据链分布式仿真模型.并在实验室环境下进行性能参数仿真,得出了信道利用率、MAC平均端到端时延等数据链网络性能指标,对于基于网络仿真器的分布式数据链仿真具有一定应用价值.     

无人机测控与信息传输信道的建模与仿真设计

分析了无人机测控与信息传输系统中传输信道的特点,针对无人机飞行中不同的状态和环境条件,建立了不同的信道模型,并在此基础上,设计了一个可用于无人机测控与信息传输系统设计的信道仿真器,该仿真器通过设置不同的参数,可对无人机飞行中所处的不同通信信道进行仿真,以全面验证无人机测控与信息传输系统中所采用的传输技术性能及接收机性能。     

基于AUTOSAR架构的通信系统的研究与实现

AUTOSAR是汽车开放系统体系结构,已成为汽车电子软件的工业标准,在汽车电子控制器系统开发过程中具有重要地位,其中AUTOSAR COM通信规范为汽车电子通信系统的构建提供了依据和参考;介绍了AUTOSAR体系架构,对AUTOSAR COM规范基于信号的通信机制及其特有的传输模式切换系统进行了研究,并实现了一种基于AUTOSAR架构的通信系统,试验结果表明该系统能够提供基本通信服务,且符合AUTOSAR COM规范。     

多架构体系建模与仿真联合平台

现代作战体系中通常涉及来自多个领域的复杂系统,因而体系设计时会采用到多个不同的建模工具与仿真工具,导致体系建模工具之间异构数据难以共享、体系建模工具与仿真工具联动困难等不足.为解决上述问题,提出了一种新型的多架构体系建模与仿真联合平台,形成了"元模型设计-体系建模-仿真验证"的全覆盖设计能力.在此基础上,以空地协同防御体系中的人机协同防御场景为例,验证了该平台对体系设计的有效性.具体来说,采用该平台设计了与案例场景相对应的元模型、建立了作战视图体系模型,并对作战任务中的战机行为进行了仿真,为战机出战方案设计提供了理论依据.     

锅炉—汽轮机系统的逆系统控制方法

针对非线性锅炉－汽轮机系统各变量间所存在的严重非线性强耦合特征,提出了对其控制的逆系统解耦控制方法,仿真结果表明,采用逆系统控制方法设计的锅炉－汽轮机系统,可在全负荷范围内克服其非线性和严重耦合性,优于其它基于局部工作点所设计的Hx等控制方法。     

应用型本科实验实践教学体系的研究

针对广东培正学院实验实践教学的现状,提出应用型本科实验实践教学体系应由目标体系、内容体系、条件体系、管理体系及评价体系5个子体系构成,详细分析每个子体系的主要内容,形成广东培正学院涵盖基本技能训练、专业综合技能实训、独立实验(实训)和社会实践4大模块组成的应用型实验实践教学体系。     

复杂自组织系统的研究综述

自组织系统是一类复杂系统,它通常驻留在开放的环境中,并且可以根据外部环境和内部状态的变化,通过系统成分之间的自主交互,对系统进行动态调整,从而更好地满足设计目标。近年来,随着计算机技术和Internet的不断发展,越来越多的计算机系统呈现出自组织的特征,有关自组织系统方面的研究变得非常活跃,受到学术界和工业界的广泛关注和重视。本文在深入分析自组织系统概念和特点的基础上,从理论模型、核心机制、关键技术、支撑平台四个方面对自组织系统的研究现状进行了综述和分析,介绍了其应用,讨论了自组织系统研究面临的问题和挑战,并展望了进一步研究方向。     

嵌入式系统定义探讨

对目前国内流行的嵌入式系统定义提出质疑,认为嵌入式系统不是"专用计算机系统",嵌入式系统不只"以计算机技术为基础".从嵌入式系统的发展起源、体系结构、功能特点、知识技术体系等方面进行了分析论证,从而进一步完善了嵌入式系统的定义.     

Distributed and autonomous sensing based on the immune network

A distributed and autonomous sensor network is proposed based on the informational features of the immune network: recognition of nonself by distributed and dynamically interacting units, recognition by a simple comparison with the units themselves, dynamic propagation of activation that would lead to system-level recognition, and memory embedded as stable equilibrium states in the dynamic network. The network is explained by an illustrative example of an eight-coin puzzle: a balance must be used only three times to identify one coin with a different weight from the other seven coins. Our network also uses a dynamic structure network rather than the fixed structures used in neural networks. Simulations show that nonself (the different coin in the eight-coin puzzle, the sensor/process fault in the monitoring example) will be identified by dynamically propagating activation through the network. This work was presented, in part, at the International Symposium on Artificial Life and Robotics, Oita, Japan, February 18–20, 1996     

THE CONCEPT OF STABILITIES OF GENERAL SYSTEMS

In this paper, the concepts of the stability and uniform stability of input-output systems introduced in Ref. 1 are generalized to the model of general systems. Several equivalent conditions are given. The relation between the concepts and that of continuity of mappings from a topological space into a general topological space is studied. In the last section, some mapping properties of stable systems and uniformly stable systems are studied. Some open questions are posed.     

微机监控技术 三

本文系统地讲述了以微型计算机为中心的微机监控系统的工作原理、系统组成和应用方面的有关技术。分为监控系统的功能和结构、硬件系统和软件系统三个部分。本文为第三部分。     

某培训中心视频监控及防盗报警系统设计方案

本方案根据培训中心的实际需求,进行安全技术防范系统的设计。本系统包括视频监控及防盗报警两个子系统,两个子系统采用一台多媒体管理主机进行控制。视频监控采用电视墙进行图像矩阵切换,采用硬盘录像。系统可进行报警联动切换图像、报警联动录像、报警电子地图显示等功能。     

股票信息系统的组成与应用

对中国股票市场的信息系统做了一个总体概括和介绍。将整个股票信息系统分解为券商信息系统、交易撮合系统、盘后结算系统以及行情分析和信息发布等四个系统,并详细阐述了各信息系统之间的关系,分别给出各个信息系统的基本设计原理和架构。     

卡车的TSK模糊控制

针对在保证一定精度的条件下,要求一次性完成卡车的倒车的情况,利用TSK (Takagi-Sugeno-Kang)模糊系统控制卡车,在TSK模糊控制器作用下让卡车从任意的初始位置一次性倒车到指定的位置。在卡车数学模型中,线性部分设计线性状态反馈控制器,非线性部分先求TSK模糊模型,然后设计基于TSK模糊模型的TSK模糊控制器。它是一个非线性控制器,可保证闭环系统的稳定性。仿真实验结果表明,所设计的TSK模糊控制器对卡车的倒车控制是非常有效的。