国家自然科学基金(61170043) 作品数:17 被引量:41 H指数:4 相关作者: 魏欧 黄鸣宇 胡军 刘玉梅 牛耘 更多>> 相关机构: 南京航空航天大学 中国航空无线电电子研究所 池州职业技术学院 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 中国航空科学基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 更多>>
Adaptor Reconfiguration Analysis in Web Services Composition 被引量:1 2015年 Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities. 范大娟 黄志球 肖芳雄 彭焕峰关键词:ADAPTOR RECONFIGURATION 基于线性时间算法的故障树模块扩展分解方法 被引量:4 2019年 故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中。然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多。为了解决此问题,对现有的线性时间算法进行改进,提出新的故障树简化规则和模块扩展分解算法。首先提出等效事件的概念,扩展线性时间算法所分解的模块数;在考虑时间复杂度和资源利用率的基础上,提出一套新的简化规则,以合理地去除故障树中的冗余信息。实验证明,提出的分解方法能有效地优化故障树分析,进一步减少大型故障树分析的计算时间和内存消耗。 宋俊花 魏欧利用特征配置的SLIM安全性验证方法 被引量:2 2017年 安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统的影响和系统恢复.本文从软件产品线角度提出一个新颖的、针对SLIM扩展模型的验证方法—将软件产品线中产品的可变性引入安全性验证过程,将系统中的故障看作系统中可以进行配置的特征,直观、清楚地刻画了安全分析中系统的结构和行为.使用成熟的SLIM语言建立安全关键系统的扩展模型,将SLIM扩展模型中的故障作为特征、完成扩展模型到fPromela模型的转换;利用软件产品线模型检测工具SNIP对转换得到的f Promela模型进行检测,找出造成系统失效的故障,完成对SLIM扩展模型的安全性验证工作.根据模型转换的规则,设计并实现了转换工具S2F.同时,结合COMPASS给定的标准案例—数据采集系统进行实例分析. 李宙洲 魏欧 黄鸣宇关键词:安全关键系统 F 面向驾驶舱显示系统需求的形式化建模与分析 2018年 在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障。对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误。其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用T-VEC工具对需求模型进行检测。通过使用该方法对驾驶舱显示系统需求文档进行一致性和完备性检测,找出了需求模型中的潜在错误。 战芸娇 魏欧 胡军 王立松 谷青范关键词:形式化方法 基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制 被引量:1 2018年 基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相关的概率布尔网络已经被广泛地应用于基因调控网络优化控制问题的研究中。针对无限范围的优化控制问题,文中提出了一种基于概率模型检测和遗传算法的近似最优控制策略的计算方法。首先,该方法将无限范围控制中定义的期望总成本归约为离散时间马尔科夫链上的平稳状态回报;然后,构建包含固定控制策略的带有干扰且上下文相关的概率布尔网络模型,采用带回报属性的时序逻辑公式表示固定控制策略的成本,采用概率模型检测器PRISM进行自动计算。进一步,采用遗传算法,将固定控制策略编码为遗传算法解空间中的个体,基于其控制成本,定义个体的适应度值,将PRISM作为求解器,通过在解空间上迭代地执行遗传操作获取近似最优解。将所提方法应用于WNT5A网络中,实验结果证明了该方法的有效性。 刘爽 魏欧 郭宗豪关键词:基因调控网络 优化控制 概率模型检测 遗传算法 基于χChek的软件产品线多值模型检测方法 2014年 软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。 黄鸣宇 石玉峰关键词:软件产品线 多值逻辑 基于SAT求解器的故障树最小割集求解算法 被引量:5 2017年 故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度,提出了一种基于可满足性问题的故障树最小割集求解算法。首先,将求解故障树最小割集问题转化为求解布尔可满足性问题。然后,利用可满足性问题求解器,通过迭代分析求得最小可满足解集合,即为对应故障树的最小割集。实验表明,本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法。 罗炜麟 魏欧 黄鸣宇关键词:故障树分析 最小割集 基于大规模文本的蛋白质交互关系自动提取 被引量:6 2012年 针对目前蛋白质交互(PPI)关系提取方法仅以单句中的信息为主要依据的问题,提出一种基于大规模文本的蛋白质交互关系自动提取的方法。首先通过对大规模生物医学文本的自动搜索建立目标蛋白质对的签名档,将蛋白质交互关系抽取转化为文本自动分类问题;然后提取签名档中的重要特征,建立蛋白质对的向量空间模型(VSM);最后采用支持向量机(SVM)对签名档进行分类。比较了四种对向量的特征进行加权和特征选择的方案。实验表明,基于大规模文本的蛋白质交互关系识别取得了最高达94.8%的精确度和65.1%的召回率;并且此方法充分利用已有的交互信息,免除了额外的人工标注的负担。 封二英 牛耘 魏欧关键词:向量空间模型 支持向量机 文本分类 基于关系相似性的蛋白质交互自动识别 被引量:4 2013年 针对目前蛋白质交互关系识别主要以单句为依据、因标注数据缺乏而导致训练集规模小等不足,提出一种以关系相似性分析为框架、基于大规模文本的蛋白质交互关系自动识别方法。首先通过对大规模生物医学文本数据库的自动搜索获取描述蛋白质对的句子集合,然后分别从单词、短语结构、依赖关系3个角度抽取特征,建立向量空间模型来表示一对蛋白质之间的关系,最后根据两个向量之间的相似性对关系作出判断。所需训练数据直接取自现有蛋白质交互网络,无需任何额外的人工标注。实验表明,基于关系相似性的蛋白质交互关系自动识别取得了较高的精度(F-score 74.2%)。 封二英 牛耘 魏欧 蔡昕烨关键词:句法分析 空间向量模型 应用改进的遗传算法优化软件产品线特征选择 被引量:7 2017年 软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征模型的产品配置难点在于如何从复杂的特征模型中选择满足约束条件的最优的特征组合,如资源约束等.为了实现有约束的特征选择优化问题,提出一种基于原子集和遗传算法优化特征选择的方法.该方法是在原子集优化特征模型基础上,利用特征模型的整体约束信息将种群分为有效配置和无效配置,对有效配置和无效配置进行交叉等遗传操作使其加速向最优解收敛.实验结果说明了该方法的有效性. 刘玉梅 魏欧 黄鸣宇 王立松关键词:遗传算法