114 results about "A-normal form" patented technology

The invention relates to a directory proxy caching system that is constructed based on a predicate, i.e., a query from a client. Broadly stated, the predicate is formed by the query (request) issued by the client. Once the data is found in the directory, then the data is stored in a cache of a proxy server. The data is indexed in the proxy server by the predicate. The predicate is used to form an index by sorting the predicate into a normal form. Steps in sorting the predicate into the normal form include the following. Each symbol of the predicate is represented by a numerical representation, for example the ASCII value used to represent the symbol in ordinary text files. The predicate is expressed as a plurality of primitive predicates, and individual predicates of the plurality of primitive predicates are joined by logical connectors. The logical connectors, and each term in the primitive predicates are represented by numbers. The logical connectors and the predicates are sorted in numerical order of the numbers to form the normal form of the predicate. The information retrieved by the predicate is stored into a cache using the normal form of the predicate as an index. The next request using a previously used predicate can then be found in the cache by the next request being sorted into normal form and used as an index into the cache.

An improved interconnection protocol that is well suited for use in an inspection system or similar modular electronic system. Communication is provided over a network where the electronic modules are nodes, including a root node and multiple remote nodes. The root node and remote nodes are connected through multiple point-to-point synchronous links. The root node and remote nodes are configured to send and receive packets in either a short form or a normal form. Timing between the root node and remote nodes is provided by an external clock distributed by the root node. Each remote node responds to commands with low latency. This protocol allows normal packets to be configured to provide variable payload length, with a maximum payload size that yields a low protocol overhead.

The invention provides an under-actuated release control method based on a nonlinear space tether system. The method comprises the following steps: 1, a dumbbell model is adopted, system dynamics differential equations are built according to a second kind Lagrange equation, and a dimensionless form is introduced in the differential equations; 2, based on a normal form expression for the above dynamics differential equations, expected values for a system in-plane pitching angle and an out-plane rolling angle are set, and the balance position of the system in the release process is obtained; 3, starting from the balance position of the system, a tether length change control law for realizing tether release is deduced and obtained; and 4, the range for the expected in-plane pitching angle is determined to ensure the tether release process to be asymptotically stable under effects of the control law. Numerical simulations show that the space tether can be released asymptotically stably under effects of the release control method provided by the invention, and an attractor capable of covering the balance point and an attraction domain with enough thickness can be found out.

An image definition evaluation function method based on strong edge detection comprises the following steps of step 1, setting an edge detection operator, namely an eight-direction Sobel operator; andstep 2, setting of a judgment image definition evaluation function, wherein the intensity mean value of the strong edge pixels is adopted, and the adopted eight-direction template is the converted template shown in the step 1. The method has the advantages that the eight-direction template is adopted, gray differences in different directions are considered, and the edge extraction effect is enhanced; by considering the spatial position relation between the positive direction of the current point and surrounding points, weights which cannot be too large in difference should be given, and introduction of noise is avoided; the calculation formula of the edge intensity, namely the gradient value of each pixel point in the image, adopts a normal form 1 calculation method, so that the time required by square resquaring operation is greatly saved, and the extraction of the edge points of the image is facilitated.

An inkjet image forming apparatus is disclosed. A print head is provided having a plurality of head chips having nozzles arranged in at least two rows for each color. A storage unit stores position information of a head chip having a normal formed gap (which is in an integer multiple relationship having a resolution of, e.g., 9″/1200 or 10″/1200) between a first row of nozzles and a second row of nozzles of the at least two rows of nozzles, position information of a head chip having an erroneous formed gap (which is not in an integer multiple relationship having a resolution of, e.g., 8.5″/1200 or 9.5″/1200) between the first row of nozzles and the second row of nozzles, and gap information. A control unit controls the head chip having the normal formed gap according to a first mode, by which printing data of the first row of nozzles and the second row of nozzles for each line are simultaneously printed to have a basic vertical resolution, and to control the head chip having the erroneous formed gap according to a second mode, by which the printing data of the first row of nozzles and the second row of nozzles for each line are alternately printed to have a double basic vertical resolution.

The present invention uses a normal form to represent a storage virtualization scheme, and applies a set of rules to transform between other representations, using the normal form as an intermediate. The logic can be implemented in hardware or software in the host, network, or physical storage subsystems, either alone or in combination.

The invention discloses a rapid fine-grained multi-domain network interconnection security control method, and belongs to the field of network space security. The method comprises: firstly, security policy language grammar specifications are established, each security policy is converted into a normal form script, a corresponding grammar parser is achieved, and the scripts without errors are stored; designing each strategy in a white list into a tree for scripts in which domains and semantics of services exist in the network, and merging the trees; designing each strategy in the blacklist intoa tree, and merging the trees into a white list; and designing each strategy in the range default action into a tree, and merging the tree with the black and white list merging tree to obtain a security strategy tree; and finally, converting the script describing inter-domain service communication into a seven-tuple security rule describing fine granularity, distributing/transmitting the seven-tuple security rule to a security Internet gateway at a high speed, and updating security control information of an execution unit according to the security rule. The method has the advantages of simplicity, convenience, flexibility and higher efficiency.

A method and apparatus are disclosed that compress an input string to an equivalent word relative to a noncommutation graph. The disclosed compression system compresses an input string in a manner that an equivalent string is produced upon decompression. The disclosed compression algorithms are based upon normal forms. First, a normal form of the interchange class is produced containing the source output string. Thereafter, a grammar-based lossless data compression scheme (or another compression scheme) is applied to the normal form. Upon decompression, the compressed string produces an equivalent string. A normal form generation process is employed to compute the lexicographic normal form or the Foata normal form of an interchange class from one of its members, using only a single pass over the data.

The invention belongs to the field of medicines. Danshinolic acid B has functions of inhibition of islet amyloid polypeptide aggregation and treatment of diabetes. The in-vivo islet amyloid polypeptide aggregation can destroy a beta-cell membrane structure and a normal form function of mitochondria to cause beta-cell apoptosis and damage a beta-cell function, thereby being taken as an important nosogenesis of type-2 diabetes. By danshinolic acid B, the aggregation of the islet amyloid polypeptide can be inhibited, and the process of damaging the beta-cell membrane structure and the normal form function of mitochondria during aggregation is changed over to protect the beta-cells, so that danshinolic acid B can be used for preventing and treating the diabetes.

An industrial value chain network configuration intelligent integrated system computing technological base is based on a brand-new logic basis, mathematical foundation and scientific foundation and aims at transforming a 'cloud' computing system into a 'universe' computing system integrating everything, uses a internet user as a center, further uses multi-level value chain (GVC) as a center, adopts connection and coordination of a cognitive system and a practice system based on a computer auxiliary system and internet as a principal line of a high-level intelligent integration system (HIIS) evolution course, and is built by building a network configuration dynamic basic model, a normal form and equation system, a game organization synergetic basic model and a normal form and equation system.

The invention is the four hundred and thirty-six item in a cluster (the full name is a network technological support system for a global value chain [DCN/IIL(VC)]) of six hundred invention patens submitted by the applicant Li Zongcheng to the Chinese national patent office through an electronic system on September 2011. The invention discloses an information and communication technology (ICT) support design for market allocation engineering of an industrial value chain. In order to reform a cloud computing system to a heaven-earth computing system blending everything on an established brand new logic basis, an established brand new mathematical basis and an established brand new scientific basis, the ICT support design, which is a new technology, is established by taking internet users and then a multi-level global value chain (GVC) as centers, by taking the connection and the harmonization conducted by a cognitive system and a practice system on the basis of a computer aided system and the internet as a main clue of an evolution process of a hybrid intelligent integrated system (HIIS), and by establishing a basic model, a normal form and an equation system of network configuration kinetics and a basic model, a normal form and an equation system of game organization synergetics.

A national value chain planning allocation holographic hedging balance listing technology is a novel technology established through establishment of a basic model, a normal form and an equation system of network configuration dynamics and a basic model, a normal from and an equation system of gaming organization synergetics, based on brand-new logic foundation, mathematics foundation and scientific foundation, aiming at modifying the 'cloud' computing system to a 'heaven-earth' computing system which is well versed in all, centering on internet users and further centering on the global value chain (GVC), and enabling the connection and the coordination of a cognitive system and a practice system based on a computer aided system and the internet to be as the main line of the evolution process of a high-level intelligence integration system (HIIS).

A document searching apparatus includes a first storage unit that stores, in correspondence with one another, a normal form character, a variant form character, and rule identification information for identifying a conversion rule; a third storage unit that stores, in correspondence with one another, the normal form character, the rule identification information, document identification information, and location information of the character; an obtaining unit that obtains a input search word and a search condition that are input by a user; a first converting unit that converts the input search word to a normal-form search word; and a searching unit that performs a character search by comparing the normal-form search word and the search condition with the normal form character and the rule identification information that are brought into correspondence with each other by the third storage unit.

The invention discloses a normal form Huffman decoding method and device; the method comprises the following steps: zero-padding the right side of each code in a preset decoding table so as to expand to form m bit code, calculating the value of the m bit code, wherein m refers to the longest coding length in the preset decoding table; respectively using the minimum value of the coding values with the same original coding length as the threshold; reading m bit binary system codes in sequence from the reading initial position of a decoded bit stream, and calculating the value D; respectively comparing the D with n thresholds in sequence, if D is smaller than the compared threshold, 0 is obtained, otherwise, 1 is obtained; recording the comparison result according to the comparison order, thus obtaining a mask; carrying out and-operation for the m bit binary system code and the mask, thus obtaining a result code; calculating to obtain a decoding character and the original coding length L according to the result code value; moving back the present reading initial position for L bits, and repeatedly reading binary system codes until the decoding is finished. The normal form Huffman decoding method and device can read a binary system code group in each time, are fast in decoding rate, and high in efficiency.

An ICT technical support design for enterprise value chain planning and configuration units is novel technology which is set up by taking the internet users as the center and further taking a multi-hierarchy GVC (global value chain) as the center, taking the joint and coordination performed by a cognitive system and a practice system based on computer auxiliary systems and internet as a main line of a developing process of an HIIS (high intelligent integrated system) and setting up a basic model, a normal form and an equation system of network configuration dynamics and a basic model, a normal form and an equation system of game organization synergetics on the basis of setting up new logic foundation, mathematic foundation and scientific foundation and in order to modify a 'cloud' computing system into a universal 'Heaven-Earth' computing system.

An ICT technology support design of enterprise value chain market configuration cooperation organization is a new technology established through establishing a network configuration dynamics base model, a normal form and an equation system, and a game organization synergetics base model, the normal form and the equation system, wherein the technology is on a basis of establishing brand new logic, mathematics and science; a '' cloud '' calculating system is reconstructed into a '' universe '' calculating system which has connection with everything, an Internet user is taken as a center, and then a multi-level global value chain (GVC) is taken as the center, and combination and coordination performed by a cognitive system and a practice system based on a computer-aided system and the Internet are taken as a main line of an evolution process of a high-grade intelligent integration system (HIIS).

The invention discloses an intelligent integrated dynamic connection technology foundation of planning allocation of an industrial value chain. The intelligent integrated dynamic connection technology foundation is a new technology which is established by establishing a network allocation dynamic basic model, a normal form and an equation system, and a game organization synergetic basic model, a normal form and an equation system by taking an internet user as a center, multi-level value chain (GVC) as a center, and connection and coordination of a cognitive system and a practical system based on a computer aided system and internet as a main line for a high-level intelligent integrated system (HIIS) evolution process in order to reconstruct a cloud computing system into a heaven and earth computing system for connecting all things on earth in establishment of completely new logic basis, mathematical basis and scientific basis.

The invention discloses an information communication technology (ICT) support design for a national value chain planning and configuration collaborative organization. The ICT support design is a novel technology which is established by establishing a network configuration dynamics basic model, a normal form and an equation system and a game organization synergetics basic model, a normal form and an equation system, taking connection and collaboration which are performed through a cognition system and a practice system according to a computer aided system and the Internet as principal lines of an evolution progress of a high-class intelligent integrated system (HIIS) and taking an Internet user as a center and further a multi-layer global value chain (GVC) as a center under the condition of establishing a brand new logic basis, a math basis and a scientific basis in order to improve 'cloud' computing into a universal 'sky and land' computing system.

The invention relates to an ICT technical support design for advantage comparison of enterprise value chain planning configuration. As a novel technology, the provided design is characterized in that: on the basis of establishment of a new logic foundation, a new mathematic foundation and a new scientific foundation, with an internet user as a center and then a multi-level global value chain (GVC) as a center as well as with computer aided system and internet-based connection and coordination of a cognitive system and a practice system as main lines of a high-level intelligent integrated system (HIIS) evolution process, the design is realized by establishing a basic model, a normal form and an equation system of network configuration dynamics as well as a basic model, a normal form and an equation system of game organization synergetics, so that a cloud computing system can be transformed into a heaven and earth computing system gathering and encompassing every thing.

The invention discloses an information and communication technology (ICT) technical design for a global value chain planning configuration project. By establishing a brand-new logic foundation, a mathematic foundation and a scientific foundation, in order to reform a 'cloud' computing system into a 'heaven-earth' computing system, a novel technology is established by taking Internet users as the center, further taking a multilevel global value chain (GVC) as the center, regarding the junction and coordination of a cognitive system and a practice system based on a computer aided system and Internet as a principal line of an evolution process of a high-level intelligent integrated system (HIIS), and establishing a basic model, a normal form and an equation system of network configuration dynamics, and a basic model, a normal form and an equation system of gaming organization synergetics.

ICT (information and communication technology) technical support design for a regional value chain planning and distribution mode is novel technology established to modify a 'cloud' computing system into an all-embracing 'Heaven-Earth' computing system on the basis of establishment of a brand-new logic foundation, a brand-new foundation of mathematics and a brand-new scientific foundation, by centering on internet users and further a multilevel GVC (global value chain), by utilizing connection and harmonization of a cognitive system and a practice system based on a computer aided system and the internet as a main line of an evolution process of an HIIS (high-level intelligent integrated system), and by establishing a basic model, a normal form and an equation system of network distribution dynamics and a basic model, a normal form and an equation system of game organization synergetics. The ICT technical support design for the regional value chain planning and distribution mode is the item 353 of a 600-item invention patent cluster (generally named 'value chain system engineering network technical support system [DCN/IIL (VC)]' officially submitted by the applicant named Li Zongcheng to State Intellectual Property Office of the People's Republic of China via an electronic system in September of 2011.

A holographic butt joint equalization technology for regional value chain market allocation is No.449 invention of a patent cluster consisting of 600 inventions (full name: 'global value chain network technical support system' [DCN/IIL(VC)]. The applicant submitted the ICT support design to the State Intellectual Property Office through an electronic system in September 2011. By establishing a brand-new logic foundation, a mathematic foundation and a scientific foundation, in order to reform a 'cloud' computing system into a 'heaven-earth' computing system, a novel technology is established by taking Internet users as the center, further taking a multilevel global value chain (GVC) as the center, regarding the junction and coordination of a cognitive system and a practice system based on a computer aided system and Internet as a principal line of an evolution process of a high-level intelligent integrated system (HIIS), and establishing a basic model, a normal form and an equation system of network configuration dynamics, and a basic model, a normal form and an equation system of game organization synergetics.