Search results for "modelling."
showing 10 items of 1269 documents
The balanced digitalization and digital security : Case of regional authorities
2019
The emerging digital infrastructure enables the public authorities to shape their processes and to create attractive digital services for the citizens and the business actors. The public processes, services and infrastructure, however, engage with global and local public and private digital infrastructure and service providers. The complex comprehensiveness of the digital infrastructure and the services challenges the public authorities and create new types of security risks. The achieving of the benefits of the digitalization of public processes and services without increasing security risks requires the adopting of novel approaches to digital security. The paper refers to a framework that…
Modelling Without a Modelling Language
2018
Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state…
Human Digital Twins in Acquiring Information About Human Mental Processes for Cognitive Mimetics
2022
Modern information technology makes it possible to redesign the ways people work. In the future, machines can carry out intelligence-requiring tasks, which previously were done by people. It is thus good to develop methodologies for designing intelligent systems. An example of such methods is cognitive mimetics, i.e. imitating human information processing. Today, machines cannot by themselves navigate in archipelagos. However, the fact that people can take care of ship steering and navigation means that there is an information process, which makes it possible to navigate ships. This information process takes place inside the minds of navigating people. If we are able to explicate the inform…
Development and use of computational tools for modelling negative hydrogen ion source extraction systems
2013
Modelling contexts in cross-cultural communication environments
2011
In our research, context is defined as a situation a user has at hand. The focus in our study is on modelling contexts in cross-cultural communication environments. These environments can be physical, virtual or hybrid. Crosscultural communication environment – user – situation is the key triplet in our context research. In our paper we discuss context as a key to situation-specific computing. We introduce our cross-cultural communication context tree and context flow architecture and an example of implementation i.e. Context-Based eAssistant for Cross-Cultural Communication (CeACCC). peerReviewed
Biological basis of bone strength : Anatomy, physiology and measurement
2020
Understanding how bones are innately designed, robustly developed and delicately maintained through intricate anatomical features and physiological processes across the lifespan is vital to inform our assessment of normal bone health, and essential to aid our interpretation of adverse clinical outcomes affecting bone through primary or secondary causes. Accordingly this review serves to introduce new researchers and clinicians engaging with bone and mineral metabolism, and provide a contemporary update for established researchers or clinicians. Specifically, we describe the mechanical and non-mechanical functions of the skeleton; its multidimensional and hierarchical anatomy (macroscopic, m…
Species distributions models may predict accurately future distributions but poorly how distributions change: A critical perspective on model validat…
2023
Aim: Species distribution models (SDMs) are widely used to make predictions on how species distributions may change as a response to climatic change. To assess the reliability of those predictions, they need to be critically validated with respect to what they are used for. While ecologists are typically interested in how and where distributions will change, we argue that SDMs have seldom been evaluated in terms of their capacity to predict such change. Instead, typical retrospective validation methods estimate model's ability to predict to only one static time in future. Here, we apply two validation methods, one that predicts and evaluates a static pattern, while the other measures change…
On stochastic modelling and reliability of systems with moving cracked material
2015
In many industrial processes, such as printing paper, a material travels through a series of rollers unsupported and under longitudinal tension. The value of the tension has an important role in the system behaviour, such as fracture and me- chanical stability. This thesis develops stochastic models for a system in which an elastic, isotropic cracked material travels through a series of spans and studies the probabilities of fracture and instability of the material. The models focus on describing tension variations and initial cracks in the material. Time-dependent tension fluctuations are modelled by the stationary Ornstein-Uhlenbeck process, and the occurrence and lengths of the cracks are…