Based on ACP(artificial systems,computational experiments,and parallel execution)methodology,parallel control and management has become a popularly systematic and complete solution for the control and management of co...
详细信息
Based on ACP(artificial systems,computational experiments,and parallel execution)methodology,parallel control and management has become a popularly systematic and complete solution for the control and management of complex *** paper focuses on summarizing comprehensive review of the research literature of parallel control and management achieved in the recent years including the theoretical framework,core technologies,and the application *** future research,application directions,and suggestions are also discussed.
The paper deals with the robust and fault tolerant control of an in-wheel electric vehicle, operated by four independently actuated in-wheel motors and steer-by-wire steering system. The goal of the design is to reali...
详细信息
Drug-target interactions(DTIs) prediction plays an important role in the process of drug *** computational methods treat it as a binary prediction problem, determining whether there are connections between drugs and t...
详细信息
Drug-target interactions(DTIs) prediction plays an important role in the process of drug *** computational methods treat it as a binary prediction problem, determining whether there are connections between drugs and targets while ignoring relational types information. Considering the positive or negative effects of DTIs will facilitate the study on comprehensive mechanisms of multiple drugs on a common target, in this work, we model DTIs on signed heterogeneous networks, through categorizing interaction patterns of DTIs and additionally extracting interactions within drug pairs and target protein pairs. We propose signed heterogeneous graph neural networks(SHGNNs), further put forward an end-to-end framework for signed DTIs prediction, called SHGNN-DTI,which not only adapts to signed bipartite networks, but also could naturally incorporate auxiliary information from drug-drug interactions(DDIs) and protein-protein interactions(PPIs). For the framework, we solve the message passing and aggregation problem on signed DTI networks, and consider different training modes on the whole networks consisting of DTIs, DDIs and PPIs. Experiments are conducted on two datasets extracted from Drug Bank and related databases, under different settings of initial inputs, embedding dimensions and training modes. The prediction results show excellent performance in terms of metric indicators, and the feasibility is further verified by the case study with two drugs on breast cancer.
Federated Learning (FL) trains machine learning models on edge devices with distributed data. However, the computational and memory limitations of these devices restrict the training of large models using FL. Split Fe...
详细信息
This paper investigates the problem of underwater distributed state estimation with multi-step random communication delay and packet loss. Since underwater communication adopts acoustic communication, the information ...
详细信息
Action model learning has become a hot topic in knowledge engineering for automated planning.A key problem for learning action models is to analyze state changes before and after action executions from observed"p...
详细信息
Action model learning has become a hot topic in knowledge engineering for automated planning.A key problem for learning action models is to analyze state changes before and after action executions from observed"plan traces".To support such an analysis,a new approach is proposed to partition propositions of plan traces into ***,vector representations of propositions and actions are obtained by training a neural network called Skip-Gram borrowed from the area of natural language processing(NLP).Then,a type of semantic distance among propositions and actions is defined based on their similarity measures in the vector ***,k-means and k-nearest neighbor(kNN)algorithms are exploited to map propositions to *** approach is called state partition by word vector(SPWV),which is implemented on top of a recent action model learning framework by Rao et *** results on the benchmark domains show that SPWV leads to a lower error rate of the learnt action model,compared to the probability based approach for state partition that was developed by Rao et al.
High-precise testing table is a typical continuously rotating mechanism which is used to test and calibrate inertial components. High operation smoothness is a significant index associated to these kinds of equipments...
详细信息
ISBN:
(纸本)9781467374439
High-precise testing table is a typical continuously rotating mechanism which is used to test and calibrate inertial components. High operation smoothness is a significant index associated to these kinds of equipments, which is influenced mostly by the external disturbances acting on the systems. In this paper, the disturbances existing in the system are investigated by experiments, and the characteristic of the disturbances is analyzed using frequency spectrum analysis tools, both in time domain and spatial domain. Accordingly angular position-based repetitive controller is presented to reject these kinds of disturbances in sense of time sampling. Comparisons and simulation results are presented to illustrate the effectiveness of the control design.
The dataflow architecture,which is characterized by a lack of a redundant unified control logic,has been shown to have an advantage over the control-flow architecture as it improves the computational performance and p...
详细信息
The dataflow architecture,which is characterized by a lack of a redundant unified control logic,has been shown to have an advantage over the control-flow architecture as it improves the computational performance and power efficiency,especially of applications used in high-performance computing(HPC).Importantly,the high computational efficiency of systems using the dataflow architecture is achieved by allowing program kernels to be activated in a simultaneous ***,a proper acknowledgment mechanism is required to distinguish the data that logically belongs to different *** solutions include the tagged-token matching mechanism in which the data is sent before acknowledgments are received but retried after rejection,or a handshake mechanism in which the data is only sent after acknowledgments are ***,these mechanisms are characterized by both inefficient data transfer and increased area *** performance of the dataflow architecture depends on the efficiency of data *** order to optimize the efficiency of data transfer in existing dataflow architectures with a minimal increase in area and power cost,we propose a Look-Ahead Acknowledgment(LAA)*** accelerates the execution flow by speculatively acknowledging ahead without *** simulation analysis based on a handshake mechanism shows that our LAA increases the average utilization of computational units by 23.9%,with a reduction in the average execution time by 17.4%and an increase in the average power efficiency of dataflow processors by 22.4%.Crucially,our novel approach results in a relatively small increase in the area and power consumption of the on-chip logic of less than 0.9%.In conclusion,the evaluation results suggest that Look-Ahead Acknowledgment is an effective improvement for data transfer in existing dataflow architectures.
Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this pap...
详细信息
Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this paper, we propose a practical Hoare-style program logic for verifying SPARC (Scalable Processor Architecture) assembly code. The logic supports modular reasoning about the main features of SPARCv8 ISA (instruction set architecture), including delayed control transfers, delayed writes to special registers, and register windows. It also supports relational reasoning for refinement verification. We have applied it to verify that there is a contextual refinement between a context switch routine in SPARCv8 and a switch primitive. The program logic and its soundness proof have been mechanized in Coq.
Nonstationary time series are ubiquitous in almost all natural and engineering *** the time-varying signatures from nonstationary time series is still a challenging problem for data *** Time-Frequency Distribution(TFD...
详细信息
Nonstationary time series are ubiquitous in almost all natural and engineering *** the time-varying signatures from nonstationary time series is still a challenging problem for data *** Time-Frequency Distribution(TFD)provides a powerful tool to analyze these ***,they suffer from Cross-Term(CT)issues that impair the readability of ***,to achieve high-resolution and CT-free TFDs,an end-to-end architecture termed Quadratic TF-Net(QTFN)is proposed in this *** by classic TFD theory,the design of this deep learning architecture is heuristic,which firstly generates various basis functions through ***,more comprehensive TF features can be extracted by these basis ***,to balance the results of various basis functions adaptively,the Efficient Channel Attention(ECA)block is also embedded into ***,a new structure called Muti-scale Residual Encoder-Decoder(MRED)is also proposed to improve the learning ability of the model by highly integrating the multi-scale learning and encoder-decoder ***,although the model is only trained by synthetic signals,both synthetic and real-world signals are tested to validate the generalization capability and superiority of the proposed QTFN.
暂无评论