Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph

Appropriate maintenance technologies that facilitate model consistency in distributed simulation systems are relevant but generally unavailable.To resolve this problem,we analyze the main factors that cause model inconsistency.The analysis methods used for traditional distributed simulations are mostly empirical and qualitative,and disregard the dynamic characteristics of factor evolution in model operational running.Furthermore,distributed simulation applications(DSAs)are rapidly evolving in terms of large-scale,distributed,service-oriented,compositional,and dynamic features.Such developments present difficulty in the use of traditional analysis methods in DSAs,for the analysis of factorial effects on simulation models.To solve these problems,we construct a dynamic evolution mechanism of model consistency,called the connected model hyper-digraph(CMH).CMH is developed using formal methods that accurately specify the evolutional processes and activities of models(i.e.,self-evolution,interoperability,compositionality,and authenticity).We also develop an algorithm of model consistency evolution(AMCE)based on CMH to quantitatively and dynamically evaluate influencing factors.Experimental results demonstrate that non-combination(33.7%on average)is the most influential factor,non-single-directed understanding(26.6%)is the second most influential,and non-double-directed understanding(5.0%)is the least influential.Unlike previous analysis methods,AMCE provides good feasibility and effectiveness.This research can serve as guidance for designers of consistency maintenance technologies toward achieving a high level of consistency in future DSAs.

DISSIPATION-BASED CONSISTENT RATE-DEPENDENT MODEL FOR CONCRETE

An energy-dissipation based viscoplastic consistency model is presented to describe the performance of concrete under dynamic loading. The development of plasticity is started with the thermodynamic hypotheses in order that the model may have a sound theoretical background. Independent hardening and softening and the rate dependence of concrete are described separately for tension and compression. A modified implicit backward Euler integration scheme is adopted for the numerical computation. Static and dynamic behavior of the material is illustrated with certain numerical examples at material point level and structural level, and compared with existing experimental data. Results validate the effectiveness of the model.

StochSD: A Full Potential CSS Language for Dynamic and Stochastic Modelling, Simulation and Statistical Analysis

It is vital that a well-defined conceptual model can be realized by a macro-model (e.g., a Continuous System Simulation (CSS) model) or a micro-model (e.g., an Agent-Based model or Discrete Event Simulation model) and still produce mutually consistent results. The Full Potential CSS concept provides the rules so that the results from macro-modelling become fully consistent with those from micro-modelling. This paper focuses on the simulation language StochSD (Stochastic System Dynamics), which is an extension of classical Continuous System Simulation that implements the Full Potential CSS concept. Thus, in addition to modelling and simulating continuous flows between compartments represented by “real” numbers, it can also handle transitions of discrete entities by integer numbers, enabling combined models to be constructed in a straight-forward way. However, transition events of discrete entities (e.g., arrivals, accidents, deaths) usually happen irregularly over time, so stochasticity often plays a crucial role in their modelling. Therefore, StochSD contains powerful random functions to model uncertainties of different kinds, together with devices to collect statistics during a simulation or from multiple replications of the same stochastic model. Also, tools for sensitivity analysis, optimisation and statistical analysis are included. In particular, StochSD includes features for stochastic modelling, post-analysis of multiple simulations, and presentation of the results in statistical form. In addition to making StochSD a Full Potential CSS language, a second purpose is to provide an open-source package intended for small and middle-sized models in education, self-studies and research. To make StochSD and its philosophy easy to comprehend and use, it is based on the System Dynamics approach, where a system is described in terms of stocks and flows. StochSD is available for Windows, macOS and Linux. On the StochSD homepage, there is extensive material for a course in Modelling and Simulation in form of PowerPoint lectures and laboratory exercises.

Complete convergence for arrays of rowwise negatively superadditive-dependent random variables and its applications

In this paper, an exponential inequality for the maximal partial sums of negatively superadditive-dependent （NSD, in short） random variables is established. By uSing the exponen- tial inequality, we present some general results on the complete convergence for arrays of rowwise NSD random variables, which improve or generalize the corresponding ones of Wang et al. [28] and Chen et al. [2]. In addition, some sufficient conditions to prove the complete convergence are provided. As an application of the complete convergence that we established, we further investigate the complete consistency and convergence rate of the estimator in a nonparametric regression model based on NSD errors.

A Framework of Memory Consistency Models

Previous descriptions of memory consistency models in shared-memory multiprocessor systems are mainly expressed as constraints on the memory access event ordering and hence are hardwae-centric. This paper presents a framework of memory consistency models which describes the memory consistency model on the behavior level.Based on the understanding that the behavior of an execution is determined by the execution order of confiicting accesses, a memory consistency model is defined as an interprocessor synchronization mechanism which orders the execution of operations from different processors. Synchronization order of an execution under certain consistency model is also defined. The synchronization order, together with the program order,determines the behavior of an execution.This paper also presents criteria for correct program and correct implementation of consistency models. Regarding an implementation of a consistency model as certain memory event ordering constraints, this paper provides a method to prove the correctness of consistency model implementations, and the correctness of the lock-based cache coherence protocol is proved with this method.

Chip Multithreaded Consistency Model

Multithreaded technique is the developing trend of high performance processor. Memory consistency model is essential to the correctness, performance and complexity of multithreaded processor. The chip multithreaded consistency model adapting to multithreaded processor is proposed in this paper. The restriction imposed on memory event ordering by chip multithreaded consistency is presented and formalized. With the idea of critical cycle built by Wei-Wu Hu, we prove that the proposed chip multithreaded consistency model satisfies the criterion of correct execution of sequential consistency model. Chip multithreaded consistency model provides a way of achieving high performance compared with sequential consistency model and easures the compatibility of software that the execution result in multithreaded processor is the same as the execution result in uniprocessor. The implementation strategy of chip multithreaded consistency model in Godson-2 SMT processor is also proposed. Godson-2 SMT processor supports chip multithreaded consistency model correctly by exception scheme based on the sequential memory access queue of each thread.

CONSISTENT NONPARAMETRIC ESTIMATION OF ERROR DISTRIBUTIONS IN LINEAR MODEL'

For the linear model y_i=x_iθ+e_i, i=1, 2,…, let the error sequence {e_i}_i=1 be iidr.v.’s, with unknown density f(x). In this paper,a nonparametric estimation method based onthe residuals is proposed for estimating f(x) and the consistency of the estimators is obtained.

Behavioral Consistency Checking between Requirements and Implementations

Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.

From Concepts to Consistent Object Specifications:Translation of a Domain-Oriented Feature Framework into Practice

A steady increase in consumer demands, and severe constraints from both a somewhat damaged environment and newly installed government policies, require today's product design and development to be faster and more efficient than ever before, yet utilizing even fewer resources. New holistic approaches, such as total product life cycle modeling which embraces all aspects of a product's life cycle, are current attempts to solve these problems. Within the field of product design and modeling, feature technology has proved to be one very promising solution component. Owing to the tremendous increase in information technology, to transfer from low level data processing towards knowledge modeling and information processing is about to bring a change in almost every computerized application. From this viewpoint, current problems of both feature frameworks and feature systems are analyzed in respect to static and dynamic consistency breakdowns. The analysis ranges from early stages of designing (feature) concepts to final system implementation and application. Por the first time, an integrated view is given oil approaches, solutions and practical experience, with feature concepts and structures, providing both a feature framework and its implementation with sufficient system architecture and computational power to master a fair number of known consistency breakdowns, while providing for robust contexts for feature semantics and integrated models. Within today's heavy use of information technology these are pre-requisites if the full potential of feature technology is to be successfully translated into practice.

This work was supported in part by US Department of Energy Los Alamos National Laboratory contract 47145 and UT-Battelle LLC contract 4000159447 program manager Laura Biven.

There is a growing trend of applying machine learning methods to medical datasets in order to predict patients’future status.Although some of these methods achieve high performance,challenges still exist in comparing and evaluating different models through their interpretable information.Such analytics can help clinicians improve evidence-based medical decision making.In this work,we develop a visual analytics system that compares multiple models’prediction criteria and evaluates their consistency.With our system,users can generate knowledge on different models’inner criteria and how confidently we can rely on each model’s prediction for a certain patient.Through a case study of a publicly available clinical dataset,we demonstrate the effectiveness of our visual analytics system to assist clinicians and researchers in comparing and quantitatively evaluating different machine learning methods.

Survey of Large-Scale Data Management Systems for Big Data Applications

Today, data is flowing into various organizations at an unprecedented scale. The ability to scale out for processing an enhanced workload has become an important factor for the proliferation and popularization of database systems. Big data applications demand and consequently lead to the developments of diverse large-scale data management systems in different organizations, ranging from traditional database vendors to new emerging Internet-based enterprises. In this survey, we investigate, characterize, and analyze the large-scale data management systems in depth and develop comprehensive taxonomies for various critical aspects covering the data model, the system architecture, and the consistency model. We map the prevailing highly scalable data management systems to the proposed taxonomies, not only to classify the common techniques but also to provide a basis for analyzing current system scalability limitations. To overcome these limitations, we predicate and highlight the possible principles that future efforts need to be undertaken for the next generation large-scale data management systems.