Automated manufacturing systems belonging to resource allocation are prone to deadlock during operation. Controllers need to be designed for automated manufacturing systems to avoid deadlocks. Further, the controlled system should have the maximal permissive behavior. For ease of implementation, the controllers are typically expressed in a comprehensive manner by linear constraints. In the existing work, based on the reachability analysis, the markings to be forbidden are reduced to a small set, and only a few reachable illegal markings are included. Then, construct a mixed integer linear programming problem for each marking and solve it. This strategy is computationally expensive due to the inherent NP-hard feature of integer programming. This paper studies the design of the prevention controllers for deadlocks. On the basis of the reachable graph analysis, combined with the structural characteristics of the identified markings, the illegal marking recognition is classified, the algebraic condition is established, and the linear constraint is constructed to ensure the maximal permissiveness of the behavior. Furthermore, the polynomial algorithm is designed such that the computational complexity is significantly reduced. For some specific Petri net, structural analysis is used to obtain the maximally permissively controlled system. In addition, for those markings that could not be processed via the structural analysis, a linear programming solution was proposed. The results show that, for the Petri net subclass considered, the problem of solving mixed integer linear programming is avoided. This scheme has obvious advantages in sense of computational complexity. Finally, the effectiveness of the method is verified by two examples.

Convolutional Neural Networks (CNN) cannot discriminate the correlation between feature words and emotions in the input text. Therefore, this paper proposes a double attention mechanism convolutional neural network to incorporate word and POS(Part-of-speech Tagging) information into sentiment classification (Double Attention Convolutional Neural Networks, DACNN), which combines the word features with the part-of-speech features to obtain the feature representation of the text and determine the sentiment tendency. In this paper, we introduce an attention convolutional neural network to incorporate word and POS information into sentiment classification. The first local attention mechanism captures local feature from word and POS channels. And then we propose a novel architect for combining two features by a global attention mechanism, which can decide how much information to use from word or POS information. The model is validated on MR and SST-1 datasets, achieving 0.7% and 1% improvement in accuracy compared to conventional convolutional neural networks and traditional machine learning methods.

The full-convolutional Siamese network solves the problem of object tracking through similarity learning, and the algorithm has received more and more attention. In order to extract more discriminative object features and improve the accuracy and robustness of tracking, an object tracking model combining attention mechanism and feature fusion is proposed. Firstly, the first frame and the previous frame of the current frame are combined as target templates, and the features from multiple convolution layers of the target templates and the current frame are extracted by using the shared feature extraction network. Furthermore, for the multi-layer convolution features of the target templates, the channel attention mechanism is adopted to improve the discriminative power of the template features. Finally, the features of the target templates are cross-correlated with the features of the current frame to obtain response map, thereby obtaining the position and scale of the predicted object in the current frame. The final experimental results show that compared with several advanced tracking models, the proposed object tracking model achieves relatively competitive performance.

The terrorist attacks have seriously affected the stability of the international community and the safety of people’s lives and property. The diversification of their forms and means has brought enormous challenges to the analysis of counter-terrorism. In order to classify similar terrorist attacks into groups, and to enhance the efficiency of counter-terrorism analysts in detecting cases, an improved clustering algorithm for Deep Auto-Encoder Representation is proposed based on the Global Terrorism Database. A deep self-encoder is introduced to map sparse and noisy raw data into compact and smooth data within the class, improving the clustering effect. The experimental results show that compared with the traditional K-means clustering algorithm, the improved algorithm can improve the clustering effect. This method is useful for counter-terrorism analysts to analyze similar cases and find criminal gangs in the case.

Starting with an analysis of process of bus dwelling, a systematic study is conducted on the bus dwell-ing time at bus stop and its influencing factors, aiming at providing reference for improving the service level of bus stops. Taking Guangzhou bus rapid transit as an example, the bus dwelling time is divided into four stages: time for door opening and closing, lost time, boarding and alighting time and delayed time after service. Based on the actual survey data of Guangzhou BRT, the time of each stage was counted and its influencing factors were analyzed. According to the analysis results, the lost time is different in different time stage. The average boarding and alighting time will decrease first and then increase as the number of boarding and alighting passenger increases. These statistical results can provide new ideas for the determination of existing stop time.

Aiming at the problem of environment perception of self-driving, this paper semantic segmentation, classification and target detection module are realized by the code model, which is applied to lane recognition and vehicle detection. Shared image features are extracted by encoder, and three different functions are realized by decoder. This Shared encoder model can improve the real-time performance of tasks. In self-driving, the real-time performance of tasks is the key. Experimental results show that the average precision of semantic segmentation of this model on KITTI dataset reaches 93.89%, which is 0.53% higher than the optimal performance, and the joint detection speed reaches 25.43 Hz.

Based on static calibration, a small angle least squares iterative method is proposed to modify the magnetometer of multi-rotor uav in real time. The least-squares curve is continuously fitted at a small angle to update the spherical center under the interference of motor magnetic field or the ambient magnetic field. The offset can be amended by the method and the magnetometer calibrated in real time to solve the problem of magnetometer error compensation when the multi-rotor uav flew in the air. Simulation and a large number of experiments indicate that the zero offset and dynamic calibration problem of magnetometer can be effectively solved.

In order to effectively manage mobile advertisements with a large number of mobile terminals, a mobile advertising platform based on OMA (Open Mobile Alliance) DM (Device Management) protocol is proposed. The platform uses the DM protocol to manage the management objects of the client by issuing management commands to realize the management function of the mobile advertisement. The experimental results show that the OMA-based mobile advertising platform can manage the mobile advertising of a large number of mobile terminals and improve the reliability and stability of the platform.

The generalized order of Dirichlet series on the whole plane is studied. The Knopp-Kojima method is used to obtain the results of the growth relationship between the maximum modulus and the coefficients of Dirichlet series, and the above results are transformed into the relation between the coefficients of Dirichlet series and its generalized order under weak conditions.

In order to solve the problem that the classical single-phase PWM rectifier needs to fabricate the current and voltage components orthogonal to the input current and voltage in the rotating coordinate system, and that the control system is complex, a normalized control strategy model of single-phase PWM rectifier in the static coordinate system is constructed by using the equivalent transformation method. Based on the normalized model, the internal relations and differences between proportional resonance control strategy in stationary coordinate system and classical control strategy in rotating coordinate system are revealed. In order to simplify the control strategy further, the current inner loop control structure in the normalized model is improved, and the controller parameter allocation criteria are given. Finally, the correctness and validity of the normalized model proposed in this research are verified by simulation and experiment.

An open-close micro current transformer is designed for the situation where power disconnection is not applicable and it can replace the conventional current transformer, realizing online installation. The open-close micro current transformer has a square core and a casing made of ferrite with a high permeability, flat cut and small air gap. According to the experimental analysis, it has the advantages of simple structure, convenient operation, high precision and good linearity. In the end, the measures to improve its precision are proposed.

Research on the old residential neighborhoods is promoted by the redevelopment activities in the recent years. From the perspective of physical spatial morphology, combined with the multi-source big data, 75 samples of old residential neighborhoods in the Lingnan area are collected, and using quantitative indicators related to the buildings and roads from the micro-spatial level of the city, a quantitative statistics research is conducted. Through the correlation analysis from the quantitative indicators, the relationship between the various factors affecting the spatial morphology is analyzed from the three groups of indicators about the building measurement, road measurement and building dimension.

The quality of urban soil environment has attracted increasing attention since it is closely related to human health. The application progress of urban soil environmental monitoring site layout is reviewed. The advantages and disadvantages of the monitoring site layout method are compared. Some suggestions for the selection of urban soil environmental monitoring site layout method are put forward, providing basis and reference for urban soil environmental monitoring in China.

The segmented bridge piers with post-tensioned prestressed joints have the advantages of short construction period, little impact on the environment and easy quality assurance, but their mechanical properties are still unclear. In order to obtain a prestressed axial compression ratio with good mechanical properties, a five-section assembled bridge pier with a section of assembled bridge piers is designed. The finite element model is built and simulated by ABAQUS. The simulation results are obtained. Comparing with the existing test results, the correctness of the simulation method is verified. Then the influence of different prestressed axial compression ratios on the mechanical properties of the segmented bridge pier is analyzed and compared. The results show that the axial compression ratio is 10%~20%. The structure has good mechanical properties. This research can provide a certain reference for the design of segmental bridge piers.

Time-series InSAR (TS-InSAR) technology is used to process the images of the Sentinel-1A satellite covering the Pearl River Delta region from December 12, 2015 to May 30, 2018, and invert the ground deformation information of Guangzhou, Foshan and Dongguan. The research results show that during the research period, the Guang-Fo area and Dongguan area were stable and partially settled. The settlement points were mainly concentrated in the densely populated areas of the factory and construction sites, and the reasons for the settlement were analyzed. It is proved that using Sentinel-1A to monitor the ground deformation in the Pearl River Delta can also achieve good results.

Under the background of national health care reform, the development of community hospitals has great social and economic values. By using the theories and methods of Extenics and the business model innovation, an extension form of business model is put forward and several innovation models obtained from the current situation of community hospitals and the clues of existing contradictions, and the best innovation model is chosen and then by using the extension evaluation method, an innovation scheme is put forward, which is to strengthen hospital publicity and establish a positive image of the hospital, improve the hospital service and promote the patient experiences, expand hospital health service as the health butler of residents, highlight the cooperation of superior hospitals and strengthen the hospital core resources. The extension innovation model of community hospitals is helpful to improve the operation environment and service function of primary medical institutions.

In order to meet the demand of innovative design for desktop multiplication, an innovative design method integrating TRIZ(the solution theory of invention problem) and Extenics is proposed. Firstly, the contradiction problem in the innovative design is analyzed by using the extenics contradiction method, then the contradictory parameters are standardized, the TRIZ contradiction matrix is searched, the appropriate invention principle is selected to establish the feasible solution, the extenics transformation is implemented, and the innovative design scheme is obtained, according to the superiority evaluation method. Through the combination of crank-slider mechanism and crank-connecting rod mechanism, the contradiction of doubling the desktop area and keeping the desktop shape unchanged is solved. Finally, the specific mechanism design is expanded and analyzed, and the square table design scheme with variable area is established.

The integrated hand dryer currently used on the market has several problems such as the users having a poor experience in drying the hand for a long time and the waste water being splashed back. An innovative design of the product is systematically executed based on TRIZ, identifying the interaction of system components based on functional analysis, and using casual method to sort through the casual logic chain and root cause of the problem. Focusing on the key problem, results to solving problems are analyzed and several solutions obtained by the tools of Cutting Rules, Physical contradiction, Separation Rule, Filed Rule, Standard Solution etc. Ultimately, these programs have been comprehensively optimized and evaluated based on the principle of continuous improvement of ideals.