108 results about "Status function" patented technology

The user can be properly notified in what kinds of statuses functions that are realized upon printing are. When statuses of functions which are realized by a print control system are displayed on a display unit, by changing the display in the display unit regarding the statuses of the functions on the basis of function information disclosed in a function list sent from a server computer and function information (internal function information) regarding (substances of) the functions already installed in a client computer, the display in the display unit is dynamically changed in accordance with the statuses of the functions, thereby enabling the user to easily recognize in what kinds of statuses the functions which he wants to use upon printing are.

A method of calculating position data for an airborne aircraft using a GPS-based airborne navigation system includes the processing of a position component of a relative state function by fusing a plurality of different types of measurement data available in the GPS-based system into a weighted least squares algorithm to determine an appropriate covariance matrix for the plurality of different types of measurement data.

The invention relates to a unmanned aerial vehicle (UAV) flight path planning method based on a competitive deep learning network. The method comprises the following steps: carrying out feature information extraction on real-time pictures photographed by a camera, so that a column of feature vectors are obtained; calculating each feature vector to obtain a state function value and a superiority function value, and combining the two values on a combination layer to obtain a state action function value; using the state action function value as an instant state action function value which cooperates with a target value network in construction of a loss function of the network and prediction of a next state, so that total rewards jointly formed by internal rewards and external rewards are obtained; carrying out depth-of-field prediction on the real-time pictures; carrying out calculation to obtain another state action function value; and calculating the gradient of the loss function and carrying out back propagation of the gradient to a current value network for network parameter updating.

A method for verifying software source code that includes references to program variables includes processing the source code to derive a set of next-state functions representing control flow of the source code. The references to the program variables in the source code are replaced with non-deterministic choices in the next-state functions. The next-state functions including the non-deterministic choices are restricted to produce a finite-state model of the control flow. The finite-state model is then verified to find an error in the source code.

The invention provides a method and a device for switching a working state and a sleep state of a central processing unit. When that an operating signal is not present in the preset time is detected, configuration and recovery mode functions of the central processing unit and registers in each module in each mode, which is interacted with the central processing unit, are saved in a synchronous dynamic random access memory, the access addresses of the recovery mode functions are transmitted to a power management submodule of the central processing unit, the synchronous dynamic random access memory enters a self-refresh mode, and clocks and power supply of other submodules in the central processing unit except the power management submodule, and each module interacted with the central processing unit are switched off; and when an operating signal is received, the clocks and power supply of the central processing unit and each module interacted with the central processing unit are switched on, the synchronous dynamic random access memory exits the self-refresh mode, the recovery mode functions are acquired according to the access address of the recovery mode functions, and the recovery mode functions are executed so as to enter a working state before the sleep state.

The invention relates to a battery set service life prediction method based on probability statistics according to user use habits of different types of battery cars. The method comprises steps that step 1), statistics and analysis on user habits influencing battery car battery service life are carried out, and two important factors include mileage and the battery discharging time; step 2), classification of battery car types is carried out according to voltage values, and a battery car user use habit and battery service association model is established; step 3), parameter estimation is carried out for the association model through utilizing a training sample set; and step 4), to-be-tested new user mileage and the accumulative discharging time are substituted to a corresponding battery service life state function for calculation, a standard quantity of the battery service lift state is acquired, through comparison with a set threshold, a battery service life state conclusion of a present battery car user is acquired.

The invention belongs to the field of structural reliability analysis, and specifically discloses a structural reliability analysis-oriented common dynamic tracking sequence sampling method. The method comprises the following steps of: establishing a structural ultimate state function, and determining a random variable and random variable distribution information; constructing a random point, andconverting the random variable and the random point into a standard normal state to determine a target sampling area; constructing a training point, forming a training data set and establishing a proxy model; dividing the target sampling area and recognizing a most sensitive area; exploiting the most sensitive area to obtain a new training point, updating the training data set and the proxy model,and calculating a prediction failure probability; and calculating maximum relative errors of all the local areas and a variation coefficient of the prediction failure probability, and judging whetherto terminate the sampling or not according to the maximum relative errors and the variation coefficient so as to complete the structural reliability analysis. The method has the advantages of being simple in operation step, high in efficiency and strong in self-adaptability.

A method and system which uses a communication network to facilitate financing-related activities is provided. A list of financing functions is provided to a user terminal across the communication network. The list of financing functions corresponds to those functions available to a user of the user terminal. The financing functions include at least one of a status function, a report generation function and a financing program function. A financing function request is received from the user terminal. The financing function request corresponds to a selected one of the financing functions provided to the user terminal. A database is accessed to retrieve data corresponding to the received financing function request. The retrieved data is arranged into a predetermined format and transmitted across the communication network to the user terminal.

The invention relates to the technical field of mobile communication and discloses a VANET clustering method combining the historical credit of a vehicle with the current state of the vehicle. According to the method, the historical credit R of the vehicle is modeled according to the transmission bandwidth, queue length and time for acting as the cluster head of the vehicle in a historical period; the current state function C of the vehicle is modeled according to the current state information, including the node degree and the speed and position of the vehicle relative to neighboring vehicles, of the vehicle; a utility function U=alpha R + (1-alpha)C is modeled according to the historical credit and the current state function of the vehicle, a candidate cluster head the corresponding utility function of which is the largest is selected to serve as a target cluster head, and then an adjacent user of the target cluster head is selected as a cluster member. By the adoption of the method, a VANET topological structure can be kept stable relatively, and service transmission performance can be optimized.

The present invention provides a method for creating a process change detection algorithm. An evolutionary computing technique is applied to at least one process dataset containing at least one known process change. The evolutionary computing technique will generate a process state function (or a scaling coefficient set for use with an existing process state function) that optimizes detection of the known process changes. The generated process state function or coefficients can then be applied thereafter to future datasets (either in real-time or after processing) to detect process changes.

The present invention relates to the technical field of probability statistical analysis and prediction of concrete temperature fields, and discloses a bridge-ballastless track structure extreme temperature prediction method and system, so as to avoid subjectivity of the conventional experience distribution method and the cumbersome derivation process of the first-order second-moment method and to obtain a relatively preciser temperature extremum in the case of a certain amount of data. The method disclosed by the present invention comprises: forming a statistical sample by means of measured bridge-ballastless track structure temperature data; calculating firt to fourth moments of the stastical sample to obtain a statistical feature of the sample; constructing virtual distribution by means of standard regular distribution to indirectly describe a distribution condition of the sample; solving a key parameter and feature estimation of the virtual distribution; constructing an extreme state function considering an extreme temperature, and giving an exceedance probability; and calculating first to fourth moments of the extreme state function by means of a reliability indicator formula, and reversing an extreme temperature value corresponding to the exceedance probability and giving a corresponding reoccurrence period.

The technology disclosed herein enables load balancing between a pair of virtual edge systems configured for high availability at an edge of a local network environment. In a particular embodiment, a method provides assigning a virtual network address to the pair of virtual edge systems. The method further provides generating state information used by one or more stateful functions of a first virtual edge system of the pair of virtual edge systems and transferring the state information to a second virtual edge system of the pair of virtual edge systems. Also, the method provides directing a first portion of network traffic to the first virtual edge system and a second portion of the network traffic to the second virtual edge system. The network traffic comprises packets addressed with the virtual network address.

A mobile app messaging platform system including an electronic mobile device a software interface, a plurality of messages, a server, a user profile, a check status function, a plurality of post parameters, a post-pending function, and a post of the plurality of messages function. The mobile app messaging platform system provides a private and confidential messaging platform. Messages may be selectively concealed on user devices and revealed only when touched. Mobile app messaging platform system maintains privacy and confidentiality when messaging on an electronic device in a public area.

The invention provides an S-shaped curve speed planning method, an S-shaped curve speed planning device, an S-shaped curve speed planning numerical control method and a numerical control machine tool. The S-shaped curve speed planning method comprises the following steps: acquiring the expected values of preset motion status parameters; acquiring a status function Mootionstatus(i) corresponding to the starting time point of a time period Ti; calculating a status function Motionstatus(i+1) according to the expected values of the preset motion status parameters and the status function Mootionstatus(i); and cyclically executing the steps to obtain status functions Mootionstatus(i) to Mootionstatus(8) corresponding to the time periods Ti to T7 so as to obtain data of S-shaped curve speed planning. According to the invention, after a recycled equation or method is packaged, only a packaged function, rather than all places where the equation is used, needs to be changed. Therefore, time is saved for programmers, and the system reliability is enhanced.

The invention provides a method for synthesizing for non-probability time-varying reliability of a link mechanism containing a hinge gap. Firstly, according to the rod length and initial position of the link mechanism and specific characteristics of the hinge gap, a mathematic expression of a mechanism motion error function is obtained in combination with a vector method; secondly, rod length and hinge uncertainty information is introduced into an interval process model for establishing mechanism motion errors, and the time-varying uncertainty characteristic quantity of a mechanism motion precision limit state function is quickly calculated; thirdly, based on the first crossing theory and the dispersed strategy, index definition and solution of crossing failure possibility in any micro cyclic loading increment segment are completed, and then a time-varying reliability model is constructed; finally, the non-probability time-varying reliability index of motion precision serves as a target, non-probability reliability of mechanism existence conditions serves as a constraint condition, and synthesis of the non-probability time-varying reliability of the link mechanism containing the hinge gap is completed. In the process of mechanism synthesis, synthetic effects of uncertainty on the mechanism in a motion period are reasonably represented, and the time-varying reliability of the mechanism can be effectively improved.

A method for verifying a design through symbolic simulation is disclosed. The method comprises creating one or more binary decision diagram variables for one or more inputs in a design containing one or more state variables and building a binary decision diagram for a first node of one or more nodes of the design. A binary decision diagram for the initial state function of one or more state variables of the design is generated and the design is subsequently initialized. Binary decisions diagrams for one or more constraints are synthesized. A set of constraint values is accumulated over time by combining the binary decision diagrams for the one or more constraints with a set of previously generated binary decision diagrams for a set of constraints previously used in one or more previous time-steps. A binary decision diagram for the next state function of the one or more state variables in the design is constructed in the presence of the constraints. The one or more state variables in the design are updated by propagating the binary decision diagram for the next state function to the one or more state variables and a set of binary decision diagrams for the one or more targets in the presence of the one or more constraints is calculated. The set of binary decision diagrams for one or more targets is constrained and the design is verified by determining whether the one or more targets were hit.

The invention relates to the technical field of computers and discloses a product key word extraction method and device. The method is implemented by steps: extracting features of a target tile of a to-be-extracted product key word; inputting the features into a preset module in a preset feature combination manner to acquire a state function corresponding to the feature combination and a weight related to the state function; adopting a preset algorithm for operation according to the state function and the weight related to the state function, and extracting the product key word of the target tile according to an operation result. Therefore, automatic product key word extraction can be realized, product key words of hundreds of millions of commodities can be extracted accurately in a standard and objective manner, product key word extraction manpower and time cost can be saved, and accuracy and comprehensiveness of the product key words can be improved while the recognition recall rateis increased.

The present disclosure is directed to an open access Network Management System (NMS) that provides multiple tenants in an open access wireless distribution system with an appropriate level of access and control over the system elements that carry their signaling. For example, in addition to forwarding messages from tenant-controlled NMSs to the open access system elements, the open access NMS preferably acts as a caching firewall to ensure that the tenant NMS are permitted privileges to access only those system elements to which they are a properly assigned. A database function included with the open access NMS may be used to build and maintain a database of operations and maintenance information from autonomously initiated poll and status functions. This then permits queries from tenant NMSs to be answered without the need to duplicate open system network traffic.

A method for digital circuit design. The first step of the process is the step of providing a circuit design in the form of a hardware definition language. Then, the process produces a binary simulation of the design by setting out for each unit of time during execution of the hardware design the a control state and a program state of the design and assigns a symbol to each signal of the design. The process proceeds by executing a symbolic simulation of the design, concluding with identifying and capturing the combinational logic expression of the simulation output and the next state functions of the simulation.