103 results about "Describing function" patented technology

In one embodiment, a method comprises receiving an application that describes functions according to a prescribed symbol manipulation language, the prescribed symbol manipulation language a non-Turing complete language that does not permit partial functions and describes the functions independent of any attribute of any computing system; identifying, in the application, a distribution annotation that identifies a candidate element in the application, the candidate element configured for execution in a distributed computing operation by a distributed computing system comprising two or more distributed computing devices; generating one or more variants of the application based on executing a nondestructive transformation of the application relative to prescribed equality axioms, at least one of the variants containing a corresponding semantically-equivalent variation of the candidate element; and selecting one of the variants as an optimization for execution of the application by the distributed computing system relative to prescribed metrics.

A method and apparatus for validating a component model-based software platform architecture, the method including: generating a virtual software platform having a template code describing functions of one or more components of software according to design information of a software platform and a build script having configuration variables according to a type of the software and building the generated template code; changing the configuration values of the configuration variables provided in the virtual software platform for a combination of the components; and validating a consistency of the software platform according to a result of executing the virtual software platform based on the changed configuration variables. According to the method and apparatus, by validating in advance whether it is possible to construct a normal composition of the software product, testing and manpower costs can be reduced.

The present invention relates, in general, to a karaoke system, and, more particularly, to a karaoke system having a song learning function that enables a user to repeatedly listen to songs on a bar or length basis and enables the user to sing songs with accompaniment sounds. The present invention provides a system and method that enables the complete or bar-based singer's song to be repeatedly played back in response to a user's request, thereby enabling the user to sufficiently and conveniently practice one or more bard difficult to sing. The present invention provides a system and method that enables bar-based scores to be indicated, so that the user can be aware of one or more incorrect bars and can intensively practice the corresponding portions using the above-described function, thereby increasing the user's interest and enabling efficient learning.

The invention discloses a method for suppressing the limit cycle of an inclination angle control system of an aircraft with parameter uncertainty. The method comprises the following main steps of: step 1, analyzing and establishing a model of the inclination angle system of the aircraft; step 2, analyzing scanning functions of a non-linear section and an oscillation phenomenon of the limit cycle; step 3, designing a controller of the inclination angle system of the aircraft with the parameter uncertainty; step 4, inspecting the performance of the controller; and step 5, ending the design. With the adoption of the method, not only is the oscillation of the limit cycle of the aircraft suppressed, but also the parameter uncertainty is overcome, and furthermore, the rapid and precise tracking to the inclination angle of the aircraft is realized. The method has better practical value and good application prospect in the technical field of automatic control.

The invention discloses a script program edition device. The device comprises a user-oriented edition device and a code provision device, wherein the code provision device comprises code modules; by utilizing a script code of any code module, an application program function can be realized; when a script program of an application program is created, the user-oriented edition device creates a tree structure in response to the operation of a user, and the tree structure is used for describing functions to be realized by the application program and control logic among the functions; in response to the operation of the user, the tree structure sends a call command to the code provision device so as to call the code modules corresponding to nodes in the tree structure; in response to the call command, any code module in the code provision device generates a script code corresponding to the call command and sending the script code to the user-oriented edition device; and the user-oriented edition device creates a script program according to the script code and the tree structure. The invention furthermore discloses a corresponding method, so that the program development efficiency can be improved.

The invention discloses a PWM type DC-DC convertor stability analysis method based on a describing function method. The stability analysis method includes the following steps that a PWM type DC-DC convertor is linearly modeled to obtain a linear model, a first transfer function and a second transfer function; the describing function method is adopted to carry out non-linear modeling on a non-linear link in the PWM type DC-DC convertor to obtain a first describing function; the second transfer function is replaced by the first describing function to obtain a non-linear model; according to the first transfer function, the first describing function and the non-linear model, the stability of the PWM type DC-DC convertor is analyzed. The PWM type DC-DC convertor stability analysis method can accurately analyze the critical stable state of the PWM type DC-DC convertor, an obtained result is more accurate than that obtained by a traditional linear analysis method, thus the low frequency oscillation phenomenon occurring in the PWM type DC-DC convertor can be analyzed, and the analysis accuracy is high.

A method for tracking an object includes associating a beacon with a responder; transmitting a polling signal from the beacon to the responder; receiving a response from the responder; entering a low power state on the beacon for a predetermined duration; and transmitting an alert from the beacon responsive to a subsequent signal from the beacon failing to result in receiving a subsequent response from the responder. Embodiments also include a system in which the beacon and responder are configured to perform the described functions. In various embodiments, the duration during which the beacon remains in the low power state is predetermined based either on a default factory setting or a user adjustable setting.

The invention provides a transonic limit cycle flutter analysis method. The transonic limit cycle flutter analysis method comprises the following steps: through equivalent linearization of a describing function, processing nonlinear characteristics of a transonic aerodynamic force; substituting a frequency-domain aerodynamic coefficient after the equivalent linearization into a flutter equation; obtaining a flutter speed and a flutter frequency by a frequency-domain flutter solving method; and for different limit cycle amplitudes, calculating to obtain different flutter speeds and flutter frequencies to form limit cycle characteristics of a transonic nonlinear flutter. The equivalent linearization is performed on the nonlinear characteristics of the transonic aerodynamic force through the aerodynamic describing function, the flutter equation is solved within a frequency domain, so that the flutter speed and the flutter frequency at a given limit cycle amplitude can be accurately predicted; and the transonic limit cycle flutter analysis method is moderate in computation amount, easy to master and very good in robustness.

The invention discloses a similarity based semantic Web service clustering labeling method. The method is characterized by comprising two parts of realizing semantic Web service similarity calculation and realizing a semantic Web service clustering labeling algorithm. During the semantic Web service similarity calculation, in combination with results of input/output (I/O) parameter mixed similarity calculation and service description keyword similarity calculation, a calculation result of semantic Web service similarity is comprehensively obtained, and the difference and similarity between service functions are reflected; and I/O parameters can directly describe functions of corresponding service modules and serve as measurement standards for calculating the semantic Web service similarity from a functional perspective. According to the method, the accuracy of similarity calculation can be improved and the performance of a service discovery system is further improved.

The invention discloses a cascade DC-DC converter stability analysis method based on a describing function method. The cascade DC-DC converter stability analysis method includes the following steps: performing linear modeling on a linear part in a single-stage DC-DC converter in a cascade system through a small signal modeling method to obtain a first linear transfer function; performing nonlinear modeling on a switch link of the DC-DC converter through a describing function method to obtain a describing function; performing equivalent processing on a source converter through a converter equivalent method to obtain a second linear transfer function, and determining the stability range of a two-stage cascade DC-DC converter according to a relation between the second linear transfer function and the describing function; and performing equivalent processing on a load converter through the converter equivalent method to obtain a third linear transfer function, and determining the stability range of the two-stage cascade DC-DC converter according to a relation between the third linear transfer function and the describing function. The method of the invention can accurately determine the critical stable state of a converter system and effectively improve the accuracy of judgment results.

The invention discloses a diatom characteristic description and classification method based on a contour drawing, which relates to a characteristic representation method of a diatom microscopic image. The invention provides a diatom characteristic description and classification method based on a contour drawing, which automatically describes the contour of a diatom microscopic image, can be applied directly to a diatom recognition system and can provide a high-efficient diatom automatic recognition method for scientific research and cultivation. The method comprises the following steps: a diatom body contour drawing is obtained by the pretreatment and contour segmentation of the diatom microscopic image; the contour characteristics are analyzed and obtained: a contour describing function is obtained by showing the contour with a function to the target area, of which an angle is an independent variable and a value is the radius length from the center of gravity to the contour; standardization is realized by the radius value of the contour describing function divided by the max radius value; a characteristic matrix is formed by extracting the drawing characteristics of the drawing; and a classifier is adopted to classify the characteristic matrix and then classification result is obtained and output.

A method of virtual dividing of data processing system and a data processing system, for providing a plurality of physical or virtual sub data processing systems under the same data processing system interface, wherein each of sub data processing systems can achieve different applications; the security of different sub data processing systems are isolated each other, so that meet to different security requirements of applications for different requests; like TV channel, each of subsystems can be online switched; meanwhile, the invention provides the mainboards that can accomplish above-described functions, the switching devices, and the switching methods.

The invention discloses a magnetic suspension flywheel buffeting weakening method based on sliding mode variable structure control; the method uses a generalized description function method of a sliding mode variable structure control system and an adaptive unscented Kalman filtering algorithm to weaken signal buffeting, takes buffeting imported by the variable structure control and the system stability design as research objects, starts from variable structure control buffeting inhibition and present conditions and existing problems of a DF method applied in a non-linear system, emphasizes onstability analysis of a frequency correlation description function N (A, [omega]) and a variable structure switching gain adaptive adjusting method, proposes the adaptive unscented Kalman filtering (AUKF) algorithm, and designs a H[delta] sliding mode controller based on gain scheduling, thus verifying the validity of the proposed buffeting adjusting and inhibition method. The method ensures thesliding mode variable structure control method not to be sensitive to extraneous disturbances, can ensure an excellent robustness, and can effectively weaken system buffeting caused by continuously switching of the flywheel structure.

The invention discloses a fuzzy adaptive compensation control method in performer time lag and failure; the method comprises the following steps: building an industrial system model with a performer failure, wherein the industrial system model comprises time lag performer failure fault description functions; building a virtual controller and virtual controller satisfying adaptive rules according to preset transient performance parameters, thus controlling the industrial system model tracking errors when the time lag performer failure faults happen. The method can ensure the system transient tracking performance stability when the performer simultaneously has time lag and failure.

The invention belongs to the technical field of Buck converter sliding mode control systems, and particularly relates to an unmodeled dynamics induced harmonic analysis method for a Buck converter sliding mode control system. The method specifically comprises the following steps: (1) modeling of an unmodeled dynamics Buck converter sliding mode control system for a sensor; (2) Buck converter sliding mode control; and (3) analysis of the amplitude-frequency characteristic of output voltage harmonics of a Buck converter based on a describing function method. A novel output voltage harmonic amplitude-frequency characteristic quantitative analysis method based on the describing function method is provided for the Buck converter sliding mode control system, and a novel harmonic induction mechanism under the co-existence of switching nonlinearity of a sliding mode controller and unmodeled dynamics of the sensor is provided.