43 results about "Set representation" patented technology

Within the context of a cross-referenced data-base, an initial “base-set” of results to a query is generated using any conventional search engine tool. The base-set is then expanded by adding to it entries referencing entries in the original set or referenced by those entries, in a possibly iterative manner. The resulting collection of entries and references is represented as a mathematical graph or network, amendable to graph theoretic analysis. Connected components within the graph form top-level clusters, and articulation nodes within these clusters are calculated. These articulation nodes serve as both navigational “gateways” and anchors for sub-clusters. Sub-clusters, consisting of the transitive descendants of the articulation nodes, are associated with each articulation node. The articulation nodes themselves then form a graph, which is analyzed further for prominence, and a hierarchy of articulation nodes is calculated. The resulting hierarchy consisting of the top-level clusters and the sub-clusters associated with the articulation nodes is then presented visually to users in a manner enabling them to easily navigate through the space of expanded search results.

This invention relates to a method for generating a changed representation of a page object, wherein the page object is one of a page and a part of the page, the method comprising retrieving (201; 301) the page object in response to a request (200; 300) for the page; dividing (203; 303) the page object into a set (4a) of sections; and performing (204; 304) changes to the set (4a) of sections according to preference information to obtain a changed set (4b) of sections representing the changed representation of the page object. This invention further relates to a device, a system, a computer program and a computer program product for generating a changed representation of a page object.

A method and system are provided for testing a graphical user (GUI) (204). The method includes providing a pattern (230) of a collection of generalised interface object types and searching an interface (204) or a model (210) of an interface for instances of collections of interface objects matching the pattern (230). Identifying a control provided by the interface (204) represented by the collection of interface object types and its location in the interface hierarchy. A pattern (230) includes a first generalised object type and a second generalised object type with a specified relative position in the interface (204) to the first object type.

The present subject mater relates to testing software application configurations and, more particularly, to a test engine. The various embodiments described and illustrated herein provide systems, methods, and software that maintain a configuration database in a memory, wherein the configuration database includes a representation of configuration settings of an application. Some such embodiments may further store a test engine module in the memory, wherein the test engine module includes a set of test cases, which when processed, test functionality of the application, wherein a test case is selected for execution as a function of one or more application configuration setting representations from the configuration database.

[Problem]

Provided is an anonymous authentication system which can issue an anonymous authentication certificate that can hold any number of attributes.

[Means for Solving the Problem]

A signature device of the invention has a means for receiving the input from an authentication authority public key, an anonymous authentication certificate, a signature key, a text, an attribute proof set, and an attribute public key; a means for generating an attribute set representation value which generates an attribute set representation value from the attribute proof set and attribute public key which were input; a means for generating an attribute set representation key which generates an attribute set representation key from the attribute proof set; a means for generating non-interactive zero-knowledge proof which generates non-interactive zero-knowledge proof from the authentication authority public key, anonymous authentication certificate, signature key, and text which were input, and the attribute set representation value generated by the means for generating an attribute set representation value and the attribute set representation key generated by the means for generating an attribute set representation key; and a signature output means which outputs the non-interactive zero-knowledge proof as signature data.

Techniques are presented for identifying blockable subsets. Blockable subsets can increase the efficiency by which solutions to a constraint set representation (CSR) can be found. Nodes of a blockable subset can be marked as “blocked” and learning or implication procedures, used as part of a CSR solving process, can be designed to skip nodes marked as blocked. The identification of a particular blockable subset is typically associated with certain conditions being true. If and when the conditions no longer hold, the nodes of the blockable subset need to be unblocked. One type of blockable subset can be identified during the operation of an implication engine (IE) by a technique called justified node blocking (JNB). Another type of blockable subset can be identified by a technique called pivot node learning (PNL). PNL can be applied in-between application of an IE and application of case-based learning.

A computer-implemented method is provided for generating data representing an object involved in a computer-implemented simulation of a physical experiment. Data describing geometric dimensions and material for the object is received as input. The data may be broken down into data representing distinct components of the object. Data is generated that describes a base parent volume region that extends at least beyond extents of the geometric dimensions of a portion of the object. Next, data is generated that describes child volume regions produced by subdividing the base parent volume region into the child volume regions each having dimensions that are a fraction of the dimensions of the base parent volume region. The data describing each child volume region is examined to determine whether vertices of each of the child volume regions are in the interior or exterior of the portion. The subdivision and examining process is repeated for each child volume region that is not entirely in the interior or entirely in the exterior of the portion to further subdivide each such child volume region to produce data describing a set of child volume regions that do not satisfy the criteria for further subdivision. Data is generated that uniformly distributes particles at positions of the portion of the object based on dimensions of the child volume region in the set, wherein the data for each particle describes a mass density, velocity, pressure, stress and energy at a position and a collection of the particles represent the object portion for use in the computer-implemented simulation.

A method for identifying incomplete print hand of digital character includes dividing complete character to be four local contours of left, right, top and bottom, using coordinate set to present contour and carrying out discrete differentiation to position coordinate of counter picture element, integrating stroke number, contour structural features for setting up digital character model, applying structural statement method to identify incomplete digital character.

The present invention discloses a representation method of multimedia alarm clock, it is applicable to multimedia monitoring device with storage module. Its storage module also includes at least a data group, every data group includes a multimedia data folder and set representation time and date data correspondent to said multimedia data folder. Its representation method at least includes the following steps: continuously receiving current time and date information, comparing the current time and date information with set representation time and date of every multimedia data folder in current erasable and programmable read-only memory, when confirming that current time and date are identical to set representation date and time correspondent to some multimedia data folder in said storage module, extracting said multimedia data folder data from the current erasable and programmable read-only memory module and utilizing display module and sonification module to represent image and voice data of said multimedia data folder. Said image and voice data includes image, voice and characters.

This invention relates to one generation method for whole index codes sequence, which comprises the following steps: giving codes set as P={c1, c2, c3, ...cp}, p>=3 with cp for special physical values codes with k for code length; generating k element set w ranking as sizes to form set V and to select p-1 code as initial codes and to delete p-1 code; using the last k-1 unit code as initial one in set V and selecting maximum codes into S for connection and adding the last unit code into S and to delete this code; repeating above steps till all codes in set V into S sequence to form one longest whole index codes sequence.

A method for encoding state sets which encodes a binary prefix tree representation as a level ordered edge sequence (LOES) where the inner tree nodes are ordered from left to right, and top to bottom order and coded as bit pairs which represent the presence of leaf nodes.

A method and system comprises extracting resources required to run a discrete test case or set of associated test cases on a design. The method and system further includes building a simulation model based on the extracted resources and executing the simulation model using only the extracted resources, exclusive of an entire design, to test a specific function or group of interrelated functions represented by the discrete test case or set of associated test cases for design verification, and correlating the simulation results with the test plan.

Compressed Level-Ordered Edge Sequence (CLOES) encodings are described. These techniques enable more aggressive compression of a state-set representation.

The invention provides a graphene thin film reel-to-reel production device and method. The device comprises a vacuum cavity, a vacuum pump assembly and a process gas introducing assembly, and furthercomprises at least one monitoring assembly and a parameter control assembly. The vacuum cavity comprises an unreeling cavity, a growing cavity and a reeling cavity which sequentially communicate. Onemonitoring assembly is connected to the growing cavity and used for obtaining first representation parameters of a graphene thin film located in the growing cavity and comparing the first representation parameters with a first set representation parameter to obtain a first comparison result. The parameter control assembly is connected to the monitoring assemblies and used for responding to the first comparison result and adjusting all process gas introduction amounts and ratio and/or the temperature of the growing cavity and/or the movement speed of a growing substrate and/or the pressure intensity in the growing cavity so that the first representation parameters are equal to the first set representation parameter.

The present invention discloses an active fault diagnosis method. The method comprises the following steps: S1 aiming at a linear discrete time-invariant system (LDIT) with multiple faults, obtainingan invariant set representation form of an output estimation set; S2 transferring the output estimation set obtained from step S1 into the equivalent form of a polyhedral set via set form change; S3 realizing set separation by maximizing the distance among output estimation sets represented by invariant set(s), and thus obtaining an input sequence capable of realizing the active fault diagnosis (AFD) and realizing the control objective(s) of the system. The input sequence obtained by the method is capable of achieving the AFD objectives in a limited time and has the potential of applying in the control objective(s), and thus the method has a good application prospect.