摘要：物联网感知数据规模大、类型杂、质量低,导致数据难以进行统一管理。为了设计了一种面向物联网应用的通用型大数据平台。首先对现有大数据平台优缺点进行分析,其次根据大数据平台设计理论进行架构和数据流程设计,最后经过设计而得到的通用型大数据平台能够为物联网感知数据提供统一管控。测试分析结果显示,其性能较优。

摘要：为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型(extended repair evolutionary model,EREM),利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束(称为正不变量约束)来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了模型的可行性和有效性。

摘要：近年来,体系结构元模型成为体系结构技术研究热点。由于元模型概念源自软件工程领域且相对抽象,导致在基于元模型的体系结构设计方法概念理解上存在误区。从体系结构元模型概念内涵和作用机理出发,分析了基于元模型的体系结构设计方法内涵和本质,并与传统体系结构设计方法进行了对比与分析,为推广基于元模型的体系结构设计方法提供指导。

摘要：装备配套软件由于其对装备硬件的依赖性较强,其可靠性研究及工程实践工作一直很难有效开展。该文在研究和分析现有的软件可靠性理论的基础上,论述了开展装备配套软件可靠性工作的关键,给出了软件可靠性工程的具体实践方法,为有效解决目前装备配套软件可靠性分配、设计、验证相对困难的问题提供指导。