摘要：随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。

摘要：设计服务化是协同设计的一个新方向。本文提出了一种云制造环境下设计理性模型驱动的协同设计方法。首先建立设计理性模型库,然后基于设计理性模型驱动协同设计,基于设计情境匹配设计服务,基于设计知识跨库检索多个知识库为设计活动提供知识融合服务。最后以ATM机的设计为例证明了此方法的可行性。

摘要：医院云计算系统存在需求的不确定性和节点资源的异构性问题,导致节点的负载失衡。为此,提出一种新的医院云计算系统资源调度方案。该方案基于混合蛙跳算法设计,并针对混合蛙跳算法容易陷入局部最优解的不足,给出一种基于讨论机制混合蛙跳算法改进的医院云计算系统资源调度方案,通过增加自适应讨论次数,提高算法的搜索能力。仿真实验结果表明,与传统负载均衡方案相比,该方案具有更好的负载均衡度性能,可解决混合蛙跳算法陷入局部最优的问题。

摘要：针对大数据的处理效率问题,论文主要应用Hadoop技术,探讨了分布式技术应用于大数据挖掘的编程模式。论文以k_means算法作为研究对象,采用Hadoop的一个数据仓库工具——HIVE来实现该算法的并行化,并在结构化的UCI数据集上进行了实验,实验结果表明该方法具有优良的加速比和运行效率,适用于结构化海量数据的分析。

摘要：该文阐述了迷你四旋翼飞行器教学平台的开发过程:首先利用3D打印技术对外形进行设计加工,并实现模块化拼装,然后利用开源飞控资源,引导学生设计原理图电路及PCB,最后设计开发用于操控的APP软件。因本教学平台体积小,安全性高,且功能原理与其他大轴距四旋翼相同,所以可把本平台的设计制作过程用于教学,让更多的学生参与其中。该课程既可以开放学生创新思维,也可以锻炼学生动手能力。该课程进行了多次的实践教学,效果显著,证明了此平台在实践教学中的实用性。

摘要：为提高云制造平台中的个性化知识服务能力、增强用户黏度,提出一种云制造环境下基于用户行为的个性化知识服务方法。针对云制造服务特点,构建云制造环境下的个性化知识服务架构;分析了云制造平台中的用户行为,综合显性行为和隐性行为计算用户的个性化知识需求度,建立基于本体的用户行为模型;在此基础上,通过语义分析及知识评价实现了个性化知识过滤,通过应用示例分析验证了该方法的可行性。