支持界面描述的交互模型及其形式化描述

为促进软件用户界面的工程设计,该文提出了一种支持用户界面自动生成的交互模型。它对UML中交互模型的概念加以扩展,添加与界面生成直接相关的信息,表达了与界面相关的功能和数据对象信息以及这些信息间的控制关系。并详细描述了交互模型的符号体系和对它的形式化描述。     

基于信息价值链的多粒度信息交互网络模型建模方法

由于复杂系统的信息化,其组分间的信息交互关系变得更为复杂并在系统内部出现了信息的链式运动。针对这种情况,提出基于信息价值链的多粒度信息交互网络模型建模方法。该方法通过粗粒度信息交互网络模型建模和细粒度信息交互网络模型建模两个阶段,对复杂系统内部组分间的信息交互关系和信息链式运动建模。实验结果表明,该建模方法可以定量描述复杂系统内部各组分的信息交互关系和信息链式运动,为研究复杂系统中如何利用信息创造价值奠定了基础。     

CSCW系统中基于角色的感知模型

感知是CSCW系统中需要解决的关键技术问题之一,因此,本文提出一种基于层次图的角色感知模型:模型通过角色与原子任务之间的归属关系和原子任务的交互关系建立层次图,同时对非原子任务进行分解;通过起始原子任务发起简化算法,并在算法中引入角色合并规则;以简化后的角色为基础在P2P网络下建立虚拟工作组,给出了虚拟工作组间的消息分发机制.实验表明,该方案在协作节点大量增加的情况下降低了数据反馈延时,更易于满足CSCW中感知的高实时性的要求.     

联合作战模拟系统中军事模型体系结构

进行联合作战模拟系统体系结构设计时,面临的主要问题之一是设计在结构水平上与被仿真对象(联合作战)基本相似的模型体系(模型结构和模型数据),即它必须包含映射“联合作战”中实体及实体活动的各种军事模型和映射实体间各种关系的军事模型间关系。针对此问题,该文以联合作战模拟为应用背景,设计了联合作战模拟系统中军事模型的体系结构,说明了它的相关概念;阐述了军事模型的开发过程,并确定了联合作战模拟系统中军事模型间信息控制关系。     

支持用户界面自动生成的界面模型

为实现软件用户界面的工程设计,论文提出了一种支持用户界面自动生成的界面模型FMP。它利用功能模型(F)和对象模型(M)捕捉与界面相关的功能和数据信息,用交互模型(M)表达这些信息和控制关系。然后依据交互模型的描述,利用表示模型(P)建立内部对象和外部显示元素的对应关系,规划界面布局,从而指导实现用户界面的自动生成。     

嵌入式P端口SRAM的端口间故障测试

为了有效地测试嵌入式P端口静态随机存取存储器(SRAM)端口间的故障,提高电子系统的安全性,提出一种基于结构故障模型的故障测试算法.首先对March C-算法扩展得到w-r算法,即让一个端口执行March C-算法的同时另一个端口于偏移量为±2的地址并行执行伪读操作,并考虑存储器的规则结构给出了其简化算法;然后提出w-w算法,通过2个端口向存储器单元并行写(不同的地址),可有效地激发2个写端口之间的各种故障,使之适用于不同物理布局的存储器,在保证时间复杂度合理的前提下提高了端口间的故障覆盖率.将故障注入64×8位的双端口SRAM中进行仿真实验,得出了故障检测表,验证了其时间复杂度低,表明文中算法具有100%的端口间故障覆盖率.     

通用ATE测试资源信息模型

测试资源管理是通用性自动测试系统的核心,是实现系统硬件资源可扩展/可配置、测试程序集(TPS)可移植的基础.提出一种通用ATE测试资源信息模型的框架,通过建立仪器驱动器模型(IDM)以及在设备模型中引入状态信息及故障隔离信息,扩展了标准[1-2]所定义的模型框架,使其更具有通用性和应用价值并以关系模型的形式给出了该测试资源信息模型的详细描述.     

一种普适计算环境下自适应中间件

普适计算环境固有的内在复杂性对当前的基础软件提出了新的挑战,迫切需要一种具有感知和自适应能力的中间件.提出了一个由接口、框架和情境元模型组成的自适应中间件,给出了在CAR构件平台上的设计与实现.为获取构件信息和对外提供服务,接口元模型支持同步和异步接口.情境元模型在构件对象内建模情境信息,计算实体间以基于异步事件通知方式交互.框架元模型分类和管理构件,随着运行时计算环境的变化动态改变中间件的结构和行为.软件实体感知环境的变化,实体间以松耦合的方式交互,动态改变自身的结构和行为,满足普适计算环境下的动态自适应需求.     

界面预制:一种高效生成原子模型的方法

针对用于微电子元器件性能仿真的纳米尺度模型含有大量原子,直接对其进行编辑较为复杂的问题,在总结原子模型几何特征的基础上,提出一种新的建模方法.该方法预先将各种材料和不同材料间的界面设计成预制结构;在建模时,用户只需创建若干基本的图元,再选择各图元相应材料并将它们组合成一个复合图元;依据复合图元的材料信息选择合适的界面预制结构,最终生成设计器件的原子模型.用户调查结果表明,与现有建模方法比较,文中建模方法更为简便和高效.     

离散信号事件驱动的自动测试系统仿真验证方法与实现

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。