CoS: a new perspective of operating systems design for the cyber-physical world

Our day-to-day life is dependent on several embedded devices, and in the near future, many more objects will have computation and communication capabilities enabling an Internet of Things. Correspondingly, with an increase in the interaction of these devices around us, developing novel applications is set to become challenging with current software infrastructures. In this paper, we argue that a new paradigm for operating systems needs to be conceptualized to provide aconducive base for application development on Cyber-physical systems. We demonstrate its need and importance using a few use-case scenarios and provide the design principles behind, and an architecture of a co-operating system or CoS that can serve as an example of this new paradigm.

Scalable data acquisition for densely instrumented cyber-physical systems

Consider the problem of designing an algorithm for acquiring sensor readings. Consider specifically the problem of obtaining an approximate representation of sensor readings where (i) sensor readings originate from different sensor nodes, (ii) the number of sensor nodes is very large, (iii) all sensor nodes are deployed in a small area (dense network) and (iv) all sensor nodes communicate over a communication medium where at most one node can transmit at a time (a single broadcast domain). We present an efficient algorithm for this problem, and our novel algorithm has two desired properties: (i) it obtains an interpolation based on all sensor readings and (ii) it is scalable, that is, its time-complexity is independent of the number of sensor nodes. Achieving these two properties is possible thanks to the close interlinking of the information processing algorithm, the communication system and a model of the physical world.

A vision of cyber-physical internet

When the Internet was born, the purpose was to interconnect computers to share digital data at large-scale. On the other hand, when embedded systems were born, the objective was to control system components under real-time constraints through sensing devices, typically at small to medium scales. With the great evolution of the Information and Communication Technology (ICT), the tendency is to enable ubiquitous and pervasive computing to control everything (physical processes and physical objects) anytime and at a large-scale. This new vision gave recently rise to the paradigm of Cyber-Physical Systems (CPS). In this position paper, we provide a realistic vision to the concept of the Cyber-Physical Internet (CPI), discuss its design requirements and present the limitations of the current networking abstractions to fulfill these requirements. We also debate whether it is more productive to adopt a system integration approach or a radical design approach for building large-scale CPS. Finally, we present a sample of realtime challenges that must be considered in the design of the Cyber-Physical Internet.

Ibuprofen-loaded poly(trimethylene carbonate-co-ϵ- caprolactone) electrospun fibres for nerve regeneration

The development of scaffolds that combine the delivery of drugs with the physical support provided by electrospun fibres holds great potential in the field of nerve regeneration. Here it is proposed the incorporation of ibuprofen, a well-known non-steroidal anti-inflammatory drug, in electrospun fibres of the statistical copolymer poly(trimethylene carbonate-co-ε-caprolactone) [P(TMC-CL)] to serve as a drug delivery system to enhance axonal regeneration in the context of a spinal cord lesion, by limiting the inflammatory response. P(TMC-CL) fibres were electrospun from mixtures of dichloromethane (DCM) and dimethylformamide (DMF). The solvent mixture applied influenced fibre morphology, as well as mean fibre diameter, which decreased as the DMF content in solution increased. Ibuprofen-loaded fibres were prepared from P(TMC-CL) solutions containing 5% ibuprofen (w/w of polymer). Increasing drug content to 10% led to jet instability, resulting in the formation of a less homogeneous fibrous mesh. Under the optimized conditions, drug-loading efficiency was above 80%. Confocal Raman mapping showed no preferential distribution of ibuprofen in P(TMC-CL) fibres. Under physiological conditions ibuprofen was released in 24h. The release process being diffusion-dependent for fibres prepared from DCM solutions, in contrast to fibres prepared from DCM-DMF mixtures where burst release occurred. The biological activity of the drug released was demonstrated using human-derived macrophages. The release of prostaglandin E2 to the cell culture medium was reduced when cells were incubated with ibuprofen-loaded P(TMC-CL) fibres, confirming the biological significance of the drug delivery strategy presented. Overall, this study constitutes an important contribution to the design of a P(TMC-CL)-based nerve conduit with anti-inflammatory properties.

Highly scalable aggregate computations in cyber-physical systems: physical environment meets communication protocols

In this paper, we focus on large-scale and dense Cyber- Physical Systems, and discuss methods that tightly integrate communication and computing with the underlying physical environment. We present Physical Dynamic Priority Dominance ((PD)2) protocol that exemplifies a key mechanism to devise low time-complexity communication protocols for large-scale networked sensor systems. We show that using this mechanism, one can compute aggregate quantities such as the maximum or minimum of sensor readings in a time-complexity that is equivalent to essentially one message exchange. We also illustrate the use of this mechanism in a more complex task of computing the interpolation of smooth as well as non-smooth sensor data in very low timecomplexity.

How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults

We present a distributed algorithm for cyber-physical systems to obtain a snapshot of sensor data. The snapshot is an approximate representation of sensor data; it is an interpolation as a function of space coordinates. The new algorithm exploits a prioritized medium access control (MAC) protocol to efficiently transmit information of the sensor data. It scales to a very large number of sensors and it is able to operate in the presence of sensor faults.

Localizing objects in large-scale cyber- physical systems

We use the term Cyber-Physical Systems to refer to large-scale distributed sensor systems. Locating the geographic coordinates of objects of interest is an important problemin such systems. We present a new distributed approach to localize objects and events of interest in time complexity independent of number of nodes.

Fuzzy modelling of prescribed burning effects on soil physical properties

This paper presents the preliminary work of an approach where Fuzzy Boolean Nets (FBN) are being used to extract qualitative knowledge regarding the effect of prescribed fire burning on soil chemical physical properties. FBN were chosen due to the scarcity on available quantitative data.

Fuzzy Boolean nets investigation of the alteration of some physical forest soil properties due to a prescribed fire action

Portuguese northern forests are often and severely affected by wildfires during the summer season. Some preventive actions, such as prescribed (or controlled) burnings and clear-cut logging, are often used as a measure to reduce the occurrences of wildfires. In the particular case of Serra da Cabreira forest, due to extremely difficulties in operational field work, the prescribed (or controlled) burning technique is the the most common preventive action used to reduce the existing fuel load amount. This paper focuses on a Fuzzy Boolean Nets analysis of the changes in some forest soil properties, namely pH, moisture and organic matter content, after a controlled fire, and on the difficulties found during the sampling process and how they were overcome. The monitoring process was conducted during a three-month period in Anjos, Vieira do Minho, Portugal, an area located in a contact zone between a two-mica coarse-grained porphyritic granite and a biotite with plagioclase granite. The sampling sites were located in a spot dominated by quartzphyllite with quartz veins whose bedrock is partially altered and covered by slightly thick humus, which maintains low undergrowth vegetation.

A physical packing sequence algorithm for the container loading problem with static mechanical equilibrium conditions

The container loading problem (CLP) is a combinatorial optimization problem for the spatial arrangement of cargo inside containers so as to maximize the usage of space. The algorithms for this problem are of limited practical applicability if real-world constraints are not considered, one of the most important of which is deemed to be stability. This paper addresses static stability, as opposed to dynamic stability, looking at the stability of the cargo during container loading. This paper proposes two algorithms. The first is a static stability algorithm based on static mechanical equilibrium conditions that can be used as a stability evaluation function embedded in CLP algorithms (e.g. constructive heuristics, metaheuristics). The second proposed algorithm is a physical packing sequence algorithm that, given a container loading arrangement, generates the actual sequence by which each box is placed inside the container, considering static stability and loading operation efficiency constraints.

Impact of compliance with different guidelines on physical activity during pregnancy and perceived barriers to leisure physical activity

The aims of the this prospective study were to analyze physical activity (PA) engagement during the first and second trimesters, considering the different guidelines published on PA, to document the individual characteristics associated with the accomplishment of these guidelines and to examine pregnant women’s perceived barriers to leisure PA, using a socioecological framework. A sample of 133 pregnant women in two stages – at 10–12 weeks’ gestation (T1) and 20– 22 weeks’ gestation (T2) – were evaluated. PA was assessed by accelerometry during the T1 and T2 evaluation stages. Socio-demographic characteristics, lifestyle factors and barriers to leisure PA were assessed via questionnaire. A large proportion of women (ranging from 32% to 96%) did not reach the levels of PA recommended by the guidelines. There were no significant differences between T1 and T2 with regard to compliance with PA recommendations. A decrease in PA levels from T1 to T2 was noted for all recommendations. No associations were found between participants’ characteristics and adherence to the recommendations in T1 and T2. No significant differences were found in barriers to leisure PA between T1 and T2. The most commonly reported barriers to leisure PA were intrapersonal, not health related. Our results indicate that there were no differences between trimesters regarding compliance of PA recommendations, and perceived barriers were similar in both trimesters.

Culture-dependent characterization of cyanobacterial diversity in the intertidal zones of the Portuguese coast: A polyphasic study

Cyanobacteria are important primary producers, and many are able to fix atmospheric nitrogen playing a key role in the marine environment. However, not much is known about the diversity of cyanobacteria in Portuguese marine waters. This paper describes the diversity of 60 strains isolated from benthic habitats in 9 sites (intertidal zones) on the Portuguese South and West coasts. The strains were characterized by a morphological study (light and electron microscopy) and by a molecular characterization (partial 16S rRNA, nifH, nifK, mcyA, mcyE/ndaF, sxtI genes). The morphological analyses revealed 35 morphotypes (15 genera and 16 species) belonging to 4 cyanobacterial Orders/Subsections. The dominant groups among the isolates were the Oscillatoriales. There is a broad congruence between morphological and molecular assignments. The 16S rRNA gene sequences of 9 strains have less than 97% similarity compared to the sequences in the databases, revealing novel cyanobacterial diversity. Phylogenetic analysis, based on partial 16S rRNA gene sequences showed at least 12 clusters. One-third of the isolates are potential N2-fixers, as they exhibit heterocysts or the presence of nif genes was demonstrated by PCR. Additionally, no conventional freshwater toxins genes were detected by PCR screening.

Effects of microcurrents and physical exercise on the abdominal fat: a randomized controlled trial in patients with coronary artery disease

Objectives: Coronary artery disease are associated with decreased levels of physical activity, contributing to increases in abdominal fat and consequently the metabolic risk. The use of microcurrents is an innovative and effective method to increase lipolytic rate of abdominal adipocytes. This study aims to investigate the effects of microcurrents with a homebased exercise program on total, subcutaneous and visceral abdominal adipose tissue in subjects with coronary artery disease. Methods: This controlled trial included 44 subjects with myocardial infarction, randomly divided into Intervention Group 1 (IG1; n = 16), Intervention Group 2 (IG2; n = 12) and Control Group (CG; n = 16). IG1 performed a specific exercise program at home during 8 weeks, and IG2 additionally used microcurrents on the abdominal region before the exercise program. All groups were subjected to health education sessions. Computed Tomography was used to evaluate abdominal, subcutaneous and visceral fat, accelerometers to measure habitual physical activity and the semiquantitative Food Frequency Questionnaire for dietary intake. Results: After 8 weeks, IG2 showed a significantly decreased in subcutaneous fat (p ≤ 0.05) when compared to CG. Concerning visceral fat, both intervention groups showed a significant decrease in comparison to the CG (p ≤ 0.05). No significant changes were found between groups on dietary intake and habitual physical activity, except for sedentary activity that decreased significantly in IG2 in comparison with CG (p ≤ 0.05). Conclusions: This specific exercise program showed improvements in visceral fat in individuals with coronary artery disease. Microcurrent therapy associated with a home-based exercise program suggested a decreased in subcutaneous abdominal fat.

Resident's perceptions on impacts of hosting the “Guimarães 2012 European Capital of Culture

. Residents tend to have high expectations about the benefits of hosting a mega‐event. So, it was not surprising that the nomination of Guimarães, Portugal, as the 2012 European Capital of Culture (2012 ECOC) had raised great expectations in the local community towards its socio‐economic and cultural benefits. The present research was designed to examine the Guimarães residents’ perceptions on the impacts of hosting the 2012 ECOC approached in two different time schedules, the pre‐ and the post‐event, trying to capture the evolution of the residents` evaluation of its impacts. For getting the data, two surveys were applied to Guimarães` residents, one in the pre‐event phase, in 2011, and another in the post‐event phase, in 2013. This approach is uncommonly applied to Portugal data and it is even the first time it was done to a Portuguese European Capital of Culture. After a factor analysis, the results of t‐tests indicate that there were significant differences (p<0.05) between the samples from the pre‐ and post‐2012 ECOC on two positive impact factors (Community’ benefits and Residents’ benefits) and one negative impact factor (Economic, social and environmental costs). Respondents also showed a negative perception of the impacts in all dimensions, except Changes in habits of Guimarães residents. 

Ex-ante evaluation by the media of the Guimarães 2012 European Capital of Culture

The nomination of Guimarães to host the 2012 European Capital of Culture (ECC) has put on the agenda of the city the need of measuring the effects that the implementation of this mega event could have in it and in the municipality a whole. The balance of the benefits and costs and an extended community involvement tend to reduce negative impacts and enhance positive ones. This chapter analyzes the involvement of population and local associations in the planning and organization of the 2012 Guimarães European Capital of Culture, using the coverage made during 2011 by local and national press of the mega event. A content analysis of the news published covering the period between January and December 2011 and using three newspapers was conducted. From those, two were local and weekly newspapers and one was a national daily one. Looking to data results, it can be concluded that it was poor the community involvement and, also, the one of the cultural associations in the organizations of the 2012 ECC. A strong negative reaction to the model choose to plan the mega event conducted by official organizers was found, which has cast doubts on the desirable participation of the residents and, consequently, on the success of the mega event, especially in a perspective of a medium and long term effects.