全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    基于本体的软件安全性需求建模和验证  CNKI文献

    由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据&q...

    李震 刘斌... 《北京航空航天大学学报》 2012年11期 期刊

    关键词: 软件安全性 / 本体 / 形式化验证

    下载(415)| 被引(14)

    基于灰色系统理论的软件可靠性综合评价框架  CNKI文献

    从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相...

    李海峰 陆民燕... 《北京航空航天大学学报》 2008年11期 期刊

    关键词: 软件工程 / 灰色系统理论 / 综合评价 / 可靠性理论

    下载(551)| 被引(16)

    基于Petri网模型检验的安全关键软件需求验证  CNKI文献

    需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变...

    李震 刘斌... 《系统工程与电子技术》 2011年02期 期刊

    关键词: 软件工程 / Petri网 / 模型检验 / 安全关键软件

    下载(309)| 被引(8)

    基于扩展Petri网的除冰软件安全需求建模和验证  CNKI文献

    Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入...

    李震 刘斌... 《北京航空航天大学学报》 2012年01期 期刊

    关键词: 软件安全性 / 软件工程 / Petri网 / 模型检验

    下载(178)| 被引(8)

    基于扩展Petri网的安全关键软件需求模型检验  CNKI文献

    Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条...

    李震 刘斌... 《沈阳工业大学学报》 2011年01期 期刊

    关键词: 武器系统 / 安全关键软件 / 软件可靠性 / 软件安全性

    下载(205)| 被引(7)

    能量输入对微区熔凝铜钢双金属组织和性能的影响  CNKI文献

    采用微区熔凝在钢基板上熔覆锡青铜得到了铜钢双金属材料.应用ANSYS软件研究了微区熔凝过程的基体温度变化和试样不同区域冷却速度变化.应用光学显微镜(OM)、X射线衍射仪(XRD)、电子探针(EPMA)及显微硬度计等手段研究...

    李震 齐亚航... 《焊接学报》 2019年02期 期刊

    关键词: 锡青铜 / 热量积累 / 微区熔凝 / 微观组织

    下载(45)| 被引(0)

    微区熔覆锡青铜凝固组织与热流密度的关系  CNKI文献

    金属表面熔覆处理是改善其耐磨性的有效手段,但熔覆过程温度变化较快,不易于直接测量。基于ANSYS模拟计算获得熔覆层温度变化,并进行组织分析,构建工艺-温度-与组织性能之间的关系规律。利用氩弧作为热源在铜基体上微...

    齐亚航 李震... 《中国有色金属学报》 2019年06期 期刊

    关键词: 微区熔覆 / 凝固组织 / 有限元模拟 / 热流密度

    下载(21)| 被引(0)

    基于划分软件安全Petri网的需求形式化验证  CNKI文献

    为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设...

    李震 刘斌... 《系统工程与电子技术》 2012年09期 期刊

    关键词: 软件工程 / 软件安全性 / Petri网 / 形式化验证

    下载(140)| 被引(1)

    基于改进Petri网的可信软件模型验证和测试研究  CNKI文献

    软件被广泛应用到安全关键领域,这对软件可信性的验证和测试提出了严苛的要求.形式化方法以其严格的数学基础保证软件系统的正确构建.Petri网利用库所和变迁支持异步、并发、分布式系统建模,但是缺少对库所和变迁类型...

    李震 刘斌... 《计算机研究与发展》 2010年S1期 期刊

    关键词: 可信软件 / Petri网 / 验证 / 软件测试

    下载(156)| 被引(1)

    基于Object-FMA的软件代码审查方法  CNKI文献

    针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失...

    黄百乔 张虹... 《北京航空航天大学学报》 2010年12期 期刊

    关键词: 失效模式 / 代码错误 / 审查

    下载(111)| 被引(2)

    企业需求模型的形式化验证  CNKI文献

    企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引...

    苗虹 李震... 《江苏科技大学学报(自然科学版)》 2008年05期 期刊

    关键词: 企业建模 / 本体 / 模型能力 / 形式化

    下载(115)| 被引(2)

    基于改进Petri网的可信软件模型验证和测试研究  CNKI文献

    软件被广泛应用到安全关键领域,这对软件可信性的验证和测试提出了严苛的要求.形式化方法以其严格的数学基础保证软件系统的正确构建.Petri网利用库所和变迁支持异步、并发、分布式系统建模,但是缺少对库所和变迁类型...

    李震 刘斌... 第六届中国测试学术会议论文集 2010-07-24 中国会议

    关键词: 可信软件 / Petri网 / 验证 / 软件测试

    下载(100)| 被引(0)

    串行D/A转换器与单片机的接口设计  CNKI文献

    简述串行D/AMAX5 2 1的工作原理 ,介绍它的工作时序及其与单片机的连接方法和部分程序。

    范昌波 申文达... 《仪表技术》 2004年04期 期刊

    关键词: 串行D/A / I2C总线 / 单片机

    下载(153)| 被引(2)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状