中央高校基本科研业务费专项资金(ZYGX2011J072)
- 作品数：5 被引量：10H指数：2
- 相关作者：陈伟耿技秦志光宋旭陈志慧更多>>
- 相关机构：电子科技大学中国测试技术研究院中国工程物理研究院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金四川省科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Event-B的形式化建模关键技术研究被引量：4
- 2014年
- 软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的早期需求分析阶段,采用Event-B形式化方法描述软件的需求,并验证模型的正确性。以文件系统建模为例,该文讨论了如何利用Event-B方法,采用逐步精化的方式建立并验证模型,确保软件的正确性。
- 吴劲陈志慧
- 关键词：形式化建模精化
- 基于分形曲面尺度斜率特征的弱小目标检测被引量：1
- 2015年
- 鉴于弱小目标检测所固有的难点及常用的检测方法不能准确、稳定地检测出目标,提出了运用分形曲面尺度斜率特征检测弱小目标的方法。通过实际数据分析可以得出:相比常用的分形维数和分形拟合误差等检测特征,分形曲面尺度斜率特征在表征人造目标与自然背景的差异上更加明显,在抗图像噪声干扰上也更为优异,有着更强的鲁棒性。该方法普遍适用于检测自然环境中的弱小目标,尤其在对空弱小目标方面,检测概率更高。无论背景、飞行姿态、目标类型发生怎样的变化,经本文算法运算后只需一步简易的分割就可以检测出微弱暗小目标。
- 张心心顾静良何山张凤荔
- 关键词：弱小目标
- 基于系统结构和运行环境的系统生存性模型被引量：2
- 2014年
- 软件系统安全问题日益严峻,软件生存性研究成为软件安全性研究的延伸和拓展,但是目前的生存性模型很多都不能提供一个可以指导实践的方法。该文研究系统结构和运行环境对系统生存性的影响,在服务的生存性模型中,考虑不同的环境对于服务生存性的影响,在进一步构架系统的生存性模型时,引入系统架构和服务之间的关系,以服务生存性为基础定义系统生存性。以该形式化的生存性模型为基础,结合系统运行环境给出了一个系统在提供的部分或全部服务失效时的恢复方案。
- 耿技宋旭陈伟秦志光
- 关键词：运行环境系统恢复系统结构系统生存性
- 基于马尔可夫的Web应用生存性模型被引量：1
- 2013年
- 针对现有生存性模型缺乏实践指导意义及不能刻画Web应用特性的问题,对Web应用的特点进行讨论,尤其是对原子Web应用和组合Web应用的区别及特点进行探讨,重点考虑了如何对组合Web应用中各原子Web应用之间的调用关系进行分析和建模;同时通过将环境引入到生存性的分析中,分别构建了原子Web应用的生存性模型和基于马尔可夫过程模型的组合Web应用生存性模型。根据建立的Web应用生存性模型,提出一个在Web应用处于不利环境中时,部分或全部服务失效情况下的恢复方案。最后通过已建立的模型对一个案例进行了分析,给出了其恢复过程,在恢复过程中保证了较好的生存性。
- 秦志光宋旭耿技陈伟
- 关键词：生存性运行环境
- 可靠的分布式系统生存性保障模型被引量：2
- 2012年
- 基于检查点的协同式回滚恢复机制是一种针对分布式系统生存性保障的有效机制,现有分布式系统中基于检查点的回滚恢复机制以分布式信道可靠作为假设前提,而实际应用场景中,该假设并不总是成立。针对分布式系统实际的应用环境,提出了适用于信道不可靠的分布式计算环境的协同式系统生存性保障模型。该模型在保留检查点回滚恢复机制优点的基础上,通过建立冗余通信链路和进程迁移来保障不可靠通信信道环境下分布式系统的生存性。
- 耿技陈非聂鹏陈伟秦志光
- 关键词：检查点分布式系统
