Search

Recognizing actions from still images has been popularly studied recently. In this paper, we model an action class as a flexible number of spatial configurations of body parts by proposing a new spatial sum–product network (SPN). First, we discover a set of parts in image collections via unsupervised learning. Then, our new spatial SPN is applied to model the spatial relationship and also the high-order correlations of parts. To learn robust networks, we further develop a hierarchical spatial SPN method, which models pairwise spatial relationship between parts inside subimages and models the correlation of subimages via extra layers of SPN. Our method is shown to be effective on two benchmark data sets. [ABSTRACT FROM PUBLISHER]

Chemical mechanical polishing/planarization (CMP) combines physical grinding and chemical reactions to planarize the wafer surface. The complex mechanism of CMP brings great challenges to the mechanism-based modeling process. The data-driven CMP modeling process is limited by insufficient datasets. At the same time, these two types of models generally have high computational complexity. In this paper, we introduce the group method of data handling (GMDH)-type polynomial network to build the CMP model to address the above challenges. We designed and manufactured the test chip using a 28nm process. The measurement data from the test chip shows that compared with the mechanism-based CMP model, the trained CMP model based on GMDH-type polynomial network has higher accuracy and lower computational complexity, with the average simulation speed being 115x faster. Experiments based on silicon data show that this modeling method has a small demand for data, and 20 randomly selected sets of data can meet the needs for modeling the current CMP process. [ABSTRACT FROM AUTHOR]

This paper presents a comprehensive review of natural fiber-reinforced composites (NFRCs) for lower-limb prosthetic designs. It covers the characteristics, types, and properties of natural fiber-reinforced composites as well as their advantages and drawbacks in prosthetic designs. This review also discusses successful prosthetic designs that incorporate NFRCs and the factors that make them effective. Additionally, this study explores the use of computational biomechanical models to evaluate the effectiveness of prosthetic devices and the key factors that are considered. Overall, this document provides a valuable resource for anyone interested in using NFRCs for lower-limb prosthetic designs. [ABSTRACT FROM AUTHOR]

Binary neural networks (BNNs) are variations of artificial/deep neural network (ANN/DNN) architectures that constrain the real values of weights to the binary set of numbers {−1,1}. By using binary values, BNNs can convert matrix multiplications into bitwise operations, which accelerates both training and inference and reduces hardware complexity and model sizes for implementation. Compared to traditional deep learning architectures, BNNs are a good choice for implementation in resource-constrained devices like FPGAs and ASICs. However, BNNs have the disadvantage of reduced performance and accuracy because of the tradeoff due to binarization. Over the years, this has attracted the attention of the research community to overcome the performance gap of BNNs, and several architectures have been proposed. In this paper, we provide a comprehensive review of BNNs for implementation in FPGA hardware. The survey covers different aspects, such as BNN architectures and variants, design and tool flows for FPGAs, and various applications for BNNs. The final part of the paper gives some benchmark works and design tools for implementing BNNs in FPGAs based on established datasets used by the research community. [ABSTRACT FROM AUTHOR]

Effectively evaluating the perceptual quality of dehazed images remains an under-explored research issue. In this paper, we propose a no-reference complex-valued convolutional neural network (CV-CNN) model to conduct automatic dehazed image quality evaluation. Specifically, a novel CV-CNN is employed that exploits the advantages of complex-valued representations, achieving better generalization capability on perceptual feature learning than real-valued ones. To learn more discriminative features to analyze the perceptual quality of dehazed images, we design a dual-stream CV-CNN architecture. The dual-stream model comprises a distortion-sensitive stream that operates on the dehazed RGB image, and a haze-aware stream on a novel dark channel difference image. The distortion-sensitive stream accounts for perceptual distortion artifacts, while the haze-aware stream addresses the possible presence of residual haze. Experimental results on three publicly available dehazed image quality assessment (DQA) databases demonstrate the effectiveness and generalization of our proposed CV-CNN DQA model as compared to state-of-the-art no-reference image quality assessment algorithms. [ABSTRACT FROM AUTHOR]

Most researchers focus on designing accurate crowd counting models with heavy parameters and computations but ignore the resource burden during the model deployment. A real-world scenario demands an efficient counting model with low-latency and high-performance. Knowledge distillation provides an elegant way to transfer knowledge from a complicated teacher model to a compact student model while maintaining accuracy. However, the student model receives the wrong guidance with the supervision of the teacher model due to the inaccurate information understood by the teacher in some cases. In this paper, we propose a dual-knowledge distillation (DKD) framework, which aims to reduce the side effects of the teacher model and transfer hierarchical knowledge to obtain a more efficient counting model. First, the student model is initialized with global information transferred by the teacher model via adaptive perspectives. Then, the self-knowledge distillation forces the student model to learn the knowledge by itself, based on intermediate feature maps and target map. Specifically, the optimal transport distance is utilized to measure the difference of feature maps between the teacher and the student to perform the distribution alignment of the counting area. Extensive experiments are conducted on four challenging datasets, demonstrating the superiority of DKD. When there are only approximately 6% of the parameters and computations from the original models, the student model achieves a faster and more accurate counting performance as the teacher model even surpasses it. [ABSTRACT FROM AUTHOR]

This paper studies the fusogenicity of cationic liposomes in relation to their surface distribution of cationic lipids and utilizes membrane phase separation to control this surface distribution. It is found that concentrating the cationic lipids into small surface patches on liposomes, through phase-separation, can enhance liposome's fusogenicity. Further concentrating these lipids into smaller patches on the surface of liposomes led to an increased level of fusogenicity. These experimental findings are supported by numerical simulations using a mathematical model for phase-separated charged liposomes. Findings of this study may be used for design and development of highly fusogenic liposomes with minimal level of toxicity. [ABSTRACT FROM AUTHOR]

Cycle time, which is of order of ten weeks for most products in semiconductor wafer fabrication facilities (wafer fabs), must be explicitly considered in production planning models. Cycle times depend nonlinearly on the resource workload in a wafer fab. Different data-driven (DD) production planning formulations are studied in this paper. Such formulations are based on a set of system states representing the congestion behavior of a wafer fab with work in process (WIP) and resulting output levels. Different WIP-output relations in the DD formulations are investigated. In addition, different methods are proposed to gather representative sets of system states. The DD formulations are compared with the Allocated Clearing Function (ACF) formulation with respect to profit and cost values using simulation models of a scaled-down and a large-sized multi-product wafer fab, respectively. The simulation results show that some DD variants are able to outperform the ACF formulation under several experimental conditions. [ABSTRACT FROM AUTHOR]

Fighting against the pandemic diseases with unique characters requires new sophisticated approaches like the artificial intelligence. This paper develops an artificial intelligence algorithm to produce multi-dimensional policies for controlling and minimizing the pandemic casualties under the limited pharmacological resources. In this respect, a comprehensive parametric model with a priority and age-specific vaccination policy and a variety of non-pharmacological policies are introduced. This parametric model is utilized for constructing an artificial intelligence algorithm by following the exact analogy of the model-based solution. Also, this parametric model is manipulated by the artificial intelligence algorithm to seek for the best multi-dimensional non-pharmacological policies that minimize the future pandemic casualties as desired. The role of the pharmacological and non-pharmacological policies on the uncertain future casualties are extensively addressed on the real data. It is shown that the developed artificial intelligence algorithm is able to produce efficient policies which satisfy the particular optimization targets such as focusing on minimization of the death casualties more than the infected casualties or considering the curfews on the people age over 65 rather than the other non-pharmacological policies. The paper finally analyses a variety of the mutant virus cases and the corresponding non-pharmacological policies aiming to reduce the morbidity and mortality rates. [ABSTRACT FROM AUTHOR]

Fighting against the pandemic diseases with unique characters requires new sophisticated approaches like the artificial intelligence. This paper develops an artificial intelligence algorithm to produce multi-dimensional policies for controlling and minimizing the pandemic casualties under the limited pharmacological resources. In this respect, a comprehensive parametric model with a priority and age-specific vaccination policy and a variety of non-pharmacological policies are introduced. This parametric model is utilized for constructing an artificial intelligence algorithm by following the exact analogy of the model-based solution. Also, this parametric model is manipulated by the artificial intelligence algorithm to seek for the best multi-dimensional non-pharmacological policies that minimize the future pandemic casualties as desired. The role of the pharmacological and non-pharmacological policies on the uncertain future casualties are extensively addressed on the real data. It is shown that the developed artificial intelligence algorithm is able to produce efficient policies which satisfy the particular optimization targets such as focusing on minimization of the death casualties more than the infected casualties or considering the curfews on the people age over 65 rather than the other non-pharmacological policies. The paper finally analyses a variety of the mutant virus cases and the corresponding non-pharmacological policies aiming to reduce the morbidity and mortality rates. [ABSTRACT FROM AUTHOR]

Multi-Task Learning (MTL) is a learning paradigm in machine learning and its aim is to leverage useful information contained in multiple related tasks to help improve the generalization performance of all the tasks. In this paper, we give a survey for MTL from the perspective of algorithmic modeling, applications and theoretical analyses. For algorithmic modeling, we give a definition of MTL and then classify different MTL algorithms into five categories, including feature learning approach, low-rank approach, task clustering approach, task relation learning approach and decomposition approach as well as discussing the characteristics of each approach. In order to improve the performance of learning tasks further, MTL can be combined with other learning paradigms including semi-supervised learning, active learning, unsupervised learning, reinforcement learning, multi-view learning and graphical models. When the number of tasks is large or the data dimensionality is high, we review online, parallel and distributed MTL models as well as dimensionality reduction and feature hashing to reveal their computational and storage advantages. Many real-world applications use MTL to boost their performance and we review representative works in this paper. Finally, we present theoretical analyses and discuss several future directions for MTL. [ABSTRACT FROM AUTHOR]

This paper addresses challenges with modeling of heat transfer phenomenon for cables in duct or pipes when applying a numerical solution. Heat transport mechanisms between the cable and pipe surfaces are conduction, convection and radiation. Numerical calculation of convection when applying a finite element analysis (FEA), or other numerical tools requires heavy computation power and great skills of the program operator. In general, this is the most difficult part when modeling the heat transfer between the cable and the pipe surfaces and practitioners are often forced to use simplifications or approximate models. This paper introduces a simplified model where the contribution from convection is replaced by a heat source at the pipe wall and a corresponding heat sink at the cable. The phenomenon of air rising vertically in the tube resulting in the upper half of the pipe being heated more by convection than the lower half is also modelled. The simplified model is compared to both known models from thermodynamics, FEA including convection and laboratory as well as the full-scale field measurements. The simplified model shows good correspondence to both simulations and measurements, with the temperatures deviating by less than 1 °C. [ABSTRACT FROM AUTHOR]

NMDAR-dependent synaptic plasticity in the hippocampus consists of two opposing forces: long-term potentiation (LTP), which strengthens synapses and long-term depression (LTD), which weakens synapses. LTP and LTD are associated with memory formation and loss, respectively. Synaptic plasticity is controlled at a molecular level by Ca2+-mediated protein signaling. Here, Ca2+ binds the protein, calmodulin (CaM), which modulates synaptic plasticity in both directions. This is because Ca2+-bound CaM activates both LTD-and LTP-inducing proteins. Understanding how CaM responds to Ca2+ signaling and how this translates into synaptic plasticity is therefore important to understanding synaptic plasticity induction. In this paper, CaM activation by Ca2+ and calmodulin binding to downstream proteins was mathematically modeled using differential equations. Simulations were monitored with and without theoretical knockouts and, global sensitivity analyses were performed to determine how Ca2+/CaM signaling occurred at various Ca2+ signals when CaM levels were limiting. At elevated stimulations, the total CaM pool rapidly bound to its protein binding targets which regulate both LTP and LTD. This was followed by CaM becoming redistributed from low-affinity to high-affinity binding targets. Specifically, CaM was redistributed away from LTD-inducing proteins to bind the high-affinity LTP-inducing protein, calmodulin-dependent kinase II (CaMKII). In this way, CaMKII acted as a dominant affecter and repressed activation of opposing CaM-binding protein targets. The model thereby showed a novel form of CaM signaling by which the two opposing pathways crosstalk indirectly. The model also found that CaMKII can repress cAMP production by repressing CaM-regulated proteins, which catalyze cAMP production. The model also found that at low Ca2+ stimulation levels, typical of LTD induction, CaM signaling was unstable and is therefore unlikely to alone be enough to induce synaptic depression. Overall, this paper demonstrates how limiting levels of CaM may be a fundamental aspect of Ca2+ regulated signaling which allows crosstalk among proteins without requiring directly interaction. [ABSTRACT FROM AUTHOR]

Objective: This paper presents preliminary methods of incorporating the pathological conditions of cardiac arrhythmias and valvular stenosis in hybrid mock circulation loop (hMCL) operation for the enhanced verification and validation of mechanical circulatory support devices such as VADs. Methods: The MGH/MF Waveform datasets from PhysioNet database (including both nominal and clinically diagnosed arrhythmic ECG measurements) as well as cardiovascular system model updates are used to recreate arrhythmic events and valvular stenosis in vitro. Results: Preliminary results show the hMCL can recreate each tested cardiac event within 2% and 4% mean error for reference pressure tracking in the aortic and left ventricular pressure chambers, respectively. Further, frequency spectrum analysis comparisons using the magnitude-squared coherence analysis shows close alignment between measured arrhythmic and hMCL realized pressure frequency content. Conclusion: The generation of cardiac arrhythmias and valvular stenosis around a VAD via both model and acute measurement based methods was achieved. Significance: Pathological conditions such as cardiac arrhythmias and valvular stenosis are limited in documentation despite the large percentage of patients who experience these events. This paper provides a means to begin incorporating these events into hardware-in-the-loop mock circulatory systems for next generation VAD validation and verification. [ABSTRACT FROM AUTHOR]

This paper attacks the challenging problem of video retrieval by text. In such a retrieval paradigm, an end user searches for unlabeled videos by ad-hoc queries described exclusively in the form of a natural-language sentence, with no visual example provided. Given videos as sequences of frames and queries as sequences of words, an effective sequence-to-sequence cross-modal matching is crucial. To that end, the two modalities need to be first encoded into real-valued vectors and then projected into a common space. In this paper we achieve this by proposing a dual deep encoding network that encodes videos and queries into powerful dense representations of their own. Our novelty is two-fold. First, different from prior art that resorts to a specific single-level encoder, the proposed network performs multi-level encoding that represents the rich content of both modalities in a coarse-to-fine fashion. Second, different from a conventional common space learning algorithm which is either concept based or latent space based, we introduce hybrid space learning which combines the high performance of the latent space and the good interpretability of the concept space. Dual encoding is conceptually simple, practically effective and end-to-end trained with hybrid space learning. Extensive experiments on four challenging video datasets show the viability of the new method. Code and data are available at https://github.com/danieljf24/hybrid_space. [ABSTRACT FROM AUTHOR]

It is known that there exist mathematical problems of practical relevance which cannot be computed on a Turing machine. An important example is the calculation of the first derivative of continuously differentiable functions. This paper precisely classifies the non-computability of the first derivative, and of the maximum-norm of the first derivative in the Zheng-Weihrauch hierarchy. Based on this classification, the paper investigates whether it is possible that a Turing machine detects this non-computability of the first derivative by observing the data of the problem, and whether it is possible to detect upper bounds for the peak value of the first derivative of continuously differentiable functions. So from a practical point of view, the question is whether it is possible to implement an exit-flag functionality for observing non-computability of the first derivative. This paper even studies two different types of exit-flag functionality. A strong one, where the Turing machine always has to stop, and a weak one, where the Turing machine stops if and only if the input lies within the corresponding set of interest. It will be shown that non-computability of the first derivative is not detectable by a Turing machine for two concrete examples, namely for the problem of computing the input–output behavior of simple analog circuits and for solutions of the three-dimensional wave equation. In addition, it is shown that it is even impossible to detect an upper bound for the maximum norm of the first derivative. In particular, it is shown that all three problems are not even semidecidable. Finally, we briefly discuss implications of these results for analog and quantum computing. [ABSTRACT FROM AUTHOR]

The paper addresses a real-time optimization-based reference calculation integrated with a control structure for Modular Multilevel Converters (MMC) operating under normal and constrained situations (where it has reached current and/or voltage limitations, as it may occur during system faults). Firstly, a nonlinear optimization problem has been developed in which it prioritizes to satisfy the AC grid current set-points imposed by the transmission System Operator (TSO). The constrained nonlinear optimization problem is formulated based on the steady-state model of the MMC, whereby the prioritization is achieved through distinct weights defined in the Objective Function’s (OF) terms. The resultant optimization problem, however, is highly nonlinear requiring high computation burden to be solved in real-time. To cope with this issue, this paper applies a Linear Time-Varying (LTV) approximation, which permits to represent the nonlinear dynamics of the system as constant parameters, while a Linear Time-Invariant (LTI) system is used to formulate the optimization constraints. The converter’s current references are determined in real-time by solving a constrained linearized optimization problem at each control time step, which considers the TSO’s demands, the current MMC operating point and its physical limitations. Theoretical analyses comparing the responses of the linear and nonlinear optimization problems are performed to validate the accuracy of the LTV approximation. Finally, the linearized-optimization problem is integrated with the MMC controllers, evaluated under different AC and DC network conditions and compared with conventional control strategies, where it is shown that the presented method can be potentially employed to obtain the MMC current references for distinct network scenarios. [ABSTRACT FROM AUTHOR]

The dataflow concept has been successfully used for modeling and synthesizing signal processing applications since decades, and recently, dataflow has also been discovered to match the computation model of machine learning applications, leading to extremely successful dataflow based application design frameworks. One of the most attractive features of dataflow, especially for signal processing, is related to its formal nature: when properly defined, a dataflow-based application model can be analytically verified for correctness at the stage of application design. This paper proposes VR-PRUNE, a novel dataflow model of computation that is aimed for design of high-performance signal processing software, together with runtime support that allows efficient application deployment to heterogeneous GPU-equipped platforms. Compared to prior work, VR-PRUNE features variable token rate processing, which enables designing adaptive signal processing applications, and implementing solutions that, e.g., allow trading-off between power consumption and filtering bandwidth at runtime. The paper presents the formal concepts of VR-PRUNE, as well as four application examples from domains related to signal processing, accompanied with quantitative results, which show that using VR-PRUNE enables, for example, application power-performance scaling, and on the other hand describing adaptive application behavior with 59% fewer dataflow graph components compared to previous work. [ABSTRACT FROM AUTHOR]

In this paper, we study an automatic hypothesis generation (HG) problem, which refers to the discovery of meaningful implicit connections between scientific terms, including but not limited to diseases, chemicals, drugs, and genes extracted from databases of biomedical publications. Most prior studies of this problem focused on the use of static information of terms and largely ignored the temporal dynamics of scientific term relations. Even when the dynamics were considered in a few recent studies, they learned the representations for the scientific terms, rather than focusing on the term-pair relations. Since the HG problem is to predict term-pair connections, it is not enough to know with whom the terms are connected, it is more important to know how the connections have been formed (in a dynamic process). We formulate this HG problem as a future connectivity prediction in a dynamic attributed graph. The key is to capture the temporal evolution of node-pair (term-pair) relations. We propose an inductive edge (node-pair) embedding method named T-PAIR, utilizing both the graphical structure and node attribute to encode the temporal node-pair relationship. We demonstrate the efficiency of the proposed model on three real-world datasets, which are three graphs constructed from Pubmed papers published until 2019 in Neurology, Immunotherapy, and Virology, respectively. Evaluations were conducted on predicting future term-pair relations between millions of seen terms (in the transductive setting), as well as on the relations involving unseen terms (in the inductive setting). Experiment results and case study analyses show the effectiveness of the proposed model. [ABSTRACT FROM AUTHOR]

This paper proposes a dynamic valuation framework to determine the opportunity value of battery capacity degradation in grid applications based on the internal degradation mechanism and utilization scenarios. The proposed framework follows a dynamic programming approach and includes a piecewise linear value function approximation solution that solves the optimization problem over a long planning horizon. The paper provides two case studies on price arbitrage and frequency regulation using real market and system data to demonstrate the broad applicability of the proposed framework. Results show that the battery lifetime value is critically dependent on both the external market environment and its internal state of health. On the grid service side, results show that second-life batteries can provide more than 50% of the value compared to new batteries, and frequency regulation provides two times more revenue than price arbitrage throughout the battery lifetime. [ABSTRACT FROM AUTHOR]

Objective: This paper extends a prior human operator model to capture human steering performance in the teleoperation of unmanned ground vehicles (UGVs) in path-following scenarios with varying speed. Background: A prior study presented a human operator model to predict human steering performance in the teleoperation of a passenger-sized UGV at constant speeds. To enable applications to varying speed scenarios, the model needs to be extended to incorporate speed control and be able to predict human performance under the effect of accelerations/decelerations and various time delays induced by the teleoperation setting. A strategy is also needed to parameterize the model without human subject data for a truly predictive capability. Method: This paper adopts the ACT-R cognitive architecture and two-point steering model used in the previous work, and extends the model by incorporating a far-point speed control model to allow for varying speed. A parameterization strategy is proposed to find a robust set of parameters for each time delay to maximize steering performance. Human subject experiments are conducted to validate the model. Results: Results show that the parameterized model can predict both the trend of average lane keeping error and its lowest value for human subjects under different time delays. Conclusions: The proposed model successfully extends the prior computational model to predict human steering behavior in a teleoperated UGV with varying speed. Application: This computational model can be used to substitute for human operators in the process of development and testing of teleoperated UGV technologies and allows fully simulation-based development and studies. [ABSTRACT FROM AUTHOR]

In this paper, we propose a new mathematical model for power flow problem based on the linear and nonlinear matrix inequality theory. We start with rectangular model of power flow (PF) problem and then reformulate it as a Bilinear Matrix Inequality (BMI) model. A Theorem is proved which is able to convert this BMI model to a Linear Matrix Inequality (LMI) model along with One Nonconvex Quadratic Constraint (ONQC). Our proposed LMI-ONQC model for PF problem has only one single nonconvex quadratic constraint irrespective of the network size, while in the rectangular and BMI models the number of nonconvex constraints grows as the network size grows. This interesting property leads to reduced complexity level in our LMI-ONQC model which in turn makes it easier to solve for finding a PF solution. The non-conservativeness, iterative LMI solvability, well-defined and easy-to-understand geometry and pathwise connectivity of feasibility region are other important properties of proposed LMI-ONQC model which are discussed in this paper. An illustrative two-bus example is carefully studied to show different properties of our LMI-ONQC model. We have also tested our LMI-ONQC model on 30 different power-system cases including four ill-conditioned systems and compared it with a group of existing approaches. The numerical results show the promising performance of our LMI-ONQC model and its solution algorithm to find a PF solution. [ABSTRACT FROM AUTHOR]

Moving cast shadow identification and extraction are the commonly encountered problems in visual surveillance applications. In the video object detection problem, a shadow is a category of the dynamic entity which needs to be removed for accurate detection of moving objects. In this paper, we have proposed a new scheme to detect the moving object in video frames while removing the shadow. The proposed scheme is based on the notion of background modeling and model learning. The background is modeled by the proposed Spatio-Temporal Kernel Density Estimation (ST-KDE) based model, but the model learning takes place in online mode in the fused feature space. In the fusion process, the Local Binary Pattern (LBP) features of the ST-KDE model of a frame are determined and are fused probabilistically with the Gabor features of the corresponding original frame. To achieve accurate background modeling, weights in the probabilistic fusion are adaptively determined from the scene dynamics. Background model learning is pixel-based where model histograms learn the background with every temporal frame. Learning and classification of the fused feature frames happen simultaneously with frame by frame. The classified frame thus obtained contains the object with some residual shadow which is eliminated by entropy map and thresholding. The main novelties of our paper are: (i) ST-KDE based background modeling, (ii) Determination of the weights of the fusion process in an adaptive framework and, (iii) online background model learning in feature space. The proposed modeling approach has been tested successfully with different video sequences considered from CDnet, Lasiesta, ATON-CVRR, SRD, and ISTD databases. The performance metrics of the proposed scheme have been compared with many existing methods and it has been found that the proposed method exhibits improved performance. [ABSTRACT FROM AUTHOR]

The paper presents a numerical study on electrodynamic behavior of the inter-pancake twin-box joints of the Poloidal Field (PF) coils of the ITER Magnet System. This work was carried out with the THELMA code, developed at the University of Bologna. The THELMA model was adapted to describe both the superconducting wires and the resistive saddle of the joint in a set of reference configurations representative of a set of experimental tests performed on a joint sample at the SULTAN facility in Villigen, Switzerland. The model was applied to analyze both the DC joint resistance measurements and the AC loss vs frequency curve, in order to obtain a full representation of the joint electromagnetic behavior. The paper reports a comparison between the numerical and experimental results and parametric studies on the impact of the main model parameters on the loss vs frequency curve. [ABSTRACT FROM AUTHOR]

The goal of this paper is to investigate linear approximations of random functions and permutations. Our motivation is twofold. First, before the distinguishability of a practical cipher from an ideal one can be analysed, the cryptanalyst must have an accurate understanding of the statistical behaviour of the ideal cipher. Secondly, this issue has been neglected both in old and in more recent studies, particularly when multiple linear approximations are being used simultaneously. Traditional models have been based on the average behaviour and simplified using other assumptions such as independence of the linear approximations. Multidimensional cryptanalysis was introduced to avoid making artificial assumptions about statistical independence of linear approximations. On the other hand, it has the drawback of including many trivial approximations that do not contribute to the attack but just cause a waste of time and memory. We show for the first time in this paper that the trivial approximations reduce the degree of freedom of the related $\chi ^{2}$ distribution. Previously, the affine linear cryptanalysis was proposed to allow removing trivial approximations and, at the same time, admitting a solid statistical model. In this paper, we identify another type of multidimensional linear approximation, called Davies-Meyer approximation, which has similar advantages, and present full statistical models for both the affine and the Davies-Meyer type of multidimensional linear approximations. The new models given in this paper are realistic, accurate and easy to use. They are backed up by standard statistical tools such as Pearson’s $\chi ^{2}$ test and finite population correction and demonstrated to work accurately using practical examples. [ABSTRACT FROM AUTHOR]

Frequency Response Analysis (FRA) is a comparison based method and is useful to identify the mechanical fault in transformer winding only when the ‘healthy’ or ‘reference’ magnitude response is available. But, in practice, ‘healthy’ response may not be always available and the subsequent FRA measurement alone also cannot detect the fault. This is one serious limitation for conventional FRA method and the desired solution is still far away. To this effect, this paper presents an innovative way of measuring the frequency responses of transformer winding with two equal and opposite polarity sinusoidal excitations from two ends. For viability test, the present work is limited to fault-detection only in a single isolated uniformly-wound transformer winding followed by verification on an actual single-phase autotransformer. The two equal and opposite polarity excitations for such winding are likely to impose a virtual ground at the centre and hence the two admittances measured from the two source-ends are likely to be identical. Two admittances also get dissimilar for a fault in transformer winding and therefore the fault could be identified simply by measuring and comparing these two responses in absence of ‘healthy’ response. Pertinent simulation and experimental results are also included in the paper. [ABSTRACT FROM AUTHOR]

3D object recognition is a hot research topic. Particularly, view-based methods, which represent a 3D object with a collection of its rendered views on the 2D domain, play an important role in this field. Currently, view-based researches tend to aggregate information from multiple views via pooling based strategies to endow the models with the characteristic of view permutation invariance, at the cost of inevitable loss of useful features. In this paper, we introduce a new method that learns a more comprehensive descriptor for a 3D object from its views while successfully keeping its robustness to the variation of view permutation. Our method disentangles the information in the set of multi-view images into a global category-related feature and a set of view-permutation related features. To unbind these two parts, an encode-decoder based disentangling architecture is proposed, which barely bring extra computations compared to the baseline model. Systematic experiments are conducted for this new method to demonstrates the effectiveness and the competitive performance based on ModelNet40, ModelNet10, and ShapeNetCore55 datasets. Codes for our paper will be released soon on “ https://github.com/hjjpku/multi%5fview%5fsort ”. [ABSTRACT FROM AUTHOR]

In this paper, a computational framework is proposed that merges mechanistic modeling with deep neural networks obeying the Systems Biology Markup Language (SBML) standard. Over the last 20 years, the systems biology community has developed a large number of mechanistic models that are currently stored in public databases in SBML. With the proposed framework, existing SBML models may be redesigned into hybrid systems through the incorporation of deep neural networks into the model core, using a freely available python tool. The so-formed hybrid mechanistic/neural network models are trained with a deep learning algorithm based on the adaptive moment estimation method (ADAM), stochastic regularization and semidirect sensitivity equations. The trained hybrid models are encoded in SBML and uploaded in model databases, where they may be further analyzed as regular SBML models. This approach is illustrated with three well-known case studies: the Escherichia coli threonine synthesis model, the P58IPK signal transduction model, and the Yeast glycolytic oscillations model. The proposed framework is expected to greatly facilitate the widespread use of hybrid modeling techniques for systems biology applications. [ABSTRACT FROM AUTHOR]

Semiconductor manufacturing consists of multiple sequential processes. In addition, even in a single process, a wafer must pass several steps. Accordingly, a dataset generated in semiconductor manufacturing has sequential information. Thus, the sequential information between steps and processes must be considered when predicting a target variable such as a yield or defect status. This paper proposes a method that utilizes the concept of residual learning to capture sequential information. Specifically, we propose to learn several modules that use data gathered starting from different steps and obtain a final decision by combining all modules’ decisions. In each module including multiple models, the first model is trained to predict the target variable using the data from the earliest step, and the remaining models are trained to predict the residuals that cannot be explained by the models for the previous steps based on the concept of residual learning. We conducted extensive experiments using two real-world semiconductor manufacturing datasets and found that even though each module’s performance was not good, the final decision obtained by combining all the modules’ decisions achieved a significant performance improvement. As a result, the proposed method significantly outperformed the baseline models. [ABSTRACT FROM AUTHOR]

This paper presents a coupled thermoelastic finite element formulation for static and dynamic analysis of composite laminated plates with embedded active shape memory alloy (SMA) wires, which accounts for both the phase transformation and the nonlinearity effects of SMA wires. The equations of motion are obtained by using Hamilton's principle and first-order shear deformation theory (FSDT). Furthermore, based on Brinson's one-dimensional phase transformation constitutive law, a novel coupled thermoelastic finite element model that enables analysis of the SMA hybrid composite (SMAHC) plate is developed. The accuracy and efficiency of the developed computational model for analysis of SMAHC plates are reinforced by comparing theoretical predictions with data available from the literature. The results of the numerical examples also show the ability of the proposed model to predict the thermal-mechanical behavior of SMAHC plates in accordance with SMA's hysteresis behavior. In addition, based on the proposed model, the influence of temperature as well as SMA volume fraction, pre-strain value, boundary condition and layup sequence on the static bending and free vibration behavior of the SMAHC plates is investigated in detail. The results of parametric analysis show that the variations of both static deflection and natural frequency of the SMAHC plate over temperature exhibit a nonmonotonic behavior. [ABSTRACT FROM AUTHOR]

The critical nature of vehicular communications requires their extensive testing and evaluation. Analytical models can represent an attractive and cost-effective approach for such evaluation if they can adequately model all underlying effects that impact the performance of vehicular communications. Several analytical models have been proposed to date to model vehicular communications based on the IEEE 802.11p (or DSRC) standard. However, existing models normally model in detail the MAC (Medium Access Control), and generally simplify the propagation and interference effects. This reduces their value as an alternative to evaluate the performance of vehicular communications. This paper addresses this gap, and presents new analytical models that accurately model the performance of vehicle-to-vehicle communications based on the IEEE 802.11p standard. The models jointly account for a detailed modeling of the propagation and interference effects, as well as the impact of the hidden terminal problem. The model quantifies the PDR (Packet Delivery Ratio) as a function of the distance between transmitter and receiver. The paper also presents new analytical models to quantify the probability of the four different types of packet errors in IEEE 802.11p. In addition, the paper presents the first analytical model capable to accurately estimate the Channel Busy Ratio (CBR) metric even under high channel load levels. All the analytical models are validated by means of simulation for a wide range of parameters, including traffic densities, packet transmission frequencies, transmission power levels, data rates and packet sizes. An implementation of the models is provided openly to facilitate their use by the community. [ABSTRACT FROM AUTHOR]

The stochastic block model (SBM) is a random graph model in which the edges are generated according to the underlying cluster structure on the vertices. The (ferromagnetic) Ising model, on the other hand, assigns ±1 labels to vertices according to an underlying graph structure in a way that if two vertices are connected in the graph then they are more likely to be assigned the same label. In SBM, one aims to recover the underlying clusters from the graph structure while in Ising model, an extensively-studied problem is to recover the underlying graph structure based on i.i.d. samples (labelings of the vertices). In this paper, we propose a natural composition of SBM and the Ising model, which we call the Stochastic Ising Block Model (SIBM). In SIBM, we take SBM in its simplest form, where $n$ vertices are divided into two equal-sized clusters and the edges are connected independently with probability $p$ within clusters and $q$ across clusters. Then we use the graph $G$ generated by the SBM as the underlying graph of the Ising model and draw $m$ i.i.d. samples from it. The objective is to exactly recover the two clusters in SBM from the samples generated by the Ising model, without observing the graph $G$. As the main result of this paper, we establish a sharp threshold $m^\ast $ on the sample complexity of this exact recovery problem in a properly chosen regime, where $m^\ast $ can be calculated from the parameters of SIBM. We show that when $m\ge m^\ast $ , one can recover the clusters from $m$ samples in $O(n)$ time as the number of vertices $n$ goes to infinity. When $m < m^\ast $ , we further show that for almost all choices of parameters of SIBM, the success probability of any recovery algorithms approaches 0 as $n\to \infty $. [ABSTRACT FROM AUTHOR]

This paper discusses the back-flashover (BFO) phenomena in a high-voltage (HV) vertical double-circuit transmission line by means of numerical simulations. The single- and multiphase BFOs are analyzed considering 24 cases of AC-voltage angles and nonlinear characteristic of flashovers, taking advantage of the circuit analysis method in time domain. The models used in circuit analysis are the TEM-delay model, which can take into account the non-TEM characteristics of tower and line, and the conventional models. Prior to the BFO analysis, the characteristics of circuit models are compared and discussed with the numerical electromagnetic analysis results. In BFO analysis, it is clarified that the occurrence probability of the multiphase BFO is heavily depending on the bias AC-voltages. The relation of measured BFO phases and AC-voltages are well explained by the TEM-delay model with the valid lightning current magnitude. The conventional circuit models could have underestimated the occurrence of BFOs in HV transmission lines. The analysis and discussions shown in this paper can be utilized for advanced evaluation of lightning performance of transmission lines that considers the seriousness of lightning accidents. [ABSTRACT FROM AUTHOR]

Droop control is a viable method for the operation of island DC microgrids in a decentralized architecture. This paper presents a mixed-integer conic optimization formulation for the design of generator droop control, comprising the parameters of a piecewise linear droop curve. The mixed-integer formulation originates from a stochastic optimization framework that considers several operating scenarios for finding the optimal design. The convexity of the mixed-integer problem continuous relaxation gives global optimality guarantees for the design problem. The paper presents computational results using a tight polyhedral approximation of the conic program, leading to a mixed-integer linear programming (MILP) problem that is solved using a state-of-the-art commercial solver. The results from the proposed approach are contrasted with both a classic linear droop control design and a recent piecewise linear formulation. The Monte-Carlo simulation results quantify the extent to which the MILP solution is superior in reducing voltage violations and power loss, and the degree to which the loss is close to that from a conic optimal power flow solution. [ABSTRACT FROM AUTHOR]