We conduct a detailed investigation of the relationship among obesity rate urban areas and expressions happiness, diet physical activity on social media. do so by analyzing massive, geo-tagged data set comprising over 200 million words generated course 2012 2013 network service Twitter. Among many results, we show that with lower rates: (1) have happier tweets frequently discuss (2) food, particularly fruits vegetables, (3) activities any intensity. Additionally, provide evidence each these...

In this paper, we propose a sentiment-based approach to investigate the temporal and spatiotemporal effects on tourists' emotions when visiting city's tourist destinations. Our consists of four steps: data collection preprocessing from social media; visitor origin identification; visit sentiment analysis. The dimensions include day year, season week, location progression, enjoyment measure, multi-location progression. We apply city Chicago using over eight million tweets. Results show that...

Whether by design or practice, systems engineering (SE) processes are used more and often in Modeling Simulation (M&S). While the two disciplines very close, there some differences that must be taken into account order to successfully reuse practices from one community another. In this paper, we introduce M&S System Development Framework (MS-SDF) unifies SE processes. The MS-SDF comprises of requirements capture, conceptual modelling, verification validation (V&V), extends them M&S. We use...

Abstract In this article, we provide an introduction to simulation for cybersecurity and focus on three themes: (1) overview of the domain; (2) a summary notable research efforts cybersecurity; (3) proposed way forward how simulations could broaden efforts. The provides readers with foundational perspective in light targets, threats, preventive measures. section details current role that plays cybersecurity, which mainly falls representative environment building; test, evaluate, explore;...

:Traditional systems engineering (SE) has been successful in developing requirements that are objective, verifiable, and definitive. These chiefly related to technical or technological issues necessary achieve a desired level of system performance. In contrast, System Systems Engineering (SoSE) engages more complex holistic problem space, including organizational, managerial, policy, human/social, political dimensions exist conditions emergence, ambiguity, uncertainty; therefore, the...

This paper reports on a survey capturing modelers’ perspectives of Modeling and Simulation (M&S). The was completed by total 283 respondents from the M&S community with 167 fully surveys 151 identified as model builders. Participants include people government, academia, industry in varied roles ranging researchers to business developers. Respondents also represent diverse educational background oceanography, social sciences, engineering. focuses three dimensions namely: (a) models...

We examine the potential of prompting a large language model-based chatbot, ChatGPT, to generate functional simulation model code from prose-based narrative. The simple narrative describes how mode transportation for elementary school students changed due COVID-19 pandemic and related factors, including lack available bus drivers, mask enforcement on buses, inclement weather. document process providing this ChatGPT further chatbot represent make it executable. test ChatGPT’s ability use...

We have recently witnessed the proliferation of large-scale behavioral data that can be used to empirically develop agent-based models (ABMs). Despite this opportunity, literature has neglected offer a structured modeling approach produce agents or its parts directly from data. In paper, we present initial steps towards an focuses on individual-level generate agent rules and initialize attribute values. way integrate Big Data machine learning techniques at individual agent-level. also...

This paper establishes what makes an ontology different in Modeling and Simulation (M&S) from other disciplines, vis-a-vis, the necessity to capture a conceptual model of system explicit, unambiguous, machine readable form. Unlike disciplines where ontologies are used, such as Information Systems Medicine, M&S do not depart set requirements but research question which is contingent on modeler. Thus, semiotic triangle used present that implemented representations models whose commonality...

Hybrid Simulation (HS) is not new. However there contention in academic discourse as to what qualifies HS? Is a distinction between multi-method, multi-paradigm and How do we integrate methods from disciplines like OR computer science that contribute the success of M&S study? validate hybrid model when whole (the combined model) greater than sum its parts individual models)? Most dynamic simulations have notion time, how realize unified representation simulation time across methodologies,...

Capturing and retaining the attention of students while learning complex topics like modeling simulation is a critical task. In discrete-event (DES), educators rely on examples queueing systems in fast food restaurants or manufacturing organizations to provide necessary context for learning. many instances, these fall short capturing students, especially at middle high school levels. One approach topics, creating simulations, through gaming. This paper reports creative use regular tools...

Predictions from simulations have entered the mainstream of public policy and decision-making practices. Unfortunately, methods for gaining insight into faulty outputs not kept pace. Ideally, an gathering method would automatically identify cause a output explain to simulation developer how correct it. In field software engineering, this challenge has been addressed general-purpose through statistical debuggers. We present two research contributions, elastic predicates many-valued labeling...

This paper proposes a multi-paradigm modeling framework (MPMF) for and simulating problem situations (problems whose specification is not agreed upon). The MPMF allows different set of questions to be addressed from situation than possible through the use single paradigm. identifies levels granularity (macro, meso, micro) what known assumed about situation. These are independently mapped paradigms. paradigms then combined provide comprehensive model corresponding simulation Finally,...

This paper establishes what makes an ontology different in Modeling and Simulation (M&S) from other disciplines, vis-a-vis, the necessity to capture a conceptual model of system explicit, unambiguous, machine readable form. Unlike disciplines where ontologies are used, such as Information Systems Medicine, M&S do not depart set requirements but research question which is contingent on modeler. Thus, semiotic triangle used present that implemented representations models whose commonality...

While ontology deals with the question of being or existence, epistemology gaining knowledge. This panel addresses challenge how we gain knowledge from modeling and simulation. What is underlying philosophy science M&S? are our canons research for Is it sufficient to apply foundational methods application domains, do need address these questions standpoint M&S as a discipline? The invited experts illuminate various facets philosophical, mathematical, computational, viewpoints.

Hybrid Simulation (HS) is not new. However there contention in academic discourse as to what qualifies HS? Is a distinction between multi-method, multi-paradigm and How do we integrate methods from disciplines like OR computer science that contribute the success of M&S study? validate hybrid model when whole (the combined model) greater than sum its parts individual models)? Most dynamic simulations have notion time, how realize unified representation simulation time across methodologies,...

M&S provides a formal way to generate or test existing knowledge. Like mathematics, an apparatus for deduction while generating data that can be used statistical inference. However, unlike M&S's approach varies from user opening the criticism one model everything wants as does not have widely accepted axiomatic body of knowledge like mathematics has. Unlike empirical experimentation, simulated experiments been epistemologically questioned about how relate results reality. This paper...

Metamodeling refers to modeling a model.There are two metamodeling approaches for ABMs: ( ) top-down and bottom-up.The top down approach enables users decompose high-level mental models into behaviors interactions of agents.In contrast, the bottom-up constructs relatively small, simple model that approximates structure outcomes dataset gathered from runs an ABM.The metamodel makes behavior ABM comprehensible exploratory analyses feasible.For most construction entails: creating experimental...

In this paper, we propose an approach to formally verify and rigorously validate a simulation system against the specification of real system. We implement in verification validation calculator tool that takes as input set statements capture requirements, internal conditions expected outputs produces output whether satisfies faithfully represents outputs. provide use case show how subject matter experts can apply tool.

This article proposes a Modeling and Simulation (M&S) formalism using Model Theory. The departs from the premise that M&S is science studies nature of truth models simulations. Truth in simulations relative as they seek to answer specific modeling questions. Consequently, because every model purposeful abstraction reality. We use Theory express proposed it built relative. allows us to: (1) deduce formal definitions explanations areas study M&S, including conceptual modeling,...

In this paper, we seek to understand and explain what interoperability is, how it works make a case for formal theory of interoperability. Based on the study existing definitions approaches, establish necessary sufficient conditions under which systems are interoperable show that current approaches semantically equivalent. Finally, propose set objectives should meet in order be useful.