scholarly journals Equilibrium locations in a spatial model with sequential entry in real time

2002 ◽  
Vol 32 (1) ◽  
pp. 47-58 ◽  
Author(s):  
Luca Lambertini
2016 ◽  
Vol 13 (1) ◽  
pp. 40-52 ◽  
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.


2011 ◽  
Vol 28 (3) ◽  
pp. 1211-1218 ◽  
Author(s):  
Changying Li ◽  
Jianhu Zhang

2022 ◽  
Vol 8 (1) ◽  
pp. 1-30
Author(s):  
Xinyu Ren ◽  
Seyyed Mohammadreza Rahimi ◽  
Xin Wang

Personalized location recommendation is an increasingly active topic in recent years, which recommends appropriate locations to users based on their temporal and geospatial visiting patterns. Current location recommendation methods usually estimate the users’ visiting preference probabilities from the historical check-ins in batch. However, in practice, when users’ behaviors are updated in real-time, it is often cost-inhibitive to re-estimate and updates users’ visiting preference using the same batch methods due to the number of check-ins. Moreover, an important nature of users’ movement patterns is that users are more attracted to an area where have dense locations with same categories for conducting specific behaviors. In this paper, we propose a location recommendation method called GeoRTGA by utilizing the real time user behaviors and geographical attractions to tackle the problems. GeoRTGA contains two sub-models: real time behavior recommendation model and attraction-based spatial model. The real time behavior recommendation model aims to recommend real-time possible behaviors which users prefer to visit, and the attraction-based spatial model is built to discover the category-based spatial and individualized spatial patterns based on the geographical information of locations and corresponding location categories and check-in numbers. Experiments are conducted on four public real-world check-in datasets, which show that the proposed GeoRTGA outperforms the five existing location recommendation methods.


2018 ◽  
Vol 45 (4) ◽  
pp. 336 ◽  
Author(s):  
J. D. Shepherd ◽  
S. Gillingham ◽  
T. Heuer ◽  
M. C. Barron ◽  
A. E. Byrom ◽  
...  

Context The abundance and distribution of mammalian species often change in response to environmental variability, losses or gains in suitable habitat and, in the case of pest species, control programs. Consequently, conventional distribution maps rapidly become out of date and fail to provide useful information for wildlife managers. For invasive brushtail possum populations in New Zealand, the main causes of change are control programs by central and local government agencies, and post-control recovery through recolonisation and in situ recruitment. Managers need to know current, and likely future, possum population levels relative to control targets to help assess success at preventing the spread of disease or for protecting indigenous species. Information on the outcomes of government-funded possum control needs to be readily available to members of the general public interested in issues such as conservation, disease management and animal welfare. Aims To produce dynamic, scalable maps of the current and predicted future distribution and abundance of possums in New Zealand, taking into account changes due to control, and to use recent visualisation technology to make this information accessible to managers and the general public for assessing control strategies at multiple spatial scales. Methods We updated an existing individual-based spatial model of possum population dynamics, extending it to represent all individuals in a national population of up to 40 million. In addition, we created a prototype interface for interactive web-based presentation of the model’s predictions. Key results The improved capability of the new model for assessing possum management at local-to-national scales provided for real-time, mapped updates and forecasts of the distribution and abundance of possums in New Zealand. The versatility of this platform was illustrated using scenarios for current and emerging issues in New Zealand. These are hypothetical incursions of possums, reinvasion of large areas cleared of possums, and impacts on animal welfare of national-scale management of possums as vectors of bovine tuberculosis (TB). Conclusions The new individual-based spatial model for possum populations in New Zealand demonstrated the utility of combining models of wildlife population dynamics with high-speed computing capability to provide up-to-date, easily accessible information on a species’ distribution and abundance. Applications include predictions for future changes in response to incursions, reinvasion and large-scale possum control. Similar models can be used for other species for which there are suitable demographic data, typically pest species, harvested species or species with a high conservation value. Implications Models such as the spatial model for possums in New Zealand can provide platforms for (1) real-time visualisation of wildlife distribution and abundance, (2) reporting and assessing progress towards achieving management goals at multiple scales, (3) use as a decision-support tool to scope potential changes in wildlife populations or simulate the outcomes of alternative management strategies, and (4) making information about pest control publicly available.


2020 ◽  
pp. 623-637
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.


1979 ◽  
Vol 44 ◽  
pp. 41-47
Author(s):  
Donald A. Landman

This paper describes some recent results of our quiescent prominence spectrometry program at the Mees Solar Observatory on Haleakala. The observations were made with the 25 cm coronagraph/coudé spectrograph system using a silicon vidicon detector. This detector consists of 500 contiguous channels covering approximately 6 or 80 Å, depending on the grating used. The instrument is interfaced to the Observatory’s PDP 11/45 computer system, and has the important advantages of wide spectral response, linearity and signal-averaging with real-time display. Its principal drawback is the relatively small target size. For the present work, the aperture was about 3″ × 5″. Absolute intensity calibrations were made by measuring quiet regions near sun center.


Sign in / Sign up

Export Citation Format

Share Document