The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Simulation models are integral to modern scientific research, national defense, industry and manufacturing, and in public policy debates. These models tend to be extremely complex, often with thousands of factors and many sources of uncertainty. To understand the impact of these factors and their interactions on model outcomes requires efficient, high-dimensional design of experiments. Unfortunately,...
In this tutorial three experienced instructors describe how they teach an advanced simulation topic: Poisson processes (Henderson), variance reduction (Jacobson), and verification and validation (Robinson).
This paper discusses some practical issues relevant to facilitated conceptual modelling (CM). We consider facilitated CM as a process of undertaking CM primarily in facilitated workshops attended by a group of stakeholders. Facilitated workshops are a common practice in some fields of operational research (OR), System Dynamics (SD) and Problem Structuring Methods (PSM). The associated benefits of...
The effectiveness of mass vaccination and voluntary self-quarantine to mitigate pandemic influenza is tested in a large agent-based simulation. The characteristics of the pandemic — infectiousness, days contagious, and risk of death — are varied systematically along with the mitigation efforts in a five-factor designed experiment. A total of 243 distinct pandemic scenarios are tested. A range of two-way...
Due to its popularity, influence propagation model has been recently exploited in several social network applications. However, there are some limitations in applying the model to the social network, in which negative information is propagated. In this paper, we present an effective information propagation model to overcome these limitations. Our minimum cost flow model effectively propagates influences...
Good computational model design has always been a key factor in determining whether it will be a successful system. a new approach was proposed to formally specifying and proving the Grid jack computational model design which uses architectural description language WRIGHT together with the process algebra CSP. Formal specification in WRIGHT provides a convenient way to modeling the complex overall...
In this paper, we first introduced Web services and its model. In Web services, Web data plays an important role. And then, we introduced the inspiration of mobile ambients. It comes from the potential for mobile computation over the World-Wide Web. Finally, we present a model of mobility with data, which features Web data, hyperlinks and scripts. We gave the structural congruence and subject reduction.
One of the key challenges for users of social media is judging the topical expertise of other users in order to select trustful information sources about specific topics and to judge credibility of content produced by others. In this paper, we explore the usefulness of different types of user-related data for making sense about the topical expertise of Twitter users. Types of user-related data include...
This paper proposes a macroscopic traffic flow model for urban traffic road network. First, dynamic digraph is used to model the urban traffic road network's topological structure. Then, traffic flow data which is based on an extended cell transmission model and the traffic shock wave theory are endowed to the dynamic digraph to construct a weighted dynamic digraph model. Finally, the modeling method...
In recent years, Model Driven Engineering (MDE) approaches have been proposed and used to develop and evolve WAs. However, the definition of appropriate MDE approaches for the development of flexible process-centric WAs is still limited. In particular, (flexible) workflow models have never been integrated with the models (e.g., presentation, information models) used in MDE approaches to develop this...
Reject inference is a term that distinguishes attempts to correct models in view of the characteristics of rejected applicants. The main difficulty in establishing reject inference model is that the ¡®through-the-door' applicant population is unavailable. In this paper, we propose a hybrid data mining technique for reject inference. It is a three-stage approach: k-means cluster, support vector machines...
By analyzing the problem and key technology about integration of heterogeneous database, a distributed database integration model with global schema based on multi-agent technology is proposed. Firstly, distributed database (DDB) global schema and fragment and assignment schema are designed according to actual instance of production organization. Secondly, multi-agent system of administration architecture...
A new approach based on XML element and correlation was proposed to reflect users' fuzzy query intention. Based on the fuzzy sets theory, a fuzzy extension of XPath query expression was proposed, which can be expressed exploiting fuzzy predicates. Then fuzzy query relaxations were provided to get more querying results, which satisfy users' query requests. The proposed scoring method uses an extended...
The constructing and updating of user interest model, determines the accuracy of the user information representation, and directly influences the service quality for the users. This paper will show you by introducing some browsing action data into user interest model updating strategy, carrying on the experiment by using the designed system, and obtaining the reasonable values of browsing behavior...
In a combat simulation system based on High Level Architecture (HLA), different simulation models are usually called according to different simulation purposes. In order to improve the efficiency of developing different simulation systems, this paper designs and develops a Model Driven Platform of Combat Simulation System (MDPCSS) Based on HLA. MDPCSS drives each entity model through calling its model...
Data Structure is the core course in the computer specialty, which aims to cultivate undergraduates' abilities of selecting appropriate data structures to develop high quality application programs. CDIO teaching model has already become one of hotspots and effective solutions to improve teaching quality and teaching effect. By learning advanced CDIO model of engineering education and analyzing the...
RBAC model has provided a framework for access control and it has also been successfully applied in many fields. However, the access-division granular in RBAC model is not fine enough and its role hierarchy mechanism cannot response agilely as required. To deal with these two disadvantages, the object-oriented thoughts and the RBAC model are combined and then the Object-oriented Fine-grained RBAC...
While end-users enjoy the data service mashup with high convenience and flexibility, how to achieve the best performance with minimum maintenance cost is a challenging problem. In this paper, the data maintenance problem is analyzed, and the maintenance cost model for the data service mashup is built. The model measures the response cost and update cost of a group of data service mashups in terms...
This article introduces the main idea of decision-making behavior testing scenario management system. Based on the study of the classic experiments in theory of behavioral decision effect, testing scenarios are designed for testing decision-making behavior of business executives, and then a management system is developed to achieve dynamic management of testing scenarios. Behavioral decision theory...
Clinical translation of computational models of the heart has been hampered by the absence of complete and rigorous technical and clinical validation, as well as benchmarking of the developed tools. To address this issue, a dataset containing the cardiac anatomy and fibre orientations from magnetic resonance images (MRI), as well as epicardial transmembrane potentials from optical mapping acquired...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.