831results about How to "Verify correctness" patented technology

Various embodiments of message gate pairs are described. A message gate pair may provide a mechanism for communicating requests from clients to services and response from services to clients. A message gate pair may be used to create a secure atomic bi-directional message channel for request-response message passing. The distributed computing environment may employ a message transport in which a message gate exists on both the client and the service. The two gates may work together to provide a secure and reliable message channel. Client and service gates may perform the actual sending and receiving of the messages from the client to the service using a protocol specified in a service advertisement. The message gates may provide a level of abstraction between a client and a service. A client may reference a service through a message gate instead of referencing the service directly. Messages gates may allow clients and services to exchange messages in a secure and reliable fashion over any suitable message transport (e.g. HTTP). For a client, a message gate may represent the authority to use some or all of a service's capabilities. Each capability may be expressed in terms of a message that may be sent to the service. Each such message may be sent through a client message gate that may verify the correctness of the message. The message may be received by a service message gate that may authenticate the message and verify its correctness.

A message gate is the message endpoint for a client or service in a distributed computing environment. A message gate may provide a secure message endpoint that sends and receives type-safe messages. A gate may have a gate name that is a unique ID that refers only to the gate. A gate may be implemented as a layer above a device's transport layer (e.g. networking sockets). The gate name for each gate may be bound to a transport reference. Multiple gates may share the same message transport. The transport reference may be a transport URI or socket reference and may provide a mechanism for naming an underlying transport and sharing the transport with other gates. Multiple local gates may include a reference to the same transport, however, each local gate may behave independently of the other local gates sending and receiving messages to and from its paired remote gate.

The invention relates to a key escrow-free secure multi-keyword sorting and searching system. The system comprises a key generation center, a cloud server, a data owner and a data user; the key generation center is used for achieving interactive computing with the cloud server to jointly generate a public parameter of the system and a property public key-private key pair of the data user; the cloud server is used for storing a file of the data owner and responding to a searching query request of the data user; the data owner extracts a keyword set from the file, encrypts the keyword set into asecure index, encrypts the file, makes an access strategy and embeds the access strategy into ciphertext; and the data user defines the searched keyword set and generates a trap door by using the property private key of the data user to search for the encrypted file stored in the cloud server. According to the system, the key escrow problem is solved, flexible authorization keyword searching andfine-grained data access authorization are achieved, multi-keyword subset searching is supported, and the searching result is not influenced by changes of the keyword query order.

The invention discloses a five-coordination numerical control machine tool motion controller with an interpolation function, and relates to a numerical control machine tool motion controller. The purpose of the invention is to solve the problems that the functions of the controller can not be easy to be expanded and modified, which is caused by the poor openness and flexibility of the existing numerical control machine tool motion controller, and the requirements of a configurable motion controller can not be met, and NC program size is seriously limited, which is caused by the multiplication of information amount in the controller by adopting a type value point direct interpolation method. The motion controller comprises a man-machine interface module, a task coordination module, a task generation module, an axis group module, an axis module, a reverse motion transformation module, a control rule module and a discrete logic control module. When the NURBS interpolation method of the invention is adopted to carry out NC machining, the NC program is reduced substantially; meanwhile, the machining error is more greatly reduced than the linear interpolation error. By adopting a modularized systematic structure, the requirements of the configurable motion controller can be met, the openness of the numerical control system can be enhanced, and the function expansion and modification of the controller can be carried out on the specific modules.

The invention relates to an on-line large power grid recovery assistant decision-making system. The system comprises two work modes, namely a real-time assistant mode and a research and analysis mode, a fracture surface operation analysis module, a calculation configuration module, a calculation function module and a calculation management module, wherein the fracture surface operation analysis module is used for fracture surface reading and fracture surface adjustment, the calculation configuration module is used for setting calculation parameters and selecting a black-start power supply and a started power supply, the calculation function module is used for system partitioning, load flow calculation, electromagnetic transient calculation, electromechanical transient calculation and path search and assessment, and the calculation management module is used for displaying system partitioning schemes, voltage waveforms, ranking of available paths and a black-start generating scheme. When the on-line large power grid recovery assistant decision-making system is used for developing an on-line electric power system recovery assistant decision-making supporting system, existing data resources in a dispatching center can be sufficiently utilized, the advantages of the method of pre-arranged scheme recovery and intelligent dispatching are combined, a model does not need to be rebuilt, the construction time and cost of the system are reduced, the real-time performance and the accuracy of suggestions to decision-making are improved, and a powerful support is provided for rapid and reliable recovery of a power grid after power outages.

The invention relates to a synchronous reckoning method of utility boiler efficiency and coal heat value as well as ash content and moisture content, wherein air supply temperature, smoke exhaust temperature, smoke exhaust oxygen content, carbon content in fly ash, boiler-fed fuel content, boiler evaporation amount, assembly electric generating load, main steam pressure temperature, reheated steam inlet/outlet pressure temperature, water supply pressure temperature and flow rate, steam drum pressure, reheater temperature lowering water jet amount and steam extraction pressure temperature of each heater of high pressure cylinder are read through a plant-level supervisory information system (SIS) of a thermal power plant; and the parameters as the water temperature and drainage temperature of the inlet/outlets of different-level heaters of the high pressure cylinder are synchronously reckoned by hypothesizing the initial values of the coal heat value, the coal ash content and the coal moisture content, utilizing a boiler anti-balance heat efficiency model, a dry air amount required for theoretical combustion and actual smoke quality simplified calculating model, an actual smoke quality calculating model, an actual smoke volume calculating model, an actual smoke amount calculating model, a boiler positive-balance heat efficiency model and a boiler effective utilized heat model, and establishing prediction and rectification methods.

The invention is applicable to the technical field of automation of a power distribution network and provides an intelligent simulation method and system of a power distribution network terminal. The method comprises the following steps of: leading out a model established by a main station according to an IEC61970 standard with a feed line capacitor type, and a CIM (Common Information Model) format in advance; leading in and analyzing led-out CIM format data and establishing an equipment data object; establishing a real-time data set; receiving a simulated power grid operation manner appointed by a user; establishing a power grid topology connection relation and analyzing primary equipment, a corresponding relation between an information point of the primary equipment and configuration information of a power distribution terminal, and configuration information of a remote control point, so as to carry out remote signaling and remote measuring grouping; and carrying out charged analysis on the power distribution network according to the configuration information and initial information of the power distribution terminal; and generating corresponding data according to a charged analysis result to be provided for a main station. The invention provides an effective method for testing and identifying the accuracy and the adaptability of a main station feed line automation function.

A simulation experiment platform and an experiment method for motion of cord suspension parallel mechanism, mainly comprise a machine frame, a suspension platform, wire ropes, directive wheels, rope devices, plates and a detection control system. The directive wheel is installed on the top of the machine frame. One end of each wire rope is enlaced on the rope device, and the other end is connected to the suspension platform rounding the directive platform. Rope devices are installed on the plates, and the plates are fixed on the plate brackets at the two sides of the machine frame. The detection control system comprises tension sensors, stay rectilinear transducers, rotary encoders, an attitude reference, a wireless data collection launcher, a wireless data receiver, a PLC controller, a transducer and an industrial personal computer. The experiment platform can simulate the suspension platform dynamic behavior and wire rope strain change event when process during the suspension platform centroid eccentricity and wire rope operation speed out of sync, and can examine the control performance of the controller when the designed suspension platform is in a steady operation. The experiment platform and the experiment method have a tight structure, a small space usage and a high automaticity.

The invention relates to a flying robot control system semi-physical simulation platform which comprises a flying robot flight posture display/visual scene display computer, a flying robot dynamic model simulation computer, a flying robot airborne control system, a radio remote controller and a flying robot ground monitoring computer. The flying robot control system semi-physical simulation platform can simultaneously on-line debug a software system, a hardware system and a control algorithm of a flying robot and draws near an actual working condition of the flying robot to the maximum degree. A simulation experiment can directly verify the correctness of control signals through an executing steering gear of the flying robot airborne control system. The flying robot flight posture display/visual scene display computer can assist in verifying the actual working condition of the flying robot and the correctness of the control signals. The flying robot control system semi-physical simulation platform has stronger generality, stronger systematicness, stronger operability and stronger displaying performance and can be conveniently used in semi-physical simulation experiments of various flying robots. Repeated design of the flying robot control system is avoided, and test work of new function extension of the flying robot control system is greatly simplified.

The invention discloses a power distribution network double-layer coordination planning method with distributed generation (DG) based on time sequence characteristic analysis, wherein the method relates to the field of power distribution network planning. The method is characterized by comprising the following steps of analyzing the time sequence characteristic; determining a planning content; establishing a double-layer coordination planning model; determining annual investment and operation maintenance cost of DG in a lower-layer DG configuration, annual reduction loss caused by grid connection, annual power generation amount maximal node voltage and desired value of rated voltage deviation amount; determining the annual investment and operation maintenance cost of the system, the annual active network loss cost of the system, the annual electric power purchasing cost of the power distribution network, annual fault power failure loss cost, system node voltage and the anticipated value of the rated voltage deviation amount; and planning the power distribution network with DG under the restriction. According to the method of the invention, the corresponding time sequence characteristic is analyzed, and influence between the DG and a power distribution network frame is considered, and a vertical double-layer multi-target coordination planning model is constructed for realizing purposes of optimizing an integral comprehensive decision and optimizing DG grid connection benefit.

The invention provides an obstacle avoidance method for soft landing of an object outside the earth under a multi-obstacle constraint environment, and belongs to the technical field of navigation, guidance and control. The invention provides an improved optimum soft landing guidance method based on convex optimization for the problem of optimum guidance under the multi-obstacle constraint environment on the basis of the previous achievements. The method is characterized by, to begin with, establishing an optimal second-order cone programming model without obstacle constraint, and standardizing the model; then, carrying out analysis modeling on bulge obstacles on the surface of the Mars, and carrying out linear conversion to enable nonconvex constraints to be converted into convex constraints; fusing an obtained bulge obstacle mathematical model into second-order cone programming problems, and establishing a complete optimal second-order cone programming model with the obstacle constraints being taken into consideration; and finally, verifying the correctness of the algorithm through simulation analysis of three different types of obstacle constraints. The method can be applied to the study of lunar soft landing; the simulation result shows that the new algorithm realizes effective avoidance of three-dimensional space obstacles; available space for flying above and surrounding the obstacles is utilized reasonably; and fuel minimization is met simultaneously.

The invention relates to an AC power flow constraint-based uncertainty unit commitment model and a solving method. With the minimum fuel cost sum for a thermal power unit in 24 hours as an optimization target, a chance-constrained method is adopted to describe uncertainty for wind power output, AC power flow model-based network security constraints are built, and thus, the AC power flow security constraint-based uncertainty unit commitment model is provided. In view of the problem that the model is hard to solve, the invention provides a random constraint ordinal optimization method for successfully realizing quick model solution. In comparison with the traditional DC power flow constraint-based uncertainty unit commitment model, the provided model of the invention can effectively reduce the risk of threshold crossing of power grid voltage after large-scale wind power access, effectiveness of current power generation planning decisions is enhanced, the built model can finely calculate system network losses, and data reference is provided for a dispatching person. In addition, the solved algorithm is greatly enhanced compared with the traditional algorithm.

The invention belongs to the technical field of numerical control machining and particularly relates to an S-curve acceleration and deceleration control method and device of discrete sampling. According to the relation that displacement increment is integral to speed increment and also double integral to acceleration increment in a single sampling period, the S-curve acceleration and deceleration control method of high frequency sampling is achieved through pure hardware. On the basis of a field-programmable gate array motion controller hardware platform, a motion control module including the functions of the sampling period, speed control, counting comparison, pulse generation and the like by utilizing a hardware description language. The judgment methods of all speed changing points of an S curve are analyzed. The acceleration and deceleration states are changed through real-time feedback and comparison on motor positions, speed and acceleration, the value of an acceleration accumulator and the value of a speed accumulator are further changed, and S-curve control over driving pulse frequency is achieved. According to the method and device, the sampling frequency is high, and reconfiguration and reuse can be achieved; the driving pulse frequency is continuous and smooth in change, and the operating efficiency of a motor and the reliability of a numerical control system are improved.

The invention discloses a probability distribution-based distribution network reliability judgment method. On the basis of existing reliability judgment indexes, three distribution network reliability judgment indexes are proposed by the judgment method as follows: time to system failure (TTSF), time to system repair (TTSR) and system interruption frequency (SIF), and moreover, the three distribution network reliability judgment indexes are solved through an analytical expression. According to the probability distribution-based distribution network reliability judgment method disclosed by the invention, based on a distribution network partition thought, analytical characterization is performed on the distribution network reliability judgment indexes by adopting random functions respectively from a system level and a node level, and then, the probability distribution computation of a reliability index random function expression is realized by further combining the nonparametric kernel density estimation technology. The new indexes proposed by the method disclosed by the invention are beneficial supplements to a traditional distribution network reliability index system and are in favor of the rapid and visual judgment of the overall random characteristic of the reliability level of the system.

The invention discloses a night effect removal method for a camera-collected video, comprising the following steps of: collecting images of a same scene at daytime under various light conditions to form a set; training samples, creating a dictionary and setting a threshold; carrying out color model processing and denoising for an image collected at night; calculating a background image according to the threshold; successively obtaining the image of every frame of a streaming video collected at night; carrying out the color model processing and denoising to get a foreground image; integrating the foreground image with the background image; and removing the noise and storing integrated images in a new video file until the image of the last frame of the video stream is treated. The night effect removal method for the camera-collected video has simple processes, and high efficiency; is capable of effectively removing night effect of a monitoring video at night for a fixed scene and improving the contours and colors of the objects in the monitoring video, thereby enabling the effect of the whole image to be close to the image at daytime, obtaining detail information of the images easily, and obtaining a video effect close to that at daytime.

The invention provides a side slope point cloud curved surface reconstruction and deformation information extracting method, which belongs to the field of deformation monitoring. The side slope point cloud curved surface reconstruction and deformation information extracting method adopts an improved RBF algorithm, carries out curved surface modeling on side slope point cloud data subjected to point cloud preprocessing, and improves the RBF algorithm modeling efficiency and precision. For the side slope point cloud information extraction problem, the feasibility of combining Cyclone with CAD for extracting DEM and two methods which are respectively a contouring method and a three-dimensional quality inspection software method are proposed, deformation data extracted by adopting the three-dimensional quality inspection software method is compared with the traditional deformation monitoring data, and the correctness of the method is verified.

The invention discloses a power two-stage interactive optimization scheduling system of a virtual power plant in a haze environment, and specifically relates to a distributed energy resource optimization scheduling method. The method comprises the following steps: A, establishing a photovoltaic power generation prediction and load prediction system considering the influence of the haze environment; B, establishing a power system two-stage interactive scheduling system considering a virtual power plant; C, establishing a mathematical model considering two-stage interactive scheduling of the virtual power plant in the haze environment; D, improving the artificial bee colony algorithm; and E, carrying out solving based on an optimization model of the improved artificial bee colony algorithm. With the system, the energy crisis can be effectively relieved, and the environment can be protected. As new energy and the smart grid technology develop, it is difficult for a power system to directly schedule a lot of grid-connected DERs. The embodiment demonstrates the validity of the model and the feasibility of the algorithm, embodies the superiority of the aggregation of various DERs in power system scheduling, proves the influence of the haze environment on photovoltaic output, load prediction and scheduling, and provides a feasible reference for grid optimization scheduling.

The invention belongs to the field of computer encryption/decryption, characterized in that: the mode multiplier uses two 7-stage pipelining 64-bit multipliers to resolve operation numbers so as to raise system clock frequency and uses precalculating unit to send the data inputted in advance into a multiplier under the control of an external state machine. And the stages are divided according to three clock cycles of waiting the calculated results in the stage of calculating the previous bit value in the operation number. From i=0, the invention starts the first stage of calculating, repeats the above steps until all the mode multiplication of ones place numbers in the operation number ends, thus solving the problem of pipeline stopping and improving system parallel property and reducing the needed clock number. The mode multiplier is 233-bit long, and based on SMIC 0.18 mum worst process and the maximum time delay of the key route is 3.8 nano ad 2 sq m. One mode multiplication need take 110 clock cycles. As compared with the other structures, the invention has the characters of small area and high speed, applied to ECC code system and RSA code system.