搜索结果: 61-75 共查到“计算机可靠性理论”相关记录123条 . 查询时间(3.221 秒)
软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段，但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量，从而加快可靠性测试进程，并解决其在实际中不能应用的弊端。通过实践的尝试，希望架起软件可靠性理论研究与工程实践之间的桥梁，以推动软件可靠性工程活动在工程实际中的...
针对基于微聚集技术的匿名数据，提出了一个质量评估模型，该模型从匿名数据的可用性、安全性以及两者的权衡三个角度来评估匿名数据的综合质量。实验结果表明，所提出的模型可以有效地评估基于微聚集的匿名数据的质量。
SNS中结合声誉与主观逻辑的信任网络分析
社会性网络服务 声誉 主观逻辑 信任网络
2010/8/26
提出一种结合声誉与主观逻辑的信任网络分析方法，结合声誉与朋友间的信任关系来获得信任值。由于推荐来自信任的朋友也基于普遍的社会声誉，信任计算的结果更能反映真实情况。仿真实验及分析表明，该方法具有较高的效率和准确度。
飞机操纵面故障的模糊差分进化识别方法
故障识别 模糊差分进化 聚类 飞机操纵面
2010/8/26
为提高飞机操纵面故障诊断的准确性，提出了一种模糊差分进化故障识别方法以进行飞机操纵面故障诊断。以高维大样本数据为研究对象，基于常规的模糊聚类方法，采用差分进化算法对聚类中心值进行编码，从而提高算法的全局寻优精度和稳定性。以某飞机操纵面常见故障为例进行了仿真验证，仿真结果表明该方法能有效识别出操纵面故障，并且算法简单、稳定可靠。
基于AGORA扩展模型的可信需求评价选择方法
软件需求 可信属性 目标视图
2010/8/26
需求分析设计过程中如何进行正确的需求选择是可信需求设计的一个重要研究内容，在分析研究了现有目标视图需求分析方法的优缺点后，对AGORA目标视图模型进行了扩展，提出了一种基于开发成本以及正确性、一致性、可变性等多可信属性的需求方案综合满意度评价选择方法。该方法解决了需求分析设计过程中的需求选择评价问题，并通过了一个分析案例表明了其实用性和可操作性。
现有基于QoS的服务组合方法通常假定QoS数据可信，然而这种假设很难保证，虚假的服务对于服务组合实现的影响常常是致命的。针对该问题，提出一种考虑QoS可信的服务组合方法。分析了QoS来源，建立了相应的系统结构，划分了信任级别，根据社会交往方式量化了直接经验和间接经验在可信判断中的作用，并以此构建QoS的计算模型，设计了相应的算法。最后，通过仿真实验，将考虑可信的服务组合方法与未考虑可信的传统组合方...
基于层次体系结构的嵌入式监控系统研究
嵌入式监控 层次结构 带队列自动重复请求协议 正则表达式 EMMP
2010/8/26
根据单采血浆机的触摸操作要求，满足开发周期短及高可靠性要求，提出了基于串口的嵌入式监控层次结构、带队列的自动重复请求协议（ARQQonCOM协议）、基于正则表达式的帧校验法、嵌入式监控交互协议EMMP。综合运用这些技术，完成了基于ARM及89C51的触摸式单采血浆机智能系统的开发研制。 实际应用表明系统符合设计要求，其整体性能在质的方面得到了提升,在行业中取得了技术领先地位。
面向QoS保障的虚拟可信服务
可信计算 QoS保障 虚拟可信服务
2010/8/26
针对服务计算模型中对应用的可信特性支持不足问题，提出面向QoS保障的虚拟可信服务VTS，并依据VTS设计了一种基于反馈控制的自适应QoS保障机制。首先将VTS的QoS保障转换为反馈控制问题，给出一种自适应QoS保障框架，再在此框架下对VTS的QoS维护过程和策略进行建模，设计和实现了相应的动态组建、调节算法和实时评估策略。最后通过仿真实验的结果分析表明，该保障机制能够有效地增强VTS对服务实体运行...
一种缩短共享存储访问时延的优化仲裁技术
多处理器片上系统 优先级仲裁 内存访问 时延隐藏
2010/8/27
提出一种提高访问性能的优先级仲裁策略，按照不同类型的内存访问优先级进行分层仲裁，并通过隐藏bank预充电时延提高了内存访问效率。本方法应用于网络处理器（XD-NP）的可配置SDRAM控制器的设计中，并在FPGA平台上进行了验证，结果表明，采用延时隐藏策略的SDRAM控制器性能提升最大可达40%以上，改善明显。
基于中值和小波变换的α稳定分布噪声滤波方法
α稳定分布 中值滤波 小波变换
2010/8/30
针对信号中厚尾噪声的抑制问题，提出基于中值和小波变换的滤波方法。研究了α稳定分布信号的特性，利用中值滤波有效地抑制噪声中幅度异常的强脉冲信号，然后对结果利用小波阈值方法进行消噪。实验对α稳定分布噪声进行模型描述，分别采用高斯模型分析方法和中值滤波结合工程算法对采样信号进行时频变换。系列图谱对比结果表明，在不同冲击性α稳定分布噪声环境下，采用高斯模型分析结果出现退化，而采用中值滤波结合小波变换的滤波...
为保障跨域访问过程中的信息网络安全，在深入分析其所面临安全风险的基础上，提出了一种跨域访问控制与边界防御模型，该模型将跨域访问过程划分为域内和跨域两个阶段，同时结合相关安全技术进行策略决策和策略实施，保障了信息传输的保密性、完整性和可用性，从而有效地解决了跨域访问过程中的访问控制和边界防御问题。
目前，国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件，而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此，针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较，并从标准层面上对这三种方案的实施方法与技术细节进行改进，从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。
生物特征识别具有稳定、可靠、不易伪造等优点，已广泛应用于个人身份识别中，随着对家畜疾病防疫和可追溯的需求，利用生物特征识别技术对家畜个体进行识别已成为一种趋势。综述了目前主流的几种生物特征识别技术，比较了不同技术的优缺点，分析了鼻纹识别、视网膜识别、虹膜识别三种技术在大型家畜个体识别中的应用，总结了生物特征识别技术在大型家畜个体识别中应用的趋势。
用改进的OBDD方法计算通信网可靠度
通信网 网络可靠度 共因失效 有序二叉判定图
2010/8/30
提出一种改进的OBDD（ordered binary decision diagram）方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障，使得计算更加准确。在创建原始网络的OBDD结构后，根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结构，可节省大量的计算时间和存储空间。实验证明,该方法能有效计算网络可靠度，其计算时间和存储空间要低于一般的OBDD方法。