1) computational soundness
计算可靠性
1.
Based on this conclusion,a formal system with computational soundness can be cons.
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。
2.
It establishes extended label symbolic model and extended computational model, proves the computational soundness of the extended label symbolic model, and realizes the extension of MV method.
针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。
2) Reliability Calculation
可靠性计算
1.
Through comparing and analyzing the technical economic indexes and reliability indexes obtained by production simulation and reliability calculation,the most economical and desirable expansion scheme of peaking units during planning period from all possible schemes,and the arrangement for peaking units expansion of practical p.
针对电力系统中日益突出的调峰问题,提出实用的调峰电源规划优化模型,通过由运行模拟和可靠性计算获得的各类技术经济指标和可靠性指标的比较分析,从拟定的方案中找出规划期内经济合理的调峰电源建设方案,确定系统中调峰电源的合理建设规模和装机进度,指导和安排实际电力系统调峰电源的合理建设。
2.
Through analyzing active states of system and calculating corresponding reliability,reliability calculation method is given for m/n parts which all submits the same exponential distribution.
通过分析系统的工作状态和对应的可靠度值,给出了相同条件下指数分布的m备n部件可靠性计算方法。
4) reliability evaluation
可靠性计算
1.
Taken the composite gengerationtransmission system as an example,this paper presents a practical method of power system reliability evaluation by the computer.
探索了利用计算机进行电力系统可靠性计算的实用方法。
5) grid calcuation reliability
网格计算可靠性
6) computer reliability
计算机可靠性
1.
Techniques of fault diagnosis are one of the measures of raising computer reliability.
故障诊断技术是提高计算机可靠性的措施之一,本文在研究检错和纠错编码理论的基础上,论述了用于计算机故障诊断的奇偶编码、纠一检二编码和纠字节错编码技术,并给出了总体逻辑设计框图。
补充资料：计算机可靠性技术
计算机可靠性技术
computer reliability technology
息冗余、时间冗余等。 (l)硬件冗余:分静态硬件冗余、动态硬件冗余和混合硬件冗余三种。①静态硬件冗余，又称屏蔽冗余。通过附加硬件的办法来屏蔽故障，如二取一(同一种功能由二个元件承担，如磁盘镜像和磁盘双工沁模三表决机构等‘②动态硬件冗余，也称自修复。它首先检测并确定故障所在的部位，然后用备份单元替换失效单元，有选择地修复故障。它要求系统有模块结构并附有故障检测和部件切换电路。③混合硬件冗余。混合使用静态和动态硬件冗余。 (2)软件冗余:用附加软件达到容错目的。如关键程序多处存储，在程序中附加一些测试程序等。 (3)信息冗余:指系统内增添的某些数据，这些冗余数据是为了提高可靠性所需要的。被广泛采用的纠错码就是信息冗余的一个典型例子。同一信息多处存储，为信息设置多个副本，可通过恢复或直接对正确副本的操作来保证系统的可靠运行。 (4)时间冗余:又称程序复执。当检测到瞬时故障后，回到故障之前的系统状态，再次启动。如磁盘读错允许多次读出。 信息保护指防止信息破坏、失密和偷窃。常用的有:采用编码技术，检测出错信息或纠正错误信息;采用加密技术，防止信息失密;在系统中规定访问权限，防止侵权访问和信息窃取等。 计算机场地技术是为保证计算机长期可靠运行对环境条件所采取的一系列技术(见计算机场地技术)o-}{s日。nl{认e认ao火{ngl{3h日计算机可靠性技术(eomputer reliability te-chnology)使计算机可靠运行的方法和措施。可靠性是指在规定的条件下，计算机系统在预期的时间内能正确运行的概率。计算机系统的可靠程度还与可用性、可维护性、安全性紧密相关。随着计算机应用范围日益扩大，尤其是联机实时控制广泛应用，对可靠性的要求十分严格。 可靠性技术包括研制高可靠性器件、可靠性设计、冗余技术、信息保护与保密、计算机场地技术等。 提高器件可靠性指研制高可靠性器件代替低可靠性器件。如利用大规模、超大规模集成电路替代中小规模集成电路。 可靠性设计根据系统寿命周期，在各设计阶段进行周密的可靠性分析，预先针对薄弱环节，采取非容错设计或容错设计。①非容错设计:在允许的成本范围内选择可靠性高的元件和连接装配技术及硬件模块的热插拔技术，采取抗外界干扰的屏蔽措施等。在设计中进行可靠性估算、分系统功能模拟仿真和测试、逻辑正确性验证及系统诊断测试等。②容错设计:允许系统有故障时还能正确运行的设计。③群集和对称多处理:群集技术是通过一台磁盘阵列机使两台计算机互为备份。正常时可分别承担不同的处理任务，一旦其中一台故障，另一台会立即将故障计算机的任务接替下来。对称多处理是在一台计算机内配置多个CPU，正常时多个CPU独立或协同工作，若某个CPU故障，仅会使系统整体处理能力下降，而不会造成系统瘫痪。 冗余技术在系统中附加构件或设备，以提高计算机系统可靠性的技术。包括硬件冗余、软件冗余、信
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条