39 results about "Algebraic specification" patented technology

A man-machine dialogue system employing an interactive computer system comprising an input device for receiving input from the user. An output device generating output to the user. There is provided an object system which is an information source or store, or a command and control device. The system has a dialogue manager, which orchestrates the dialogue between the object system and user dependent upon a dialogue specification. The specification employs a set of augmented transition networks (ATNs), through which are propagated one or more tokens, the token comprising a set of fields which together define the current state of belief of the dialogue controller, dependent upon the preceding user-system interchanges and information obtained from the object system.

Software systems and methods for governance are presented supporting governance solution specification and enactment including assessing, defining, implementing deployment, and executing of the governance solution. For example, a software system for governance includes a governance solution model component operative to provide at least one definition and at least one semantic of at least one governance entity and a relationship of the at least one governance entity to an operational model of an organization, a governance solution editor operative to specifying a governance solution by forming a governance specification, a governance solution bundle operative to provide packaging of the governance specification into a package that can be deployed and enacted, a governance solution enactment component operative to deploy the governance solution into an organizational context, a process enactment tool operative to provide at least one configuration point, and a governance lifecycle component operative to provide a view into a state of the governance solution.

The invention relates to methods that correlate individual size-related measurements provided by a consumer to specifications of articles offered by a manufacturer or a business. The correlation enables a consumer to determine whether a specific article is appropriate for a particular consumer's size and/or fit needs. Size-related measurements or article specifications may be stored in a database. Articles include items such as clothing, footwear, outer wear. Individuals may be animals or persons.

Power conservation in a redundant array of inexpensive drives (‘RAID array’) that preserve RAID functionality, the RAID array including RAID subarrays of a same RAID specification, including powering off a drive in at least one of the RAID subarrays; responsive to a write request directed to a particular subarray containing a powered off drive, writing data redundantly to a RAID cache that is independent from the subarray having a powered off drive; powering on the powered-off drive; and flushing the written data from the cache to the particular subarray to which it was originally directed.

The invention discloses an automatic deployment method of Rabbit MQ cluster service based on a virtualization platform, belonging to the field of clustering service. The technical problem to be solved is that the installation and configuration flow of a Rabbit MQ cluster is relative complex and time consuming, manual operations are all needed basically, the maintenance of the cluster is carried out based on each node, and the maintenance method is tedious and is easy to be wrong. The employed technical scheme is that the method comprises the steps of (1) making a service installation package, (2) defining service basic information: carrying out the basic information definition of the service in a service management platform, (3) defining a service specification, (4) installing a service instance, and (5) maintaining the service instance.

Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, at least one Java Server Page file associated with the software application is analyzed. The Java Server Page (JSP) file includes at least one call to at least one library tag, and at least one Expression Language (EL) expression. A set of tag library usage information for the JSP file is generated based. The set of tag library usage information includes at least one variable, and a value of the at least one variable created by the at least one call. The EL expression is evaluated based on the variable and the value of the variable. A data structure is created for a static analysis engine based on EL expression. The data structure includes at least one Java expression representing the EL expression.

The invention discloses an electronic specification implementation method based on a cloud end. The implementation method includes: printing a two-dimension code including website link information on a product; using a mobile phone to read the two-dimension code on the product, and by a image recognition software, converting the two-dimension code into a website link; by a browser of the mobile phone, automatically opening the website link, and downloading the electronic specification document corresponding to the website link; and by a text reader of the mobile phone, automatically opening the downloaded electronic specification document. By the electronic specification implementation method, paper specification is saved, production cost of products is lowered, resources is saved, and the electronic specification is convenient to look up and use, extensive in purpose.

For methods of creating pluralities of semiconductor test structure layouts from a graphical specification, systems include a GUI to draw objects representing shapes of such layout, and to parameterize those objects to size and interrelate those objects. The GUI supports placement of cells in hierarchical layers. The graphical specification is parsed into an ASCII descriptor file from which node information is extracted and connection information among nodes preserved in separate graphs for an X direction and a Y direction of the layout. That node and connection information is further processed to obtain equations having variables (parameters) that relate points in the layout a defined point, and those equations used in forming source code that can be executed with values for the variables in the source code.

Graphical specification of an XML to XML transformation rule, including receiving a user's selection of a user-selected, optionally ambiguous, target leaf node, from a target tree of an initial target context, the target leaf node representing a target XML element to be mapped by the transformation rule; if the target leaf node is ambiguous, disambiguating the target leaf node; and adding the target leaf node to the transformation rule. Embodiments typically include receiving a user's selection of at least one user-selected, optionally ambiguous, source leaf node, from a source tree of an initial source context, wherein the source leaf node represents a source XML element to be mapped to the target leaf node by the transformation rule; if the source leaf node is ambiguous, disambiguating the source leaf node; and adding the user-selected source leaf node to the transformation rule.

A graphical specification entry interface allows a circuit designer to define relative placement of repeating circuit component cells. The repetitive placement specifications are used to generate a repetitively structured circuit cell which may be subsequently installed into a physical circuit medium. The system simplifies user interaction in generating repetitive circuit structures such as semiconductor memory and, while affording heretofore unavailable topological diversity of such circuits.

The invention provides an image specification system, an image specification apparatus and an image specification method. The image specification system (100) includes a tool side terminal (1) and a camera (2). The tool side terminal (1) includes a contact detection portion (104) for detecting whether a positional relationship between a first object provided with the tool side terminal (1) and a second object is a predetermined state; and a wireless processing portion (107) for sending first time information related to the timing of the predetermined state to the camera (2). The camera (2) includes a wireless processing portion (203) for receiving the first time information sent from the wireless processing portion (107); an image obtaining portion (208a) for establishing associated obtaining between multiple images successively captured by the camera and second time information related to the timing of shooting of each image; and an image specification portion (208b) for determining an image from the multiple images obtained by the image obtaining portion (208a) and associated with the second time information corresponding to the first time information received by the wireless processing portion (107).

A system and associated method for automatically generating a service specification of a Service Oriented Architecture (SOA) solution. A process model framework and a data model framework are received as inputs. Processes in the process model framework perform services of various complexity levels. Processes are decomposed into a respective set of atomic service processes in the lowest complexity level and data objects are extracted from the decomposed atomic service processes. The data objects are associated with data elements of the data model framework. The data model framework is extended and flexibility patterns are added for reusability of the service specification. The service specification of the SOA solution is generated as process interfaces represented with the data objects according to inputs from a user customizing aspects of the service specification, for either a desired service of the SOA solution or a desired process in the process model framework.

Various embodiments manage service labels for association with service specifications in a service-oriented environment. In one embodiment at least one candidate service label is received from a user associated with a service domain of a distributed federated service-oriented environment. The candidate service label includes at least one of a service type and a set of terms characterizing a service. The candidate service label is sent to a community of users associated with one or more service domains in the distributed federated service-oriented environment. One of a vote for accepting the candidate service label and a vote for rejecting the candidate service label is received from each of a plurality of users in the community of users. The candidate service label is stored as an accepted service label in the service domain based on a number of votes for accepting the candidate service label being above a given threshold.

The invention discloses a universal material code writing method suitable for enterprise material management. The method comprises the steps of performing a query by using material names and material specifications, and querying whether the material names and the material specifications are all existent in a database or not according to the material names and the material specifications input by a user; when the database does not store the material names and/or the material specifications, self-defining the material names and/or the material specifications and corresponding material name codes and/or material specification codes by the user, and returning the self-defined material names and/or material specifications and corresponding material name codes and/or material specification codes to the database for performing storage; and combining the material name codes with the material specification codes to obtain material codes. Through the method, the user can add the material codes in the database when the material codes need to be used, so that the technical problems of heavy work, low efficiency and definition solidification of conventional material code pre-definition are avoided.

A computer receives a set of spatial coordinates from a motion-sensing input device, the spatial coordinates describing a position of at least one joint of a limb of a human model. The computer sends the set of spatial coordinates to a computer-aided design application, the computer-aided design application representing movements of the ergonomic manikin based on changes in limb angles described by a plurality of instances of angle data. The computer receives angle specifications from a computer-aided design application, the angle specifications corresponding to an angle of the limb in at least one three-dimensional plane. The computer converts the set of spatial coordinates to angle data in accordance with the received angle specifications, the angle data describing positioning of the limb.

The invention provides a software development method based on service specifications, which includes: step 1 dividing business requirements of a business system into services; step 2 subdividing the divided services into service scenes with small fineness; step 3 determining input conditions and output conditions of each service scene according to the business requirements; step 4 leading the service scenes to form service specifications and providing the service specifications to each business system for invoking. The software development method based on service specifications achieves coupling of services between modules in different business systems, reduces coupling between services, achieves loose coupling between the modules and can well solve the problem of integrity of heterogeneous systems.

The invention discloses a dynamic fuzzy Boolean network control system and a building method thereof. On the basis of converting logical operation of the Boolean control network to algebraic operation by a matrix semi-tensor product theory, by using dynamic fuzzy model features, a local model and a global model for the dynamic fuzzy Boolean network control system are built respectively. Nonlinear fuzzy modeling can be realized for a nonlinear Boolean network system, and the control effects are good.

The invention discloses a trademark graphic similarity comparison method. The trademark graphic similarity comparison method includes: firstly determining whether an image to be inspected meets an image specification requirement of a trademark registration application, and correspondingly adjusting the image to be inspected by performing image storage format converting, stretching, compression, enlargement, reduction, cutting, and rotation. The difference between the pre-processed image and the trademark graphic database in the image specification is greatly reduced, which facilitates featureextraction and comparison, further reduces the amount of calculation, and brings great convenience to subsequent steps; global inter-scale feature window matching, local similar region feature windowmatching and matching for using a spatial transformation model to filter the scale-space consistency are applied to graphics retrieval to form a efficient, convenient and accurate trademark graphic similarity comparison method. The trademark graphic similarity comparison method can perform trademark graphic retrieval, is fast in speed, is low in omission ratio, and is good in robustness.

The invention discloses a digital content product trading method and a digital content product trading system. The method comprises the following steps of: generating specifications, publishing the specifications, deciding effective bid, displaying effective gross price, publishing producer information, and spreading. Through communication networks, the method and the system can effectively and reliably match diversified trades between subscribers subscribing digital content products and producers, and effectively and reliably supervise and promote processes such as specification subscribing,collective capital raising, task acceptance of producers, product spreading and the like.

The invention relates to a sealant material verification method suitable for airworthiness certification. The sealant material verification method comprises the following steps: step 1, performing sealant material screening and selecting according to a performance objective designed according to an airplane, and preliminarily determining a sealant material selecting system; step 2, judging whetherto perform airworthiness certification or not for a sealant material which is used by a domestic civil airplane; step 3, judging whether to perform airworthiness certification or not for a sealant material which cannot show conformance by the step 2; step 4, determining a material specification and a material specification verification test schedule of a to-be-verified material according to the material selected in step 3, and submitting the to-be-verified material to the airworthiness certification department to examine; step 5, accomplishing test-level experimental verification and perfecting material specification in the step 4; and step 6, evaluating whether the selected material can reach the requirements of the material specification or not through the test-level experimental verification, and applying for the airworthiness certification department to witness the test in the process. The verification method disclosed by the invention can greatly improve sealant material airworthiness certification efficiency of the sealant material, improves reliability, quickens examination efficiency, and shortens the development period of the product.

The invention provides an electronic specification obtaining method based on a nameplate. The electronic specification obtaining method based on the nameplate comprises the steps of building an electronic specification database; generating a nameplate two-dimensional code by utilizing the website information and the bar code information; and obtaining the electronic specification matched with themodel from the electronic specification database by utilizing the website information and the bar code information of the nameplate two-dimensional code. According to the electronic specification obtaining method based on the nameplate, the automation degree of electronic specification compiling can be improved, manual participation is reduced, the error rate is reduced, the production cost is reduced, and the production efficiency is improved.