158 results about "Transition diagram" patented technology

An XML parsing system includes a pattern-matching system 1 that receives an input stream 2 of characters corresponding to the XML document to be parsed, and provides an output 3 for subsequent processing in software by a processor 4. The pattern matching system 1 includes two main components, a controller in the form of a programmable state machine 5, which is programmed with an appropriate state transition diagram 6, and a character processing unit 7 in the form of a token and character handler. The programmable state machine 5 controls the character processing unit 7 to, e.g., compare characters in the input character stream 2 with other received or stored characters. The character processing unit 7 then provides feedback to the programmable state machine controller 5, e.g., as to whether the compared characters match, so that the programmable state machine controller 5 can then parse the received document accordingly.

Provides structured-document processing device for detecting a relationship of approximateness between structured documents effectively. State-transition-diagram information storing means stores information concerning a state transition diagram where source nodes of a source structured document transit in order of occurrence from the head thereof. Extracting means extracting, a pair consisting of a new node and a corresponding source node in accordance with order of occurrence. Matching means determining whether the source and new nodes in the selection pair have matchingness, on the basis of their descriptions. Node qualifying means qualifying the source node as a node to be used for the new node. Transition-history information generating means generates, as transition-history information, information concerning a transition history regarding the node to be used. Degree-of-approximateness detecting means detects a degree of approximateness between the source structured document and the new structured document on the basis of the transition-history information.

The invention relates to a method for segmenting and indexing scenes by combining captions and video image information. The method is characterized in that: in the duration of each piece of caption, a video frame collection is used as a minimum unit of a scene cluster. The method comprises the steps of: after obtaining the minimum unit of the scene cluster, and extracting at least three or more discontinuous video frames to form a video key frame collection of the piece of caption; comparing the similarities of the key frames of a plurality of adjacent minimum units by using a bidirectional SIFT key point matching method and establishing an initial attribution relationship between the captions and the scenes by combining a caption related transition diagram; for the continuous minimum cluster units judged to be dissimilar, further judging whether the minimum cluster units can be merged by the relationship of the minimum cluster units and the corresponding captions; and according to the determined attribution relationships of the captions and the scenes, extracting the video scenes. For the segments of the extracted video scenes, the forward and reverse indexes, generated by the caption texts contained in the segments, are used as a foundation of indexing the video segments.

The present invention is directed to a method and mechanism for using rules metaphors to implement rules and ruleflows. Examples of such rules metaphors include decision tables, trees, scoreboards, state transition diagrams, and questionaires. By providing a choice of different rules metaphors, a rule developer can advantageously tailor the framework by which rules are created and accessed to more closely match the specific processes or task being addressed.

Data life cycle policies are developed by classifying data into data classes based upon predetermined data attributes. States are then specified in which the data classes may reside. Components are defined that support one or more of the states. Transfer agents support transferring data from one component to another component. A state transition diagram is prepared for each data class, including one or more conditions that are necessary for each transition between states. An algorithm is applied to the state transition diagram which generates policies that generate life cycle actions if the data or file belongs to the class, the present state of the data or file, and if the conditions for the transitions between the states for each data class have been met. The algorithm provides a method and system for developing data life cycle policies.

The present invention has been made to provide a test scenario generation program, a test scenario generation apparatus, and a test scenario generation method that generate a test scenario that not only covers all paths in the screen transition diagram, but also have various viewpoints.

A test scenario generation program makes a computer execute a test scenario generation method that generates a test scenario for use in verification of an application involving screen change. The test scenario generation program makes the computer execute: a design information acquisition step S11 that acquires design information of the application; a test scenario template information generation step S12 that generates test scenario template information having a part of information of the test scenario based on the design information and a previously set generation rule; and a test scenario setting step S31 that sets the result of the setting that has been made for the test scenario template information based on the design information as the test scenario.

A method for determining a self-healing power grid status is presented. The method includes receiving respective real-time monitoring data corresponding to one or more power grid components, wherein one or more agents are coupled to said power grid components, determining a respective current infectiousness state based upon the received real-time monitoring data, determining respective output data based upon the respective current infectiousness state, exchanging the respective output data with one or more neighboring agents, and generating a respective new infectiousness state based upon the exchanged output data and a state transition diagram.

The invention discloses a model-based automated test method for a spacecraft system and belongs to the field of system testing. The method comprises the steps of firstly building a window tree model of a tested spacecraft system through a formalization method, classifying behavior states of the tested spacecraft system during operation according to business processes, and constructing a system behavior state transition diagram; secondly traversing a window tree to generate a test case set, running the test case set in a tested spacecraft digital model and validation prototype system, setting tracking points, obtaining system behavior states and recording a state transition sequence; and finally checking whether the obtained state transition sequence obeys a state transition rule or not through a model detection algorithm, thereby automatically validating overall design of the tested spacecraft system and interface design among modules. According to the method, the test cost of the spacecraft system and the whole research and development cycle of the spacecraft system are reduced and shortened by adopting a model-based test technology; and the quality and accuracy of spacecraft system testing are improved by adopting the formalization method and the model detection algorithm.

Provided are an apparatus and method for optimizing a paging cost and a location update cost in a broadband wireless communication system. The apparatus includes: a generating unit for sequentially outputting possible combinations of the paging group size and the idle mode timer value; a first computing unit for computing a paging cost by using the output combinations; a second computing unit for computing a location update cost by using the output combinations according to a state transition diagram in which state transition occurs based on a movement path of a Mobile Station (MS); and a determining unit for determining the paging group size and the idle mode timer value so that the sum of the paging cost and the location update cost is minimized.

The invention provides a channel decoding method which comprises the following steps: calculating output values of all states of a tail biting convolutional encoder and correlation values of data to be decoded as branch measurement values; accumulating measurement values of corresponding states and the branch measurement values according to a state transition diagram, selecting a larger accumulated value as a new measurement value of a next state and storing selection results until the data to be decoded end up; backtracking from a final state of a maximum measurement value according to the selection results so as to obtain a decoding result. The invention also provides a channel decoding device. The invention ensures that the decoding has fewer occupied resources and high calculating speed.

The invention relates to an embedded software testing method based on AADL (Architecture Analysis and Design Language) mode transformation relationship, which has the following steps of: constructing a mode transition diagram on the basis of mode information in an AADL model, and converting the diagram into a mode relationship tree required by a transformation test according to the improved depth-first traversing algorithm; constructing a source test case in the mode transformation relationship by traversing the mode relationship tree, generating a subsequent test case by means of the mode transformation relationship in the AADL model, and verifying the mode transformation relationship to obtain the conclusion of the transformation test. The embedded software testing method based on AADL mode transformation relationship solves the 'Oracle' problem existing in the embedded software test, is convenient for a user to test the embedded software at an early stage of software design and ensures the reliability of software at a system architecture level. If the model architecture can not meet corresponding requirements, the architecture of the software can be modified at an early stage of development, thus the development cost is saved, and meanwhile, the development cycle can also be shortened.

The invention relates to a software behavior credibility detecting method based on a diagram. A detecting system is divided into five modules including a data preprocessing module, a state diagram training module, a behavior detecting module, a real-time monitoring module and an abnormal warning module, wherein the data preprocessing module is in charge of processing preliminary data; the state diagram training module is used for training a normal behavior base; the behavior detecting module is in charge of detecting behaviors according to the built diagram, and the detection module is divided into two layers, the first layer is used for detecting states and paths, and the second layer is mainly used for detecting weights; the real-time monitoring module dynamically stores detection results in a log mode; and the abnormal warning module warns when the detecting module detects abnormal conditions, and stops running software. A detecting model can monitor software behaviors in real time, and detects behaviors which do not belong to the software, aggressive behaviors and illegal input.

A state transition diagram is presented for a user's access terminal for a satellite telecommunication system, showing the state of the access terminal's mobility management software layer, in response to various stimuli and conditions as the user enters into and out of various modes of operations, including deactivation, activation and illumination of a dark beam of a spot beam that is a shared resource.

The present invention is a data diagram detection method for industrial control system malicious data attack. The method comprises the steps: first training in a certain normal industrial control system to generate a relation diagram of data in the industrial system and an operating time state transition diagram G, then utilizing the same method to generate an operating time state transition diagram G' for a detected same type industrial control system, and if the nodes or the directed edges of the state transition diagram G' do not exist in the state transition diagram G, judging that the time of malicious data attack exists. Compared with the existing intrusion detection technology, the data diagram detection method provided by the invention does not belong to characteristic and behavior detection, does not require characteristic code establishment and data packet filtration, can rely merely on the data relation in a monitor room to judge whether the time of the malicious data attack exists, and has the advantage that the real-time performance of the industrial control system is not influenced.

The invention discloses an interlock access control method, which relates to the technical field of track traffic signal safety control and includes steps: S1 dividing various access states into a plurality of limited states and generating an access state transition diagram according to restrict relationship of resources related by access control; and S2 performing access control according to the access state transition diagram. The interlock access control method uses the access state transition diagram which is full in covering state as a reference, can well avoid possible safety hazard, simultaneously is easy in achieving method and improves control efficiency.