霍瑛
- 作品数：10 被引量：8H指数：2
- 供职机构：南京航空航天大学更多>>
- 发文基金：中国航空科学基金江苏省普通高校研究生科研创新计划项目国防基础科研计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种基于离散化全局分布搜索的可信服务组合方法
- 本发明公开了一种基于离散化全局分布搜索的可信服务组合方法，包括可信服务组合模型和离散化全局分布搜索人工蜂群算法DGABC两部分。可信服务组合模型中，通过引入时间衰减函数，将服务组合问题转化为非线性整数规划问题；DGABC...
- 庄毅霍瑛顾晶晶许海洋倪思如
- 文献传递
- 一种嵌入式软件可信属性建模与验证方法
- 本发明属于可信计算领域，涉及一种嵌入式软件可信属性建模与验证方法，包括下列步骤：（1）建立半形式化模型；（2）将半形式化模型转换为有限域上的可信嵌入式软件模型ZAM，包括时间模型、静态模型与动态模型三部分；（3）给出描述...
- 庄毅倪思如顾晶晶霍瑛许海洋
- 文献传递
- 一种飞行器协同设计平台的方案成熟度评估方法
- 本发明公开了一种飞行器协同设计平台的方案成熟度评估方法，包括研发需求-技术特性质量屋和模糊评估方法两部分。设计的飞行器协同设计平台研发需求-技术特性质量屋包括描述研发需求的左墙、描述技术特性的天花板、以及记录两者之间关系...
- 庄毅霍瑛顾晶晶倪思如丁飞
- 文献传递
- 基于服务力向量的发布/订阅自动发现算法被引量：2
- 2014年
- 由于SDPBloom自动发现算法无法预先在参与者发现阶段对端点QoS策略的兼容性进行判断,使得各节点和网络中均出现大量QoS不兼容的端点信息,从而消耗过多的内存和网络资源。为解决该问题,提出一种基于服务力向量(SAV)的发布/订阅自动发现算法,利用布隆过滤器向量和SAV对端点主题名、主题类型以及QoS策略进行匹配,以减少不必要信息的传输和存储。实验结果表明,与SDP_ADA和SDPBloom算法相比,该算法具有更低的网络负载和内存消耗。
- 翟海波庄毅霍瑛
- 关键词：数据分发服务自动发现算法布隆过滤器服务质量
- 一种嵌入式软件可信属性建模与验证方法
- 本发明属于可信计算领域，涉及一种嵌入式软件可信属性建模与验证方法，包括下列步骤：（1）建立半形式化模型；（2）将半形式化模型转换为有限域上的可信嵌入式软件模型ZAM，包括时间模型、静态模型与动态模型三部分；（3）给出描述...
- 庄毅倪思如顾晶晶霍瑛许海洋
- 文献传递
- 基于WITI的分段线性机场延误研究模型
- 随着空中交通量的不断上升，空中交通延误成为一个亟待解决的问题。其中，天气影响造成的空中延误问题占总体延误问题的一半以上，本文利用真实延误数据和天气数据作为参考建立延误预测模型，模型建立过程分为两个部分。第一部分确定了以风...
- 霍瑛
- 关键词：航班延误
- 一种基于离散化全局分布搜索的可信服务组合方法
- 本发明公开了一种基于离散化全局分布搜索的可信服务组合方法，包括可信服务组合模型和离散化全局分布搜索人工蜂群算法DGABC两部分。可信服务组合模型中，通过引入时间衰减函数，将服务组合问题转化为非线性整数规划问题；DGABC...
- 庄毅霍瑛顾晶晶许海洋倪思如
- 文献传递
- 一种飞行器协同设计平台的方案成熟度评估方法
- 本发明公开了一种飞行器协同设计平台的方案成熟度评估方法，包括研发需求-技术特性质量屋和模糊评估方法两部分。设计的飞行器协同设计平台研发需求-技术特性质量屋包括描述研发需求的左墙、描述技术特性的天花板、以及记录两者之间关系...
- 庄毅霍瑛顾晶晶倪思如丁飞
- 文献传递
- 云计算环境下服务组合技术研究
- 面向服务的计算模式能够将功能单一的服务进行组合，形成新的增值服务来满足用户的复杂需求。随着云计算的普及，服务组合也面临新的问题。开放动态的云环境给服务的评估带来了更多的不确定性，而海量的云服务也对现有服务组合技术的有效性...
- 霍瑛
- 关键词：云计算多目标优化非线性规划人工蜂群算法
- 基于群体一致性强度的模糊评估方法被引量：4
- 2014年
- 针对模糊信息的定量评估难题,在研究多属性决策问题的基础上提出基于群体一致性强度的模糊评估方法.利用证据理论合成评估值后,引入语义折扣因子的概念,将区间评估信息转化为确定的评估值;设计群体一致性强度指标,最优化语义折扣因子的取值,使得评估方法能够体现评估中的主流意见;通过软件可信评估实例验证了所提出方法可有效解决模糊评估信息的分析和合成问题.
- 霍瑛庄毅薛羽
- 关键词：证据理论
