论文研究 并行程序开发平台体系结构的形式化研究.pdf

针对现有软件体系结构风格定义在客观性和全面性方面存在的不足，从客观角度出发，站在软件工程的高度从多个方面对软件体系结构风格进行定义；同时通过研究分析软件体系结构风格的研究现状，发现并指出其四个重点研究

针对物联网对象命名服务中根服务器负载过重、负载不均衡和单点失效等问题，提出建立基于分布式哈希表的物联网命名服务体系结构，以对等的环型结构替代树型结构；同时采用基于物理网络拓扑的、依靠邻居节点集合的分簇

提出了一种基于中性语义特征转换的异构CAD系统间数据交换方法，该方法采用“中性语义特征转换器”将不同系统间的造型信息转换为统一的数据信息格式，并通过中性语义转换库实现了不同系统间操作命令的4种映射关系

提出一种新的基于UML(unifiedmodelinglanguage)的多视图模型，即“6＋1”视图模型，从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统

美国将信息-物理融合系统（Cyber-PhysicalSystems，CPS）列为八个重要信息技术领域之首，CPS亦成为国内当前研究热点。通过对国内外CPS研究现状分析，针对系统、功能和技术三个视图角

面向服务的空间数据挖掘体系结构研究，胡斌，陈正阳，随着对地观测手段、空间数据获取方式以及计算机技术的迅速发展,使得各种地理空间数据资源日益丰富，但是,这些数据资源中所蕴涵的�

针对目前可生存性存储模型定义仍未标准化的问题，首先提出了一种可生存性存储系统的形式化模型定义，然后结合模型给出了可生存性存储系统的体系结构。其为可生存存储系统的设计构造提供了指导思想，并为系统可生存性

基于UML的软件体系结构建模研究与应用，常亚萍，，本文对UML和ADL两种建模工具的集成应用问题进行了研究，旨在揭示一种可视化与形式化建模方法有效结合的可行途径。采用UML描述概念层

对可重构路由单元中软件体系结构进行了初步探讨，提出了支持多网融合环境下的可重构软件架构的模型、实现方案并对关键技术进行了研究。该技术方案可保证在现有的多网融合的运行环境中实现标准化的功能扩展，使得路由

在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度，利用支持度的思想引入了广义MP问题的一种新型合理求解机制，并证明了合理解的存在性。