1209results about How to "Guaranteed feasibility" patented technology

The invention provides a detector for binary-code buffer-zone overflow bugs, and a detection method thereof. The detector comprises six functional modules, namely a debugger module, an input point positioning module, a disassembling module, a symbolic execution module, a loop operation analysis module and an intelligent FUZZ test module. Differing from static symbolic execution, the detection method dynamically loads programs through the self-developed debugger module to synchronously performing symbolic execution and single-step practical execution, and then applies a model to solve each difficulty in binary code analysis so as to test path coverage and detect overflow bugs in accordance with all executable programs of PE format under a Windows platform. The detection can also provide propagation paths of input data and other important information related to bug formation cause while positioning the bugs, only analyzes the selves of the executable programs, needs no source codes, is unrelated to the species of source codes and development tools, and is extensive in applicable occasions, so the detection method has good prospects for popularization and application.

A lithium battery state of charge (SOC) estimation method is used for lithium battery energy storage equipment with a micro controller and a storer and used for correction of practical capacity of a lithium battery. The method comprises the following steps: utilizing an electromotive force method to establish a battery circuit model; determining the functional relationship between the electromotive force and the SOC; calculating the current SOC number value according to the obtained relationship between current and voltage; accurately calculating the original value SOC0 of the SOC according to the relationship between current and voltage; calculating the current SOC value by using a current integration in a real time manner; correcting the estimation values obtained through the electromotive force method and the current integral mensuration by using an expanded Kalman model; realizing real-time on-line accurate estimation for battery packs by using expanded Kalman filtering circular iterative computations.

The invention relates to an AGV optimization scheduling method based on mixed particle swarm optimization. First of all, a mathematics model is abstracted from the work process of an AGV, and an object function of a scheduling scheme is determined, and secondly, the model is solved by use of the mixed particle swarm optimization based on a genetic algorithm, a stimulated annealing algorithm and ant colony optimization, and an optimization scheduling scheme is generated. According to the invention, a contrast analysis is made between the mixed particle swarm optimization and standard particle swarm optimization through examples, and the variation operation of the mixed optimization employs an ant colony optimization thinking mode, ensures intersection of individual best and group best in an intersection operation process, ensures the feasibility of the mixed particle swarm optimization and has the validity for solving large-scale scheduling tasks.

The invention discloses a water unmanned ship local hierarchical path planning method based on the navigation error constraint. The method mainly includes the steps of local static path planning based on the navigation error constraint and combined with a genetic algorithm; local dynamic path planning fused with the maritime affair rule. The hierarchical thinking is adopted, local path planning is divided into two levels of static path planning and dynamic path planning, the static barrier avoiding problem is solved, and the dynamic barrier avoiding problem is also solved. According to static path planning based on the navigation error constraint and combined with the genetic algorithm, adverse influences of navigation errors on path selection are reduced, and the safety of path planning is improved; according to dynamic path planning based on the marine affair rule, the dynamics constraint of a water unmanned ship is considered, and the feasibility of path planning is improved.

The invention relates to a solution for multiple mobile robot path conflict based on dense storage regions. The technical scheme of the solution comprises steps of (1), establishing an initialized mesh path image by dispatching a server; (2), detecting a cargo access task and dividing the task into a plurality of sub-tasks; (3), outputting task paths of current sub-tasks by using an image search method; (4), determining whether target points of sub-tasks are released by a last task; (5), marking all task paths by using task numbers; (6), returning to the step (2) after marking all task paths; (7), seizing resource variables through all tasks in a task executing queue; (8), dividing conflict regions; (9) determining whether conflict regions are released completely; (10), sending a task execution command to a mobile robot; and (11) returning to the step (7) after releasing resource variables to the server. The solution has the advantages of being reasonable in design, capable of distributing tasks at any time, planning tasks at any time and avoiding conflict at any time, high in accuracy, simple in calculation and practical.

The invention relates to an anthropomorphic reference track planning method for unmanned driving, including the following steps: building a vehicle steering model, and generating dynamic constraints of vehicle steering according to the basic parameters of vehicles; acquiring map information of roads according to a vehicle top decision, and getting start and end point constraint information of a reference track according to the map information; according to the dynamic constraints of vehicle steering and the start and end point constraint information of the reference track, generating a plurality of turning track curves which basically meet the geometric and dynamic constraints of vehicle steering and accord with people's driving habits and steering law, and forming a basic feasible track cluster; and with the integral of lateral acceleration over time as an index, selecting a most comfortable track as a finally generated optimal reference driving track within the intersection from the basic feasible track cluster. As the driving characteristic of people is considered and the driving law of people is simulated, the reference driving track generated is in accordance with the driving habits of people.

A method of signaling bearer connection on Iu interface for MBMS service, includes the following steps: (a) RNC receives a MBMS Notification message for a certain MBMS service from SGSN; (b) RNC constructs a MBMS Service Request message according to the contents of the notification; (c) RNC sends a SCCP Connection Request message to SGSN, requests to establish a SCCP signaling connection, and then waits for a reply; (d) RNC receives a SCCP Connection Confirmation message from SGSN. This invention solves the problem of signaling connection on Iu interface after MBMS service is introduced into the existing mobile communication system. The connection mode provided in this invention can reasonably utilize network resources, effectively reduce signaling congestion on Iu interface and reduce modifications to the existing Iu interface message.

The invention discloses an edge caching system and method based on content popularity prediction. The method comprises the following steps that: (1) according to the historical request information ofa user, training the preference model of each user in a node coverage region offline; (2) when a request arrives, if requested contents are not in the presence in a cache region, on the basis of the preference model of the user, carrying out the on-line prediction of content popularity; (3) comparing a content popularity prediction value with the minimum value of the content popularity of the cache region, and making a corresponding caching decision; and (4) updating a content popularity value at a current moment, evaluating the preference model of the user, and determining whether the offlinelearning of the preference model of the user is started or not. By use of the method, an edge node can predict the content popularity online and track the change of the content popularity in real time, the corresponding caching decision is made on the basis of the predicted content popularity, so that the edge node is guaranteed to continuously cache hot contents, and a caching hit rate which approaches to an ideal caching method is obtained.

The invention discloses an encryption and decryption method for numeric type data. The method comprises the following steps that the numeric type data is converted into character strings; each character is sequentially converted into 4 bits according to the correspondence relationship between the numeric characters and the binary system, and a bit stream is formed; the number of 0 and 1 in the bit stream is counted, and an encryption secret key is obtained through calculation; the encryption secret key is utilized, a chaotic sequence with the pseudo-random property is generated by a chaotic system, in addition, chaotic signals are taken from the chaotic sequence and are sequenced in an ascending sequence, and the bit stream is scrambled according to the positions in accordance with the scrambling rule; the corresponding relationship between the four-digit binary coding mode and the visible ciphertext characters is utilized for converting the scrambled bit stream into the visible ciphertext character strings, and the ciphertext can be decrypted and recovered into the original data type data through adopting the similar method. According to the method provided by the invention, the corresponding table customization is adopted, the numeric type data is subjected to binary scrambling chaotic encryption processing, the safety and the feasibility of the data encryption are ensured, and in addition, the encryption efficiency is also greatly improved.

An embodiment of the invention provides an automatic compilation method for a passenger flow demand based train working diagram. The method mainly comprises the steps of establishing a train working diagram optimization model according to basic parameters and passenger flow information, wherein the train working diagram optimization model includes a train cyclic working model, a train arrival and departure moment calculation model, a train sequential constraint model, a train load factor calculation model and a target function model; and solving the train working diagram optimization model by adopting a dual-layer planning algorithm combining a heuristic algorithm with nonlinear planning to obtain the passenger flow demand based train working diagram. According to the embodiment of the invention, high and low-peak time periods and corresponding intervals do not need to be pre-specified and the train working interval is automatically changed along with the passenger flow demand; and the automatically compiled train working diagram can meet constraint conditions of turn-back time, an available vehicle number, a load factor and the like, the feasibility of the working diagram is ensured, and on the premise of meeting the passenger flow demand, the operation cost is reduced and the working diagram compilation efficiency can be greatly improved.

The invention discloses an encryption and decryption method of character data. The encryption and decryption method comprises the following steps: converting plaintext character data into a numerical sequence; carrying out bidirectional encryption on all elements in the numerical sequence by utilizing a chaotic signal generated by a variable key chaotic system and obtaining a bidirectional chaotic encryption numerical sequence; self-defining a corresponding relation between numerical data and a visible ciphertext character, converting the bidirectional chaotic encryption numerical sequence into a visible ciphertext character sequence, obtaining a ciphertext string unequal to the plaintext character data in length, and decrypting and restoring a ciphertext into original character data through a similar method. The encryption and decryption method has the benefits that the self-defined corresponding relation is adopted for carrying out bidirectional chaos encryption processing on the character data so as to generate the length-variable ciphertext string, and the ciphertext string has good resistance to known/chosen-plaintext attack, ciphertext-only attack, so that the safety and the feasibility of data encryption and decryption are ensured.

The present invention discloses a method for business dispatching in a time triggering FC network, and relates to the field of an FC network. The method comprises the following steps of: establishinga network model, calculating a cluster period, and determining the length of a single time slot of each time triggering message; determining the priority of a TT message according to a certain rule; planning a link transmitting the TT message; detecting the schedulability of the TT message; selecting the TT message with the highest priority to arrange the time slot of the TT message; according tothe periodicity and the transmission link of the TT message, arranging all other time slots; arranging the TT message of the next priority, and solving a time slot map meeting conflict-free and periodsending of all the TT messages in all the links; and according to a whole network and total business time slot map, solving the sending and receiving time dispatching tables in each terminal and eachexchange. The method ensures the transmitting and receiving of the message determinacy in the optical fiber channel network so as to meet the demand of real-time message dispatching in the complex application system and allow the upper-layer application system performance to be more determined and reliable.

The invention relates to a method for scheduling multi-spacecraft parallel test task based on genetic algorithm, which comprises the following steps: 1) performing genetic algorithm; 2) acquiring a basic line scheduling scheme; 3) re-scheduling; and 4) ending the design. The method provided by the invention has the advantages that: 1) the influence of uncertain factors is considered and the feasibility of scheduling scheme is maintained all the time; 2) the generated scheduling scheme has shorter test period; and 3) the problem of large-scale spacecraft parallel test task scheduling can be efficiently solved.

A goal programming based hypersonic flight vehicle re-entry trajectory online optimization method comprises the steps of giving a kinetic model of hypersonic flight vehicle re-entry process, including height, latitude, longitude, course angle and trajectory angle kinetic equations; calculating a re-entry corridor within a speed-height plane, setting an attack angle alpha as a segmented linear function and using two speed values V1and V2 as a segmentation points to obtain the attack angle alpha; respectively designing a longitudinal trajectory and a transverse trajectory. The goal programming based hypersonic flight vehicle re-entry trajectory online optimization method is applicable to online trajectory generation of the hypersonic flight vehicle re-entry process, is feasible and effective for solving the problem of the re-entry trajectory optimization under the condition that a terminal point position is known, can generate a feasible trajectory within short time, meets quick and real-time trajectory optimization, can further make the obtained trajectory to meet all constraint conditions within a certain error accuracy range and ensures trajectory feasibility.

The invention discloses a near space dynamic plasma sheath channel modeling and simulating method. The method comprises the steps that channel resources are partitioned according to large-scale space-time-frequency characteristics to construct a large-scale space-time-frequency channel resource matrix, wherein the height corresponds to large-scale space domain characteristics, the speed corresponds to large-scale time domain characteristics, and frequency points correspond to large-scale frequency domain characteristics; for all channel resource matrixes, dynamic small-scale channel parameters are obtained; small-scale channel model simulating is achieved according to given small-scale channel parameters; large-scale channel model simulating is achieved by repeating small-scale channel models at multiple states on a near space flight path. The method is suitable for channel modeling under different dynamic rules, random-amplitude phase probability density distribution which may occurs under a plasma sheath is simulated, and channel modeling feasibility is guaranteed; the method is suitable for near space aircraft plasma sheath channel modeling and spaceflight reentry-return spacecraft plasma sheath channel modeling.

The invention aims at providing an effective dynamic dispatching mechanism for shop dispatching operation directing at multi-species variable volume production environment, thus completing production dispatching scheme determination and optimization under the disturbance of shop production. The method is based on analysis of the existing shop disturbance event, an event-driven fast response mechanism is established, guiding of dispatching scheme on production field is ensured by dynamic dispatching on disturbance event driving, four basic processing methods are utilized, different combination of process movement, process cancel, process addition and process insertion are utilized to deal with massive and different disturbance events from a scheduled task layer, a production technology layer, a material resource layer and a production execution layer, modular processing is realized, and meanwhile the scheme can make the best of experience of dispatching personnel by virtue of human-machine interaction mechanism, causes the optimized scheme to be more corresponding to shop production habit and improves the applicability of the dispatching scheme.

The invention provides a method for tracking a ground station through a low earth orbit space-borne antenna. The method comprises the following steps: 1) calculating UTC at the next pointing moment of the antenna; 2) calculating the number of transient satellite orbit at the next pointing moment of the antenna; 3) calculating the position of the satellite under a J2000 inertial coordinate system; 4) calculating the position of the ground station under the J2000 inertial coordinate system at the next pointing moment of the antenna; 5) calculating the opposite position vectors of the satellite and the ground station under the J2000 inertial coordinate system; 6) calculating the vector of the opposite position vectors of the satellite and the ground station under geo-center camber line; 7) calculating the vector of the opposite position vectors of the satellite and the ground station under the satellite orbit coordinate system; 8) calculating the vector of the opposite position vectors of the satellite and the ground station under a satellite body system; 9) calculating the vector of the opposite position vectors of the satellite and the ground station under an antenna coordinate system; 10) obtaining an antenna pointing angle, and driving the antenna to perform pointing tracking for the ground station.

The invention relates to the voltage control of the electric power field and especially relates to a reactive voltage partitioning method based on spectral clustering. A topologic matrix with a weight is used to construct a simplified power grid model. According to a spectral clustering definition, a Laplace matrix is acquired. Through an improved K-means clustering algorithm, clustering is performed on different characteristic vectors in a characteristic matrix. During clustering, modularity Q is introduced to be taken as an index of measuring an area partitioning quality. A partitioning scheme with a largest modularity Q value is selected as an initial partitioning scheme. Connectivity verification and reactive verification are performed on each area of the initial partitioning scheme. If the area can not simultaneously satisfy two conditions of area static state reactive balance and an enough reactive reserve margin, under the condition that a value of partitioning modularity Q does not change greatly, node adjusting is performed till that all the verification conditions are satisfied. In the invention, a topology structure of a complex power grid is embodied, calculating complexity is reduced, an integration evaluation system is established based on the modularity, the reactive balance and a reactive reserve index, and integration verification is performed on a partitioning result so as to ensure feasibility of the partitioning scheme.

The invention discloses a prestressed ultrahigh-performance concrete continuous box girder bridge which comprises piers and an ultra-high performance concrete box girder. The box girder has a wholly or partially external prestressed system in the longitudinal direction of the box girder bridge and mainly comprises a top plate, a bottom plate, a web plate and a diaphragm plate, wherein at least one of the top plate, the bottom plate, the web plate and the diaphragm plate is a sheet. The construction method of the prestressed ultrahigh-performance concrete continuous box girder bridge is a segmental prefabricating and suspended-splicing method and mainly comprises the following steps: constructing pile foundations and the piers, mounting blocks No.0 on the piers, splicing all sections of the box girder symmetrically on two sides of the blocks No.0 in a suspending way, erecting side spans by using a support erecting method, carrying out side span closure, carrying out midspan closure, and stretching prestressed steel strands in all construction stages to finish construction. The prestressed ultra-high performance concrete continuous box girder bridge has the advantages of simple structure and light dead weight, the crack risk of the box girder is reduced, and the method is suitable for constructing a long-span bridge.

The invention discloses an expansion planning optimization method for electricity-gas-heat integrated energy system with wind power, comprising the following steps: (1) modelling an energy center including an energy center electric input vector and a gas input vector, CHP, PTG, an initial system, a heat pump system, a power storage system, a heat storage system and an electric, thermal and gas load; (2), carrying out refined expression on the uncertainty of the wind power according to the set time period; (3), according to the modeling in step (1) and the refined expression in step (2), establishing an IES expansion optimization planning model containing wind power, and using a two-stage planning solution strategy based on scene method to obtain the final energy system expansion result. As the couple planning of the power, the gas and the heat sources can reduce the overall planning cost, the economy of the system is greatly improved, and the expansion plan combined with the local wind power access capacity and the load level has a very critical influence on the system economy.

The invention discloses an orthogonal uniform linear array-based underwater direction-of-arrival (DOA) estimation method and system. The estimation system comprises a data acquiring, processing and controlling module, an emitting module, a receiving module, an outputting module and a power module. In the receiving module, ultrasonic receiving probe arrays are orthogonal uniform linear arrays. Each array comprises the same number of ultrasonic receiving probes. The invention realizes accurate target positioning when the propagation speed of the sound wave under water is uncertain, improves the ESPRIT algorithm, eliminates the sound speed in the algorithm and makes the final estimation result independent of the sound speed. In this way, the effect of uncertain sound speed on DOA is eliminated, achieving relatively high practicability. In addition, it is possible to carry out measurement in different underwater acoustic environments, and underwater target positioning is relatively accurate.

The invention discloses a method for constraining workflow scheduling in a cloud environment based on the ant colony optimization algorithm through deadline. The method comprises the steps: employing an ant colony system with a candidate list; respectively searching a workflow scheduling scheme in the cloud environment through a plurality of ants; carrying out the communication of a workflow scheduling result among the ants in a pheromone mode, thereby guiding the deciding of the subsequent search direction of ants and the workflow scheduling scheme. Compared with a conventional workflow scheduling method, the method can reduce the cost of the workflow scheduling in the cloud environment and improves the service quality for cloud users under the condition of meeting the deadline time QoS requirements of users.

The invention relates to a vehicle collision avoidance dynamic safety path planning method based on accurate trajectory prediction. The method comprises the steps of obtaining vehicle state information and parameter information of a vehicle and an obstacle vehicle; constructing a vehicle trajectory prediction model based on a three-degree-of-freedom vehicle dynamics model and a long-short-term memory recurrent neural network LSTM; using the vehicle trajectory prediction model to predict the driving trajectories of the vehicle and the obstacle vehicle, and obtaining the driving trajectory prediction data of the vehicle and the obstacle vehicle; constructing a vehicle dynamic safety path planning model by fusing mesh generation, an artificial potential field method and a high-order polynomial curve fitting method; based on the driving trajectory prediction data of the vehicle and the obstacle vehicle obtained in the step 3, using the vehicle dynamic safety path planning model to obtain an optimal collision avoidance path of the vehicle; and carrying out speed and acceleration real-time matching on the optimal collision avoidance path obtained in the step 5. Compared with the prior art, the method has the advantages of high precision, safety, feasibility, comfort and the like.