50results about How to "Meet constraints" patented technology

A database store method and system for a virtual persistent heap may include an Application Programming Interface (API) that provides a mechanism to cache portions of the virtual heap into an in-memory heap for use by an application. The virtual heap may be stored in a persistent store that may include one or more virtual persistent heaps, with one virtual persistent heap for each application running in the virtual machine. Each virtual persistent heap may be subdivided into cache lines. The store API may provide atomicity on the store transaction to substantially guarantee the consistency of the information stored in the database. The database store API provides several calls to manage the virtual persistent heap in the store. The calls may include, but are not limited to: opening the store, closing the store, atomic read transaction, atomic write transaction, and atomic delete transaction.

A system for controlling a vehicle. The vehicle has a steerable front axle and at least one further steerable axle. The system determining the path of a reference lead point at the front of the vehicle and determining the path of a follow point at the rear of the vehicle. A controller for driving the at least one further steerable axle of the vehicle such that the deviation between the path of the lead point of the vehicle and the follow point is within a predetermined range while the vehicle is in motion.

The basic concept is that before a resource is accessed, the entity that has the burden of gathering the credentials, pro-actively refreshes the credentials and keeps them current. In one instance, a presenter of credentials, for example, a client, pro-actively refreshes the credentials such that at the time of presentation, the credentials meet the resource-specific constraints of a recipient of credentials, for example, a resource server. For each resource that it protects, a resource server typically establishes various constraints such as a recency requirement, which specifies how recently a credential has to have been issued to be accepted as an adequate credential. Other constraints may include maximum certificate chain length, trust level and so forth. In another instance, a recipient of credentials pro-actively gathers and refreshes credentials to prevent un-authorized access to the various resources it is protecting.

Systems and methods are provided for maintaining neutrality while trading a list of securities using an algorithmic trading facility coupled with at least one destination. This destination includes at least one alternative trading system (ATS). This facility is coupled, via an electronic data network, to a plurality of trading clients, and configured to receive a trade request to trade a list of securities from a trading client. This request includes user defined trading constraints that are used to generate and transmit trade orders to at least one ATS. The orders are transmitted based on trading data related to the destinations, the trade list, and the trading constraints. The facility can identify each executed trade corresponding to the trade orders and calculate a trade imbalance. The facility can determine whether the trade imbalance exceeds the trading constraints, and reallocate one or more of said submitted orders based on this determination.

System-on-chip (SoC) designs include large amounts of interconnected intellectual property blocks and standard-cell logic using complex bus fabrics. Today SoC design-closure that validates design targets of area, timing, congestion and power constraints is accomplished post routing as over 80% of validation problems are due to global-interconnect. A method is disclosed that allows the designers to achieve global design-closure and physical topology constraints, early in the design cycle, at much higher levels of abstraction. In particular, logic hierarchy of the design is converted into a physical hierarchy of functional-related clusters of locally-connected logic. The clusters and inter-cluster global connections can be refined to meet design constraints in order to generate a top-level floor-plan in the form of library and constraint files. Using the results of this top-down global design-closure method the designers can use the generated floor-plan to guide downstream tools to achieve predictable and correlatable design implementation.

A floor planner tool for integrated circuit design which provides tools and displays for a designer to create a floor plan to define desired placement of circuits defined in a logical netlist by creating a physical hierarchy comprised of nested pblocks. Each pblock is a data structure which contains data which defines which circuits from the logical netlist are assigned to it. Each pblock stands alone and can be input to a place and route tool without the rest of the physical hierarchy. Each pblock data structure contains pointers to the circuits on the netlist assigned to that plbock, identifies other pblocks nested within it and contains at least a list of boundary pins for that pblock.

The invention provides a dragged target attitude stability control method based on thrust control of a tethered space tug. The method includes following steps: 1, performing a system hypothesis, wherein the tethered space tug is an integral body including a tug, a target, and an elastic-connection tie rope, and the tug and the target are located at two ends of the tied rope; 2, calculating a reference trajectory based on optimization; 3, deducing a robust global terminal sliding mode controller; and 4, adding an anti-saturation module and a thrust prediction and correction module. By the above steps, the robust global terminal sliding mode controller obtained in step 3 and the anti-saturation module and the thrust prediction and correction module obtained in step 4 are combined so that the designed dragged target attitude stability controller based on thrust control of the tethered space tug and the control method thereof are obtained, the controller designed by the method can satisfy the constraint demand, and the loosening of the tied rope is also prevented by the designed thrust prediction and correction module.

The invention relates to a method and system for the design and implementation of state machine engines. A first constraints checking step checks a state transition function created by a designer against constraints imposed by the implementation technology in order to detect all portions of the state transition function that are in conflict with the constraints. A subsequent conflict resolution step tries to determine one or more suggested ways to meet the conflicting constraints, by investigating how the original state transition function can be modified such that all constraints are met. A final presentation and selection step provides the designer textual and/or graphically results of the constraints check and suggested modifications. The modifications can be accepted interactively, or the state transition function can be changed manually. In the latter case, the modified state transition function will be processed starting again with the constraints checking step.

The invention provides an SDN (Software Defined Network)-based path calculation method and device under multi-dimensional constraints, and the method comprises the steps: receiving a path calculationrequest of a service, and enabling a plurality of service scenes of the service to be available; wherein the path calculation request comprises a constraint type corresponding to the service and an evaluation type corresponding to the service; matching the constraint type with a preset multi-dimensional constraint model to obtain a multi-dimensional constraint set corresponding to the service; matching the evaluation type with a preset evaluation model to obtain an evaluation function corresponding to the service; and carrying out path calculation according to a multi-dimensional constraint set and an evaluation function. The problems that in the prior art, a service module of an SDN controller is coupled with a path calculation module, an SDN controller is low in operation efficiency dueto the fact that a path calculation module cannot serve as an independent component to be used for other business scenes and path calculation performance is bottleneck due to the fact that constraintsused in the path calculation process are fixed are solved.

A system or a method to at least partially steer systems, e.g. heating and/or cooling and clusters of systems, when the controller of the system is unknown or when the transfer function of the system is unknown. The steering of the energy flow, e.g. heating/cooling/electrical energy, includes providing energy to the system or the cluster of systems and preferably to manage common constraints, like capacity problems.

The invention discloses an improved predictive guidance method for RLV (reusable launch vehicle) reentry heat flux tracking, and relates to the technical field of flight guidance. According to the method, a longitudinal guidance law and a transverse guidance law in prediction correction guidance are improved, and the method mainly comprises the following steps that when the longitudinal guidance law is designed, firstly, the maximum value of the heat flow rate at the current moment is determined, and then a heat flow rate tracking compensation item is introduced into longitudinal guidance lawdesign to correct the heeling angle amplitude; in the transverse guidance law design process, geographical constraints can be effectively processed by utilizing transverse guidance logic designed by an improved artificial potential field method, and the transverse guidance logic after the reusable vehicle flies over a no-fly zone is determined by a track azimuth angle error corridor. According tothe method, the landing point precision of the aircraft can be guaranteed, and process constraints and geographical constraints in the flight process can be met.

An iterative refinement apparatus configured to generate data defining a solution vector x for a linear system represented by Ax=b, where A is a predetermined matrix and b is a predetermined vector. An outer solver processes input data, defining the matrix A and vector b, in accordance with an outer loop of an iterative refinement method to generate said data defining the solution vector x. An inner solver processes data items in accordance with an inner loop of the iterative refinement method. The inner solver is configured to process said data items having variable bit-width and data format. A precision controller determines the bit-widths and data formats of the data items adaptively in dependence on the results of the processing steps of the iterative refinement method; the precision controller configured to control operation of the inner solver for processing said data items with the bit-widths and data formats.

The invention discloses the technical field of communication, and in particular relates to a resource distribution method of a multi-user OFDM (Orthogonal Frequency Division Multiplexing) system. The resource distribution method comprises the steps of: firstly, obtaining user channel gain, setting a rate proportion constraint matrix among users; then distributing subcarriers to the users according to the rate proportion constraint matrix; and further distributing bits for the subcarriers. According to the invention, the rate proportion constraint is considered, after primary distribution is completed by adopting loop iteration of a genetic algorithm, secondary distribution is carried out by adopting a greedy algorithm, the constraint requirement is achieved, the total rate of the system is increased, the error rate is lowered, and the effects of improving throughput capacity of the system and increasing the frequency spectrum efficiency are achieved.

The invention discloses a miniature antenna servo apparatus. The miniature antenna servo apparatus comprises a pedestal, an orientation channel motor which is arranged on the pedestal, an orientation channel motor gear which is driven by the orientation channel motor, a pair of sector gears, an orientation channel and a pitching channel, wherein the pair of sector gears are arranged on the upper part of the pedestal and are meshed with the orientation channel motor gear; the orientation channel includes an orientation channel principal axis; the pitching channel includes a pitching channel principal axis which is perpendicular to the orientation channel principal axis; the pitching channel principal axis, the orientation channel principal axis and the pair of sector gears are connected as one body; and the orientation channel motor gear drives the sector gears to rotate so that the orientation channel principal axis and the pitching channel principal axis can also rotate around the hole axis at the upper part of the pedestal synchronously. The miniature antenna servo apparatus is simple in structure and is miniaturized, and has the advantages of being large in the installable detection assembly, being high in the bearable load moment of inertia, being able to realize the maximum compound angle limiting function, and being low in cost.

The invention relates to a large-span bridge elastic-plastic damping system. The large-span bridge elastic-plastic damping system comprises damping cable pairs composed of elastic-plastic damping cables and a transverse viscous damper. The two damping cable pairs are arranged, one ends of the damping cable pairs are anchored on anchoring blocks integrally cast with a main beam of a bridge, the other ends of the damping cable pairs are anchored on main tower columns on the other sides, and the two damping cable pairs are symmetrically arranged. One end of the viscous damper is anchored on the bottom of the main beam, and the other end of the viscous damper is anchored on a main tower cross beam of the bridge. The damping system can provide enough restraint rigidity and bearing force under the normal use condition, has enough deformation capacity and energy consumption under the strong earthquake condition, and can remarkably improve the anti-seismic performance of the large-span bridge in a highly seismic region.

The invention discloses a lift aircraft high-dynamic downward-pressing section guidance method. The steps include: calculating downward-pressing section guidance force, and calculating an downward-pressing section instruction according to the guidance force; and by tracking the downward-pressing section instruction, controlling flight of the lift aircraft in a downward-pressing section process. The lift aircraft high-dynamic downward-pressing section guidance method realizes high-speed downward-pressing section guidance of the aircraft, and solves the problem of strict constraints on downward-pressing section termination height, angle of inclination, lateral position and the like.

The invention discloses a method for solving a nonlinear programming model based on a cuckoo search algorithm, which comprises the steps of A, randomly generating m bird's nests and calculating the fitness of each bird's nest; B randomly selecting one bird' nest, generating a new bird' nest through executing Levy flight, calculating the fitness of the new bird's nest, replacing the original bird's nest with the new bird's nest if the fitness of the new bird's nest is greater than the fitness of the original bird's nest; randomly selecting m*Pa bird's nests, generating m*Pa new bird's nests through executing sinusoidal carrier based Levy flight, calculating the fitness of the new bird's nests, and replacing the original bird's nests with the new bird's nests; D, acquiring the bird's nest with the fitness being the highest, and storing the bird's nest as the current optimal bird's nest if the fitness of the bird' nest is greater than the fitness of the current optimal bird's nest; and E, judging whether the number of iterations reaches a preset threshold value or not, if so, using the current optimal bird's nest to act as the optimal solution to output, and if not, returning back to the step B. The invention further discloses a device corresponding to the method and computing equipment comprising the device.

The invention discloses a small celestial body landing fixed thrust trajectory tracking control method, and belongs to the technical field of deep space exploration. The realization method of small celestial body landing fixed thrust trajectory tracking control method includes the steps that landing nominal trajectories realizing a terminal position and velocity constraints are preset based on polynomial acceleration; the velocity increment needed at the current time is calculated according to the difference between the actual trajectories of a detector at the current time and the landing nominal trajectories; and the start-up time of thrust engines in all directions is calculated according to the engine thrust magnitude and the speed increment at the current moment, and the control force of the corresponding time is applied in a single control cycle to obtain the needed speed increment, so that the tracking control of the detector over the nominal trajectory in the single control cycle is realized. The fixed thrust control method is used in each control cycle to achieve the trace tracking control of the detector over the nominal trajectories in the corresponding single control cycle, after a plurality of control cycle tracking controls are completed, a lander is enabled to be from a fly-around orbit to a target sampling point, and when the lander reaches the target sampling point, the speed of the lander meets the constraints given by a task.

The invention discloses a method for actively power distribution network bi-layer wind-power planning based on improved Cuckoo search algorithm. The method includes a first step of establishing a bi-layer planning model, a second step of carrying out load flow calculation and linearizing the load flow calculation, a third step of establishing the Cuckoo search algorithm containing Levy flight function of sinusoidal carrier, a fourth step of converting the bi-layer planning model into a single-layer single-target planning model, a fifth step of creating a bi-target optimization problem according to the single-layer single-target planning model, and a sixth step of solving the bi-target optimization problem in the fifth step through the Cuckoo search algorithm containing Levy flight function of sinusoidal carrier in the third step. The Levy flight of the sinusoidal carrier better limits random solutions within the constraint scope of decisive variables, and partial accurate searching optimization can be supported. The bi-target optimization problem forces the infeasible solutions to move to the feasible solution area, and the feasible solutions are improved gradually. The solution optimization speed is accelerated, and the algorithmic efficiency is improved.

The invention discloses a firework algorithm-based ship dynamic positioning prediction controller design method characterized by comprising the following steps: 1, establishing a dynamic positioning ship model; 2, identifying model parameters to obtain expressions of A (q-1) and B (q-1); 3, performing recursion through a diophantus-of-alexandria equation, to obtain expressions of Ej (q-1) and Fj (q-1); 4, calculating to obtain a coefficient matrix G; 5, performing rolling optimization according to a target function to obtain a control increment [delta]tau; 6, judging whether the control increment meets a constraint condition or not, if the control increment meets a constraint condition, entering the step 7, and if the control increment does not meet a constraint condition, performing optimization by adopting a firework algorithm flow, taking [delta]tau as optimization fireworks, and obtaining optimal [delta]tau after the optimization is finished; 7, calculating control input tau (k) atthe moment according to the optimal delta tau, and inputting the control input tau (k) to a control system; and step 8, turning to the step 2, continuously repeating the control flow according to theactual operation data of the system, and finding the optimal control output at the next moment until the control is finished.

A method for performing a maintenance function of a system under diagnosis includes a step for hierarchical decomposition of the system under diagnosis into sub-systems based on the model of the system and, for each sub-system, steps for determination of a model of the sub-system starting from the model of the system, and allocation of a diagnostic method depending on the processing and memory resources of said sub-system. The method allocated is a first diagnostic method based on the model of the system or a second diagnostic method based on predefined logical relationships. The method further includes calculation of the logical relationships for the sub-systems implementing the second diagnostic method, and the transfer of the logical relationships to the sub-systems implementing the second method and the transfer of the model to the sub-systems implementing the first method.

The invention relates to an elastic-plastic damping cable for transverse damping of a large-span bridge. Redundant design is adopted for inhaul cable anchoring, and a redundant cable wire reinforcing segment is additionally arranged between an anchoring zone and an effective cable segment. The number of cable wires in the anchoring zone and the reinforcing segment is larger than that of effective cable wires, redundant cable wires are cut off in the effective cable segment, a tension resisting capacity level difference between the anchoring zone and the reinforcing segment, and the effective cable segment is formed, and thus it is avoided that potential weak and destructive links occur in the anchoring zone or the reinforcing segment. Damping cables can provide sufficient restraint rigidity and bearing capacity under the normal use condition and have sufficient deformability and energy dissipation capacity under the strong earthquake condition, and therefore the seismic performance of the large-span bridge in a strong earthquake area can be significantly improved.

An extended Pulse-Interval Encoding (PIE) modulating method in a Radio Frequency IDentification (RFID) system, wherein the method modulates 2-bit transmitted data and comprises: adjusting a length of a symbol according to a value of the first bit of the transmitted data; and adjusting a length of an energy transfer waiting section according to a value of the second bit of the transmitted data.