基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.     

开放信息模型的设计与实现

分析当前信息系统存在的主要问题,介绍信息交换平台是一个基于点对点(Peer to Peer)的信息发布系统;在这个系统里,从信息的产生、采集、加工、存储、发布、消费到监管,形成了一个完整的信息生命体系;基于XML技术,经过对信息交换平台的信息描述深入的研究,提出了开放信息模型(OIM),对信息进行统一的描述,使信息可以跨平台发布;OIM研究目标有两个:一个是信息模型的设计;另一个是信息模型在信息交换平台里的实现;重点讨论基于开放信息模型的信息系统集成的系统结构、实现方法,并给出信息系统集成的应用案例与性能分析;实践表明,该架构可以较好地实现信息系统的应用集成并具有良好的性能。     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

基于多层结构模型的生物信息分析平台研究

针对生物信息分析平台的构建,给出一种复合C/S、B/S的多层体系结构模型--BIOCMSM,并以构建新城疫病毒(NDV)生物信息分析平台为例,研究了该多层结构模型的实现过程.实验证明,BIOCMSM较好地解决了生物数据更新、数据集成、应用集成等问题.     

基于云计算的物流信息平台设计与实现

分析基于云计算的物流信息资源的云端特点,研究计算资源共享平台的实现模型、技术架构、设计和运作,通过物联网和数据迁移技术,采用Google App Engine云计算平台来实现数据兼容,保证了云端信息平台的可靠性、通用性、高扩展性及安全性。     

一种基于VPM的移动警务信息平台解决方案

分析了一种基于VPM的移动警务开发平台的解决方案,用于解决警务系统信息平台的软件体系结构和安全性问题。从平台的设计目标、体系结构、模块功能、业务流程和安全性等方面做了详细的阐述,并给出了目前接入平台的几种移动应用模式。     

基于PLM的产品维修性设计分析管理解决方案

探讨了维修性设计分析的信息需求,建立了维修性设计分析的ER模型,在此基础上重点讨论了PLM平台下开展维修性设计分析活动的解决方案,主要包括四个方面:在PLM平台下配置维修性设计分析环境;建立基于产品结构树的维修性信息主模型;维修性设计分析工具与PLM平台的集成;基于PLM项目协同和工作流对维修性设计分析流程进行管理和控制.最后选取典型的PLM平台Teamcenter系统,以某型舰炮研制阶段的维修性设计分析活动为例进行了应用研究.     

一种网络自动攻击平台的设计与实现

利用攻击树模型,设计了一个用于评测IDS抗攻击能力的自动综合攻击平台,对其主要子模块,攻击树形成模块和攻击决策模块的设计实现进行了详细阐述,并简要介绍了利用收集到的目标信息对攻击目标进行安全性评估的安全分析模块.     

业务协同远程项目管理信息系统建模与实现

论文设计了一种计算机支持的业务协同远程项目管理信息系统。基于对现代项目管理业务协同信息模型的分析,阐述了群体协作系统模型、业务协同信息平台体系结构、同步机制与群组通信机制,使用统一建模方法设计了系统的静态模型和动态模型,给出了项目管理信息系统应用模型和用例模型。     

DaisyVA:支持信息多面体可视分析的智能交互式可视化平台

针对目前缺乏有效地支持信息多面体可视分析的交互式信息可视化平台的问题,提出并实现了一个面向最终用户的交互式可视化平台DaisyVA.首先建立了一个支持信息多面体可视分析界面模型IMFA,并定义了IMFA的多面体数据模型、可视表征模型和交互控制模型;然后围绕IMFA设计了DaisyVA的体系架构,讨论了基于模型的系统开发机制、核心模块与运行时框架机理,以及DaisyVA组件库;最后将DaisyVA应用于大型集团制造企业物流网络瓶颈的可视分析实例中.实例分析结果表明,DaisyVA能为多面体数据提供统一建模的支持和可扩展可视化算法库的支持、提供多种所需的交互技术并可灵活定制可视分析的交互任务、支持信息多面体间的内在语义关联分析,以及能够为最终用户提供一种简单快速原型方法,因此能够为信息多面体可视分析提供一种有效的支持.     

基于Web的煤矿企业办公信息平台的设计

针对煤矿企业各部门布局分散、缺乏统一的信息交互平台而严重影响企业生产效率的情况,文章以某煤矿为例,介绍了一种基于Web B/S模式的煤矿企业办公信息平台的设计与实现,描述了办公信息平台的需求分析、应包括的基本元素、架构、网络拓扑、数据库访问机制、安全性设计及其功能等,还阐述了办公信息平台实现过程中应用到的数据库访问技术和权限控制技术等。该办公信息平台的应用效果表明它能满足煤矿生产与管理的需要。     

生物信息学中数据库的应用及整合

生物信息学是一门结合计算机、生物、数学、统计学的新兴交叉学科,为其他生命学科提供了新的研究平台.探讨了生物信息学中几种重要的数据库及其应用,为了将网络上分布的、异构的生物信息数据库实现资源共享与整合,提出了一个基于XML的异构生物信息数据库的整合系统,并且设计了该系统的体系结构.     

用静态信息流分析检测Android应用中的日志隐患

与传统计算平台相比,移动平台拥有大量涉及用户隐私的私密信息.随着Android移动平台日趋流行和应用商城模式的普及,如何保护用户隐私这一安全性课题日益受到关注.本文发现当前Android日志系统存在泄漏用户隐私数据的安全性风险,设计并实现了一个基于静态信息流分析的Android应用程序检测工具LogMiner,用于辅助应用商城在应用发布时的安全性检测工作.LogMiner对200个Android应用程序进行检测,成功分析177个应用,平均每个应用分析时间为4.3分钟,其中33个应用中存在日志安全性隐患,占总数的18.6％.这一结果表明现实生活中的Android应用程序的确存在着这类安全隐患.最后,本文对现有日志系统提出了改进方案.     

开放信息模型的设计

信息交换平台是一个基于点对点(Peer to Peer)的信息发布系统.在这个系统里,从信息的产生、采集、加工、存储、发布、消费到监管,形成了一个完整的信息生命体系.基于XML技术,经过对信息交换平台的信息描述深入的研究,提出了开放信息模型(OIM),对信息进行统一的描述,使信息可以跨平台发布.OIM研究目标有两个:一个是信息模型的设计(信息模型的设计重点在于对数据库查询语句的XML Schema的设计和数据清洗模型的设计);另一个是信息模型在信息交换平台里的实现.限于篇幅,本文介绍信息模型的设计.     

面向产品制造全过程的企业信息集成平台研究

为有效整合企业信息资源,实现产品制造过程各环节的协同,通过对多品种小批量企业生产运作方式特点的分析,建立了企业生产流程模型,并设计开发了面向产品制造全过程的信息集成平台.该平台主要包括生产任务、技术信息、制造资源、工作成绩、数据统计与分析等五个子系统.详细介绍了系统的体系结构与功能设计方案.经实际应用表明,该平台实现了生产计划、工艺与工装设计、生产准备与调度、零部件加工与检验等产品制造过程各个环节的信息集成与协同工作,是一个功能较完善的企业级信息资源共享系统.     

基于ASP模式的个性化应用系统模型

对传统的企业信息化建设方法与ASP建设模式进行了比较分析，讨论了个性化应用服务的基本概念、需求以及Web相关信息的形式化描述方法，然后提出了一个基于ASP模式的个性化应用系统模型。该模型主要思想是将企业的一些具体业务应用系统从企业中独立出来，通过Web应用平台为用户提供各种个性化的信息服务和应用服务。与传统的建设方法相比，提出的基于ASP模式的个性化应用系统模型设计方法具有投资小、见效快、信息服务质量高等特点。     

无线多跳网络性能与安全性测试平台

无线多跳网络的分布式工作特点和无线传播介质的特性导致其面临着严峻的性能和安全性挑战,而为弥补以往研究过分依赖仿真分析的不足,基于路由代数与统一路由模型,设计并实现了多种设备的试验测试平台（testbed for high‐level analysis of wireless ad‐hoc routing design ,TH‐award）。该平台采用模块化架构设计了协议库、参数库和测试库,便于用户扩展无线路由协议,有效实现在同一平台上对协议性能与安全性的综合测试,保证了测试平台的可扩展性与兼容性;能以仿真、测试、试验等不同应用模式实现其测试功能,具有良好的适用性与开放性;平台具有分布式管理架构、路由测试引擎等相关设计,能有效实现配置管理、运行分析的自动化,具有很高的可管理性。基于该平台,实现了多种路由协议的快速设置与部署,基于多种场景测试验证了平台的有效性,该平台为研究各种无线路由协议的性能及安全性提供了一种重要手段。     

基于Web服务的统计信息共享平台的构建

Web Services技术是独立于平台、组件模型和编程语言的应用程序通信标准,它能够简化跨平台应用的开发;统计信息平台的建立为解决提高统计信息准确性和快速发布提供了解决方案,文中分析了统计信息共享平台应该具备的基本功能,然后给出了统计信息共享平台的基本构架,最后使用.NET Framework提供的Web Services集成方案建立了一个统计信息共享平台的实例。     

可信云计算平台中外部信任实体的安全性研究

2009年国外研究者提出了可信云计算平台模型,并给出了相关设计。但是在该模型中,并未对外部可信实体的安全性进行分析。由于在整个模型中所给出的各类行为与外部可信实体密切相关,一旦可信实体遭到威胁,整个模型的安全性将遭到破坏。在分析了可信云计算平台中可信实体可能遭到的威胁后,提出了通过应用可信计算技术处理威胁的解决方法。     

开放信息模型SQL的XML Schema设计

信息交换平台是一个基于点对点(Peer to Peer)的信息发布系统.在这个系统里,从信息的产生、采集、加工、存储、发布、消费到监管,形成了一个完整的信息生命体系.基于XML技术,经过对信息交换平台的信息描述深入的研究,提出了开放信息模型(OIM),对信息进行统一的描述,使信息可以跨平台发布.OIM研究目标有两个:一个是信息模型的设计(信息模型的设计重点在于对数据库查询语句的XML Schema的设计和数据清洗模型的设计);另一个是信息模型在信息交换平台里的实现.限于篇幅,本文介绍数据库查询语句的XML Schema的设计.