基于模型驱动的安全访问控制的研究

随着计算机应用到各个领域的广度、深度不断扩大,软件的安全需求变得越来越复杂.然而开发人员对系统进行建模时一般不考虑安全需求,系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和措施的完善.由此提出将访问控制需求集成到软件开发过程的分析阶段,将访问控制策略建模与功能需求建模集成.通过模型驱动方法为功能需求模型相关的安全方面提供模型,研究从功能模型产生安全模型,最终形成安全访问控制策略.     

基于模型驱动设计方法的雷达仿真系统实现

根据某装备中雷达仿真系统的特点和需求,采用基于模型驱动的设计方法,在Rhapsody中应用UML2.0标准建模语言建立了系统开发过程中各个阶段的模型,根据模型设计并实现了雷达仿真系统。通过系统模型化的设计,使系统开发的重点从编码转到了建模之上,从而使系统的开发变得直观,且提高了系统的可靠性。     

一种基于模型驱动的笔式界面开发框架研究

本文针对笔式用户界面开发的需求个性化、平台多样化和开发难度大的问题,提出了一种基于模型驱动的笔式界面开发框架.首先,提出了一种笔式用户界面开发架构,对笔式用户界面的特点进行抽象与描述;然后基于模型驱动开发方法提出了笔式界面的平台无关模型PIPIM以及笔式界面的平台相关模型PIPSM,并建立了PIPIM与PIPSM之间的...     

一种基于嵌入式系统的座舱显控设备设计

在分析现有显控设备特点的基础上,提出了一种基于嵌入式计算机系统的实时显示控制盒的设计与实现.该控制盒采用ARM和VxWorks嵌入式操作系统的控制架构,完成人机交互、显示控制,以及与其它分机的通信管理等功能.由于该平台具有通用性特点,因而具有广泛的应用前景.     

基于Android的网络服务架构设计

根据建立在安卓操作系统（Android）平台的移动互联网开发的趋势和特点，提出一种架构在模型-视图-控制器（Model—View-Controller，MVC）模式下的网络服务体系的设计，结合Android自身特性构建基于活动、异步任务和适配器（Activities、AsyncTask和Adapter）的网络服务流程处理机制，以案例说明该服务架构设计的流程和关键技术处理。     

一种复杂系统定性模型描述方法

复杂系统日益呈现出不确定性、非线性等定性特征,已有的建模方法不足以构建具有定性特征的复杂系统。基于此,提出一种复杂系统定性模型描述方法(QMDM)。QMDM结合定性仿真理论,在UML基础上对其组件图、时序图以及状态图进行扩展,可视化地表达出定性模型的建模过程。组件图用于静态的表达出定性模型包含的定性约束关系。时序图和状态图用于动态的表达出定性模型的时序性,以及状态迁移。此外,给出QMDM的形式化定义,便于以后模型验证,并将研究成果在空调制冷系统中进行了初步应用。     

基于大数据的应用体系架构设计方法

随着计算机技术的不断更新与发展,大数据技术应运而生,应用优势逐步凸显。而企业在发展过程中,具备着丰富的客户资源和海量的数据积累,倘若没有做好对数据的高效化管理,就会给企业的发展带来一定的经济损失。因此,如何合理的挖掘数据价值,最大化的实现对数据的保护,成为当前企业所要解决的主要问题。而基于大数据应用体系架构的设计,就能基于数据的特性,构建相应的数据模型,以此提高对数据的处理能力,进而满足用户的个性化需求。     

一种组合导航系统的探讨

本文简要说明了导航设备的发展现状,并介绍了一种组合导航系统（惯性导航/多普勒导航/全球定位组合导航系统）,同时给出了它的一种实现方案,并对其应用前景作了简单的讨论。     

模型驱动的领域软件开发方法研究

本文从企业级应用的系统开发现状入手，分析驱动数据库设计方法在Web应用开发中的不足，从而引出模型驱动的领域软件的设计方法，介绍了基于模型驱动的领域软件设计方法的开发模式。     

一种模型驱动的深度学习OFDM接收机

针对正交频分复用(Orthogonal Frequency Division Multiplexing, OFDM)接收机解调精度低和计算复杂度高的问题,采用深度学习方法构建了一种新的模型驱动的接收机模型,称为FBLTNet(Fully Connected, Bi-LSTM and Transformer-encoder Neural Network)。该模型分为信道估计和信号检测两个部分,其中信道估计以全连接神经网络(Fully Connected Deep Neural Network, FCDNN)替代线性插值,信号检测则使用深度自注意力网络编码器Transformer-encoder和双向长短期记忆网络(Bidirectional Long-Short Term Memory, Bi-LSTM)的组合网络,实现信号的解调和比特流的恢复。在瑞利衰落信道下测试了不同调制方式的接收机性能,结果表明FBLTNet与基于深度学习的接收机以及传统接收机相比,误比特率性能得到了显著的改善;与数据驱动的无线接收机算法相比,线下训练模型收敛时间和测试时间分别减少了33.0%和25%,网络结构参数...     

电磁频谱管理仿真系统体系结构设计研究

体系结构对指导系统建设,保证系统满足应用需求,降低系统研制风险有着重大意义。在首次系统提出在建立电磁频谱管理仿真系统的基础上,针对仿真系统的多功能化和复杂化要求,创造性地提出运用体系结构设计方法完成电磁频谱管理仿真系统的顶层设计。进而在全面比较分析各国体系结构设计方法后,提出运用全视图、作战视图、系统视图、信息视图和技术标准视图五大视图的体系结构设计方法,完成了电磁频谱管理仿真系统的体系结构设计与描绘,为仿真系统的实现提供了参考。     

ASAAC标准体系架构述评

联合标准化航电系统架构协会(ASAAC)定义了先进航空电子体系结构(A3)的开放式标准、概念和指导原则,该标准和指导原则主要用于2005年以后新的飞机项目和现有飞机的升级计划。ASAAC标准定义了综合模块化航空电子系统(IMA),该标准是为了建立一个统一的IMA体系结构。IMA由通用的组件构成,这些组件可以在单独的标准中定义和说明。针对ASAAC标准定义的航电系统顶层体系架构,概述了该架构的一些设计指导原则,同时简要介绍了IMA架构。     

机载电子设备嵌入式系统控制设计方法

嵌入式系统控制技术在机载电子设备的研制过程中处于核心地位,但目前机载电子设备的系统控制总体设计却没有从系统顶层进行规划,这样就有可能造成设备的系统控制在使用功能上不能充分满足用户的需求,系统控制软件经常需要修改,浪费了大量的人力、物力和财力。针对此,论述在机载电子设备中应用的嵌入式系统控制技术和设计方法。     

一种体系结构设计与系统仿真的集成方法

体系结构研究在军事综合电子信息系统设计、建设和应用过程中起着十分重要的作用。体系结构研究包括体系结构设计、体系结构验证和体系结构优化等过程。系统仿真是体系结构验证的有效手段。体系结构设计与系统仿真的集成将改变以往体系结构研究过程相互独立的局面,从而大大提高系统体系结构研究的效率。体系结构设计与系统仿真的集成主要通过体系结构模型和系统仿真模型的自动转换来实现。     

现代剧场建筑设计的理念

论述了随着经济的发展,为适应当前社会精神文明的需要,现代剧场建筑设计的理念应是多样化和适应性多功能的.演出场所应能适应所演出剧种的特点,才能真正发挥演出的特色和效果.现代剧场建筑设计应该是一项科技和建筑艺术相结合的设计,不仅仅是环境艺术的设计,更不是各单科性专业设计的迭加,而是一项系统工程的设计,它包括建声设计(音质设...     

协同系统体系结构模型的形式化语义

 针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.     

指挥决策实体层次结构设计方法

在指挥决策实体任务协作关系构成的协作交流网基础上,提出了一种设计指挥决策实体层次结构(指挥控制树)的新方法。该方法定义根节点到其他节点路径长度的最大值为树高,以构造树高最小的生成树为目标,对于取定的根节点,计算根节点到其他每个节点的唯一最短路径,对这些最短路径进行并操作得到的即为指挥控制树。最后结合一个案例,验证了应用该方法生成指挥控制树的可行性。     

可重构结构设计空间快速搜索方法

在可重构结构评估模型的基础上,研究了在算法级估计可重构结构的面积、性能和功耗的方法。根据面积、性能和功耗,分两步搜索可重构结构的设计空间。首先,搜索结构域中每个结构实现所有算法时的最小代价,其次,在结构设计空间中搜索最优结构。该方法不依赖任何具体的架构,全面评价可重构结构的优劣,能快速获得全局最优的搜索结果。应用实例表明,在可重构结构设计初期,该方法能有效地指导可重构结构的设计。     

"防空卫士"火控系统的体系结构

从现代火控系统的体系结构方面探讨“防空卫士”火控系统的体系结构,主要从分类、层次、组成、功能、性能、设计、应用等一系列要素方面研究“防空卫士”火控系统,从不同角度和侧面探讨“防空卫士”火控系统的发展。