The scheduling problem is considered for the case when requests for the execution of job complexes with known characteristics receive at given times. Interrupts and switching from one executive mechanism to another ar...
详细信息
This paper presents the design and implementation of an autonomous picking robot specifically for harvesting elongated fruits such as loofahs and bitter melons. The robot utilizes a tracked chassis to navigate field t...
详细信息
Driven by ubiquitous digitalization and cyberattacks on critical infrastructure, there is a high interest in research on the security of cyber-physical systems. If an attacker gains access to protected and sensitive i...
详细信息
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesi...
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal logic specifications, which does not require this explicit modeling step, capable of providing certificates for the general class of linear systems. After collecting a single sequence of input-output data from the system, we synthesize a controller, such that the controlled system satisfies a (possibly unbounded) temporal logic specification. The underlying optimization problem is solved by mixed-integer linear programming. We demonstrate the applicability of the results through simulation examples.
The application of artificial intelligence technology in Internet of Vehicles(lov)has attracted great research interests with the goal of enabling smart transportation and traffic ***,concerns have been raised over th...
详细信息
The application of artificial intelligence technology in Internet of Vehicles(lov)has attracted great research interests with the goal of enabling smart transportation and traffic ***,concerns have been raised over the security and privacy of the tons of traffic and vehicle *** this regard,Federated Learning(FL)with privacy protection features is considered a highly promising ***,in the FL process,the server side may take advantage of its dominant role in model aggregation to steal sensitive information of users,while the client side may also upload malicious data to compromise the training of the global *** existing privacy-preserving FL schemes in IoV fail to deal with threats from both of these two sides at the same *** this paper,we propose a Blockchain based Privacy-preserving Federated Learning scheme named BPFL,which uses blockchain as the underlying distributed framework of *** improve the Multi-Krum technology and combine it with the homomorphic encryption to achieve ciphertext-level model aggregation and model filtering,which can enable the verifiability of the local models while achieving ***,we develop a reputation-based incentive mechanism to encourage users in IoV to actively participate in the federated learning and to practice *** security analysis and performance evaluations are conducted to show that the proposed scheme can meet the security requirements and improve the performance of the FL model.
To reduce the negative effects that conventional modes of transportation have on the environment,researchers are working to increase the use of electric *** demand for environmentally friendly transportation may be ha...
详细信息
To reduce the negative effects that conventional modes of transportation have on the environment,researchers are working to increase the use of electric *** demand for environmentally friendly transportation may be hampered by obstacles such as a restricted range and extended rates of *** establishment of urban charging infrastructure that includes both fast and ultra-fast terminals is essential to address this ***,the powering of these terminals presents challenges because of the high energy requirements,whichmay influence the quality of *** the maximum hourly capacity of each station based on its geographic location is necessary to arrive at an accurate estimation of the resources required for charging *** is vital to do an analysis of specific regional traffic patterns,such as road networks,route details,junction density,and economic zones,rather than making arbitrary conclusions about traffic *** vehicle traffic is simulated using this data and other variables,it is possible to detect limits in the design of the current traffic engineering ***,the binary graylag goose optimization(bGGO)algorithm is utilized for the purpose of feature ***,the graylag goose optimization(GGO)algorithm is utilized as a voting classifier as a decision algorithm to allocate demand to charging stations while taking into consideration the cost variable of traffic *** on the results of the analysis of variance(ANOVA),a comprehensive summary of the components that contribute to the observed variability in the dataset is *** results of the Wilcoxon Signed Rank Test compare the actual median accuracy values of several different algorithms,such as the voting GGO algorithm,the voting grey wolf optimization algorithm(GWO),the voting whale optimization algorithm(WOA),the voting particle swarm optimization(PSO),the voting firefly algorithm(FA),and the voting genetic algori
In the framework of the factorization approach we calculate the branching fractions of 100 two-body nonleptonic decay channels in total,including 44 channels of the charm meson decays and 56 channels of the bottom mes...
详细信息
In the framework of the factorization approach we calculate the branching fractions of 100 two-body nonleptonic decay channels in total,including 44 channels of the charm meson decays and 56 channels of the bottom meson *** charm meson decays,we test and confirm the previous observation that taking the limit for the number of colors N→∞significantly improves theoretical *** bottom meson decays,the penguin contributions are included in *** an essential input,we employ the weak decay form factors obtained in the framework of the relativistic quark model based on the quasi-potential *** form factors have well been tested by calculating observables in the semileptonic D and B meson decays and confronting obtained results with experimental *** general,the predictions for the nonleptonic decay branching fractions are ***,for a quantitative calculation it is necessary to account for a more subtle effects of the final-state interaction.
This paper focuses on the output trajectory tracking problem for linear parabolic distributed parameter systems (DPSs) using sampled-data iterative learning control (ILC) approach. In addition, in order to reduce the ...
详细信息
Background: Heart disease is considered one of the complex diseases that has affected a large number of people around the world. It is important to detect and identify cardiac diseases at early stages. Objective: A la...
详细信息
Focusing on the problem of the precise determination of laser illumination starting time for air-to-ground missiles (AGMs), a numerical calculation method based on multidimensional polynomial fitting is proposed in th...
详细信息
暂无评论