In order to explore the feasibility of brain-computer interface in the weapon system application, an experience of automatic thrower model controlled by brain-computer interface is designed to compete the firing task....
详细信息
With the rapid development of deep learning technology, Recurrent neural network has made remarkable achievements in the tasks of sequence modeling and time series prediction. LSTM, as a special RNN structure, solves ...
详细信息
Image is a form of representation of data that is presented with visual beauty and has many patterns in it, in a database of irregular image datasets it is enough to make us humans who like structured, neat, and high ...
详细信息
The proceedings contain 141 papers. The topics discussed include: power comprehensive energy optimization scheme based on improved PSO algorithm;new energy distribution network scheduling based on optimized PSO;time d...
ISBN:
(纸本)9781643684864
The proceedings contain 141 papers. The topics discussed include: power comprehensive energy optimization scheme based on improved PSO algorithm;new energy distribution network scheduling based on optimized PSO;time domain dielectric spectrum analysis of high voltage bushing insulation state based on wavelet transform;modeling and simulation of intelligent vehicle flow guidance based on agent;a video resource recommendation system based on deep learning;human motion data acquisition system of intelligent motion bracelet based on human-computer interaction;fast estimation model of green building project cost based on support vector regression machine;intelligent recommendation method for talent resources based on big data;improved human resource allocation method based on genetic algorithm;and intelligent temperature monitoring for high voltage cable with non-invasive low power consumption.
Zero-shot learning (ZSL) is an important but challenging task in computer vision that aims to identify unseen classes without matching training samples. Current cutting-edge ZSL methods based on locality focus on acqu...
At the level of national governance, legal studies are, to a certain extent, inextricably linked to the goal of modernizing the national governance system. For the study of legal literature, the use of quantitative re...
At the level of national governance, legal studies are, to a certain extent, inextricably linked to the goal of modernizing the national governance system. For the study of legal literature, the use of quantitative research methods can summarize the types of literature journals, the direction of selected topics, and the number of publications, etc. The qualitative research methods can observe the points of contention and consensus in the academic community on the construction of the legal system and the positioning of the discipline. With the continuous development of modern science and technology, there are more and more kinds of artificial intelligence algorithms, including ant colony algorithm, genetic algorithm, reinforcement learning, deep learning, logistic regression and decision tree, among which CI index is an important index. Therefore, based on the artificial intelligence algorithm, this paper selected the historical publication data of law disciplines of six universities in China's political science and law, and evaluated the influence of a single literature by using the CI index theoretical model. Based on the horizontal comparison of the overall scientific research level in terms of “quality” and “quantity” of each university's literature, some index algorithms of the model could be modified to obtain an objective picture of the current scientific research level of universities. The results show that the evaluation method based on artificial intelligence algorithms has the advantages of easy access to data, strong operability and few indicators, which is worth promoting and applying.
Simultaneous localization and map construction (SLAM) is a hot research topic in mobile robotics and is a crucial technology for developing inspection robots. This paper focuses on mapping the environment by analyzing...
详细信息
This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and mai...
详细信息
This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and maintaining operational integrity, yet current methods often struggle with the complexity introduced by unboundedness and potential deadlocks. Given an unbounded labeled Petri net that may reach deadlocks, a quiescent basis coverability graph is established to verify the diagnosability of the considered system. This procedure employs a deterministic finite state automaton, called an extended verifier, derived from the proposed quiescent basis coverability graph. It is shown that an unbounded Petri net is diagnosable if and only if the verifier does not contain a class of cycles, called repetitive $F$ -cycles. This result also provides necessary and sufficient conditions for diagnosability enforcement by developing an online supervisor. Further, the designed supervisor is maximally permissive and also circumvents a plant entering deadlocks by firing non-fault sequences. Examples are presented to demonstrate the proposed method. Note to Practitioners-Fault diagnosis and diagnosability enforcement are critical for the development and operation of highly automated systems covering computer-integrated production processes, intelligent traffic, computer and communication networks, smart gird, etc. This work touches upon this problem from the perspective of discrete event systems that are modeled with unbounded labeled Petri nets. The feasibility and applicability of the reported method stem from the usage of a structurally compact representation of a considered plant such that the computational cost of a real-world system is acceptable. The graphical representation of Petri nets as well as the proposed quiescent basis coverability graph make the method easy to use and manipulate. Moreover the sufficient and necessary conditions of diagnosability enforcement can
Visual perception technology is crucial for autonomous driving. It can detect dynamic and static objects around the vehicle, which is used for downstream tasks such as obstacle avoidance and navigation. LiDAR-based me...
详细信息
A 'home automation system' is a process that automates or adjusts routine tasks at home, such as controlling lighting and HVAC systems based on user commands. Using a portable and versatile handheld device as ...
详细信息
暂无评论