嵌入式系统数据缓存机制的形式化分析

嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法.     

基于DES监督控制理论的安全关键系统设计研究

以矿井水泵的操控系统为实例研究对象,通过对该实例的分析与设计,来阐述如何将离散事件系统(Discrete Event System)的监督控制理论应用于安全关键系统的设计,从而为系统的可靠性设计探索新的方法.     

分布式冲突检测系统的研究与实现

提出一种支持并行设计的分布式冲突检测方法,设计并开发分布式冲突检测系统。该系统以约束网络的一致性区间求解算法为核心,通过计算约束网络中各设计参数的可行域区间,可以有效地检测产品设计过程中的冲突。软件系统采用B/S结构,以支持地理分布的协同设计团队的设计工作,并以铁路列车某型转向架工程设计为例验证了该方法的有效性。     

UPIM:以用户为中心的笔式交互系统设计

笔式用户界面是Post-WIMP界面的一种重要形态,有自然、易学、易用等潜在性优点,但是在开发笔式交互系统时,以应用为中心的设计方法无法保证笔式用户界面继续拥有这些优点．为此,首先分析了软件设计的交流模型,在此基础上提出了一种以用户为中心的笔式交互系统的设计方法,并结合科学跳水训练管理系统对该方法进行了详细描述．从实际应用系统的评估结果来看,该设计方法在提高笔式交互系统的可用性方面非常有效．     

基于Sundance平台的非正弦调制解调器设计与实现

针对非正弦通信系统调制解调器实现的问题,在分析相关原理和Sundance开发平台及其开发环境特点的基础上,提出了以PSWF为调制波形、以时域正交调制为调制方法的非正弦调制解调器设计与实现方案.该方案采用模块化的设计思想,将系统划分为若干功能独立而又相互关联的任务模块,通过对各个任务模块的设计来完成系统设计.结果表明,该方案可以实现信息的非正弦调制解调.为设计高性能的非正弦通信系统提供了一种有效的方法.     

以用户为中心的场景设计方法研究

图形用户界面(GUI)的可用性在于给用户的任务提供了有用的图形表示和操作，以使用户无须分心于那些不必要的交互和领域特征，然而，当前的GUI设计通常反映了系统的状态和操作，迫使人们学习和适应预定义的系统任务，以用户为中心的GUI设计旨在提高系统可用性，但是众多的以用户为中心的设计研究只给出一些设计准则和经验性的方法，缺乏对实际软件设计的可操作指导，基于场景的设计是GUI设计的有效方法，然而，场景本身并没给出好的实现以用户为中心设计的方法，该文在研究以用户为中心的设计和基于场景的设计的基础上，提出一种以用户为中心的场景设计方法，力图给出一种提高GUI可用性的更有效的方法，该方法的核心是：用场景描述方式来体现用户为中心的设计思想，并将其贯穿到系统开发的各个阶段，真正实现从用户的角度设计系统，最后以ATM机的界面设计为例说明使用该方法进行设计的有效性。     

磁悬浮球系统的自适应控制器设计

本文以磁悬浮球系统为研究对象,基于该系统的线性化模型,通过Backstepping设计方法设计了一类自适应控制器,所设计的控制器具有结构简单易于实现,控制输入易于得到等优点,仿真实验验证了该控制器的有效性.     

三维手绘CAD系统的设计与表达

描述了一个基于手绘草图的三维设计系统,并给出了该系统的体系结构．该系统采用以草绘手势规则和草图语义自动机为基础的设计与表达的思路,描述了草图语义的获取、表达和理解方法,从而较好地支持了早期的三维产品概念设计．该系统以手写笔和手写板为交互输入设备,能够自然、高效地进行一些复杂的三维实体和三维场景设计．     

SOA中Data Service的分析与设计

针对当前分析与设计面向服务的架构（SOA）系统时面临的数据访问多样性问题,提出一种新的基于SOA的Data Service分析设计策略,该方法以数据实体为中心,以任务为向导,采用定位数据实体和分析数据操作相结合的方法,提供一套清晰的SOA系统数据访问层设计思路,从而实现Data Service的粒度和重用性之间的平衡。实验结果表明,该方法具有一定应用价值。     

基于ZigBee网络的社区心电监护系统

设计了一种以MSP430F149为核心处理器,SD卡为数据存储设备,ZigBee无线数据传输模块组建的网络为通信网络的社区心电监护系统。阐述了该系统各个模块的设计要点、关键模块的设计思想与设计方法。