Human mobility synthesis using matrix and tensor factorizations

Human mobility prediction is of great advantage in route planning and schedule management. However, mobility data is a high-dimensional dataset in which multi-context prediction is difficult in a single model. Mobility data can usually be expressed as a home event, a work event, a shopping event and a traveling event. Previous works have only been able to learn and predict one type of mobility event and then integrate them. As the tensor model has a strong ability to describe high-dimensional information, we propose an algorithm to predict human mobility in tensors of location context data. Using the tensor decomposition method, we extract human mobility patterns with multiple expressions and then synthesize the future mobility event based on mobility patterns. The experiment is based on real-world location data and the results show that the tensor decomposition method has the highest accuracy in terms of prediction error among the three methods. The results also prove the feasibility of our multi-context prediction model.     

基于关键路径延时检测的自适应电压缩减技术

为了减小传统的最差情况设计方法引入的电压裕量,提出了一种变化可知的自适应电压缩减(AVS)技术,通过调整电源电压来降低电路功耗.自适应电压缩减技术基于检测关键路径的延时变化,基于此设计了一款预错误原位延时检测电路,可以检测关键路径延时并输出预错误信号,进而控制单元可根据反馈回的预错误信号的个数调整系统电压.本芯片采用SMIC180 nm工艺设计验证,仿真分析表明,采用自适应电压缩减技术后,4个目标验证电路分别节省功耗12.4％,11.3％,10.4％和11.6％.     

Supply chain planning and scheduling integration using Lagrangian decomposition in a knowledge management environment

The integration of planning and scheduling decisions in rigorous mathematical models usually results in large scale problems. In order to tackle the problem complexity, decomposition techniques based on duality and information flows between a master and a set of subproblems are widely applied. In this sense, ontologies improve information sharing and communication in enterprises and can even represent holistic mathematical models facilitating the use of analytic tools and providing higher flexibility for model building. In this work, we exploit this ontologies’ capability to address the optimal integration of planning and scheduling using a Lagrangian decomposition approach. Scheduling/planning sub-problems are created for each facility/supply chain entity and their dual solution information is shared by means of the ontological framework. Two case studies based on a STN representation of supply chain planning and scheduling models are presented to emphasize the advantages and limitations of the proposed approach.     

Benchmark value determination of energy efficiency indexes for coal-fired power units based on data mining methods

The operational optimisation of coal-fired power units is important for saving energy and reducing losses in the electric power industry. One of the key issues is how to determine the benchmark values of the energy efficiency indexes of the units. Therefore, a new framework for determining these benchmark values is proposed, based on data mining methods. First, the energy efficiency key performance indicators (KPIs) associated with the net coal consumption rate (NCCR) were selected based on the domain knowledge. Second, the decision-making samples with minimal NCCR were acquired with the fuzzy C-means (FCM) clustering algorithm, and the corresponding clustering centres were employed as the benchmark values. Finally, based on the support vector regression (SVR) algorithm, the target values of the NCCR were obtained with the KPIs as input, and the energy saving potential was evaluated by comparing the target values with the historical values of the NCCR. An actual on-duty 1000 MW unit was taken as study unit, and the results show that the energy saving potential is remarkable when the operators adjust the KPIs based on the calculated benchmark values.     

Three-phase four-wire shunt active power filter based on the SOGI filter and Lyapunov function for DC bus control

The three-phase four-wire shunt active power filter (SAPF) was developed to suppress the harmonic currents generated by nonlinear loads, and for the compensation of unbalanced nonlinear load currents, reactive power, and the harmonic neutral current. In this work, we consider instantaneous reactive power theory (PQ theory) for reference current identification based on the following two algorithms: the classic low-pass filter (LPF) and the second-order generalized integrator (SOGI) filter. Furthermore, since an important process in SAPF control is the regulation of the DC bus voltage at the capacitor, a new controller based on the Lyapunov function is also proposed. A complete simulation of the resultant active filtering system confirms its validity, which uses the SOGI filter to extract the reference currents from the distorted line currents, compared with the traditional PQ theory based on LPF. In addition, the simulation performed also demonstrates the superiority of the proposed approach, for DC bus voltage control based on the Lyapunov function, compared with the traditional proportional-integral (PI) controller. Both novel approaches contribute towards an improvement in the overall performance of the system, which consists of a small rise and settling time, a very low or nonexistent overshoot, and the minimization of the total harmonic distortion (THD).     

Using electroencephalogram to continuously discriminate feelings of personal thermal comfort between uncomfortably hot and comfortable environments

Thermal comfort is an important factor for the design of buildings. Although it has been well recognized that many physiological parameters are linked to the state of thermal comfort or discomfort of humans, how to use physiological signal to judge the state of thermal comfort has not been well studied. In this paper, the feasibility of continuously determining feelings of personal thermal comfort was discussed by using electroencephalogram (EEG) signals in private space. In the study, 22 subjects were exposed to thermally comfortable and uncomfortably hot environments, and their EEG signals were recorded. Spectral power features of the EEG signals were extracted, and an ensemble learning method using linear discriminant analysis or support vector machine as a sub-classifier was used to build the discriminant model. The results show that an average discriminate accuracy of 87.9% can be obtained within a detection window of 60 seconds. This study indicates that it is feasible to distinguish whether a person feels comfortable or too hot in their private space by multi-channel EEG signals without interruption and suggests possibility for further applications in neuroergonomics.     

Design of Feedback Shift Register of Against Power Analysis Attack

Stream ciphers based on linear feedback shift register (LFSR) are suitable for constrained environments, such as satellite communications, radio frequency identification devices tag, sensor networks and Internet of Things, due to its simple hardware structures, high speed encryption and lower power consumption. LFSR, as a cryptographic primitive, has been used to generate a maximum period sequence. Because the switching of the status bits is regular, the power consumption of the LFSR is correlated in a linear way. As a result, the power consumption characteristics of stream cipher based on LFSR are vulnerable to leaking initialization vectors under the power attacks. In this paper, a new design of LFSR against power attacks is proposed. The power consumption characteristics of LFSR can be masked by using an additional LFSR and confused by adding a new filter Boolean function and a flip-flop. The design method has been implemented easily by circuits in this new design in comparison with the others.     

Stabilizing temperature-capacitance dependence of (Sr,Pb, Bi)TiO3-Bi4Ti3O12 solutions for energy storage

(1-x)Sr_0.7Pb_0.15Bi_0.1TiO₃-xBi₄Ti₃O₁₂ ((1-x)SPBT-xBIT, x = 0-0.125) bulk ceramics were developed and calcined via the solid-state method, aimed at the application of pulsed power capacitors. The phase structures, temperature stability, hysteresis loop, and discharge properties were systematically investigated. Considering both the temperature stability and dielectric properties, 0.925SPBT-0.075BIT bulk ceramics with a capacitance variation satisfying the X7R specification were developed for pulsed power capacitors. The energy storage density was 0.252 J/cm³, and the ceramics showed high temperature stability at 80 kV/cm. The discharge current waveforms of the 0.925SPBT-0.075BIT ceramics were recorded. A high discharge power density of approximately 1.01 × 10⁸ W/kg with an 8 Ω load resistor and short discharge period of 84 ns were achieved at 50 kV/cm. The good temperature stability properties and high power density show that the 0.925SPBT-0.075BIT ceramics are well suited for pulsed power capacitors with a wide temperature range.     

Artificial bee colony based algorithm for maximum power point tracking (MPPT) for PV systems operating under partial shaded conditions

Artificial bee colony (ABC) algorithm has several characteristics that make it more attractive than other bio-inspired methods. Particularly, it is simple, it uses fewer control parameters and its convergence is independent of the initial conditions. In this paper, a novel artificial bee colony based maximum power point tracking algorithm (MPPT) is proposed. The developed algorithm, does not allow only overcoming the common drawback of the conventional MPPT methods, but it gives a simple and a robust MPPT scheme. A co-simulation methodology, combining Matlab/Simulink™ and Cadence/Pspice™, is used to verify the effectiveness of the proposed method and compare its performance, under dynamic weather conditions, with that of the Particle Swarm Optimization (PSO) based MPPT algorithm. Moreover, a laboratory setup has been realized and used to experimentally validate the proposed ABC-based MPPT algorithm. Simulation and experimental results have shown the satisfactory performance of the proposed approach.     

Study on maximum power point tracking of photovoltaic array in irregular shadow

Traditional maximum power point tracking (MPPT) methods can hardly find global maximum power point (MPP) because output characteristics curve of photovoltaic (PV) array may have multi local maximum power points in irregular shadow, and thus easily fall into the local maximum power point. To address this drawback, Considering that sliding mode variable structure (SMVS) control strategy have such advantages as simple structure, fast response and strong robustness, and P&O method have the advantages of simple principle and convenient implementation, so a new algorithm combining SMVS control method and P&O method is proposed, besides, PI controller is applied to reduce system chattering caused by switching sliding surface. It is applied to MPPT control of PV array in irregular shadow to solve the problem of multi-peak optimization in partial shadow. In order to verity the rationality of the proposed algorithm, the experimental circuit is built, which achieves MPPT control by means of the proposed algorithm and P&O method. The experimental results show that compared with the traditional P&O algorithm, the proposed algorithm can fast track the global MPP, tracking speed increases by 60% and the relative error decreased by 20%. Moreover, the system becomes more stable near the MPP, the fluctuations of output power is greatly reduced, and thus make full use of solar energy.