Efficient Deviation Detection Between a Process Model and Event Logs

Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.

MODERATE DEVIATIONS FROM HYDRODYNAMIC LIMIT OF A GINZBURG-LANDAU MODEL

The authors consider the moderate deviations of hydrodynamic limit for Ginzburg-Landau models. The moderate deviation principle of hydrodynamic limit for a specific Ginzburg-Landau model is obtained and an explicit formula of the rate function is derived.

Large Deviations for Random Sums on Some Kind of Heavy-tailed Classes in Risk Models

This paper is a further investigation into the large deviations for random sums of heavy-tailed,we extended and improved some results in ref. [1] and [2]. These results can applied to some questions in Insurance and Finance.

Precise large deviations for sums of random vectors in a multidimensional size-dependent renewal risk model

Consider a multidimensional renewal risk model, in which the claim sizes {Xk, k ≥1} form a sequence of independent and identically distributed random vectors with nonnegative components that are allowed to be dependent on each other. The univariate marginal distributions of these vectors have consistently varying tails and finite means. Suppose that the claim sizes and inter-arrival times correspondingly form a sequence of independent and identically distributed random pairs, with each pair obeying a dependence structure. A precise large deviation for the multidimensional renewal risk model is obtained.

Mechanism Modeling and Simulation Based on Dimensional Deviation

To analyze the effects on motion characteristics of mechanisms of dimensional variations, a study on random dimensional deviation generation techniques for 3D models on the basis of the present mechanical modeling software was carried out, which utilized the redeveloped interfaces provided by the modeling software to develop a random dimensional deviation generation system with certain probability distribution characteristics. This system has been used to perform modeling and simulation of the specific mechanical time delayed mechanism under multiple deviation varieties, simulation results indicate the dynamic characteristics of the mechanism are influenced significantly by the dimensional deviation in the tolerance distribution range, which should be emphasized in the design.

A novel lattice model integrating the cooperative deviation of density and optimal flux under V2X environment

A novel lattice hydrodynamic model is proposed by integrating the cooperative deviation of density and optimal flux under vehicle to X(V2X) environment. According to the theoretical analysis, the stability conditions and the mKdV equations affected by the cooperative deviation of traffic information are explored. And the density wave, hysteresis loop and energy consumption of the traffic flow have been investigated via numerical simulation. The results indicate that the cooperative deviation of density and optimal flux can effectively alleviate the traffic congestion. More importantly, our new consideration can reduce fuel consumption and exhaust emission under the V2X environment.

Deviation Diagnosis and Analysis of Hull Flat Block Assembly Based on a State Space Model

Dimensional control is one of the most important challenges in the shipbuilding industry. In order to predict assembly dimensional variation in hull flat block construction, a variation stream model based on state space was presented in this paper which can be further applied to accuracy control in shipbuilding. Part accumulative error, locating error, and welding deformation were taken into consideration in this model, and variation propagation mechanisms and the accumulative rule in the assembly process were analyzed. Then, a model was developed to describe the variation propagation throughout the assembly process. Finally, an example of fiat block construction from an actual shipyard was given. The result shows that this method is effective and useful.

Solving the Problem of Silicon Dioxide Melting Based on Deviation Model

In order to reveal the dissolution behavior of iron tailings in blast furnace slag,we studied the main component of silica in iron tailings.First,edge contour features need to be established to represent the melting process of silica.We choose shape,perimeter,area and generalized radius as objects.By independently analyzing the influence of these four indexes on the melting rate,the area and shape were selected as the characteristic parameters of the edge contour of the silica particles.Then,the actual melting rate of the silica is estimated by the edge contour feature index.Finally,we can calculate the melting rate of the first second of three time periods of 0.00010312mm^3/s,0.0002399mm^3/s,0.0000538mm^3/s.

Precise large deviation result for heavy-tailed random sums and applications to risk theory

The differences between two sequences of nonnegative independent and identically distributed random variables with sub-exponential tails and the random index are studied. The random index is a strictly stationary renewal counting process generated by some negatively associated random variables. Using a revised large deviation result of partial sums, the elementary renewal theorem and the central limit theorem of negatively associated random variables, a precise large deviation result is derived for the random sums. The result is applied to the customer-arrival-based insurance risk model. Some uniform asymptotics for the ruin probabilities of an insurance company are obtained as the number of customers or the time tends to infinity.

Numerical simulation analysis for deformation deviation and experimental verification for an antenna thin-wall parts considering riveting assembly with finite element method

In the process of thin-wall parts assembly for an antenna,the parts assembly deformation deviation is occurring due to the riveting assembly.In view of the riveting assembly deformation problems,it can be analyzed through transient and static simulation.In this work,the theoretical deformation model for riveting assembly is established with round head rivet.The simulation analysis for riveting deformation is carried out with the riveting assembly piece including four rivets,which comparing with the measuring points experiment results of riveting test piece through dealing with the experimental data using the point coordinate transform method and the space line fitting method.Simultaneously,the deformation deviation of the overall thin-wall parts assembly structure is analyzed through finite element simulation;and its results are verified by the measuring experiment for riveting assembly with the deformation deviation of some key points on the thin-wall parts.Through the comparison analysis,it is shown that the simulation results agree well with the experimental results,which proves the correctness and effectiveness of the theoretical analysis,simulation results and the given experiment data processing method.Through the study on the riveting assembly for thin-wall parts,it will provide a theoretical foundation for improving thin-wall parts assembly quality of large antenna in future.

Several problems about strain calculation and analysis and correction of related deviation

There exists many kinds of calculation models of plane and spherical strain fields, but the results of these models are different. The representative models was analyzed, and got some useful conclusions, in which some models are unbiased, some have deviations that can be corrected, some can only be used to compute strain in a uniform medium and can not be extended, and some can be used in the calculation and analysis of continuous strain field as well. Meanwhile, the correction relationship for spherical difference movement （displacement） computed from strain results was given, and the meaning of the non - differential term in spherical strain model was demonstrated.

Nasal airflow of patient with septal deviation and allergy rhinitis

A numerical simulation of a patient’s nasal airflow was developed via computational fluid dynamics.Accordingly,computerized tomography scans of a patient with septal deviation and allergic rhinitis were obtained.The three-dimensional(3D)nasal model was designed using InVesalius 3.0,which was then imported to(computer aided 3D interactive application)CATIA V5 for modification,and finally to analysis system(ANSYS)flow oriented logistics upgrade for enterprise networks(FLUENT)to obtain the numerical solution.The velocity contours of the cross-sectional area were analyzed on four main surfaces:the vestibule,nasal valve,middle turbinate,and nasopharynx.The pressure and velocity characteristics were assessed at both laminar and turbulent mass flow rates for both the standardized and the patient’s model nasal cavity.The developed model of the patient is approximately half the size of the standardized model;hence,its velocity was approximately two times more than that of the standardized model.

Comprehensive Evaluation on the Agricultural Sustainable Development with the Smallest Generalized Deviation

Evaluation index system of agricultural sustainable development is constructed with the four components of social index,agricultural economic index,resources index,and environment index.According to the comprehensive evaluation model of agricultural sustainable development with the participation of single person,comprehensive evaluation model of agricultural sustainable development with the smallest generalized deviation and the participation of many people is established.Based on the case studies,agricultural sustainable development status of a certain region is evaluated.Result shows that the evaluation scores of the social index and agricultural economic index are high in this region,but the score of resources index is general and the evaluation result of environment index is not very good.The comprehensive evaluation value of overall sustainable development is 0.665 5;and the evaluation result is "good".

Applications of Mogulskii, and Kurtz-Feng Large Deviation Results to Risk Reserve Processes with Aggregate Claims

In this paper we examine the large deviations principle (LDP) for sequences of classic Cramér-Lundberg risk processes under suitable time and scale modifications, and also for a wide class of claim distributions including (the non-super- exponential) exponential claims. We prove two large deviations principles: first, we obtain the LDP for risk processes on D∈[0,1] with the Skorohod topology. In this case, we provide an explicit form for the rate function, in which the safety loading condition appears naturally. The second theorem allows us to obtain the LDP for Aggregate Claims processes on D∈[0,∞) with a different time-scale modification. As an application of the first result we estimate the ruin probability, and for the second result we work explicit calculations for the case of exponential claims.

Effect of Froude similitude deviation on curved channel simulations: A case study in the Middle Yangtze River

Froude similitude and friction similitude are the two crucial similarity conditions that are often used in physical-scale modeling of rivers.However,models often deviate from Froude similitude when dealing with real-world situations.This study developed several fixed-bed river models with various curvatures to determine the effect of Froude similitude deviation on curved channel modeling.Models were constructed according to the characteristics of the Middle Yangtze River.Differences in longitudinal slope,transverse slope,and main stream line location were measured by varying Froude similitude deviation.The deviations of longitudinal slope and velocity were negligible because friction similitude was accounted for.The transverse slope varied significantly with the Froude similitude deviation,and the main stream line varied with the curvature and Froude similitude deviation.Formulae were derived to estimate the slope deviation.These analyses helped to clarify the feasibility of the method of Froude similitude deviation for curved channels.

An improved deviation model for transonic stages in axial compressors

Deviation model is an important model for through-flow analysis in axial compressors.Theoretical analysis in classical deviation models is developed under the assumption of onedimensional flow,which is controlled by the continuity equation.To consider three-dimensional characteristics in transonic flow,this study proposes an improved theoretical analysis method combining force analysis of the blade-to-blade flow with conventional analysis of the continuity equation.Influences of shock structures on transverse force,streamwise velocity and streamline curvature in the blade-to-blade flow are analyzed,and support the analytical modelling of density flow ratio between inlet and outlet conditions.Thus,a novel deviation model for transonic stages in axial compressors is proposed in this paper.The empirical coefficients are corrected based on the experimental data of a linear cascade,and the prediction accuracy is validated with the experimental data of a three-stage transonic compressor.The novel model provides accurate predictions for meridional flow fields at the design point and performance curves at design speed,and shows obvious improvements on classical models by Carter and C¸etin.

Numerical method of slope failure probability based on Bishop model

Based on Bishop's model and by applying the first and second order mean deviations method, an approximative solution method for the first and second order partial derivatives of functional function was deduced according to numerical analysis theory. After complicated multi-independent variables implicit functional function was simplified to be a single independent variable implicit function and rule of calculating derivative for composite function was combined with principle of the mean deviations method, an approximative solution format of implicit functional function was established through Taylor expansion series and iterative solution approach of reliability degree index was given synchronously. An engineering example was analyzed by the method. The result shows its absolute error is only 0.78% as compared with accurate solution.

An automatic unified modeling method of geological object and engineering object based on tri-prism(TP)

For the interaction relation between geological object and engineering object in some fields related to water conservancy and hydropower, a unified modeling idea was proposed. On the basis of summarizing both advantages and disadvantages of existing modeling methods, an automatic unified modeling method of both engineering and geological objects based on tri-prism(TP) model was presented. Through the lossless correction algorithm of deviated drill holes contained in this method, the real deviated drill holes could be corrected into the equivalent virtual vertical ones. And the correction accuracy fully meets the requirements of unified modeling. With the virtual vertical drilling data, TIN construction of both cover layer and other stratums would be built in order to obtain the 3D geological model. Then, the engineering design data would be introduced into the 3D geological model for achieving unified modeling. For this process, the volume subdividing and restructuring principles were introduced to deal with the spatial relationships between engineering object and geological object. In order to improve the efficiency of unified modeling, the reconstruction of TIN based on constraint information was also applied in this method. At last, the feasibility and validation of the unified modeling method as well as its relevant key algorithms were verified by specific experiments and analysis of results.

A New Model of Ferroelectric Phase Transition with Neglectable Tunneling Effect

Due to the obvious deviations of the existing theoretical models from the experimental results of ferroelectric phase transition, a new model is proposed on the basis of the coupling between spontaneous polarization and spontaneous strain in ferroelectrics. The spontaneous polarization and specific heat of ferroelectric phase transition predicted by the model are in better agreement with the corresponding data of triglyceride sulfate, a typical ferroelectric.In addition, the model predicts a new type of ferroelectric in which a phase transition and a phase-like transition coexist.

LIMITING BEHAVIOR OF RECURSIVE M-ESTIMATORS IN MULTIVARIATE LINEAR REGRESSION MODELS AND THEIR ASYMPTOTIC EFFICIENCIES

Recursive algorithms are very useful for computing M-estimators of regression coefficients and scatter parameters. In this article, it is shown that for a nondecreasing ul （t）, under some mild conditions the recursive M-estimators of regression coefficients and scatter parameters are strongly consistent and the recursive M-estimator of the regression coefficients is also asymptotically normal distributed. Furthermore, optimal recursive M-estimators, asymptotic efficiencies of recursive M-estimators and asymptotic relative efficiencies between recursive M-estimators of regression coefficients are studied.