Boolean difference techniques in fault tree analysis

For an electrical, mechanical, or hybrid system described diagramatically as a network of interconnected components, fault tree modeling of system reliability as a function of individual component failure probabilities gives rise to logic expressions obtained from the network connections. Application of the method of Boolean differences in the analysis of such Boolean expressions is discussed, and it is shown that the influence of the status of specific components on the reliability of the total system may be investigated by straightforward algebraic operations on the network failure function.     

三阶段可任意划分负载应用的多次数据分配

为了进一步提高数据并行应用在星型网络上的运行性能,基于多次数据分配策略提出了一种调度算法.在该算法中一个处理器将输入数据和计算结果分成多次接收和发送,在计算的同时接收下一阶段的输入数据和发送上一阶段的计算结果,使得计算和通信更好地进行重叠而最终降低了整个应用的响应时间.分析了系统各参数对算法的不同影响,实验表明:与广泛采用的LIFO和FIFO算法相比,本文提出的算法可以使用更少的资源而获得更好的调度质量.     

匹配追踪消噪在故障诊断中的应用

为了更有效地消除齿轮泵振动信号的噪声,引入匹配追踪消噪方法。该方法采用匹配追踪算法,通过迭代提取信号的相关结构,再利用提取的相关结构来估计信号的逼近,从而达到消噪的目的。在此基础上,采用中值滤波和线性回归算法来终止迭代过程。最后利用该方法对齿轮泵壳体的振动信号进行消噪处理。结果表明,该方法保留了信号的基本特征,有效地消除了大量的噪声。     

应用于供应链的区块链PBFT共识算法优化

目前,区块链在供应链领域中的应用越来越受到业界的广泛关注.但由于供应链中存在大量复杂性的事务,这给可信的主节点选取工作带来了挑战.因此,在机器学习分类算法与PBFT (practical Byzantine fault tolerance)共识算法的基础上,提出一种应用于供应链的区块链PBFT共识算法优化方法.对构建供应链与区块链的集成框架进行分析,根据供应链中参与共识的节点属性特征,运用K-近邻(K-nearest neighbors)来优化PBFT共识算法的主节点选取规则.实验结果表明,对共识节点进行信任评估分类可以较好地解决因视图切换所引发的效率问题,从而提升区块链的吞吐量、时延、容错性等共识性能,具有一定的实用性,也给区块链在其他行业的应用提供了思路．     

基于日志副本的Raft共识算法优化

在基于三副本策略的分布式存储系统中, 当存储节点上的硬盘出现故障时, 常见的处理方式是等待系统预设的时间. 如果该故障硬盘超时未恢复, 才开始恢复故障硬盘上的副本. 这种处理方式存在的问题是, 当三副本组中存在故障副本时, 如果该副本组再有一个副本所在的硬盘发生故障, 将导致系统无法继续提供服务, 且不能自动恢复. 本文提出一种基于日志副本的改进的Raft共识算法, 即LR-Raft (log replica based Raft), 日志副本没有完整状态机, 可以快速加入集群, 并参与投票与共识, 提升了存在故障硬盘时系统的可用性; 可以解决短时间内三副本中两个副本故障导致集群不可用和丢失数据的问题. 实验结果表明, 在副本组中引入日志副本后, 与原Raft相比, LR-Raft在不同的工作负载下读写时延均明显降低, 吞吐量显著提升.     

基于白鲸优化算法的配电网故障恢复方法

提出了一种基于白鲸优化（BWO）算法的配电网故障恢复方法。首先,建立光储、风储系统模型以及负荷模型,以故障后重要负荷损失量最小为目标函数,进行配电网的初步孤岛划分。其次,以网络损耗和开关操作次数加权求和最小为目标,采用BWO算法求解,获取孤岛划分与开关操作配合的故障恢复结果。然后,通过3种场景对比,验证了所提方法能够在不同故障时段获得配电网故障恢复的最优结果。最后,将BWO算法与二进制粒子群优化算法、灰狼优化算法的运行结果进行对比,验证了BWO算法寻优效果更好。     

基于发送缓存的VideoStream调度算法研究及其FPGA实现

研究了 CDMA2000 1x EVDO 系统一种支持 VideoStream 业务的调度算法及 FPGA 实现;通过大量研究和设计,得到一种能保证性能和速度,叉适合硬件实现的调度算法。综合时选用 Altera 公司的 StratixⅡ系列 EP2S60F484C4芯片,并通过功能仿真验证了硬件实现的可行性和正确性。     

A simulated annealing algorithm for multi-agent systems: a job-shop scheduling application

In this paper, a parallel implementation of the modular simulated annealing algorithm for classical job-shop scheduling is presented. The implementation is for a multi agent system running on the distributed resource machine, which is a novel, scalable, distributed virtual machine based on Java technology. The problems tackled are well known, difficult benchmarks, widely used to measure the efficiency of metaheuristics with respect to both the quality of the solutions and the central processing unit time. The empirical results obtained show that the method proposed is successful in comparison with a sequential version of modular simulated annealing algorithm and other methods described in the literature.     

基于遗传算法的动态资源调度问题研究

建立了无人作战飞机任务规划问题的数学模型，提出了分层递阶的任务规划系统结构．针对任务规划的核心资源调度问题，设计了基于遗传算法的动态资源调度算法，有效地解决了多无人作战飞机的资源调度问题，计算结果表明了算法的有效性．     

Finite‐time attitude‐tracking control for rigid spacecraft with actuator failures and saturation constraints

In this article, the problem of finite‐time attitude‐tracking control for rigid spacecraft is addressed. Uncertainties caused by external disturbances, unknown inertial matrix, actuator failures, and saturation constraints are tackled simultaneously. First, a smooth function that is more qualified to approximate the standard saturation characteristics is presented to deal with the actuator saturation constraints. Second, a fast nonsingular terminal sliding mode (FNTSM) manifold is constructed as a foundation of controllers design. By incorporating the fuzzy logic system into FNTSM technique, a less demanding solution of coping with model uncertainties is provided because the requirement of a prior knowledge of unknown inertial parameters and external disturbances in many existing achievements is removed. To reduce the number of parameters to be estimated, the norm approximation approach is exploited. Subsequently, an antichattering attitude controller is presented such that all the tracking errors converge into arbitrary small domains around the origin in finite time. The result is further extended to obtain a fault‐tolerant controller against completely failed actuators. Finally, numerical simulation is conducted to verify the effectiveness of the proposed control scheme and comparison with relevant literature demonstrates its high performance. Furthermore, an experiment for the large satellite Hubble Space Telescope is carried out to validate the practical feasibility.