The architecture of a system expresses the structural aspects of the system | the modules, the control structure, communication patterns , sharing of data and composition of modules. The architecture of a complex software system is a signiicant issue in the proper design, analysis and possibility of reuse of the software system. This paper describes how the architecture of an Ada program may be...

Preformed particle gel (PPG, a kind of Super Absorbent Polymer) has been successfully applied to control conformance in around 2,000 wells in China oilfield. The paper summarizes: (1) why we proposed the method, (2) What are the properties of thermalstable PPG products, (3) where it has been used and how to select a good well candidate for a PPG treatment, (4) how to improve PPG treatment resul...

The capture, deployment and enforcement of appropriate access control policies are crucial aspects of many modern software-based systems. Previously, there has been a significant amount of research undertaken with respect to the formal modelling and analysis of access control policies; however, only a limited proportion of this work has been concerned with dynamic policies. In this paper we exp...

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of real-valued, real-timed trajectories, is used to determine a lower bound on the distance...

As a node monitoring protocol, which is a part of network management, operates in distributed manner, conformance testing of such protocols is more tedious than testing a peer-to-peer protocol. Various works carried out to give the methodology to do conformance testing of distributed protocol. In this paper, we have presented a formal approach for conformance testing of a Node Monitoring Protoc...

Online conformance checking comes with new challenges, especially in terms of time and space constraints. One fundamental challenge explaining the a running case is balancing between making sense at process level as reaches completion putting emphasis on current information same time. In this paper, we propose an online framework that tackles problem by incorporating step estimating “location” ...

The article is devoted to the issue of a low sweep efficiency in heterogeneous terrigenous reservoirs containing remaining oil. Water plugging operations that redirect injection fluid flows into unswept zones, are one approach enhancing oil recovery these reservoirs. commonly used chemical reagents treatments acrylate polymer solutions. solutions must reach target water-saturated zones and form...

Injecting CO 2 into hydrocarbon reservoirs can enhance the recovery of resources, and simultaneously, be stored in reservoirs, reducing considerable amount carbon emissions atmosphere. However, injected tends to go through fractures, high-permeability channels streaks present resulting inefficient coupled with low storage performance. Conformance treatments -resistant crosslinked polymer gels w...

A significant challenge for organisations is the timely identification of abnormalities or deviations in their process executions. Abnormalities are generally due to missing vital aspects a possession unwanted behaviour execution. Conformance analysis techniques examine synchronisation between recorded logs and learned models, but exploitation event abnormality detection relatively under-explor...