On-Line Training and Certification Solution for Business Process Managers

2011 ◽  
pp. 380-389 ◽  
Author(s):  
Anca Draghici ◽  
Marian Mocan ◽  
George Draghici
Keyword(s):  
Business Process ◽  
On Line ◽  
Process Managers

FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH

2010 ◽  
Vol 20 (07) ◽  
pp. 987-1023 ◽  
Author(s):  
VITUS S. W. LAM
Keyword(s):  
Mathematical Model ◽  
Business Process ◽  
Process Modeling ◽  
Business Process Management ◽  
Process Management ◽  
Business Processes ◽  
Formal Analysis ◽  
Symbolic Model ◽  
On Line ◽  
Business Process Modeling Notation

Business Process Modeling Notation (BPMN) plays a significant role in the specification of business processes. To ascertain the validity of BPMN models, a disciplined approach to analyze their behavior is of particular interest to the field of business process management. This paper advocates a semantics-preserving method for transforming BPMN models into New Symbolic Model Verifier (NuSMV) language as a means to verify the models. A subset of BPMN is specified rigorously in the form of a mathematical model. With this foundation in place, the translation for the subset of BPMN notational elements is then driven by a set of formally defined rules. The practicality of our approach is exemplified using an on-line flight reservation service.

scholarly journals SPECIFICITY OF BUSINESS PROCESSES FOR ENTERPRISES OF ENERGY

2018 ◽  
pp. 322-328
Author(s):  
E. TYMUL
Keyword(s):  
Technological Process ◽  
Business Process ◽  
Economic Activity ◽  
Energy Production ◽  
Business Processes ◽  
Technological Cycle ◽  
Process Managers

The article considers various interpretations of the concept of business processes. These are several types of classification of business processes and the justification for adjusting the classification, taking into account the features of the technological process of various types of economic activity. One of the leading business processes uses one of the business process managers. The features of the manifestation of risks for energy enterprises and the stages of the technological cycle of energy production are considered.

scholarly journals Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams

10.29007/nd7r ◽  
2018 ◽  
Author(s):  
Hector Ceballos ◽  
Francisco Cantu
Keyword(s):  
Bayesian Network ◽  
Business Process ◽  
Process Modeling ◽  
Business Processes ◽  
Process Development ◽  
Structural Learning ◽  
Causal Relations ◽  
Graphical Notation ◽  
On Line ◽  
Process Diagrams

Business Process Diagrams (BPDs) have been used for documenting, analyzing and optimizing business processes. Business Process Modeling and Notation (BPMN) provides a rich graphical notation which is supported by a formalization that permits users automating such tasks. Stochastic versions of BPMN allows designers to represent the probability every possible way a process can develop. Nevertheless, this support is not enough for representing conditional dependencies between events occurring during process development. We show how structural learning on a Bayesian Network obtained from a BPD is used for discovering causal relations between process events. Temporal precedence between events, captured in the BPD, is used for pruning and correcting the model discovered by an Inferred Causation (IC) algorithm. We illustrate our approach by detecting dishonest bidders in an on-line auction scenario.

The on-line use of histogram data for high-speed correction and alignment of electron microscope images

1984 ◽  
Vol 42 ◽  
pp. 556-557
Author(s):  
William Krakow
Keyword(s):  
Power Spectrum ◽  
High Speed ◽  
Direct Memory Access ◽  
Digital Television ◽  
Contrast Transfer Function ◽  
The Past ◽  
High Resolution Tem ◽  
On Line ◽  
Correction Of Astigmatism ◽  
The Fourier Transform

In the past few years on-line digital television frame store devices coupled to computers have been employed to attempt to measure the microscope parameters of defocus and astigmatism. The ultimate goal of such tasks is to fully adjust the operating parameters of the microscope and obtain an optimum image for viewing in terms of its information content. The initial approach to this problem, for high resolution TEM imaging, was to obtain the power spectrum from the Fourier transform of an image, find the contrast transfer function oscillation maxima, and subsequently correct the image. This technique requires a fast computer, a direct memory access device and even an array processor to accomplish these tasks on limited size arrays in a few seconds per image. It is not clear that the power spectrum could be used for more than defocus correction since the correction of astigmatism is a formidable problem of pattern recognition.

Image registration with a computer driven S.T.E.M.

1978 ◽  
Vol 36 (1) ◽  
pp. 98-99
Author(s):  
A.M.H. Schepman ◽  
J.A.P. van der Voort ◽  
J.E. Mellema
Keyword(s):  
Spot Size ◽  
Scanning Transmission Electron Microscope ◽  
Small Computer ◽  
Structural Studies ◽  
Area Of Interest ◽  
Transmission Electron ◽  
Scanning Transmission ◽  
Specimen Area ◽  
On Line ◽  
Minimum Distances

A Scanning Transmission Electron Microscope (STEM) was coupled to a small computer. The system (see Fig. 1) has been built using a Philips EM400, equipped with a scanning attachment and a DEC PDP11/34 computer with 34K memory. The gun (Fig. 2) consists of a continuously renewed tip of radius 0.2 to 0.4 μm of a tungsten wire heated just below its melting point by a focussed laser beam (1). On-line operation procedures were developped aiming at the reduction of the amount of radiation of the specimen area of interest, while selecting the various imaging parameters and upon registration of the information content. Whereas the theoretical limiting spot size is 0.75 nm (2), routine resolution checks showed minimum distances in the order 1.2 to 1.5 nm between corresponding intensity maxima in successive scans. This value is sufficient for structural studies of regular biological material to test the performance of STEM over high resolution CTEM.

Design and calibration of an IVEM for general 3-dimensional imaging of non-diffracting materials

1992 ◽  
Vol 50 (2) ◽  
pp. 1040-1041
Author(s):  
Neil Rowlands ◽  
Jeff Price ◽  
Michael Kersker ◽  
Seichi Suzuki ◽  
Steve Young ◽  
...  
Keyword(s):  
3D Imaging ◽  
Tomographic Reconstruction ◽  
Three Dimensional ◽  
3 Dimensional ◽  
3D Microstructure ◽  
Image Translation ◽  
Digital Correlation ◽  
On Line ◽  
Mechanical Stage ◽  
Projection Angle

Three-dimensional (3D) microstructure visualization on the electron microscope requires that the sample be tilted to different positions to collect a series of projections. This tilting should be performed rapidly for on-line stereo viewing and precisely for off-line tomographic reconstruction. Usually a projection series is collected using mechanical stage tilt alone. The stereo pairs must be viewed off-line and the 60 to 120 tomographic projections must be aligned with fiduciary markers or digital correlation methods. The delay in viewing stereo pairs and the alignment problems in tomographic reconstruction could be eliminated or improved by tilting the beam if such tilt could be accomplished without image translation.A microscope capable of beam tilt with simultaneous image shift to eliminate tilt-induced translation has been investigated for 3D imaging of thick (1 μm) biologic specimens. By tilting the beam above and through the specimen and bringing it back below the specimen, a brightfield image with a projection angle corresponding to the beam tilt angle can be recorded (Fig. 1a).

Software pattern recognition applied to nanodiffraction patterns from a STEM instrument

1986 ◽  
Vol 44 ◽  
pp. 694-695
Author(s):  
G.Y. Fan ◽  
J.M. Cowley
Keyword(s):  
Image Processing ◽  
Pattern Recognition ◽  
Computer Software ◽  
Processing System ◽  
Light Level ◽  
Host Computer ◽  
Low Light ◽  
Image Processing System ◽  
Recent Developments ◽  
On Line

In recent developments, the ASU HB5 has been modified so that the timing, positioning, and scanning of the finely focused electron probe can be entirely controlled by a host computer. This made the asynchronized handshake possible between the HB5 STEM and the image processing system which consists of host computer (PDP 11/34), DeAnza image processor (IP 5000) which is interfaced with a low-light level TV camera, array processor (AP 400) and various peripheral devices. This greatly facilitates the pattern recognition technique initiated by Monosmith and Cowley. Software called NANHB5 is under development which, instead of employing a set of photo-diodes to detect strong spots on a TV screen, uses various software techniques including on-line fast Fourier transform (FFT) to recognize patterns of greater complexity, taking advantage of the sophistication of our image processing system and the flexibility of computer software.

Thickness Measurement in the AEM by Macintosh-Based Analysis of Two-Beam Convergent Beam Patterns

1990 ◽  
Vol 48 (2) ◽  
pp. 504-505
Author(s):  
John F. Mansfield ◽  
Douglas C. Crawford
Keyword(s):  
Electron Microscope ◽  
Video Camera ◽  
Thickness Measurement ◽  
Specimen Thickness ◽  
Crystalline Materials ◽  
Beam Dynamic ◽  
Line Measurement ◽  
On Line ◽  
Image Position ◽  
Convergent Beam

A method has been developed that allows on-line measurement of the thickness of crystalline materials in the analytical electron microscope. Two-beam convergent beam electron diffraction (CBED) patterns are digitized from a JEOL 2000FX electron microscope into an Apple Macintosh II microcomputer via a Gatan #673 CCD Video Camera and an Imaging Systems Technology Video 1000 frame-capture board. It is necessary to know the lattice parameters of the sample since measurements are made of the spacing of the diffraction discs in order to calibrate the pattern. The sample thickness is calculated from measurements of the spacings of the fringes that are seen in the diffraction discs. This technique was pioneered by Kelly et al, who used the two-beam dynamic theory of MacGillavry relate the deviation parameter (Si) of the ith fringe from the exact Bragg condition to the specimen thickness (t) with the equation:Where ξg, is the extinction distance for that reflection and ni is an integer.

Recent developments in automated Transmission Electron MI

1989 ◽  
Vol 47 ◽  
pp. 46-47
Author(s):  
W.J. de Ruijter ◽  
P. Rez ◽  
David J. Smith
Keyword(s):  
Image Analysis ◽  
Computer Image ◽  
Lens Design ◽  
Computer Image Analysis ◽  
Transmission Electron ◽  
Resolution Electron ◽  
Recent Developments ◽  
On Line ◽  
Routine Procedures ◽  
Near Future

There is growing interest in the on-line use of computers in high-resolution electron n which should reduce the demands on highly skilled operators and thereby extend the r of the technique. An on-line computer could obviously perform routine procedures hand, or else facilitate automation of various restoration, reconstruction and enhan These techniques are slow and cumbersome at present because of the need for cai micrographs and off-line processing. In low resolution microscopy (most biologic; primary incentive for automation and computer image analysis is to create a instrument, with standard programmed procedures. In HREM (materials researc computer image analysis should lead to better utilization of the microscope. Instru (improved lens design and higher accelerating voltages) have improved the interpretab the level of atomic dimensions (approximately 1.6 Å) and instrumental resolutior should become feasible in the near future.

Sign in / Sign up

Export Citation Format

Share Document