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.

The invention discloses a distributed formation method of an unmanned aerial vehicle cluster based on reinforcement learning. The distributed formation method comprises the steps that step (1), a formation target state function and a simulation model of environmental uncertainty factors are obtained, and an unmanned aerial vehicle formation simulation model is established; step (2), under the interference of the environmental uncertainty factors, based on the unmanned aerial vehicle formation simulation model established in the step (1), a Q learning method is adopted to train the unmanned aerial vehicle cluster to update a flight strategy table; step (3), the value of the completion degree of the formation target state is calculated according to the obtained formation target state function, the obtained value of the completion degree of the formation target state is compared with a preset value of the formation target state, whether the formation target state is reached or not is judged according to the comparison results, if the formation target state is reached, a step (4) is performed, and if not, the step (2) is entered; and step (4), the updated flight strategy table is saved. According to the distributed formation method of the unmanned aerial vehicle cluster based on reinforcement learning, flight strategy parameters with adaptability are provided for the cluster, and the stability and robustness of the unmanned aerial vehicle cluster formation are guaranteed.

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.

A method of managing treatment of crop is disclosed. The method comprises: monitoring at least one parameter describing growth and / or condition of a plant and calculating a plant status function based on a value of the at least one parameter. The method further comprises comparing the calculated plant status function to a plant status baseline corresponding to a predicted yield or a predicted yield change, and operating a crop treatment system responsively to the comparison.

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 for performing verification includes importing a design netlist containing one or more components and computing one or more output functions for the one or more components. One or more output equivalent state sets are generated from the one or more output functions and one or more next-state functions for the one or more components are identified. One or more image equivalent state sets for the one or more next-state functions are produced and one or more output-and-image equivalent state sets are classified for the one or more image equivalent state sets and the one or more output equivalent state sets. One or more input representatives of the one or more equivalent input sets are selected and an input map is formed from the one or more input representatives. The input map is synthesized and injected back into the netlist to generate a modified netlist.

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.

A dynamic coupling time varying failure rate analysis method of a on-orbit space flexible gear mechanism comprises the seven steps that firstly, according to the fact that a shaft in the on-orbit space flexible gear mechanism is an elastic body, a kinetic equation of the flexible shaft is built, and the finite element method is adopted for analysis; secondly, a gear kinetic equation is built; thirdly, a nonlinear kinetics equation of coupling of the flexible shaft and a gear in the on-orbit space flexible gear mechanism is built; fourthly, transmission stimulation analysis is performed on the space flexible gear mechanism; fifthly, the Newmark algorithm is adopted to calculate a dynamic load coefficient; sixthly, a gear bending stress reliability limit state function is built in the on-orbit space flexible gear mechanism; seventhly, dynamic reliability and failure rate analysis are performed on the space flexible gear mechanism. The method solves the problem that reliability calculating accuracy is low because of nonlinear factors of a traditional transfer matrix method and mode superposition method, and has engineering practical value for improving reliability of the on-orbit space flexible gear mechanism and other spacecrafts. The method is also suitable for other flexible gear mechanisms.

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.

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 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.

A software architecture and design method for embedded computing system applications in which tasks consist of a common data structure (FIGS. 1, 2) and are encoded as a finite state machines (FIG. 5). An executive (FIGS. 3, 4) provides for the execution of each task's current state function, and a system timer (FIG. 6) provides timer services to selective tasks. The architecture supports inter-task communication capabilities with message pipes and flags (FIG. 7). System calls (FIG. 8) provide utility functions for high-level access to system constructs. This structured architecture and its components provide for real-time performance and deterministic behavior of an embedded application (FIG. 9).

A method for performing verification includes importing a design netlist containing one or more components and computing one or more output functions for the one or more components. One or more output equivalent state sets are generated from the one or more output functions and one or more next-state functions for the one or more components are identified. One or more image equivalent state sets for the one or more next-state functions are produced and one or more output-and-image equivalent state sets are classified for the one or more image equivalent state sets and the one or more output equivalent state sets. One or more input representatives of the one or more equivalent input sets are selected and an input map is formed from the one or more input representatives. The input map is synthesized and injected back into the netlist to generate a modified netlist.

The invention discloses a cutting-tool wear evaluation and prediction method and system based on generalized wear extent. The method and the system can be used for supplementing shortages of the existing one-dimensional and two-dimensional measurement and evaluation methods and are beneficial to the optimization of a cutting-tool wear measurement and research process and the deep understanding of a cutting-tool wear pattern and an evolutionary process thereof, and thereby better instructing the design and use of cutting tools. The method comprises the following steps: (S1) acquiring wear state data of sampling points of a cutting tool in different sampling time periods, fitting the wear state data so as to obtain a state function of the sampling points of the cutting tool, and determining the generalized wear extent according to the state function; (S2) calculating cutting-tool wear evaluating indicators and a generalized wear rate based on the generalized wear extent; (S3) evaluating cutting-tool wear conditions according to the cutting-tool wear evaluating indicators, and predicting the cutting-tool wear conditions according to the generalized wear rate.

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, system and computer program product for performing verification of an electronic design is disclosed. The method includes receiving a design, wherein the design includes a first target set and a first register set including one or more registers. A structural product extraction is formed from one or more targets from the first target set and the structural product extraction is recursed for one or more next-state functions of a subset of the one or more registers. A sum-of-products form is recursed from the structural product extraction for one or more next-state functions of a subset of the one or more registers and a product-of-sums form of a result of the second recursing is decomposed to generate a decomposition of the product-of-sums form. The decomposition of the product-of-sums form is synthesized into a second target set and a subset of the second target set to recursively decompose is chosen. In response to the subset of the second target set being nonempty, the first target set is recursively decomposed and, in response to the second target set being empty, verification is applied to the second target set.

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.

A medical cloud system with an automatically checking and feeding back self-status function utilizes a database to receive and integrate a physiological information, an electronic physiological monitoring device intrinsic information, an electronic physiological monitoring device status information, an electronic physiological monitoring device error code or a miss operation information from an electronic physiological monitoring device through a smart transmitting unit. The database can notify user or manager of the electronic physiological monitoring device of arising of the electronic physiological monitoring device status information, the electronic physiological monitoring device error code or the miss operation information, and confirm the system status. The medical cloud system with an automatically checking and feeding back self-status function has the function of monitoring and long-distance transmitting to ensure the monitoring quality and prevent the serious consequence caused by fault or error of the electronic physiological monitoring device.

The invention relates to a self-adaptive composite workflow method used in a cloud computing environment. The method includes the following steps that a plan workflow and a rule construction class of a composite service object are established; an initial operation instance is converted into an initial computing unit through a rule constructor, wherein the computing unit comprises an actual computing instance, a return state function and a combination state function; the initial computing unit is operated, and the output end of the initial computing unit is provided with a new rule constructor and a state information sub-computing unit; context information in the sub-computing unit is updated according to the change of the computing environment after communication synchronization with a log library; the sub-calculation unit executes the computing instance according to the rule constructor and state information, and after execution is completed, the sub-computing unit generates a next-generation computing unit. The method mainly has the advantages that the operation robustness of the workflow is improved, the workload of a user is reduced, the method can be operated in multiple computing resources at the same time, and the utilization rate of the computing resources is 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.