期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种安全性关键软件的评估模型 被引量:1
1
作者 姜梦霞 江国华 《计算机工程》 CAS CSCD 北大核心 2015年第10期130-138,143,共10页
安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键... 安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型。实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数。 展开更多
关键词 安全性关键软件 软件交互行为模型 交互模式依赖图 安全性评估模型 软件过程行为
下载PDF
б-sharpen immersed boundary method(б-SIBM)—New method for solving the horizontal pressure-gradient force(PGF) problem of б-coordinate 被引量:1
2
作者 HEI PengFei ZHOU Gang +2 位作者 JIA DongDong YE YunTao LEI Kun 《Science China Earth Sciences》 SCIE EI CAS 2014年第7期1681-1691,共11页
Although G-coordinate is one of the most popular methods used in marine and estuarine modeling, it has long suffered from the so-called "steep boundary problem", namely, the PGF problem. In this paper, a new method ... Although G-coordinate is one of the most popular methods used in marine and estuarine modeling, it has long suffered from the so-called "steep boundary problem", namely, the PGF problem. In this paper, a new method called the "σ-sharpen immersed boundary method" (σ-SIBM) is put forward. In this method, the virtual flat bottom boundary is creatively introduced in regions with the steep boundary and is taken as the boundary of numerical domain. By this, OH/Ox of numerical domain changes to be a controllable value and the steep bottom problem is then transformed to the non-conforming boundary problem, which is, in turn, solved by the SIBM. The accuracy and efficiency of the σ-sharpen immersed boundary method (σ-SIBM) has been showed by both comparative theoretical analysis and classical numerical tests. First, it is shown that the σ-SIBM is more effective than the z-level method, in that σ-SIBM needs special treatment only in the steep section, but the z-level method needs the special treatment in each grid note. Second, it is superior to the p-method in that it is not restricted by the density distribution. This paper revisits the classical seamount numerical test used in numerous studies to prove the sigma errors of the pressure gradient force (PGFE) and their long-term effects on circulation. It can be seen that, as for the maximum erroneous velocity and kinetic energy, the value of σ-SIBM is much less than that of the z-level method and the traditional σ-method. 展开更多
关键词 sharpen immersed boundary method (sibm) immersed boundary method (IBM) direct forcing method o-coordinate pressure gradient force (PGF)
原文传递
闪存控制器中BCH编解码器设计和验证 被引量:1
3
作者 殷民 易波 《通信技术》 2012年第2期6-9,共4页
工艺的进步和消费电子市场对高密度非易失性存储的需求,促使多层单元闪存代替单层单元闪存成为闪存市场的主流,但同时提出数据可靠性的需求。针对多层单元闪存中存在的多比特随机错误问题,闪存控制器中需要实现低功耗高带宽的BCH编解码... 工艺的进步和消费电子市场对高密度非易失性存储的需求,促使多层单元闪存代替单层单元闪存成为闪存市场的主流,但同时提出数据可靠性的需求。针对多层单元闪存中存在的多比特随机错误问题,闪存控制器中需要实现低功耗高带宽的BCH编解码器。设计采用8 bit的并行编解码,每1 024 Byte能纠正32 bit的随机错误。关键方程步骤采用简化伯利坎普-梅西算法,优化逻辑。功能仿真和FPGA原型验证证明设计的正确性。 展开更多
关键词 BCH 编解码器 简化伯利坎普-梅西算法
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部