The S-composition logic Petri nets are defined based on Petri nets and logic Petri nets in this paper. How to pre-serve the liveness of S-composition logic Petri nets is deeply investigated, and the theorems and algorithms of judging the liveness of S-composition logic Petri nets are given. Resource sharing in S-composition logic Petri nets is analyzed. Finally, a method of liveness inheritance is presented by adding control places, since there is resource competition in S-composition logic Petri nets.
On the basis of traditional craft,the system achieves the water quality automatic monitoring system design through the combination of AT89C51 microcontroller and the new GPRS-based wireless communication module. For water quality parameter processing, under-bit machine adopts information fusion technology to improve the detection accuracy; Through the serial port and he DTU module, the system transfer the water quality to monitoring center, quickly and accurately to achieve real-time monitoring of water quality conditions. The system have some advantages, power consumption, low cost, real-time online, etc.
Web3D technology, with the advantages of realistic scene simulation and intelligent interaction, has been widely applied to many fields, like electronic business and medical treatment. Aiming at the problems of abstract information and poor interactivity in traditional Distributed Monitoring and Control Systems (DMCS), a method based on Web3D technology is presented. The services published by DMCS are called to deal with the request before the scene management, and then the effective messages are asynchronous transferred by the way of Ajax which can optimize the real-time scene interaction. The objects designed by JavaScript map the messages into entities in VRML/X3D scenes. Simulation analysis demonstrated the effectiveness of realistic scene simulation and high performance of intelligent interaction.
The image error analysis which is acquired from the image zooming algorithm in processing reveals that the image errors are mainly in image edge area.Then,we provide an evaluation method based on the image edge stability.The result of experiments shows that the method is consistent with the perceived image quality.
This paper represented a component service aggregation mothod based on scenario to deal with the autonomous aggregation of Web services according to user's requirement.And introduced UCM to indicate scenario.According to scenario ontology,proposed a scenario-based responsibility-component service behavior mechanism to specify user requests and the capability of autonomous Web services.Gave a requirement driven component service aggregation model based on scenario,in this model,used the method of integrating functional matching with quality matching in service aggregation.Accordingly,gave a requirement driven component service aggregation algorithm and a QoS-based service optima algorithm.As a result,improved the efficiency and precision of service discovery.Finally,gave a case study and simulation experiment to verify the correctness and effectiveness of the proposed method.