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 combat system modeling and simulation system which is composed of a system structure modeling module, a system structure logic verification module, a system structure timing sequence file generation module, a system simulation scenario generation module, a system simulation user interface, a system simulation engine and a simulation data recording playback module. The system structure modeling module is used for building a system structure model meeting the DoDAF standard at first, then the system structure logic verification module is used for verifying whether a logic flow of the system structure model is correct, the system structure timing sequence file generation module generates corresponding timing sequence description files after verification is passed, the system simulation scenario generation module imports and analyzes system structure timing sequence files, and a simulation scenario is automatically generated; according to the simulation scenario, the system simulation engine uploads a needed simulation solid model to conduct combat process simulation, a battlefield situation map is displayed through the system simulation user interface, and the simulation data recording playback module is used for recording simulation process data and conducting playback on the simulation process.

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 present invention relates to an apparatus, a system and a method of user-assisted resource usage determination in a domestic setting, the method comprising defining a resource consuming user activity by the user by means of a resource consuming user activity identifier; defining an interval for metering resource usage; determining the resource usage during the defined interval; and storing the determined resource usage, the defined 5 interval and the association thereof with the resource consuming user activity identifier.

The invention provides a manufacturing process for a high-curvature full-profile thin-wall part so as to solve the problem of processing deformation and vibration of an ultra-complex spatial thin-wall curved surface. By reasonable process layout, a segmented layer-by-layer processing mode is adopted, an appropriate cutter and a cutter handle are selected, working allowance of every process is set, natural aging time is set, cutting process parameters and feeding strategies are optimized, the uniform material removal amount of the part is guaranteed, an adding cushion block location and gypsum filling method is adopted simultaneously, the problem of clamping difficulty and vibration in part processing is solved, processing rigidity and clamping stability of the part are improved, deformation in the part processing process is controlled, and the part size and precision are guaranteed.

A method and system are provided in a wireless communications system comprising a plurality of nodes (users) working cooperatively. The system provides cooperative diversity by allowing nodes to actively share their antennas and other resources to obtain spatial diversity. The nodes receive the same message (information data) from a common source. Each node enhances the reliability of the message with a modern forward error correction (FEC) code, converts the FEC encoded message into an ensemble of symbols, divides the ensemble of symbols into packets, modulates, dithers and transmits the packets to a receiving node. The dithering process is performed by varying the signal amplitude, phase, frequency and / or symbol timing of the modulated packets. A unique dither pattern is assigned to each node. The receiving node captures a composite signal comprising the transmitted packets of all or most of the transmitting nodes in the cooperative communications system. Because the transmitted packets are dithered independently in phase and / or amplitude, spatial diversity is transformed into temporal diversity.

The invention discloses a gear profile modification method based on vibration reliability and a genetic algorithm, belonging to the technical field of reliability designs. The gear profile modification method can not only reduce meshing impact due to elastic deformation and manufacturing errors, but also reduce the meshing excitation of a gear so that a gear system has smooth transmission, the vibration and the noises are reduced, and the reliability and service life of the gear system can be improved. The gear profile modification method comprises the following steps of: (1), establishing an elastic modification virtual prototype for meshing between a gear and a modifying gear; (2) carrying out dynamic simulation on gear transmission errors in the process of an involute profile and the profile modification; (3) analyzing the reliability sensitivity of the transmission errors at the time of gear pair random parameter meshing; (4) determining optimal parameters of the gear profile modification by utilizing the genetic algorithm; and (5) verifying the correctness of the parameters.

The invention relates to a coverage rate dynamic tracking method and device based on function call paths. The method includes: performing pile insertion pretreatment on a to-be-tested source code to obtain a function object list and a control keyword object list; obtaining a basic function call path set of the source code; executing a test case, and operating the source code with pile insertion to obtain a dynamic path formed by pile point data streams of the execution path of the source code; separating the dynamic path to obtain function call path subsets covered by the test case; matching the function call path subsets with the basic function call path set; using all the function call path subsets as a dynamic path set, and optimizing the dynamic path set; calculating the rate of the optimized dynamic path set accounting for the basic function call path set so as to obtain the coverage rate. The method has the advantages that path coverage particle size is expanded from statement to function, and the problem that traditional path coverage is huge, and each path cannot be tested completely.

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 discloses a method for building a simplified parametric finite element model of car collision, and aims to solve the problem of consumption of a large amount of modification and calculation time due to adoption of a conventional detailed finite element model in car body structure anti-collision design and improvement in the prior art. The method comprises the following steps of 1) establishing a topological structure of a car body: (1) obtaining a detailed finite element model of a car; (2) building a one-dimensional unit topological model of the car body; and (3) building a topological structure model of the car body; 2) extracting cross section parameters of parts; 3) extracting stiffness characteristics of the parts and performing parameterization: (1) extracting crushing stiffness characteristics and performing parameterization; (2) building finite element simulation models of the crushing parts by utilizing Hypermesh software and performing calculation by utilizing LS-DYNA software to obtain a crushing force-crushing quantity curve; and (3) simplifying the crushing force-crushing quantity curve according to an absorbed energy equality principle and performing parameterization; 4) simulating collision characteristics of the parts; and 5) verifying the simplified parametric finite element model.

The invention relates to a method to realize automatic testing for Web service, which comprises: executing testing case, building monitor module to monitor read / write system resource; building and starting proxy server to set all network connection in system as transfer by proxy server; building virtual Web server by JVM according to service allocation code in testing case to allocate service in the server; executing testing validation code to start a client to call Web service to build network connection and call service, receiving and sending the call request by proxy server to virtual Web server for treatment, and returning the result to the client; executing testing validation code to test the return code; outputting test result. This invention needs just one testing case, and cuts manual allocation.

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 discloses a double-spectrum night vision instrument vehicle-mounted system and a double-spectrum fusion design method. The system comprises an infrared double-spectrum imaging die set used for imaging of a visible spectrum and an infrared spectrum and for collection, processing, fusion and transmission of the image data, an image receiving system used for completing the receiving of the image data, a display terminal used for displaying the images for an observer, and a control terminal used for controlling the function and on-off of an imaging mode. Due to the adoption of the system and the method, the problem that coaxial imaging of the double spectrum image is slight bad is solved, the machining precision requirement of the imaging system is reduced, more clear images are provided for forward observation for a train; a fusion method based on a scene moving object provides a reference source for the double-spectrum imaging system, the computation load is reduced, the registering reliability is improved, the imaging on the hardware is convenient, and the real-time performance is possessed; a weight fusion method based on multi-scale bilateral filtering is simple and feasible, improves the imaging detail information and reduces the calculation ability.

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 discloses a multilane laser light plane calibration method based on binocular vision. The method comprises the following steps: projecting laser rays emit by the multilane laser onto a plane calibration target having circular markers, and guaranteeing that the laser rays are distributed at intervals between rows of the circular markers; processing calibration target images shoot by the left and the right eye camera and obtaining a stereo matching of the pixel of the marker center, and then extracting and separating laser pixel points of different laser rays; using the theory of binocular vision to calculate the three-dimensional coordinates of the marker center and subsequently obtaining a calibration target plane equation; calculating the three-dimensional coordinates with the calibration target plane equation as restraints; moving the calibration target and repeating the aforementioned procedure at least once, and obtaining the three-dimensional coordinates of different positions on each light plane; fitting the multiple position data points on each light plane and obtaining a light plane equation. According to the invention, the method is characterized by easy implementation, linear solution and reliable result, and is applicable to all fields which employ multilane structured light in three-dimensional measurement.

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 relates to the simulation and the verification of a control method in the field of aerospace. In order to provide a simulation and verification platform capable of supporting a near space aircraft to real-time simulation tests and performance evaluation from the design of a flight control system, the technical scheme adopted by the invention is as follows: a simulation and verification method of the control method of the near space aircraft is realized by virtue of the following devices: a simulation master control machine and a dSPACE real-time simulation machine, wherein the simulation master control machine is provided with a DS817 high-speed serial communication interface plate; and the simulation master control machine is communicated with the DS814 high-speed serial communication interface plate of the dSPACE real-time simulation machine through an optical fiber. The method comprises the following steps of: operating master control software; dividing a whole evaluation process into two parts, namely a control system efficiency evaluation process and an evaluation confirmation process, by performance evaluation software; and obtaining data, which is needed by control system efficiency evaluation, by the control system efficiency evaluation process through three steps. The simulation and verification method of the control method of the near space aircraft is mainly applied to simulation and verification in the field of aerospace.

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.