期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
问题框架方法的可靠性关注点及系统可靠性增强模式 被引量:3
1
作者 尹斌 金芝 李智 《计算机学报》 EI CSCD 北大核心 2013年第1期74-87,共14页
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程... 软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性. 展开更多
关键词 系统可靠性 问题框架方法 可靠性关注点 可靠性增强模式
在线阅读 下载PDF
网络安全及一种防火墙可靠性增强算法
2
作者 李康荣 丁照宇 +1 位作者 何建军 孙淑霞 《成都理工大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第3期314-317,共4页
根据计算机网络出现的安全问题 ,分析了现有的网络安全机制。并重点讨论了防火墙技术在网络安全控制中的应用。在此基础上提出了一种根据路由表记录情况决定数据安全性的防火墙可靠性增强算法。该算法采用记录 IP数据报路由和设置不安全... 根据计算机网络出现的安全问题 ,分析了现有的网络安全机制。并重点讨论了防火墙技术在网络安全控制中的应用。在此基础上提出了一种根据路由表记录情况决定数据安全性的防火墙可靠性增强算法。该算法采用记录 IP数据报路由和设置不安全 IP地址 ,通过地址比较的办法来确认数据报的接收与抛弃。同其他同类算法比较具有实现简单、自适应性强、安全可靠等特点。 展开更多
关键词 计算机网络 网络安全 防火墙 可靠性增强算法 安全机制 安全控制
在线阅读 下载PDF
采煤机技术发展历程(八)——可靠性技术 被引量:9
3
作者 葛世荣 《中国煤炭》 2021年第1期11-26,共16页
采煤机在煤矿恶劣环境中运行,其可靠性制约着采煤机高截割性、高智能性的发挥程度,对煤炭产量、成本甚至安全生产都有至关重要的影响,因此要从可靠性设计、可靠性增强、可靠性材料、可靠性运维4个方面提高采煤机产品可靠性。从国内外采... 采煤机在煤矿恶劣环境中运行,其可靠性制约着采煤机高截割性、高智能性的发挥程度,对煤炭产量、成本甚至安全生产都有至关重要的影响,因此要从可靠性设计、可靠性增强、可靠性材料、可靠性运维4个方面提高采煤机产品可靠性。从国内外采煤机研发经验来看,可靠性设计的重点是部件可靠性、摩擦可靠性、结构冗余性、环境适应性、功能模块化、安全保护装置的设计创新;可靠性增强的措施是结构可靠性、牵引可靠性、驱动可靠性、供电可靠性的改进创新;材料可靠性的关键是齿轮材料、行走轮材料、滑靴材料、截齿材料、摇臂材料、滚筒材料的选优配强;可靠性运维的质量在于过载保护技术、故障监测诊断、预测性维修的有效实施。从定量分析看,目前国产采煤机整机可靠度与国外同类产品还存在较大差距,以上4个方面的可靠性改进有助于我国采煤机可靠性快速提升。 展开更多
关键词 采煤机 发展历程 可靠性技术 可靠性设计 可靠性增强 可靠性材料 可靠性运维
在线阅读 下载PDF
高可靠8051微处理器的设计与实现 被引量:2
4
作者 赖鑫 戴葵 +1 位作者 刘芳 王志英 《计算机工程与科学》 CSCD 北大核心 2009年第1期117-120,共4页
本文介绍了一款高可靠8051(HR8051)的设计与实现。在一款现有高性能8051微处理器体系结构的基础上,针对单粒子翻转事件(SEU),应用各种可靠性增强技术,如时空三模冗余(ST-TMR)、控制流检测、安全状态机等,并对可靠性增强后的处理器进行... 本文介绍了一款高可靠8051(HR8051)的设计与实现。在一款现有高性能8051微处理器体系结构的基础上,针对单粒子翻转事件(SEU),应用各种可靠性增强技术,如时空三模冗余(ST-TMR)、控制流检测、安全状态机等,并对可靠性增强后的处理器进行故障注入,以验证其可靠性增强效果。故障注入结果表明,采用了可靠性增强技术后,处理器的可靠性有了很大的提高。 展开更多
关键词 可靠微处理器 时空三模冗余 可靠性增强技术 故障注入
在线阅读 下载PDF
Robust Smooth Time-varying Exponential Stabilization of Dynamic Nonholonomic Mobile Cart with Parameter Uncertainties 被引量:3
5
作者 马保离 《自动化学报》 EI CSCD 北大核心 2005年第2期314-319,共6页
For regulating the dynamic nonholonomic mobile cart with parameter uncertainties, a time-varying robust control law is derived to yield globally exponential convergence of cart's position and orientation to the de... For regulating the dynamic nonholonomic mobile cart with parameter uncertainties, a time-varying robust control law is derived to yield globally exponential convergence of cart's position and orientation to the desired set point. The controller design relies on converting the cart's dynamics to an advantageous form, and the robust linear feedback control laws steer the cart's position and orientation errors to zero exponentially. Simulation results show the effectiveness of the proposed control law. 展开更多
关键词 参数不确定 鲁棒镇定 移动小车 增强可靠性 平滑时变控制
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部