179 results about "Sequence diagram" patented technology

A selected scenario of a design ICD document for an integrated enterprise is validated by examining each IDL call of each sequence diagram forming part of the selected scenario. A list of data attributes contained in one or more of the IDL calls are generated and each IDL call associated therewith is generated. A physical location to which each such IDL call is mapped is then associated with the IDL call. By analyzing the IDL calls and associated physical locations on a data attribute-by-data attribute basis, inconsistencies in the physical mapping of the data attributes to the databases forming an IIS for the integrated enterprise may be identified and subsequently corrected.

An object-oriented modeling approach is used to represent telecommunication services, parameters and calculation expressions associated with the parameters. Preferably, the Unified Modeling Language ("UML") is used in this regard. Further still, UML "sequence diagrams" are used to represent the calculation expressions as a sequence of UML methods that accomplishes what is required by the expression. The use of UML to represent calculation expressions simplifies editing and creating the expressions and permits a visual representation of the expressions.

A software tool is provided to analyze static source code. Source Code files are selected to define the project work space. A class and a method in the class are selected from said selected source code files. The tool generates a Call Tree as an ordered recursive sequence of all method calls in different classes or their instances that are invoked by said selected method in said selected class. A Sequence Diagram is generated from said Call Tree. The tool remembers all updates to the Call Tree used to generate the Sequence Diagram. This information is used when a generated Sequence Diagram is impacted due to changes made to any source code file included in the project.

A system and method for modeling and evaluating resource requirements of services is disclosed. The system and method in one aspect enable describing an application session in a software model, for example, as a sequence of events in a sequence diagram, annotating the sequence diagram with information and using the sequence diagram and the information to create a mathematical model such as a Markov model that represents the application session. Once in Markov form the service can be analyzed.

Methods and apparatus for recording and visualizing transactions of a test bench simulation are disclosed. Transaction-specific data generated from a test bench simulation may be displayed in a sequence diagram view to provide a view of the transactions arranged sequentially in time.

The invention discloses a session recommendation method based on a space-time sequence diagram convolutional network. The method comprises the following steps: S1, modeling all session sequences intoa directed session graph; S2, constructing a global graph by taking common commodities in the session as links; S3, embedding an ARMA filter into a gated graph neural network, extracting a topologicalgraph signal which changes over time from the graph model, and obtaining a feature vector of each node involved in the session graph; S4, obtaining global preference information from historical sessions of the user by adopting an attention mechanism; S5, obtaining local preference information of the user from the last session clicked by the user, and obtaining final preference information of theuser in combination with the global preference information; S6, predicting the probability of possible occurrence of the next clicked commodity in each session, and giving a Top-K recommended commodity. According to the method, rich context relationships of clicked commodities can be captured from the global graph, global and local preferences of the user are accurately learned, the time attenuation effect of historical preferences of the user on current preferences is effectively evaluated, and accurate commodity prediction is provided.

The invention provides a method for monitoring and positioning crack development areas in coal and rock fracture procedures by means of infrared radiation, and relates to the field of water conservation mining and rock stratum control. The method is applicable to detecting crack development laws and development locations in coal and rock fracture research procedures. The method includes determining bearing coal and rock fracture and failure time nodes by the aid of variance indexes of successive difference infrared thermal imaging sequence diagrams; extracting infrared thermal imaging diagrams at current moments according to the time nodes on the basis of the time nodes to position the crack development areas at bearing coal and rock fracture moments so as to temporally and spatially predict the crack development areas. The method has the advantages that research results can be applied to monitoring and controlling human engineering disasters such as coal (rock) burst and mine water inrush due to bearing coal and rock fracture, and the method particularly has scientific significance on enriching water conservation mining and rock stratum control theories for mines.

The invention discloses a method for implementing a program, a method for verifying the program result, devices and a system, belonging to the field of computers. The method for implementing the program comprises the steps of obtaining instruction information from a text file of a source program; establishing a serial queue according to the instruction information; constructing a parallel sequence diagram according to the serial queue; and implementing the source program in parallel according to the parallel sequence diagram. The device for implementing the program comprises an acquisition module, an establishment module, a construction module and an implementation module. The device for verifying the program result comprises a creation module, a first setting module, a second setting module, a mapping module, a first judging module and a second judging module. The system for implementing the program comprises the device for implementing the program and the device for verifying the program result. The invention can improve the program development efficiency and facilitate scheduling and deploying the program.

The invention relates to a method for verifying the consistency of a dynamic behavior in a unified modeling language (UML) model and a time-sequence contract. The method is characterized by comprisingthe following steps: modeling according to the UML standard, including generating a UML state diagram and a UML sequence diagram, and then saving the metamodels of the diagrams; mapping the UML statediagram to a PROMELA code for the dynamic behavior of the model; establishing the time-sequence contract of the model to map the UML sequence diagram to an LTL temporal logical formula; utilizing a model verifying tool SPIN to verify the PROMELA code and the LTL temporal logical formula; and analyzing the returned SPIN verifying result. The technical scheme of the invention associates the unifiedmodeling language (UML) and the verifying tool together, solves the problem of model inconsistency arisen in the requirement and design stage of soft engineering and provides an effective basis for the subsequent development of model driving type software.

The invention discloses a method for predicting the field of view of a user based on deep learning, which comprises the steps of (1) mapping a panoramic video from a spherical surface to six surfacesof a sphere inscribed cube to obtain videos corresponding to the six surfaces, respectively generating a dynamic feature sequence diagram and a saliency sequence diagram of the videos, and performingblocking and numbering; (2) judging the video content viewpoint switching intensity w according to dynamic features; (3) recording the head turning of the user by a helmet, and processing the recordedhead turning; (4) selecting a prediction network according to the size of the w value, obtaining the field of view of the user in the last n video frames by network prediction, and processing to obtain the number of a video block overlapped with the field of view; and (5) rendering the transmitting the video block obtained by prediction, and repeating the steps until the final n frames are predicted. The method disclosed by the invention reduces influences imposed on input video features by the panorama distortion, and pre-judgment grading of the video information is added at the same time, so that the field of view of the user when watching video in a VR HMD (Head Mount Display) can be predicted with high accuracy.

A system, method and computer program for generating a sequence diagram that specifies processing among modules included in source code. First, a source code is acquired and then analyzed to generate a log acquisition code for acquiring an execution log. Then, a program including the generated log acquisition code is executed to acquire execution log information on the execution of the program. On the basis of the acquired execution log information, automaton information on states and transitions among the states is extracted, and then the extracted automaton information is converted into sequence diagram component information on components constituting a sequence diagram. Thereafter, a sequence diagram is generated based on the converted sequence diagram component information.

The invention discloses an IMS signaling flow visual presentation system, an IMS signaling flow visual presentation method and a server. The system comprises a signaling processing server, wherein the signaling processing server is connected with a core switch in an IMS network; the core switch is connected with network cell equipment in the IMS network; the signaling processing server is also connected with a signaling inquiry computer; the network cell equipment of the IMS network is used to generate a signaling data message; the core switch is used to send the signaling data message generated by the network cell equipment to the signaling processing server; the signaling processing server adopts a signaling protocol stack to receive the signaling data message of the core switch, analyzes the signaling data message according to a protocol type, and stores the signaling data message in a database; and after the signaling processing server receives an inquiry request of the signaling inquiry computer, an inquiry result is extracted from the database through WEB service and is pushed to the signaling inquiry computer, and presentation is performed in a way of a signaling flow sequence diagram.

The invention discloses an extension UML-based Web application formalization modeling and verification method, which comprises the following steps: step (1), extracting functional demands of a software system to be designed, and performing demand analysis, step (2), performing UML modeling; step (3), using XML to represent the aforementioned UML2.3 model; step (4), generating formalization description; step (5), performing security attribute verification. The invention provides a feasible method for automatic conversion from the UML2.3 model to the formalization language to expand class diagram, sequence diagram and state diagram in the UML2.3 to implement protocol verification in Web application and implement automatic conversion from the UML model to pi calculation formalization language, and greatly reduces the difficulty of carrying out formalization modelling on the protocol directly; the formalization modeling verification tool is used, and the formalization verification model isrefined; the loophole of the formalization model is detected through display of the verification result and analysis of the attack path, which facilitates quick refining of the model and efficient defect detection.

The invention provides a coverage analysis method of foundational software platform application program interface integrated test, which is used for evaluating the coverage level of the interfaces offoundational software application program by the foundational software platform integrated test cases and the interactive coverage level between interfaces. The method combines static analysis technology with dynamic analysis technology, firstly uses the static analysis technology to obtain the structural information of the foundational software platform integrated application system which is represented as a static interface method calling sequence diagram S-IMAD, then the dynamic analysis technology is used for obtaining interactive information between the interfaces of the foundational software platform application program, and between the interfaces of the foundational software platform application program and the interfaces of other members in the process of executing the integrated test cases which is represented as a dynamic interface method calling sequence diagram D-IMAD, and finally the coverage analysis is used for evaluating the coverage state of the interfaces of the foundational software platform application program by the integrated cases and the interactive coverage state between interfaces based on S-IMAD and D-IMAD.

The invention discloses a method and system for processing a long pulse infrared non-destructive detection sequence image. The method comprises the following steps such as polynomial fitting, fast Fourier processing, pixel point processing, gray level expansion, detail enhancement, data conversion, sequence diagram processing, and defect summary. The processing method, processing device and detection system and detection method provided by the invention are very efficient in non-destructive detection and evaluation of composite materials, have the cost only a percentage of the pulse thermal loading device and high excitation energy, and is suitable for the detection of large depth defects in metal materials and composite materials. In addition, an ordinary halogen infrared lamp is as the light source, and defect details are specifically enhanced by using sequence image processing methods. The image processing method and image processing device and detection system and detection methodprovided by the invention are economical and practical.

The invention relates to a weak periodic signal detecting method based on a phase-locked loop and a Duffing oscillator, and belongs to the field of signal processing. According to the method, the phase-locked loop and the Duffing oscillator are used for setting up a combined weak signal detecting system; signal frequency is detected through the phase-locked loop to detect weak periodic signals with unknown frequency; according to the curve characters of a time history of chaotic signals, and a sequence diagram method and a phase plane diagram method are matched to serve as the criterion for detecting a system state and detecting whether the system state changes or not; a precise threshold value at which the system jumps into a periodic state from a chaotic state is obtained, and the threshold and quality for detecting the weak periodic signal are improved. Compared with a traditional method, the weak periodic signal detecting method can detect the signals with the unknown frequency, is easier to implement, saves a lot of simulation time, is of great signification in practical application and thereby has very good application prospects.

Disclosed herein are an apparatus and a method for generating a multi-level test case for testing software from a unified modeling language (UML) sequence diagram (SD) based on a multiple condition control flow graph (MCCFG). The apparatus includes: a UML SD metamodel storing unit storing a UML SD metamodel defined for a model to be converted therein; an MCCFG metamodel storing unit storing an MCCFG metamodel; a model converting unit model-converting the UML SD from which the test case is to be generated according to the UML SD metamodel and the MCCFG metamodel to generate the MCCFG; and a coverage criteria unit converting the MCCFG into a tree structure and then converting the tree structure into test cases according to a selection command.

A system for automatically counting function points is provided. The system includes an electronic document, an analysis component, and a user interface. The electronic document contains a sequence diagram that specifies interactions in a software application. The analysis component can analyze the interactions in the sequence diagram to identify a start point and an end point in the sequence diagram as a function point. The analysis component can also maintain a count of the function points. The user interface can promote counting one or more function points when more than one of the sequence diagrams involve data that is part of a set of data objects identified via the user interface.

The present invention provides a method of inhibiting 220kV side bus single-phase short circuit current of 500kV pivotal substation. An electric grid adopting mass autotransformers makes the more 220kV side bus single-phase short circuit current of 500kV pivotal substations larger than the three-phase short circuit current, and exceeding the rated breaking ability of the circuit breaker. Considering change the autotransformer to non-autotransformer to reduce the single-phase short circuit current, reducing the grounding branch of the zero-sequence grid essentially. According to the sequence diagrams principle analyse, changing autotransformer to the non-autotransformer in 500 kV substation has a larger impact to the 220kV bus single-phase short circuit current of the 500kV pivotal substation than changing the autotransformer to the non-autotransformer in the 220 kV substation, the practical example also proves the accuracy of the theoretical analysis. The method provides technical support for the limiting the grid single-phase short circuit current, enhancing the credibility of the grid operation.

A first tree-structured data is generated based on a sequence diagram indicating a specification of a new source code to be generated. A second tree-structured data matching with the first tree-structured data is retrieved from a storing unit that stores at least an existing source code and tree-structured data corresponding to the existing source code. A source code corresponding to the second tree-structured data is acquired from the storing unit.

The invention provides an IC (integrated circuit) function verification method. The method comprises the following steps: based on an interface sequence diagram reflecting external characteristics of a module to be tested and configuration information of an internal register reflecting the internal state of the module to be tested in design specifications of the module to be tested, establishing a finite-state machine model, then traversing the state of the finite-state machine model, simultaneously adding loop parameter setting to a directed circuit and a critical path more concerned by a user, thereby realizing a higher function coverage rate. The method has the ultimate goal of obtaining more function verification coverage with less verification vectors, thereby improving verification working efficiency, reducing verification cost, improving design reliability and shortening the marking time of products.

A production line layout method facing a manually assembled product comprises the following steps of: 1, determining a product object, and performing basic operation decomposition on a product; 2, analyzing a context logical relationship of a basic opeation, and drawing a basic operation sequence diagram; 3, performing time study on an operating method by applying operation measurement, and determining standard operating time; 4, drawing the basic work sequence diagram according to the context logical relationship of the operation; 5, carrying out primary designing of a product production line by using a ranked positional weight method; 6, by using a simulation optimization method, performing analog simulation on the primarily designed production line and optimizing the primarily designed production line; and 7, performing reasonable layout on the production line by using an optimization result in step 6. The production line layout method has the beneficial effects that the production line can be systematic designed, the labor load of each station can be balanced, and the production capacity of the production line can be improved.

The invention discloses a design method of a patrol robot full-coverage traversal path planning algorithm. The method includes the following steps that: a one-dimensional Chebychev mapping is selectedas a chaotic dynamic equation, and inverse sine transformation is utilized to improve the chaotic characteristic and uniform characteristic of the chaotic dynamic equation; two inverse sine-improvedone-dimensional Chebychev mapping equations are adopted to construct a two-dimensional chaotic path planner; the patrol area of a robot is decomposed into traversable sub-regions and obstacle regions;transition sub-regions re established, and a transition algorithm is designed; the traversable sub-regions in the patrol area are connected to form a traversal sequence diagram; the patrol robot full-coverage traversal path planning algorithm is designed according to the traversal sequence diagram and the transition algorithm, and the patrol robot full-coverage traversal path planning algorithm can be used for completing a patrol task. The algorithm of the invention has the advantages of simplicity, low repetition rate and high coverage rate, and can ensure the randomness and unpredictabilityof the patrol task while ensuring full coverage of the patrol area.

System for simulating one or more sub-systems of a tested system includes: (a) a sequence diagram storage and engine unit containing a predefined sequence diagram defining the intercommunication of messages between the various sub-systems of a real system in terms of at least time, message name, issuing sub-system, and destination sub-system. An indicator indicates to said sequence diagram storage and engine unit, those missing sub-systems, which have to be simulated. A receiver within said sequence diagram storage and engine unit receives an activation signal for the sequence diagram, and for eliminating all those messages in the sequence diagram relating to non-missing sub-systems, while maintaining those messages relating to missing sub-systems. One or more simulated sub-system units, each contain a domain of predefined output messages in appropriate format that can be issued by the simulated sub-system unit, and predefined input messages in appropriate format that can be received by the simulated sub-system unit, both domains being essentially identical to those of the corresponding real sub-systems of the system. A real time engine activates the sequence diagram, for receiving messages relating to missing sub-systems from one or more of the simulated sub-systems units, for introducing in real time the received messages on a bus leading to the real sub-systems, and for receiving messages issued by the real sub-systems and conveying them in real time to the simulated sub-system units.